Martin's Blog

Complex abelian varieties and Riemann forms

Posted by Martin Orr on Wednesday, 30 December 2009 at 21:48

The theory of abelian varieties is very beautiful, both in its arithmetic and geometrical aspects, and also looking just over \mathbb{C} where there are nice applications of complex analysis. In this post I will work over \mathbb{C}, and sketch a proof that a complex torus is isomorphic to an abelian variety if and only if it admits a Riemann form. This will assume some knowledge of the theory of complex manifolds.

Introduction

An abelian variety is a projective variety X with a multiplication morphism X \times X \to X and an inverse morphism X \to X, satisfying the usual axioms for a group. It is a surprising fact that the condition that X is projective is enough to guarantee that the multiplication is commutative.

Any abelian variety over \mathbb{C} is isomorphic (as a complex Lie group) to a complex torus i.e. \mathbb{C}^g / \Lambda where \Lambda is a \mathbb{Z}-lattice of rank 2g in \mathbb{C}^g. The isomorphism is induced by the exponential map \exp : \mathbb{C}^g =  T_e X \to X (this is a homomorphism because X is commutative).

In the case g = 1, every complex torus \mathbb{C} / \Lambda is isomorphic to an elliptic curve. But in higher dimensions, not every complex torus is isomorphic to an abelian variety, because not very complex torus can be embedded in projective space.

Riemann forms

A Riemann form is an alternating form E : \mathbb{C}^g \times \mathbb{C}^g \to \mathbb{R} such that

  1. E(iu, iv) = E(u, v) for all u, v;
  2. the corresponding Hermitian form H(u, v) = E(iu, v) + iE(u, v) is positive-definite; and
  3. E takes integer values on \Lambda.

Here I am defining a Hermitian form to be a function H : \mathbb{C}^g \times \mathbb{C}^g \to \mathbb{C} which is linear in the first variable, and such that H(u, v) = \overline{H(v, u)}.

If H is a Hermitian form, then the imaginary part E = \mathop{\mathrm{Im}} H is a real alternating form satisfying condition (1) above. Conversely any real alternating form satisfying this identity is the imaginary part of a unique Hermitian form, given by the formula in (2).

(Similarly the real part of a Hermitian form is a symmetric form satisfying S(iu, iv) = S(u, v) and any such symmetric form is the real part of a unique Hermitian form.)

A Hermitian form H is positive-definite if H(v, v) > 0 for all v \neq 0.
In terms of the corresponding alternating form, this is E(iv, v) > 0 for all v \neq 0.

Hodge metrics

Given a complex torus X = \mathbb{C}^g / \Lambda, we can view \mathbb{C}^g as the tangent space at the identity. Hence a non-degenerate alternating form E on \mathbb{C}^g gives rise to a 2-form \omega on X (which is by definition an alternating form on the tangent space at each point of X; we define \omega at P by translating E from the identity to P).

Since \omega has constant coefficients in the natural coordinate charts on \mathbb{C}^g / \Lambda, it is a closed 2-form, i.e. a symplectic form.

Conversely, given a translation-invariant symplectic form you can evaluate it at the identity to get a non-degenerate alternating form on \mathbb{C}^g. So there is a bijection between non-degenerate alternating forms on \mathbb{C}^g and translation-invariant symplectic forms on X.

Restricting this to alternating forms which come from a positive-definite Hermitian form, we get a bijection between alternating forms satisfying (1) and (2) above and translation-invariant Kähler metrics on X.

Condition (3), namely that E takes integer values on \Lambda, is equivalent to the corresponding translation-invariant 2-form being in the integral cohomology H^2(X, \mathbb{Z}).

A Kähler metric where the corresponding 2-form is in an integral cohomology class is called a Hodge metric. Hence Riemann forms for \mathbb{C}^g/\Lambda biject with translation-invariant Hodge metrics on X.

Kodaira embedding theorem

Now the fact that any complex torus with a Riemann form is an abelian variety follows immediately from the Kodaira embedding theorem:

Theorem. Any compact complex manifold with a Hodge metric can be embedded in projective space.

The general proof of the Kodaira embedding theorem is hard. Even the dimension 1 case, that any compact Riemann surface is projective, requires some deep analysis.

In the case of complex tori, I believe that it is possible to give an easier proof by explicitly constructing meromorphic functions, using theta functions.

Other direction

To prove the other direction, that any abelian variety corresponds to a complex torus admitting a Riemann form, is easier.

Given any projective complex manifold X, just restrict the Fubini-Study metric on \mathbb{P}^n to get a Hodge metric on X.

For a complex torus, average this metric over the manifold to get a translation-invariant Hodge metric. We have seen that this corresponds to a Riemann form.

Tags abelian-varieties, alg-geom, maths

Trackbacks

No trackbacks.

Comments

  1. Alex Youcis said on Wednesday, 01 October 2014 at 07:44 :

    I'm sure you know this, but there is another nice application of complex analysis lurking about. You said "it's a surprising fact that being projective is enough to guarantee commutativity." That said, if A is an abelian variety over C, as in your definition, then A is, in particular, a complex Lie group. Looking at its adjoint representation, this is a map A to GL_n(C) which is holomorphic. Since A is compact, and GL_n(C) affine, this implies that the adjoint representation is trivial, and so A is abelian.

    This also works for A any compact complex Lie group, and so it suffices to take A to be proper. But, as I'm sure you know, this was equivalent to projective anyways.

    Nice blog by the way. :)

Post a comment

Markdown syntax with embedded LaTeX.
Type LaTeX between dollar signs, and enclose them between backticks to protect it from Markdown.
All comments are subject to moderation before they appear on the blog.

Archives