The algebraic g-conjecture for homology spheres

From papers

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

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

is an isomorphism for every id/2i\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.

Progress summary

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

Sources & referencesView supporting material

Primary source

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

Solutions 0

No solutions have been posted yet.