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.
Finite normalization alone does not make a curve regular
Statement refuted
False claim: every reduced curve over a field whose normalization is finite is already regular.
Facts & Assumptions
Given: AC, a field of characteristic different from and , the cuspidal plane curve and the morphism , .
The cusp ring embeds as in : the unique normal form maps to , whose even and odd monomial supports are disjoint. It is finite integral over , so its dimension is one (Injective integral extensions preserve Krull dimension, A polynomial ring in n variables over a field has dimension n). At its closed origin the local ring is a nonfield local domain of dimension one; its maximal ideal has independent classes modulo its square, since the defining equation has order two. Thus its embedding dimension is two and it is not regular or a DVR (embedding dimension and regular local ring, one dimensional regular local rings are dvrs).
is a reduced -scheme of finite type and pure dimension one, so its normalization exists, is finite, and is unique up to a unique -isomorphism (Normalization of a reduced curve is finite).
The polynomial ring is a unique factorization domain, hence an integrally closed domain, so is normal; a finite birational map from a normal one-dimensional scheme to is a normalization of (For every field , is a unique factorisation domain, normal noetherian ring, Integral schemes).
The Axiom of Choice is assumed, inherited from the normalization and blowup suppliers (The Axiom of Choice).
Counterexample
The point is a singular point of the cusp: at the local ring has dimension one and embedding dimension two, hence is not regular by [F1]. Therefore is not regular.
The morphism , , is finite: the image is a -subalgebra over which is generated as a module by and (because and lie in the subalgebra). It is birational: the induced map of fraction fields is , an equality since , and is an isomorphism away from the origin with inverse . It is bijective on scheme points: it is an isomorphism on the complement of the origin by the displayed inverse, and its origin fibre has coordinate ring , supported at the single point . Normality in [F3] follows directly from unique factorization: a reduced fraction satisfying a monic integral equation has after denominators are cleared, so coprimality makes a unit. Since is therefore normal, is a finite normalization of ; by the uniqueness in [F2] the normalization of is finite.
On the blowup chart , the strict transform has equation , hence coordinate ring . On the other chart , its equation is , which makes and invertible; this portion lies in the overlap with the first chart. Thus the whole strict transform is the regular affine line and its map to is , the normalization of step 1.2 (Affine blowup standard charts and overlaps).
The curve therefore has finite normalization by step 1.2 and is not regular by step 1.1, so the false claim is refuted by the explicit witness . Moreover is a finite birational morphism which is not an isomorphism over the singular point: if it were an isomorphism at the origin, then would be regular at the origin, contradicting step 1.1. Thus finite normalization is not a substitute for the blowup procedure: the regularization theorem requires point blowups, and step 2.1 shows explicitly that one point blowup makes its strict transform regular (Regularization of a one-dimensional integral curve with finite normalization by point blowups, Blowing up a non-regular point strictly increases the finite normalization subalgebra).
Depends on
- Regularization of a one-dimensional integral curve with finite normalization by point blowups
- Blowing up a non-regular point strictly increases the finite normalization subalgebra
- The blowup of a one-dimensional integral Noetherian scheme at a closed point is finite
- Normalization of a reduced curve is finite
- embedding dimension and regular local ring
- one dimensional regular local rings are dvrs
- The Axiom of Choice
- For every field $F$, $F[x]$ is a unique factorisation domain
- normal noetherian ring
- Affine blowup standard charts and overlaps
- Integral schemes
- Dimension of a quotient via chains above an ideal
- A polynomial ring in n variables over a field has dimension n
- Injective integral extensions preserve Krull dimension
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
100 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
- The Stacks Project, tag 0BI4 (Lemma 54.15.1) (standard reference, not scraped)