Ananyan–Hochster's quadratic bound conjecture for projective dimension

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

pdS(S/I)h(nh+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 h2h\le 2 and is necessarily sharp in general; its status beyond these cases remains open.

Sources & referencesView supporting material

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.