Alphabeta Math
LemmaStatement: Literature-sourcedProof: AI-adaptedPipeline-generatedjudge pass (gpt-6.1-sol)
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 X be a Noetherian separated scheme and Y↪X a closed subscheme defined by a nilpotent quasi-coherent ideal. If Y is affine, then X is affine.

Facts & Assumptions

[F1]

Quasi-coherent sheaves on affine schemes have no higher cohomology. (Affine acyclicity of quasi-coherent sheaves)

[F2]

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, X, Y, and its nilpotent ideal I.

1.1F1givenalgebra

First suppose I2=0. The sheaf I is a quasi-coherent module on Y, because I annihilates itself. The closed immersion does not change the underlying topological space. Thus [F1] gives H1(X,I)=H1(Y,I)=0, and the exact sequence 0→I→OX→OY→0 gives a surjection A=Γ(X,OX)→B=Γ(Y,OY) with square-zero kernel.

2.1F2step 1.1construct

Around each point choose an affine open V⊂X, and then a principal open D(b)⊂Y=Spec⁡B contained in V∩Y. Lift b to a∈A by step 1.1. Its nonvanishing open Xa has underlying space D(b), lies in V, and is the principal open of the restriction of a to V, hence affine. By [F2], Γ(Xa,O)=Aa: surjectivity follows by clearing powers of a, and a section of A zero on Xa is annihilated by a power of a, by the same extension/localization argument on the finite affine cover of X. Choose finitely many of these opens covering X. Their corresponding D(a)⊂Spec⁡A cover that spectrum, since Spec⁡A and Spec⁡B have the same underlying space under the square-zero quotient. The canonical map X→Spec⁡A therefore is an isomorphism on this affine-open cover, and hence globally.

3.1F1F2step 1.1step 2.1construct∎

For general Im=0, start with X1=Y, and successively thicken to the closed schemes Xj defined by Ij, for j=2,…,m. The ideal of Xj−1 in Xj is Ij−1/Ij, whose square is zero because 2(j−1)≥j. Steps 1.1 and 2.1 show inductively that each Xj is affine; Xm=X. 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