Does every separated Noetherian scheme have the resolution property?
Does every separated Noetherian scheme have the resolution property?
A Noetherian scheme has the resolution property if every coherent -module admits a surjection
from a finite-rank vector bundle . 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 and a coherent sheaf 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
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.