Primitive determinant reformulation of the pseudomanifold Hodge–Riemann conjecture

Let kk be a field of arbitrary characteristic and let Δ\Delta be a connected oriented simplicial pseudomanifold over kk of dimension d1d-1 with vertex set VV. Let \ell be the Lefschetz element, let Hprimq(Δ)\overline{H}^q_{\operatorname{prim}}(\Delta) be the primitive part of Hq(Δ)\overline{H}^q(\Delta), and let Dprim,qD_{\operatorname{prim},q} be the determinant of the induced Hodge–Riemann form on that primitive part. For a subset FVF\subseteq V of size dd, write ord[F](Dprim,q)\operatorname{ord}_{[F]}(D_{\operatorname{prim},q}) for its order along [F][F]. Primitive determinant conjecture. The element \ell is strong Lefschetz in all degrees, and for every FVF\subseteq V of size dd and every 0<qd/20<q\leq d/2,

ord[F](Dprim,q)=0.\operatorname{ord}_{[F]}(D_{\operatorname{prim},q})=0.

This is stated as an equivalent reformulation of the pseudomanifold extension conjecture, using the orthogonal decomposition into the previous degree and the primitive part. It is therefore not a separate claim, but an equivalent form of the same open conjecture.

Sources & referencesView supporting material

Primary source

Matt Larson, Isabella Novik and Alan Stapledon, “Determinants of Hodge-Riemann forms”, arXiv:2408.02737 (2024).

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.