McMullen--Walkup generalized lower bound conjecture

At least 13 years old · documented by

Let Δ\Delta be the boundary of a simplicial convex dd-polytope. For 1≤r≤⌊d/2⌋1\leq r\leq\lfloor d/2\rfloor, let gr(Δ)g_r(\Delta) denote the rrth entry of its gg-vector, and call Δ\Delta (r−1)(r-1)-stacked when it is the boundary of an (r−1)(r-1)-stacked homology ball. McMullen--Walkup generalized lower bound conjecture. For every 1≤r≤⌊d/2⌋1\leq r\leq\lfloor d/2\rfloor, one has gr(Δ)≥0g_r(\Delta)\geq 0, with equality if and only if Δ\Delta is (r−1)(r-1)-stacked. The nonnegativity is part of the generalized lower bound theorem for simplicial polytopes, while the equality characterization is the conjectural aspect; the source presents this as the generalized lower bound conjecture.

References

Primary source

Kai Fong Ernest Chong and Tiong Seng Tay, “The face numbers of homology spheres”, arXiv:1706.03322 (2024).

Additional references

3 papers in this index state this conjecture (2012–2017). The statement above is taken from the most recent of them; the others are arXiv:1409.5094, arXiv:1203.1720.

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.