The algebraic g-conjecture for homology spheres
Let be a homology sphere. Let be its Stanley–Reisner ring, let be a linear system of parameters, and define to be the set of pairs for which is a Lefschetz element, meaning that multiplication
is an isomorphism for every . The algebraic g-conjecture. If is a homology sphere, then
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.