Equations defining abelian varieties

Equations defining abelian varieties

In mathematics, the concept of abelian variety is the higher-dimensional generalization of the elliptic curve. The equations defining abelian varieties are a topic of study because every abelian variety is a projective variety. In dimension "d" ≥ 2, however, it is no longer as straightforward to discuss such equations.

There is a large classical literature on this question, which in a reformulation is, for complex algebraic geometry, a question of describing relations between theta functions. The modern geometric treatment now refers to some basic papers of David Mumford, from 1966-7, which reformulated that theory in terms from abstract algebraic geometry valid over general fields.

Complete intersections

The only 'easy' cases are those for "d" = 1, for an elliptic curve with linear span the projective plane or projective 3-space. In the plane, every elliptic curve is given by a cubic curve. In "P"3, an elliptic curve can be obtained as the intersection of two quadrics.

In general abelian varieties are not complete intersections. Computer algebra techniques are now able to have some impact on the direct handling of equations for small values of "d" > 1.

Kummer surfaces

The interest in nineteenth century geometry in the Kummer surface came in part from the way a quartic surface represented a quotient of an abelian variety with "d" = 2, by the group of order 2 of automorphisms generated by "x" → −"x" on the abelian variety.

General case

Mumford defined a theta group associated to an invertible sheaf "L" on an abelian variety "A". This is a group of self-automorphisms of "L", and is a finite analogue of the Heisenberg group. The primary results are on the action of the theta group on the global sections of "L". When "L" is very ample, the linear representation can be described, by means of the structure of the theta group. In fact the theta group is abstractly a simple type of nilpotent group, a central extension of a group of torsion points on "A", and the extension is known (it is in effect given by the Weil pairing). There is a uniqueness result for irreducible linear representations of the theta group with given central character, or in other words an analogue of the Stone-von Neumann theorem. (It is assumed for this that the characteristic of the field of coefficients doesn't divide the order of the theta group.)

Mumford showed how this abstract algebraic formulation could account for the classical theory of theta functions with theta characteristics, as being the case where the theta group was an extension of the two-torsion of "A".

An innovation in this area is to use the Mukai-Fourier transform.

The coordinate ring

The goal of the theory is to prove results on the homogeneous coordinate ring of the embedded abelian variety "A", that is, set in a projective space according to a very ample "L" and its global sections. The graded commutative ring that is formed by the direct sum of the global sections of the

:"L""n",

meaning the "n"-fold tensor product of itself, is represented as the quotient ring of a polynomial algebra by a homogeneous ideal "I". The graded parts of "I" have been the subject of intense study.

Quadratic relations were provided by Bernhard Riemann. Koizumi's theorem states the third power of an ample line bundle is normally generated. The Mumford-Kempf theorem states that the fourth power of an ample line bundle is quadratically presented.

ee also

* Horrocks-Mumford bundle

References

* David Mumford, "On the equations defining abelian varieties I" Invent. Math., 1 (1966) pp. 287–354
*____, "On the equations defining abelian varieties II-III" Invent. Math. , 3 (1967) pp. 71–135; 215–244
*____, "Abelian varieties" (1974)
*Jun-ichi Igusa, "Theta functions" (1972)


Wikimedia Foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Look at other dictionaries:

  • Timeline of abelian varieties — This is a timeline of the theory of abelian varieties in algebraic geometry, including elliptic curves.Early history* c. 1000 Al Karaji writes on congruent numbers [ [http://www.cms.math.ca/Events/summer05/abs/pdf/hm.pdf PDF] ] eventeenth… …   Wikipedia

  • Homogeneous coordinate ring — In algebraic geometry, the homogeneous coordinate ring R of an algebraic variety V given as a subvariety of projective space of a given dimension N is by definition the quotient ring R = K[X0, X1, X2, ..., XN]/I where I is the homogeneous ideal… …   Wikipedia

  • David Mumford — in 1975 Born 11 June 1937 (1937 06 11) (age 74) …   Wikipedia

  • Complex torus — In mathematics, a complex torus is a particular kind of complex manifold M whose underlying smooth manifold is a torus in the usual sense (i.e. the cartesian product of some number N circles). Here N must be the even number 2n, where n is the… …   Wikipedia

  • List of mathematics articles (E) — NOTOC E E₇ E (mathematical constant) E function E₈ lattice E₈ manifold E∞ operad E7½ E8 investigation tool Earley parser Early stopping Earnshaw s theorem Earth mover s distance East Journal on Approximations Eastern Arabic numerals Easton s… …   Wikipedia

  • Heisenberg group — In mathematics, the Heisenberg group, named after Werner Heisenberg, is the group of 3×3 upper triangular matrices of the form or its generalizations under the operation of matrix multiplication. Elements a, b, c can be taken from some… …   Wikipedia

  • Algebraic geometry — This Togliatti surface is an algebraic surface of degree five. Algebraic geometry is a branch of mathematics which combines techniques of abstract algebra, especially commutative algebra, with the language and the problems of geometry. It… …   Wikipedia

  • Projective space — In mathematics a projective space is a set of elements constructed from a vector space such that a distinct element of the projective space consists of all non zero vectors which are equal up to a multiplication by a non zero scalar. A formal… …   Wikipedia

  • Group theory — is a mathematical discipline, the part of abstract algebra that studies the algebraic structures known as groups. The development of group theory sprang from three main sources: number theory, theory of algebraic equations, and geometry. The… …   Wikipedia

  • Outline of algebraic structures — In universal algebra, a branch of pure mathematics, an algebraic structure is a variety or quasivariety. Abstract algebra is primarily the study of algebraic structures and their properties. Some axiomatic formal systems that are neither… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”