Alphabeta Math
LemmaStatement: Literature-sourcedProof: 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.

Multiplicity one characterises smooth points with a unique tangent

Statement

Assume the Axiom of Choice. Let C=V(F) be a plane projective curve over the algebraically closed field k and p∈C. The following are equivalent: (1) mp(C)=1; (2) p is a regular (smooth) point of C, that is, not all partial derivatives ∂F/∂xi vanish at p, which is independent of the chart and of the defining form; (3) the tangent cone at p is a single line of multiplicity one. If these hold, C has exactly one tangent line at p, and the local ring OC,p is a regular local ring of dimension one. Points with mp(C)≥2 are the singular points of C; the singular locus of a plane curve is a proper closed subset.

Facts & Assumptions

Given: AC, an algebraically closed field k, a plane projective curve C=V(F) of degree d≥1, a point p∈C, a standard chart D+(xi)∋p with ratio coordinates identified with A2, the dehomogenised square-free form f and affine coordinates (u,v) centred at p projective hypersurface affine pieces, Plane projective curves and their components.

[F2]

The Jacobian criterion at a k-rational point: for A=k[u,v]/(f) and its maximal ideal n corresponding to p, the rank of the Jacobian matrix (fu,fv) over k equals 2−dim⁡An if and only if An is regular; at a k-rational point no perfectness hypothesis is needed, and dim⁡An=dim⁡pC Jacobian rank detects regularity at closed points. The Zariski tangent space at p is the kernel of the Jacobian map The Jacobian kernel computes the tangent space, The intrinsic Zariski tangent space.

[F3]

The tangent cone at p is V(fm) for m=mp(C) and the tangent lines with their multiplicities satisfy ∑LrL=m Tangent cone and tangent lines at a point, Multiplicity of a plane curve at a point.

[F4]

A point of the curve is regular exactly when its local ring is a regular local ring Regular and singular loci; a Noetherian local ring that is regular and one-dimensional is a discrete valuation ring one dimensional regular local rings are dvrs.

[F5]

The local ring An=O/(f) has dimension one: f is a nonzerodivisor in the domain O, so every minimal prime over (f) has height one A minimal prime over a principal nonzerodivisor has height one, each is strictly below the height-two maximal ideal, giving a length-one prime chain in O/(f). No length-two chain is possible there, since adjoining the prime (0) of the domain O would give a length-three chain in the dimension-two ring O. Thus dim⁡An=1 Krull dimension of a nonzero ring.

[F6]

Over the algebraically closed field, the vanishing ideal of the affine curve V(f) for square-free f is (f)=(f), by the strong Nullstellensatz and the fact that a product of distinct primes is radical Strong Nullstellensatz: I(V(I)) equals the radical of I, The radical of an ideal, Irreducible and prime elements of an integral domain. The Axiom of Choice is used through the Nullstellensatz and the Jacobian-criterion dimension identification The Axiom of Choice.

[F7]

The positive characteristic of a field is prime The characteristic of a field is zero or a prime number, and every positive natural scalar smaller than that prime is invertible Invertibility of a positive natural scalar in a field. If a polynomial in two variables over a field of characteristic p>0 has both partial derivatives zero, then all its monomial exponents are divisible by p, so it is a p-th power: in characteristic p the Frobenius identity (a+b)p=ap+bp follows from the binomial theorem The binomial theorem over an arbitrary commutative ring: for 0<i<p, the identity (pi)i!(p−i)!=p! (nk) k! (n−k)!=n! for k≤n; hence (nk) k!=nk‾, the quotient n!/(k!(n−k)!) is a natural number, and (nk)=(nn−k) has invertible factorial factors in the field, while p!=0, so (pi)=0 in the field Field, and the coefficients of an algebraically closed field are p-th powers.

Proof

1.1F3givenalgebra

In the chart, f is square-free with f(p)=0, and the expansion around p is f=fm+fm+1+⋯ with m=mp(C)≥1 and fm≠0. The partial derivatives satisfy fu,fv∈mpm−1: differentiating a degree-j term lowers its order by one. Hence if m≥2 both partial derivatives vanish at p, while if m=1 the lowest part f1=au+bv is a nonzero linear form and (fu(p),fv(p))=(a,b)≠(0,0).

1.2F3algebra

The lowest part fm is a line if and only if m=1, and V(fm) is a single line of multiplicity one exactly when the factorisation of [F3] has one factor with exponent one, which happens exactly when ∑LrL=m=1. Thus (1) and (3) are equivalent: a single tangent line of multiplicity one is a single nonzero linear form, and conversely if m≥2 the sum of the multiplicities is at least two, giving either at least two tangent lines or one line of multiplicity at least two.

2.1step 1.1F1F2F4F5

The Jacobian matrix of the single equation f at p is the 1×2 matrix (fu(p),fv(p)), whose rank over k is 0 or 1. By [F2] and [F5], An=O/(f) has dimension 1, so the rank is 2−dim⁡An=1 if and only if An is regular. By step 1.1 the rank is 1 if and only if m=1. Therefore (1) if and only if p is regular, and regularity is independent of the chart and the defining form because mp(C) is Multiplicity of a plane curve at a point. To compare with the homogeneous derivatives, take a representative with xi=1. The affine derivatives are the other two homogeneous partials evaluated there; the termwise Euler identity ∑jxjFxj=dF gives Fxi(p)=−∑j≠ixj(p)Fxj(p) because F(p)=0. Thus all three homogeneous partials vanish exactly when both affine ones do, in every characteristic, without dividing by d. This proves (2) and identifies the singular points of the chart as those with m≥2.

3.1step 1.2step 2.1F3F4F6F7∎

Assume m=1. By step 1.2 and [F3] there is exactly one tangent line and its multiplicity is one; by step 2.1 the local ring OC,p is a one-dimensional regular local ring. If m≥2, step 2.1 shows p is singular. In the chart the singular points are the common zeros of f,fu,fv, a closed subset of the affine curve. It is proper: not all partial derivatives of the square-free f can vanish, because in characteristic zero that would force f to be constant, while in characteristic p>0 both vanishing partials would make f=gp a p-th power by [F7], and a nonconstant p-th power is not square-free Irreducible and prime elements of an integral domain; so after interchanging u,v if necessary, some partial fu≠0, its degree is at most deg⁡f−1<deg⁡f, hence f∤fu and by [F6] fu does not vanish on all of V(f). Covering C by the three standard charts and using the chart-independence of the multiplicity, the singular locus of C is closed in C and not all of C.

Depends on

Used by

Dependency tree · two levels

161 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