Does every separated Noetherian scheme have the resolution property?

A Noetherian scheme XX has the resolution property if every coherent OX\mathcal O_X-module F\mathcal F admits a surjection

EF\mathcal E\twoheadrightarrow\mathcal F

from a finite-rank vector bundle E\mathcal E. This asks for a single vector-bundle quotient, not a finite locally free resolution.

Open problem. Does every separated Noetherian scheme have the resolution property? Equivalently, can one construct such an XX and a coherent sheaf F\mathcal F that is not a quotient of any finite-rank vector bundle? More sharply, does every proper scheme over a field have the resolution property?

Known boundary. The property holds for schemes with an ample family of line bundles, a class that includes quasi-projective schemes and regular separated Noetherian schemes. Gross proved it for every separated surface of finite type over a field. Mathur and Schröer proved that a reduced separated excellent scheme has the property away from a closed subset of codimension at least three.

Thus a finite-type counterexample over a field would have to be singular, non-quasi-projective, and at least three-dimensional; a proper counterexample would also have to be nonprojective. The proper case is still explicitly listed as open by the Stacks Project.

References

References

The Stacks Project, The resolution property, Tag 0F85. https://stacks.math.columbia.edu/tag/0F85 B. Totaro, The resolution property for schemes and stacks, J. Reine Angew. Math. 577 (2004), 1–22. https://arxiv.org/abs/math/0207210 P. Gross, The resolution property of algebraic surfaces, Compos. Math. 148 (2012), 209–226. https://arxiv.org/abs/1001.2206 S. Mathur and S. Schröer, The resolution property holds away from codimension three, Trans. Amer. Math. Soc. 376 (2023), 1041–1063. https://arxiv.org/abs/2109.09623

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.