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 be a plane projective curve over the algebraically closed field and . The following are equivalent: (1) ; (2) is a regular (smooth) point of , that is, not all partial derivatives vanish at , which is independent of the chart and of the defining form; (3) the tangent cone at is a single line of multiplicity one. If these hold, has exactly one tangent line at , and the local ring is a regular local ring of dimension one. Points with are the singular points of ; the singular locus of a plane curve is a proper closed subset.
Facts & Assumptions
Given: AC, an algebraically closed field , a plane projective curve of degree , a point , a standard chart with ratio coordinates identified with , the dehomogenised square-free form and affine coordinates centred at projective hypersurface affine pieces, Plane projective curves and their components.
The local ring is a two-dimensional regular local ring with maximal ideal , and is the localisation of the plane at Finite local length exactly when no common local branch, A local ring is a nonzero commutative ring with a unique maximal ideal, The local ring at a point of an affine variety is the localization at its maximal ideal, Germs of regular functions and the local ring at a point of a classical affine variety, Localisation at a prime ideal: .
The Jacobian criterion at a -rational point: for and its maximal ideal corresponding to , the rank of the Jacobian matrix over equals if and only if is regular; at a -rational point no perfectness hypothesis is needed, and Jacobian rank detects regularity at closed points. The Zariski tangent space at is the kernel of the Jacobian map The Jacobian kernel computes the tangent space, The intrinsic Zariski tangent space.
The tangent cone at is for and the tangent lines with their multiplicities satisfy Tangent cone and tangent lines at a point, Multiplicity of a plane curve at a point.
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.
The local ring has dimension one: is a nonzerodivisor in the domain , so every minimal prime over 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 . No length-two chain is possible there, since adjoining the prime of the domain would give a length-three chain in the dimension-two ring . Thus Krull dimension of a nonzero ring.
Over the algebraically closed field, the vanishing ideal of the affine curve for square-free is , 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.
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 has both partial derivatives zero, then all its monomial exponents are divisible by , so it is a -th power: in characteristic the Frobenius identity follows from the binomial theorem The binomial theorem over an arbitrary commutative ring: for , the identity for ; hence , the quotient is a natural number, and has invertible factorial factors in the field, while , so in the field Field, and the coefficients of an algebraically closed field are -th powers.
Proof
In the chart, is square-free with , and the expansion around is with and . The partial derivatives satisfy : differentiating a degree- term lowers its order by one. Hence if both partial derivatives vanish at , while if the lowest part is a nonzero linear form and .
The lowest part is a line if and only if , and is a single line of multiplicity one exactly when the factorisation of [F3] has one factor with exponent one, which happens exactly when . Thus (1) and (3) are equivalent: a single tangent line of multiplicity one is a single nonzero linear form, and conversely if the sum of the multiplicities is at least two, giving either at least two tangent lines or one line of multiplicity at least two.
The Jacobian matrix of the single equation at is the matrix , whose rank over is or . By [F2] and [F5], has dimension , so the rank is if and only if is regular. By step 1.1 the rank is if and only if . Therefore (1) if and only if is regular, and regularity is independent of the chart and the defining form because is Multiplicity of a plane curve at a point. To compare with the homogeneous derivatives, take a representative with . The affine derivatives are the other two homogeneous partials evaluated there; the termwise Euler identity gives because . Thus all three homogeneous partials vanish exactly when both affine ones do, in every characteristic, without dividing by . This proves (2) and identifies the singular points of the chart as those with .
Assume . By step 1.2 and [F3] there is exactly one tangent line and its multiplicity is one; by step 2.1 the local ring is a one-dimensional regular local ring. If , step 2.1 shows is singular. In the chart the singular points are the common zeros of , a closed subset of the affine curve. It is proper: not all partial derivatives of the square-free can vanish, because in characteristic zero that would force to be constant, while in characteristic both vanishing partials would make a -th power by [F7], and a nonconstant -th power is not square-free Irreducible and prime elements of an integral domain; so after interchanging if necessary, some partial , its degree is at most , hence and by [F6] does not vanish on all of . Covering by the three standard charts and using the chart-independence of the multiplicity, the singular locus of is closed in and not all of .
Depends on
- A minimal prime over a principal nonzerodivisor has height one
- Strong Nullstellensatz: I(V(I)) equals the radical of I
- The Axiom of Choice
- Field
- Germs of regular functions and the local ring at a point of a classical affine variety
- Irreducible and prime elements of an integral domain
- Krull dimension of a nonzero ring
- A local ring is a nonzero commutative ring with a unique maximal ideal
- Localisation at a prime ideal: $R_{\mathfrak p}=(R\setminus\mathfrak p)^{-1}R$
- Multiplicity of a plane curve at a point
- Plane projective curves and their components
- Evaluation and roots of a polynomial in a commutative target ring
- The radical of an ideal
- Regular and singular loci
- Tangent cone and tangent lines at a point
- The intrinsic Zariski tangent space
- If $p$ is prime and $0\le k\le m<p$ then $p\nmid\binom{m}{k}$
- Invertibility of a positive natural scalar in a field
- Finite local length exactly when no common local branch
- projective hypersurface affine pieces
- $\binom{n}{k}\,k!\,(n-k)! = n!$ for $k \le n$; hence $\binom{n}{k}\,k! = n^{\underline{k}}$, the quotient $n!/(k!(n-k)!)$ is a natural number, and $\binom{n}{k} = \binom{n}{n-k}$
- The binomial theorem over an arbitrary commutative ring
- The characteristic of a field is zero or a prime number
- Jacobian rank detects regularity at closed points
- The local ring at a point of an affine variety is the localization at its maximal ideal
- one dimensional regular local rings are dvrs
- The Jacobian kernel computes the tangent space
Used by
- Flexes are contacts of order at least three with the tangent line Corollary
- Transversal smooth curves meet with multiplicity one Corollary
- Bezout needs algebraic closure: an imaginary conic has no real point Counterexample
- Flexes and bitangents defined by intersection multiplicity Definition
- Uniformising parameters at smooth points of a plane curve Definition
- A flex of a cubic has contact order three Example
- A tangent line meets a conic with multiplicity two at one point Example
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
- William Fulton, Algebraic Curves: An Introduction to Algebraic Geometry (2008 electronic edition; Internet Archive copy of the author's PDF) (standard reference, not scraped)
- Michael Artin, MIT 18.721 Notes for a Course in Algebraic Geometry (January 26, 2022 version), Chapter 1 (standard reference, not scraped)