Alphabeta Math
ExampleConstruction: Literature-sourcedVerification: AI-adaptedPipeline-generatedaudited 2026-10-02
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 k be algebraically closed of characteristic ≠2 and let X=V+(Y2Z−X3−X2Z)⊆Pk2 be the nodal plane cubic, with node o=(0:0:1). Then pa(X)=(3−1)(3−2)2=1, the unique singular point o is a node with δo(X)=1, and the normalization Xnu has geometric genus g(Xnu)=1−1=0; the normalization is the projective line, matching the parametrization (T:S)↦(S(T2−S2):T(T2−S2):S3) 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 char⁡k≠2.)

Facts & Assumptions

Given: The Axiom of Choice, an algebraically closed field k with char⁡k≠2, the plane cubic X=V+(Y2Z−X3−X2Z), its node o=(0:0:1), and the map ψ:Pk1→X, (T:S)↦(S(T2−S2):T(T2−S2):S3).

[F1]

For an integral proper plane curve X=V+(F)⊆Pk2 with d=deg⁡F one has H0(X,OX)=k and pa(X)=(d−1)(d−2)2. (Arithmetic genus of a plane curve)

[F2]

Under the Axiom of Choice, for an integral proper finite-type curve over algebraically closed k with normalization ν, the delta invariant δx(X)=dim⁡k((ν∗OXnu)x/OX,x) vanishes exactly at regular points, and g(Xnu)=pa(X)−∑xδx(X); 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)

[F3]

Under the Axiom of Choice, if F is irreducible of degree d defining the integral plane curve X, then g(Xnu)=(d−1)(d−2)2−∑xδx(X) over the finitely many singular points. (Geometric genus of a plane curve by delta invariants, The Axiom of Choice)

[F4]

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)

[F5]

At a closed k-rational point of k[x,y]/(f), regularity is equivalent to Jacobian rank 2−dim⁡Am; for the closed points of these integral curve charts the local dimension is one, so this is equivalent to the gradient of f being nonzero. (Jacobian rank detects regularity at closed points)

[F6]

Pk1 has its standard affine charts and is smooth, proper and geometrically integral; under Choice, regular local rings are normal, so Pk1 is normal. (Two-affine projective line and its twists, regular local rings are normal, The Axiom of Choice)

[F7]

A finite-type k-algebra is Noetherian; a finite-type domain A over k has dim⁡A=trdeg⁡kFrac⁡(A), 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)

[F8]

Projective space over k is proper, a closed immersion is proper, and proper morphisms compose; hence a closed subscheme of Pk2 is proper over k. (Finite-dimensional projective space is proper over every base, Closed immersions are proper, Properness survives composition)

[F9]

The Axiom of Choice: every family of nonempty sets has a choice function. (The Axiom of Choice)

Proof

technique · direct; locate the unique singular point by the Jacobian criterion, compute the delta invariant from the explicit normalization, and apply the genus correction formula
1.1F5F7F8

The cubic is an integral curve, and its only singular point is the ordinary node o. On Z=1, let f=y2−x3−x2=y2−x2(x+1). Over k(x) the monic quadratic f is irreducible: x2(x+1) has valuation one at x+1, so it is not a square; Gauss's lemma gives irreducibility in k[x,y]. The homogeneous cubic is not divisible by Z, hence is irreducible as well. Since k is algebraically closed, X is geometrically integral. The charts D(Z) and D(Y) cover X, because Y=Z=0 in its equation forces X=0. On D(Z) the coordinate ring is the domain A=k[x,y]/(y2−x3−x2) with fraction field k(t) under x=t2−1, y=t(t2−1); here t=y/x in the fraction field. On D(Y) the coordinate ring is R=k[x,z]/((1−x2)z−x3). The identity 1=(1−x2)(1+x2+xz) in R makes 1−x2 invertible, and solving for z gives R≅k[x,(1−x2)−1]. 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 X. The projective cubic is a closed subscheme of Pk2, 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 Z=1 the partials of f are −3x2−2x=−x(3x+2) and 2y. A closed singular point must have y=0, so the curve equation gives x=0 or x=−1; at x=−1 the first partial is −1, in every characteristic. Thus the only singular point on this chart is o. On Y=1 the equation g=z−x3−x2z has partials −3x2−2xz and 1−x2; if the second vanishes, then x2=1 and g=−x3≠0, so there is no singular point there. On X=1 the equation h=y2z−1−z has partials 2yz and y2−1; the equation z(y2−1)=1 forces the second partial to be nonzero. The quadratic tangent cone at o is y2−x2=(y−x)(y+x), with distinct tangent lines because char⁡k≠2. Hence o is an ordinary node and all other points are regular.

2.1F1step 1.1

Arithmetic genus. By step 1.1, X is an integral proper plane curve of degree three, so [F1] gives pa(X)=(3−1)(3−2)2=1.

2.2F4F6step 1.1

Explicit normalization and finite projective map. Put q=T2−S2. The homogeneous triple defining ψ(T:S)=(Sq:Tq:S3) has no common zero: if S=0, then Y=T3≠0, while if S≠0, then Z=S3≠0. It lands on X because Y2Z=T2q2S3=S3q2(q+S2)=X3+X2Z. On D(Z) the source chart is Spec⁡k[t] with t=T/S, and its ring map is A=k[x,y]/(y2−x3−x2)→k[t], x↦t2−1, y↦t(t2−1). It is finite because k[t]=A[t] and t2=x+1; it is birational since t=y/x in Frac⁡(A). On D(Y) the inverse image is Spec⁡k[u,(1−u2)−1], where u=S/T, and the chart map R→k[u,(1−u2)−1] sends x↦u, z↦u3/(1−u2); it is an isomorphism by the description of R in step 1.1. As D(Z) and D(Y) cover X, these chart maps show that ψ is finite. Its source Pk1 is normal and integral by [F6], so the finite birational map identifies it with the normalization by the initial property in [F4].

3.1F2step 1.1step 2.2

Delta at the node. By step 2.2, ψ is the normalization map. The two points t=1 and t=−1 of the affine source map to o and no other point does, so the stalk of ν∗OP1 at o is the semilocalization k[t]S with S={h∈k[t]:h(1)≠0, h(−1)≠0}. Put u=t2−1 and identify the coordinate ring of Z=1 with the subring A=k[u,tu]=k[u]⊕tu k[u]⊆k[t]; also k[t]=k[u]⊕t k[u]. The semilocalization equals k[u](u)⊕t k[u](u): if h(t)=a(u)+tb(u) is nonzero at both 1 and −1, its norm h(t)h(−t)=a(u)2−(u+1)b(u)2 is nonzero at u=0, so h is invertible after localizing over k[u](u), and every element of k[u]∖(u) is nonzero at both points. The image of OX,o=A(u,tu) in this semilocalization is k[u](u)⊕tu k[u](u). The quotient is t k[u](u)/tu k[u](u)≅k[u](u)/u k[u](u)≅k, of dimension one. Hence δo(X)=1, and since o is the only singular point by step 1.1 and delta vanishes off the singular locus, ∑xδx(X)=1.

4.1F2F3step 3.1

Genus. By [F3] and steps 1.1 and 3.1, g(Xnu)=(3−1)(3−2)2−∑xδx(X)=1−1=0; the geometric genus of X is 0.

5.1F4step 2.2step 4.1

Normalization is the line. By step 2.2, the displayed map is a normal integral finite birational model of X; the uniqueness clause in [F4] identifies it with Xnu. Thus the normalization is the projective line, and the geometric genus computed in step 4.1 is zero.

6.1F4F6F2F3F9step 2.2step 3.1step 4.1step 5.1∎

Conclusion. Under the Axiom of Choice, for the nodal cubic X=V+(Y2Z−X3−X2Z) over an algebraically closed field with char⁡k≠2, the arithmetic genus is 1, the unique singular point is the ordinary node o with delta invariant 1, and the normalization is the projective line; the normalization has geometric genus 0. 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

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