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.
Normalization resolves the singularities of a projective curve
Statement
Assume the Axiom of Choice. Let be an integral projective curve over a perfect field . Then its normalization is a nonsingular projective curve, and is a finite birational morphism. Consequently every integral projective curve over a perfect field admits a nonsingular projective model.
Facts & Assumptions
Given: AC, the perfect field , the integral projective curve over , and its normalization .
A finite-type domain over any field has finite integral closure in its fraction field, and that closure commutes with localization at a nonzero element (A finite-type domain over a field has finite normalization, Finite normalization commutes with principal localization).
Compatible affine schemes glue along their open overlaps. Integral schemes have affine domains and a common function field; lying over gives surjectivity for integral extensions, and the dimension of a finite-type domain is the transcendence degree of its fraction field (Gluing affine schemes along compatible open isomorphisms, Integral schemes, Lying over for integral ring maps, Affine-domain dimension equals transcendence degree).
A normal integral finite-type curve over a perfect field is nonsingular (A normal curve over a perfect field is nonsingular).
A finite morphism over a projective finite-type -scheme has projective source, for any field (Finite morphisms over a projective variety over any field).
The Axiom of Choice is assumed and is inherited by the normal-curve and projectivity suppliers (The Axiom of Choice).
Proof
Regard the projective curve as an integral closed subscheme of . Its nonempty standard affine charts are , where the are finite-type domains with common function field . Put equal to the integral closure of in . By [F1], is finite over . On these closures localize to the same subring of . Thus their affine spectra glue by [F2] to a scheme with a finite morphism . Each is a finite algebra over the finite-type -algebra , hence finite type over ; the finite chart cover makes a finite-type -scheme. This is the normalization: its affine rings and their localizations are exactly the integral closures in .
Each is a normal domain with fraction field . Lying over makes surjective. Clearing the denominators in of a finite set of -module generators of gives a nonzero with , so is birational. Moreover by [F2]; hence is an integral normal curve. By [F4] it is projective, and by [F3] the perfectness of makes it nonsingular.
The scheme therefore supplies the required nonsingular projective model with its finite birational normalization map. The construction uses affine integral closure over the actual field , so it applies to every perfect field, not only the algebraically closed classical case.
Depends on
- A finite-type domain over a field has finite normalization
- Finite normalization commutes with principal localization
- Gluing affine schemes along compatible open isomorphisms
- Lying over for integral ring maps
- Affine-domain dimension equals transcendence degree
- Integral schemes
- A normal curve over a perfect field is nonsingular
- Finite morphisms over a projective variety over any field
- The Axiom of Choice
Used by
Dependency tree · two levels
73 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
- J. S. Milne, Algebraic Geometry (2025 version), Ch. 8 §b: normalization of curves and nonsingular projective models (standard reference, not scraped)