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.

An affine open in a smooth integral variety has Cartier boundary

Statement

Assume the Axiom of Choice. Let X be a smooth integral separated finite-type k-scheme, and U⊂X a nonempty affine open. There is an effective Cartier divisor D on X with support X∖U, so X∖D=U. The empty divisor is allowed.

Facts & Assumptions

[F1]

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)

[F2]

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, X, and U as above.

1.1F2givenconstruct

Let Z be an irreducible component of the closed complement and η its generic point. In Spec⁡R, with R=OX,η, the inverse image of X∖U is just the closed point: no different component of the complement contains η. Thus the inverse image of U is the punctured spectrum. The open immersion U→X is affine, because for every affine open T⊂X the intersection U∩T is the pullback of the closed diagonal into U×kT, hence affine. Affineness is preserved by base change by its spectrum description. Hence the punctured spectrum of R is affine.

2.1F1F2step 1.1algebra

The ring R is a local UFD by [F1]. If dim⁡R≥2, 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 R. Conversely every element of R restricts to a section, so the punctured spectrum has global-section ring R. Since it is affine, [F2] identifies it with Spec⁡R via its canonical restriction map, contradicting omission of the closed point. Thus dim⁡R=1; dimension zero is excluded because U is dense.

3.1F1step 2.1construct∎

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