Ananyan–Hochster's quadratic bound conjecture for projective dimension

Let SS be a polynomial ring over a field, and let I⊆SI\subseteq S be an ideal generated by nn quadrics and of height hh. Ananyan–Hochster's quadratic bound conjecture. One has

pd⁡S(S/I)≤h(n−h+1).\operatorname{pd}_S(S/I)\le h(n-h+1).

Ananyan and Hochster's explicit bound for nn quadrics is exponential in nn, whereas this conjecture predicts a quadratic bound. The conjecture is known when h≤2h\le 2 and is necessarily sharp in general; its status beyond these cases remains open.

References

Primary source

Zachary Greif, Paolo Mantero and Jason McCullough, “A Linear Bound on the Projective Dimension of Height 3 Quadratic Ideals”, arXiv:2605.15992 (2026).

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.