Jacobians: Difference between revisions
Jump to navigation
Jump to search
imported>David Lehavi (basic stub) |
imported>David Lehavi No edit summary |
||
Line 1: | Line 1: | ||
The Jacobian variety of a smooth [[algebraic curve]] C is the variety of degree 0 divisors of C, up to [[ratinal equivalence]]; i.e. it is the kernel of the degree map from Pic(C) to the integers; sometimes also denoted as Pic<sup>0</sup>. It is an [[Abelian variety]] of dimension g. | The Jacobian variety of a smooth [[algebraic curve]] C is the variety of degree 0 divisors of C, up to [[ratinal equivalence]]; i.e. it is the kernel of the degree map from Pic(C) to the integers; sometimes also denoted as Pic<sup>0</sup>. It is an principally polarized [[Abelian variety]] of dimension g. | ||
Principal polarization: | |||
The pricipal polarization of the Jacobian variety is given by the theta divisor: some shift from Pic<sup>g-1</sup> to to Jacobian of the image of Sym<sup>g-1</sup>C in | |||
Pic<sup>g-1</sup>. | |||
Examples: | Examples: |
Revision as of 15:42, 14 February 2009
The Jacobian variety of a smooth algebraic curve C is the variety of degree 0 divisors of C, up to ratinal equivalence; i.e. it is the kernel of the degree map from Pic(C) to the integers; sometimes also denoted as Pic0. It is an principally polarized Abelian variety of dimension g.
Principal polarization: The pricipal polarization of the Jacobian variety is given by the theta divisor: some shift from Picg-1 to to Jacobian of the image of Symg-1C in Picg-1.
Examples:
- A genus 1 curve is naturally ismorphic to the variety of degree 1 divisors, and therefor to is isomorphic to it's Jacobian.
Related theorems and problems:
- Abels theorem states that the map , which takes a curve to it's jacobian is an injection.
- The Shottcky problem calss for the classification of the map above.