Hirsch conjecture for dual graphs of polytope boundary ideals

Let Δ\Delta be the boundary complex of a convex polytope. For its Stanley–Reisner ideal IΔI_\Delta, define G(IΔ)G(I_\Delta) to be the dual graph of the minimal primes of IΔI_\Delta, and call an ideal II Hirsch when

diamG(I)heightI.\operatorname{diam} G(I)\leq \operatorname{height} I.

Hirsch conjecture. If Δ\Delta is the boundary of a convex polytope, then IΔI_\Delta is Hirsch.

This is the algebraic formulation of the Hirsch bound for the graph diameter of the facets of a convex polytope. The source notes that the classical Hirsch problem was solved negatively by Santos, so this conjecture concerns the corresponding bound for the dual graph of the Stanley–Reisner ideal.

Sources & referencesView supporting material

Primary source

Bruno Benedetti and Matteo Varbaro, “On the dual graph of Cohen-Macaulay algebras”, arXiv:1403.3241 (2022).

Additional references

2 papers in this index state this conjecture (2010–2014). The statement above is taken from the most recent of them; the others are arXiv:1006.2416.

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.