Abelian surface

From Citizendium, the Citizens' Compendium
Jump to: navigation, search
This article is developing and not approved.
Main Article
Talk
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
This editable Main Article is under development and not meant to be cited; by editing it you can help to improve it towards a future approved, citable version. These unapproved articles are subject to a disclaimer.

In algebraic geometry an Abelian surface over a field is a two dimensional Abelian variety. Every abelian surface is a finite quotient of a Jacobian variety of a smooth hyperelliptic curve of genus two or a product of two elliptic curves. Abelian surfaces are one of the two types of algebraic surfaces with trivial canonical class, the other type being algebraic K3 surfaces.

Polarization

Abelian surfaces have a trivial canonical class. Therefore they are usually considered together with a choice of some non-trivial effective divisor on them. This divisor is called the polarization on the Abelian surface; A pair of an Abelian surface and a polarization is call a polarized Abelian surface. Given a polarized Abelian variety we define the polarization map by sending a point to the divisor class . This map is a group morphism. The kernel of the map is a finite Abelian group with at most four generators. The ismorphism type of the kernel is called the type of the polarization. If the kernel is trivial then polarization is called principal; in this case the arithmetic genus of is . Most of the classical theory of Abelian surfaces deal with the case where is a smooth curve of genus 2.

Weil Pairing

The Kummer surface

The quotient of an Abelian variety by the involution is called the Kummer variety of the Abelian variety. The Kummer varieties of Jacobians of hyperelliptic curves of genus 2 exhibit many beautiful properties - see the article Kummer surfaces.

Moduli of Abelian surfaces.