Alphabeta Math
CounterexampleConstruction: Literature-sourcedVerification: 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.

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 k of characteristic different from 2 and 3, the cuspidal plane curve Z=V(y2−x3)⊆Ak2 and the morphism ν:Ak1→Z, t↦(t2,t3).

[F1]

The cusp ring embeds as k[t2,t3] in k[t]: the unique normal form a(x)+yb(x) maps to a(t2)+t3b(t2), whose even and odd monomial supports are disjoint. It is finite integral over k[x], 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 R is a nonfield local domain of dimension one; its maximal ideal has independent classes x,y 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).

[F2]

Z is a reduced k-scheme of finite type and pure dimension one, so its normalization exists, is finite, and is unique up to a unique Z-isomorphism (Normalization of a reduced curve is finite).

[F3]

The polynomial ring k[t] is a unique factorization domain, hence an integrally closed domain, so Ak1 is normal; a finite birational map from a normal one-dimensional scheme to Z is a normalization of Z (For every field F, F[x] is a unique factorisation domain, normal noetherian ring, Integral schemes).

[F4]

The Axiom of Choice is assumed, inherited from the normalization and blowup suppliers (The Axiom of Choice).

Counterexample

1.1F1given

The point p=(0,0) is a singular point of the cusp: at p the local ring R=OZ,p has dimension one and embedding dimension two, hence is not regular by [F1]. Therefore Z is not regular.

1.2F2F3given

The morphism ν:Ak1→Z, t↦(t2,t3), is finite: the image k[t2,t3]⊆k[t] is a k-subalgebra over which k[t] is generated as a module by 1 and t (because t2 and t3 lie in the subalgebra). It is birational: the induced map of fraction fields is k(t2,t3)↪k(t), an equality since t=t3/t2, and ν is an isomorphism away from the origin with inverse (x,y)↦y/x. 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 k[t]/(t2,t3), supported at the single point t=0. Normality in [F3] follows directly from unique factorization: a reduced fraction a/b satisfying a monic integral equation has b∣an after denominators are cleared, so coprimality makes b a unit. Since Ak1 is therefore normal, ν is a finite normalization of Z; by the uniqueness in [F2] the normalization of Z is finite.

2.1step 1.2algebra

On the blowup chart y=xt, the strict transform has equation t2−x=0, hence coordinate ring k[t]. On the other chart x=ys, its equation is 1−ys3=0, which makes s and y 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 Z is t↦(t2,t3), the normalization of step 1.2 (Affine blowup standard charts and overlaps).

3.1F4step 1.1step 1.2step 2.1∎

The curve Z 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 (Z,ν). Moreover ν is a finite birational morphism which is not an isomorphism over the singular point: if it were an isomorphism at the origin, then Z 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

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