Kotrbatý's Hodge–Riemann conjecture for valuations

At least 5 years old · documented by

Let WW be a finite-dimensional real vector space of dimension nn, and let ViV_i, i=0,1,…,ni=0,1,\dots,n, denote the intrinsic volumes. For i≤n/2i\leq n/2, a valuation ϕ∈Vali∞(W)\phi\in Val_i^\infty(W) is primitive if ϕ⋅(V1)n−2i+1=0\phi\cdot (V_1)^{n-2i+1}=0, and a valuation ψ∈Valn−i∞(W)\psi\in Val_{n-i}^\infty(W) is co-primitive if ψ∗(Vn−1)∗(n−2i+1)=0\psi\ast (V_{n-1})^{\ast(n-2i+1)}=0. Define Hermitian forms

Q(ϕ):=(−1)iϕ⋅ϕˉ⋅(V1)n−2iQ(\phi):=(-1)^i\phi\cdot\bar\phi\cdot (V_1)^{n-2i}

and

Q~(ψ)=(−1)iψ∗ψˉ∗Vn−1∗(n−2i).\tilde Q(\psi)=(-1)^i\psi\ast\bar\psi\ast V_{n-1}^{\ast(n-2i)}.

Kotrbatý's Hodge–Riemann conjecture. Let i≤n/2i\leq n/2. If ϕ∈Vali∞(W)\phi\in Val_i^\infty(W) is a non-zero primitive even valuation, then Q(ϕ)>0Q(\phi)>0; if it is a non-zero primitive odd valuation, then Q(ϕ)<0Q(\phi)<0. If ψ∈Valn−i∞(W)\psi\in Val_{n-i}^\infty(W) is a non-zero co-primitive valuation, then Q~(ψ)>0\tilde Q(\psi)>0. This is the valuation-theoretic analogue of the Hodge–Riemann bilinear relations from Kähler geometry; the source presents it as Kotrbatý's conjecture, and no resolution is given here.

References

Primary source

Semyon Alesker, “Kotrbaty's theorem on valuations and geometric inequalities for convex bodies”, arXiv:2010.01859 (2020).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.