Kalai's strong Lefschetz conjecture for homology manifolds

Let Δ\Delta be a (d1)(d-1)-dimensional orientable homology manifold over kk, let k[Δ]k[\Delta] be its face ring, and let Θk[Δ]\Theta\subseteq k[\Delta] be a linear system of parameters. Set

I=i=1d1Soc(k[Δ]/Θ)i,I=\bigoplus_{i=1}^{d-1}\operatorname{Soc}(k[\Delta]/\Theta)_i,

and define k[Δ]=(k[Δ]/Θ)/I\overline{k[\Delta]}=(k[\Delta]/\Theta)/I. Let ωk[Δ]\omega\in k[\Delta] be a linear form. Kalai's conjecture. There are Θ\Theta and ω\omega such that

dimkk[Δ]i=hi(Δ)\dim_k\overline{k[\Delta]}_i={\mathfrak h}”_i(\Delta)

for 1id/21\leq i\leq\lfloor d/2\rfloor, and such that multiplication by ωd2i\omega^{d-2i} induces an isomorphism

ωd2i:k[Δ]ik[Δ]di\omega^{d-2i}:\overline{k[\Delta]}_i\longrightarrow\overline{k[\Delta]}_{d-i}

for 1id/21\leq i\leq\lfloor d/2\rfloor. Part (i) is known from the results cited in the source, while the Lefschetz isomorphism assertion remains the conjectural part and would imply the g{\mathfrak g}-conjecture for triangulations of spheres.

Sources & referencesView supporting material

Primary source

Christos A. Athanasiadis and Volkmar Welker, “Buchsbaum* complexes”, arXiv:0909.1931 (2011).

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.