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.
Nodal cubic: arithmetic genus one, delta one, geometric genus zero
Example
Assume the Axiom of Choice. Let be algebraically closed of characteristic and let be the nodal plane cubic, with node . Then , the unique singular point is a node with , and the normalization has geometric genus ; the normalization is the projective line, matching the parametrization of the nodal cubic. (Characteristic two is excluded because there the tangent cone degenerates and the singular point is not an ordinary node; the computation below uses .)
Facts & Assumptions
Given: The Axiom of Choice, an algebraically closed field with , the plane cubic , its node , and the map , .
For an integral proper plane curve with one has and . (Arithmetic genus of a plane curve)
Under the Axiom of Choice, for an integral proper finite-type curve over algebraically closed with normalization , the delta invariant vanishes exactly at regular points, and ; the sum is finite and supported on the singular points, where it is computed. (Delta invariant of a curve singularity, Arithmetic genus, geometric genus and delta invariants, The Axiom of Choice)
Under the Axiom of Choice, if is irreducible of degree defining the integral plane curve , then over the finitely many singular points. (Geometric genus of a plane curve by delta invariants, The Axiom of Choice)
Under the Axiom of Choice, the normalization glues affine integral closures and is finite, birational and initial among normal integral schemes finite and birational over an integral separated finite-type curve of chain dimension one. (Normalization of an integral finite-type curve by gluing affine integral closures, The Axiom of Choice)
At a closed -rational point of , regularity is equivalent to Jacobian rank ; for the closed points of these integral curve charts the local dimension is one, so this is equivalent to the gradient of being nonzero. (Jacobian rank detects regularity at closed points)
has its standard affine charts and is smooth, proper and geometrically integral; under Choice, regular local rings are normal, so is normal. (Two-affine projective line and its twists, regular local rings are normal, The Axiom of Choice)
A finite-type -algebra is Noetherian; a finite-type domain over has , and the chain dimension of a Noetherian space is the supremum of the dimensions on an open cover. (Finite-variable polynomial algebras over fields are Noetherian by finite generators, Affine-domain dimension equals transcendence degree, Dimension can be computed on an open cover)
Projective space over is proper, a closed immersion is proper, and proper morphisms compose; hence a closed subscheme of is proper over . (Finite-dimensional projective space is proper over every base, Closed immersions are proper, Properness survives composition)
The Axiom of Choice: every family of nonempty sets has a choice function. (The Axiom of Choice)
Proof
The cubic is an integral curve, and its only singular point is the ordinary node . On , let . Over the monic quadratic is irreducible: has valuation one at , so it is not a square; Gauss's lemma gives irreducibility in . The homogeneous cubic is not divisible by , hence is irreducible as well. Since is algebraically closed, is geometrically integral. The charts and cover , because in its equation forces . On the coordinate ring is the domain with fraction field under , ; here in the fraction field. On the coordinate ring is . The identity in makes invertible, and solving for gives . Both chart rings are finite-type domains and hence Noetherian; [F7] gives their dimension one and the chain dimension one of their finite open cover . The projective cubic is a closed subscheme of , hence proper by [F8]; it is also separated and finite type. Thus it is an integral proper curve, and its generic point is regular because its local ring is the function field. Every other point is closed. On the partials of are and . A closed singular point must have , so the curve equation gives or ; at the first partial is , in every characteristic. Thus the only singular point on this chart is . On the equation has partials and ; if the second vanishes, then and , so there is no singular point there. On the equation has partials and ; the equation forces the second partial to be nonzero. The quadratic tangent cone at is , with distinct tangent lines because . Hence is an ordinary node and all other points are regular.
Arithmetic genus. By step 1.1, is an integral proper plane curve of degree three, so [F1] gives .
Explicit normalization and finite projective map. Put . The homogeneous triple defining has no common zero: if , then , while if , then . It lands on because . On the source chart is with , and its ring map is , , . It is finite because and ; it is birational since in . On the inverse image is , where , and the chart map sends , ; it is an isomorphism by the description of in step 1.1. As and cover , these chart maps show that is finite. Its source is normal and integral by [F6], so the finite birational map identifies it with the normalization by the initial property in [F4].
Delta at the node. By step 2.2, is the normalization map. The two points and of the affine source map to and no other point does, so the stalk of at is the semilocalization with . Put and identify the coordinate ring of with the subring ; also . The semilocalization equals : if is nonzero at both and , its norm is nonzero at , so is invertible after localizing over , and every element of is nonzero at both points. The image of in this semilocalization is . The quotient is , of dimension one. Hence , and since is the only singular point by step 1.1 and delta vanishes off the singular locus, .
Genus. By [F3] and steps 1.1 and 3.1, ; the geometric genus of is .
Normalization is the line. By step 2.2, the displayed map is a normal integral finite birational model of ; the uniqueness clause in [F4] identifies it with . Thus the normalization is the projective line, and the geometric genus computed in step 4.1 is zero.
Conclusion. Under the Axiom of Choice, for the nodal cubic over an algebraically closed field with , the arithmetic genus is , the unique singular point is the ordinary node with delta invariant , and the normalization is the projective line; the normalization has geometric genus . Choice is used in the normalization and normality interfaces [F4, F6] and the delta/genus interfaces [F2, F3], in steps 2.2, 3.1, 4.1 and 5.1.
Depends on
- Geometric genus of a plane curve by delta invariants
- The Axiom of Choice
- Curves over a field
- Delta invariant of a curve singularity
- Geometric genus of a singular curve
- Two-affine projective line and its twists
- Dimension can be computed on an open cover
- Closed immersions are proper
- Finite-variable polynomial algebras over fields are Noetherian by finite generators
- Arithmetic genus, geometric genus and delta invariants
- Properness survives composition
- Affine-domain dimension equals transcendence degree
- Jacobian rank detects regularity at closed points
- Normalization of an integral finite-type curve by gluing affine integral closures
- Arithmetic genus of a plane curve
- Finite-dimensional projective space is proper over every base
- regular local rings are normal
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
178 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
- William Fulton, Algebraic Curves (Internet Archive copy), Chs. 6-8 (standard reference, not scraped)
- The Stacks Project, Algebraic Curves (tag 0BRV) (standard reference, not scraped)
- Ravi Vakil, The Rising Sea (version of October 21, 2025), Chs. 19 and 21 (standard reference, not scraped)