Movatterモバイル変換


[0]ホーム

URL:


Jump to content
WikipediaThe Free Encyclopedia
Search

Genus–degree formula

From Wikipedia, the free encyclopedia
(Redirected fromGenus formula)
Theorem in classical algebraic geometry

In classicalalgebraic geometry, thegenus–degree formula relates the degreed{\displaystyle d} of anirreducibleplane curveC{\displaystyle C} with itsarithmetic genusg{\displaystyle g} via the formula:

g=12(d1)(d2).{\displaystyle g={\frac {1}{2}}(d-1)(d-2).}

Here "plane curve" means thatC{\displaystyle C} is a closed curve in theprojective planeP2{\displaystyle \mathbb {P} ^{2}}. 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 multiplicityr{\displaystyle r} decreases the genus by12r(r1){\displaystyle {\frac {1}{2}}r(r-1)}.[1]

Motivation

[edit]

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 equation(y2x(x1)(x2))(5yx)+ϵx=0.{\displaystyle \left(y^{2}-x(x-1)(x-2)\right)\,(5y-x)+\epsilon x=0.}For small nonzeroε{\displaystyle \varepsilon } this is gives the nonsingular curve. However, whenε=0{\displaystyle \varepsilon =0}, this is(y2x(x1)(x2))(5yx)=0,{\displaystyle \left(y^{2}-x(x-1)(x-2)\right)\,(5y-x)=0,}a 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φ{\displaystyle \varphi } 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, ifg(d){\displaystyle g(d)} is the genus of a curve of degreed{\displaystyle d} nonsingular curve, then proceeding as above, we obtain a nonsingular curve of degreed+1{\displaystyle d+1} byε{\displaystyle \varepsilon }-smoothing the union of a curve of degreed{\displaystyle d} and a line. The line meets the degreed{\displaystyle d} curve ind{\displaystyle d} points, so this leads to an recursion relationg(d+1)=g(d)+d1,g(1)=0.{\displaystyle g(d+1)=g(d)+d-1,\quad g(1)=0.}This recursion relation has the solutiong(d)=12(d1)(d2){\displaystyle g(d)={\frac {1}{2}}(d-1)(d-2)}.

Proof

[edit]

The genus–degree formula can be proven from theadjunction formula; for details, seeAdjunction formula § Applications to curves.[2]

Generalization

[edit]

For a non-singularhypersurfaceH{\displaystyle H} of degreed{\displaystyle d} in theprojective spacePn{\displaystyle \mathbb {P} ^{n}} ofarithmetic genusg{\displaystyle g} the formula becomes:

g=(d1n),{\displaystyle g={\binom {d-1}{n}},\,}

where(d1n){\displaystyle {\tbinom {d-1}{n}}} is thebinomial coefficient.

Notes

[edit]
  1. ^Semple, John Greenlees;Roth, Leonard.Introduction to Algebraic Geometry (1985 ed.).Oxford University Press. pp. 53–54.ISBN 0-19-853363-2.MR 0814690.
  2. ^Algebraic geometry,Robin Hartshorne, Springer GTM 52,ISBN 0-387-90244-9, chapter V, example 1.5.1

See also

[edit]

References

[edit]
Rational curves
Elliptic curves
Analytic theory
Arithmetic theory
Applications
Higher genus
Plane curves
Riemann surfaces
Constructions
Structure of curves
Divisors on curves
Moduli
Morphisms
Singularities
Vector bundles
Retrieved from "https://en.wikipedia.org/w/index.php?title=Genus–degree_formula&oldid=1262239441"
Category:
Hidden categories:

[8]ページ先頭

©2009-2025 Movatter.jp