In classicalalgebraic geometry, thegenus–degree formula relates the degree of anirreducibleplane curve with itsarithmetic genus via the formula:
Here "plane curve" means that is a closed curve in theprojective plane. If the curve is non-singular thegeometric genus and thearithmetic genus are equal, but if the curve is singular, with only ordinary singularities, the geometric genus is smaller. More precisely, an ordinarysingularity of multiplicity decreases the genus by.[1]
Elliptic curves are parametrized byWeierstrass elliptic functions. Since these parameterizing functions are doubly periodic, the elliptic curve can be identified with a period parallelogram with the sides glued togetheri.e. a torus. So the genus of an elliptic curve is 1. The genus–degree formula is a generalization of this fact to higher genus curves. The basic idea would be to use higher degree equations. Consider the quartic equationFor small nonzero this is gives the nonsingular curve. However, when, this isa reducible curve (the union of a nonsingular cubic and a line). When the points of infinity are added, we get a line meeting the cubic in 3 points. The complex picture of this reducible curve looks like a torus and a sphere touching at 3 points. As changes to nonzero values, the points of contact open up into tubes connecting the torus and sphere, adding 2 handles to the torus, resulting in a genus 3 curve.
In general, if is the genus of a curve of degree nonsingular curve, then proceeding as above, we obtain a nonsingular curve of degree by-smoothing the union of a curve of degree and a line. The line meets the degree curve in points, so this leads to an recursion relationThis recursion relation has the solution.
The genus–degree formula can be proven from theadjunction formula; for details, seeAdjunction formula § Applications to curves.[2]
For a non-singularhypersurface of degree in theprojective space ofarithmetic genus the formula becomes:
where is thebinomial coefficient.