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.
An affine open in a smooth integral variety has Cartier boundary
Statement
Assume the Axiom of Choice. Let be a smooth integral separated finite-type -scheme, and a nonempty affine open. There is an effective Cartier divisor on with support , so . The empty divisor is allowed.
Facts & Assumptions
Smooth local rings are UFDs, and effective Weil divisors on a locally factorial Noetherian integral scheme are effective Cartier divisors. (Regular local rings are unique factorization domains, Under AC, Cartier and Weil divisors agree on a locally factorial Noetherian integral scheme)
A separated scheme has closed diagonal. Morphisms into an affine scheme are determined by maps on global sections. (Separated morphism of schemes, Morphisms to an affine scheme and global sections)
Proof
Given: AC, , and as above.
Let be an irreducible component of the closed complement and its generic point. In , with , the inverse image of is just the closed point: no different component of the complement contains . Thus the inverse image of is the punctured spectrum. The open immersion is affine, because for every affine open the intersection is the pullback of the closed diagonal into , hence affine. Affineness is preserved by base change by its spectrum description. Hence the punctured spectrum of is affine.
The ring is a local UFD by [F1]. If , every height-one prime remains in the punctured spectrum. A section there is an element of the fraction field regular at all such primes. In a UFD, write a fraction in relatively prime numerator and denominator; a nonunit denominator has an irreducible prime factor and yields a pole in its height-one localization. Therefore the fraction must be in . Conversely every element of restricts to a section, so the punctured spectrum has global-section ring . Since it is affine, [F2] identifies it with via its canonical restriction map, contradicting omission of the closed point. Thus ; dimension zero is excluded because is dense.
The complement has finitely many irreducible components by Noetherianity, each of codimension one by step 2.1. Their sum, each with coefficient one, is an effective Weil divisor, and [F1] makes it an effective Cartier divisor with exactly the required support. If the complement is empty, take the zero divisor.
Depends on
Used by
Dependency tree · two levels
61 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, Lemmas 31.17.5 and 31.17.6 (standard reference, not scraped)
- Stacks Project, regular local factoriality (standard reference, not scraped)