Difference between revisions of "Canonical curve"
(TeX) |
m (gather refs) |
||
Line 1: | Line 1: | ||
{{TEX|done}} | {{TEX|done}} | ||
The image of an algebraic curve under a [[Canonical imbedding|canonical imbedding]]. If a curve $X$ is not hyper-elliptic and has genus 2, then its image in the projective space $P^{g-1}$ under a canonical imbedding has degree $2g-2$ and is a normal curve. Conversely, any normal curve of degree $2g-2$ in $P^{g-1}$ is a canonical curve for some curve of genus $g$. Two algebraic curves (with the above condition) are birationally isomorphic if and only if their canonical curves are projectively equivalent. This reduces the problem of the classification of curves to that of the theory of projective invariants and provides the possibility of constructing a moduli variety of algebraic curves . For small $g$ it is possible to given an explicit geometric description of canonical curves of genus $g$. Thus, for genus 4 canonical curves are intersections of quadrics and cubics in $P^3$, while for genus 5 they are intersections of three quadrics in $P^4$. | The image of an algebraic curve under a [[Canonical imbedding|canonical imbedding]]. If a curve $X$ is not hyper-elliptic and has genus 2, then its image in the projective space $P^{g-1}$ under a canonical imbedding has degree $2g-2$ and is a normal curve. Conversely, any normal curve of degree $2g-2$ in $P^{g-1}$ is a canonical curve for some curve of genus $g$. Two algebraic curves (with the above condition) are birationally isomorphic if and only if their canonical curves are projectively equivalent. This reduces the problem of the classification of curves to that of the theory of projective invariants and provides the possibility of constructing a moduli variety of algebraic curves . For small $g$ it is possible to given an explicit geometric description of canonical curves of genus $g$. Thus, for genus 4 canonical curves are intersections of quadrics and cubics in $P^3$, while for genus 5 they are intersections of three quadrics in $P^4$. | ||
− | |||
− | |||
− | |||
Line 11: | Line 8: | ||
====References==== | ====References==== | ||
− | <table><TR><TD valign="top">[a1]</TD> <TD valign="top"> E. Arbarello, M. Cornalba, P.A. Griffiths, J.E. Harris, "Geometry of algebraic curves" , '''1''' , Springer (1984) {{MR|2807457}} {{MR|0770932}} {{ZBL|05798333}} {{ZBL|0991.14012}} {{ZBL|0559.14017}} </TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> D. Mumford, "Curves and their Jacobians" , Univ. Michigan Press (1976) {{MR|0419430}} {{ZBL|0945.14001}} {{ZBL|0316.14010}} </TD></TR></table> | + | <table><TR><TD valign="top">[1]</TD> <TD valign="top"> I.R. Shafarevich, "Basic algebraic geometry" , Springer (1977) (Translated from Russian) {{MR|0447223}} {{ZBL|0362.14001}} </TD></TR><TR><TD valign="top">[2a]</TD> <TD valign="top"> J.A. Dieudonné, "La géométrie des groupes classiques" , Springer (1955) {{MR|}} {{ZBL|0221.20056}} </TD></TR><TR><TD valign="top">[2b]</TD> <TD valign="top"> D. Mumford, "Geometric invariant theory" , Springer (1965) {{MR|0214602}} {{ZBL|0147.39304}} </TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> R.J. Walker, "Algebraic curves" , Springer (1978) {{MR|0513824}} {{ZBL|0399.14016}} </TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top"> F. Severi, "Vorlesungen über algebraische Geometrie" , Teubner (1921) {{MR|0245574}} {{ZBL|48.0687.01}} </TD></TR> |
+ | <TR><TD valign="top">[a1]</TD> <TD valign="top"> E. Arbarello, M. Cornalba, P.A. Griffiths, J.E. Harris, "Geometry of algebraic curves" , '''1''' , Springer (1984) {{MR|2807457}} {{MR|0770932}} {{ZBL|05798333}} {{ZBL|0991.14012}} {{ZBL|0559.14017}} </TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> D. Mumford, "Curves and their Jacobians" , Univ. Michigan Press (1976) {{MR|0419430}} {{ZBL|0945.14001}} {{ZBL|0316.14010}} </TD></TR></table> |
Latest revision as of 13:15, 7 April 2023
The image of an algebraic curve under a canonical imbedding. If a curve $X$ is not hyper-elliptic and has genus 2, then its image in the projective space $P^{g-1}$ under a canonical imbedding has degree $2g-2$ and is a normal curve. Conversely, any normal curve of degree $2g-2$ in $P^{g-1}$ is a canonical curve for some curve of genus $g$. Two algebraic curves (with the above condition) are birationally isomorphic if and only if their canonical curves are projectively equivalent. This reduces the problem of the classification of curves to that of the theory of projective invariants and provides the possibility of constructing a moduli variety of algebraic curves . For small $g$ it is possible to given an explicit geometric description of canonical curves of genus $g$. Thus, for genus 4 canonical curves are intersections of quadrics and cubics in $P^3$, while for genus 5 they are intersections of three quadrics in $P^4$.
Comments
The degree of a projective algebraic variety $V\subset P^g$ of dimension $n$ is the number of points of intersection with a generic hyperplane of dimension $g-n$ in $P^g$. Thus, the degree of a plane curve given by a homogeneous equation $f(X,Y,Z)=0$ in $P^2$ is equal to the degree of the polynomial $f$. See Algebraic curve for the definition of genus, and other notations occurring above.
References
[1] | I.R. Shafarevich, "Basic algebraic geometry" , Springer (1977) (Translated from Russian) MR0447223 Zbl 0362.14001 |
[2a] | J.A. Dieudonné, "La géométrie des groupes classiques" , Springer (1955) Zbl 0221.20056 |
[2b] | D. Mumford, "Geometric invariant theory" , Springer (1965) MR0214602 Zbl 0147.39304 |
[3] | R.J. Walker, "Algebraic curves" , Springer (1978) MR0513824 Zbl 0399.14016 |
[4] | F. Severi, "Vorlesungen über algebraische Geometrie" , Teubner (1921) MR0245574 Zbl 48.0687.01 |
[a1] | E. Arbarello, M. Cornalba, P.A. Griffiths, J.E. Harris, "Geometry of algebraic curves" , 1 , Springer (1984) MR2807457 MR0770932 Zbl 05798333 Zbl 0991.14012 Zbl 0559.14017 |
[a2] | D. Mumford, "Curves and their Jacobians" , Univ. Michigan Press (1976) MR0419430 Zbl 0945.14001 Zbl 0316.14010 |
Canonical curve. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Canonical_curve&oldid=53615