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.
Normal noetherian schemes reduce to integral components
PDF p. 9: Normal schemes and smooth-locus restriction
Statement
Assume the Axiom of Choice. A noetherian normal scheme is a finite disjoint union of open-and-closed integral normal subschemes, namely its irreducible components with their restricted structure sheaves. Every affine open has a finite product of noetherian integrally closed domains. Consequently functions, units, line bundles and finite-rank vector bundles are specified componentwise; the rank of a vector bundle is constant on each component.
Here a scheme is noetherian if it has a finite affine open cover by spectra of noetherian rings; it is normal if every local ring is an integrally closed domain. An irreducible space is a nonempty space that is not the union of two proper closed subsets; an irreducible component is a maximal irreducible subset. A scheme is integral if it is irreducible and reduced, where reduced means that its structure sheaf has no nonzero nilpotent local sections. A line bundle is a locally free sheaf of rank one; a finite-rank vector bundle is a locally free sheaf of finite rank, whose rank at a point is the rank on a trivializing neighborhood.
Statement references
Facts & Assumptions
Under the Axiom of Choice, a normal noetherian ring is a finite product of noetherian integrally closed domains (A normal noetherian ring is a finite product of normal domains).
Under the Axiom of Choice, a noetherian topological space is a finite union of its irreducible closed components (A Noetherian space is a finite union of irreducible closed subsets).
On an affine scheme , the stalk at a prime is (The stalk of the affine structure sheaf at a prime is the localization at that prime). A noetherian ring is normal when all these localizations are integrally closed domains (normal noetherian ring).
The Axiom of Choice is assumed; it supplies the choice used by [F1] and [F2] (The Axiom of Choice).
Proof
Given: A noetherian normal scheme and the Axiom of Choice.
Goal: Prove the finite open-and-closed integral normal decomposition and its stated componentwise consequences.
Every affine open has noetherian: a finite cover of by noetherian affine opens refines the quasi-compact open by finitely many principal opens whose coordinate rings are localizations of noetherian rings; the ascending-chain condition on ideals can then be checked after these finitely many localizations, where equality of localized ideals implies equality on . By [F3] and normality of , every prime localization of is an integrally closed domain. Thus [F1] writes as a finite product of noetherian integrally closed domains. The corresponding spectra are disjoint open-and-closed subschemes of ; each is irreducible and reduced, since it is the spectrum of a domain. In particular, every point of has an integral affine open neighborhood.
The underlying topological space of is noetherian: each member of a finite noetherian affine cover has descending-chain condition on closed sets, and a descending chain of closed subsets of stabilizes once its restrictions to these finitely many opens stabilize. By [F2], is the union of finitely many irreducible closed components. If such a component contains , choose an integral open neighborhood of from step 1.1. The nonempty open subset is dense in ; its closure is contained in the irreducible closure . Maximality of therefore gives . Consequently two components containing are equal. The finitely many components are thus pairwise disjoint, and each is open as the complement of the union of the others. The empty scheme corresponds to the empty union.
Give each open-and-closed component the restricted structure sheaf. It is irreducible by construction. It is reduced because the integral affine neighborhoods from step 1.1 cover , and nilpotence and vanishing of sections can be checked locally. Its local rings are those of , so they are integrally closed domains; hence is normal and integral. This proves the decomposition and the affine-ring assertion.
For a finite disjoint open cover , restriction and gluing give an equivalence between sheaves on and tuples of sheaves on the : overlaps between different components are empty, so there are no compatibility conditions. Applied to the structure sheaf and its invertible sections, this gives functions and units componentwise; applied to locally free sheaves, it gives line bundles and finite-rank vector bundles componentwise. The rank is locally constant by local freeness; on an irreducible space two disjoint nonempty open rank loci cannot occur, so it is constant on each .
Depends on
Dependency tree · 3 levels
Arrows run from prerequisites to the items that use them. External source nodes link directly to the cited text. The view shows up to three dependency steps; open a prerequisite to continue.