The algebraic g-conjecture for homology spheres

At least 18 years old · documented by

Let Δ\Delta be a homology sphere. Let k[Δ]k[\Delta] be its Stanley–Reisner ring, let Θ\Theta be a linear system of parameters, and define L(Δ)L(\Delta) to be the set of pairs (ω,Θ)(\omega,\Theta) for which ω\omega is a Lefschetz element, meaning that multiplication

ωd−2i:(k[Δ]/⟨Θ⟩)i→(k[Δ]/⟨Θ⟩)d−i\omega^{d-2i}:(k[\Delta]/\langle\Theta\rangle)_i\to(k[\Delta]/\langle\Theta\rangle)_{d-i}

is an isomorphism for every i≤⌊d/2⌋i\le\lfloor d/2\rfloor. The algebraic g-conjecture. If Δ\Delta is a homology sphere, then

L(Δ)≠∅.L(\Delta)\ne\emptyset.

A Lefschetz element would imply the monotonicity conditions and the M-vector condition for the g-vector, and hence the usual g-conjecture for homology spheres. The source presents this as open.

References

Primary source

Ed Swartz, “Face enumeration - from spheres to manifolds”, arXiv:0709.3998 (2007).

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.