Kalai's strong Lefschetz conjecture for homology manifolds

About 17 years old · traced to

Let Δ\Delta be a (d−1)(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=1d−1Soc⁡(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

dim⁡kk[Δ]‾i=h”i(Δ)\dim_k\overline{k[\Delta]}_i={\mathfrak h}”_i(\Delta)

for 1≤i≤⌊d/2⌋1\leq i\leq\lfloor d/2\rfloor, and such that multiplication by ωd−2i\omega^{d-2i} induces an isomorphism

ωd−2i:k[Δ]‾i⟶k[Δ]‾d−i\omega^{d-2i}:\overline{k[\Delta]}_i\longrightarrow\overline{k[\Delta]}_{d-i}

for 1≤i≤⌊d/2⌋1\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.

References

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.