How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
A nilpotent thickening of an affine scheme is affine
Statement
Assume the Axiom of Choice. Let be a Noetherian separated scheme and a closed subscheme defined by a nilpotent quasi-coherent ideal. If is affine, then is affine.
Facts & Assumptions
Quasi-coherent sheaves on affine schemes have no higher cohomology. (Affine acyclicity of quasi-coherent sheaves)
On a quasi-compact quasi-separated scheme, sections on a global-section nonvanishing open extend after multiplying by a power of that section. Morphisms to affine schemes correspond to global-section ring maps. (Extend a quasi-coherent section after multiplying by a power, Morphisms to an affine scheme and global sections)
Proof
Given: AC, , , and its nilpotent ideal .
First suppose . The sheaf is a quasi-coherent module on , because annihilates itself. The closed immersion does not change the underlying topological space. Thus [F1] gives , and the exact sequence gives a surjection with square-zero kernel.
Around each point choose an affine open , and then a principal open contained in . Lift to by step 1.1. Its nonvanishing open has underlying space , lies in , and is the principal open of the restriction of to , hence affine. By [F2], : surjectivity follows by clearing powers of , and a section of zero on is annihilated by a power of , by the same extension/localization argument on the finite affine cover of . Choose finitely many of these opens covering . Their corresponding cover that spectrum, since and have the same underlying space under the square-zero quotient. The canonical map therefore is an isomorphism on this affine-open cover, and hence globally.
For general , start with , and successively thicken to the closed schemes defined by , for . The ideal of in is , whose square is zero because . Steps 1.1 and 2.1 show inductively that each is affine; . AC is inherited from the cohomology and section-extension suppliers.
Depends on
Used by
Dependency tree · two levels
25 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.
Sources
- Stacks Project, Schemes, affineness of nilpotent thickenings (standard reference, not scraped)
- Milne, Algebraic Groups (2022), Appendix A, nilpotent reductions (standard reference, not scraped)