# Martin's Blog

## Hodge structures and abelian varieties

Posted by Martin Orr on Friday, 24 September 2010 at 08:48

I spend most of my time thinking about the Hodge structures attached to abelian varieties, so I decided that I should explain what these Hodge structures are. A Hodge structure is a type of algebraic structure found on the (co)homology of complex projective varieties.

Here I will discuss only the special case of the first homology of abelian varieties. This is the simplest case, but is nonetheless very important. In particular, the Hodge structures on other homology and cohomology groups for abelian varieties can be calculated from that of the first homology. Also Hodge structures on the first (but not higher) cohomology of non-abelian varieties can be reduced to the case of abelian varieties by passing to something called the Albanese variety, generalising the Jacobian of curves.

### The exponential map

Let be an abelian variety over , of dimension . Recall that is isomorphic (as a complex Lie group) to a complex torus , where is a full lattice in .

Definition. A full lattice in a real vector space of dimension (or complex vector space of dimension ) is a discrete subgroup of which is isomorphic as a group to . Equivalently, it is a subgroup of such that the inclusion induces an isomorphism of real vector spaces .

In fact the complex structure of does not really matter here: we could let be any commutative connected compact real Lie group, of dimension (this is real dimension instead of complex dimension, so ). Then is isomorphic (as a real Lie group) to , where is a full lattice in .

I shall briefly recall a proof of this fact: The tangent space to at the identity, , is a real vector space of dimension . For any Lie group, there is a smooth map Since is commutative and connected, is a surjective group homomorphism. The kernel of gives us the lattice . The compactness of ensures that has full rank.

All full lattices in a real vector space of dimension are equivalent. More precisely, we can choose a basis of so that is the standard full lattice consisting of vectors with integer coordinates. (This is obvious: just pick a -basis of . You get a -basis of .) So and there is, up to isomorphism, only one commutative connected compact real Lie group of each dimension.

### The complex structure

Forgetting the complex structure on abelian varieties, as we did above, puts the result that all abelian varieties are isomorphic to tori in a broader perspective. But we lose the ability to distinguish between different varieties of the same dimension - in other words most of the theory of abelian varieties.

Again let be a complex abelian variety of dimension . To distinguish the lattices attached to different varieties of the same dimension, we use the fact that is not just a real vector space of dimension but is a complex vector space of dimension . It is not true that all full lattices in a complex vector space are equivalent - essentially because a -basis of the lattice has elements, but only of these are needed to give a -basis of the vector space.

You may regard the complex vector space as fixed, and different abelian varieties as corresponding to different lattices in this space. But the Hodge-theoretic point of view is to regard the lattice (and hence the real vector space ) as fixed, while different abelian varieties correspond to different complex structures on .

What do I mean by "complex structures" here? Well, if you have a real vector space, then in order to turn it into a complex vector space all you need to do is specify how to multiply vectors by complex numbers. Formally, this gives us the following definition:

Definition. A complex structure on a real vector space is an -algebra homomorphism .

As an aside, to specify a complex structure on , we do not need to give the action of all of . Indeed, by -linearity, it suffices to specify how acts. The action of on will be a -linear map such that , and conversely any such determines a complex structure.

### Hodge structures

So, starting from a complex abelian variety , we get a -module (isomorphic to ), plus a complex structure on coming from the isomorphism . Let's wrap this all up with a bow and give it a name.

Definition. An -Hodge structure is a -module together with a complex structure on .

This is not a standard definition: usually one defines a more general object called a -Hodge structure. I have called this an Hodge structure because this definition only applies to the special case of Hodge structures on the first homology of a variety -- which is more concrete than the general case. (I have not mentioned homology anywhere before. It comes in because we can identify with .)

The in the name comes from the fact that we start with a -module; sometimes this is replaced by another subring of , usually .

Hodge structures are useful because, being algebraic objects, we can employ algebraic techniques to study them, complementing the geometric techniques one uses to study abelian varieties. Importantly the Hodge structure contains all the information of the original abelian variety: two abelian varieties are isomorphic iff their -Hodge structures are isomorphic.

In particular, we can define an algebraic group called the Mumford-Tate group, such that the Hodge structure becomes a representation of the Mumford-Tate group. Then we can use tools from representation theory to learn about abelian varieties. I will talk about the Mumford-Tate group in my next post.

### Diagonalising

If you have seen Hodge structures before, you might wonder in what way my definition above is a special case of the usual one: I have no subspaces . The relationship comes by diagonalising the complex structure. Even if you haven't seen Hodge structures before, any time you have an endomorphism of a vector space, diagonalising is a nice thing to do.

Let be a complex structure and .

We know that is diagonalisable because its minimal polynomial has distinct roots. Since the eigenvalues of are complex, we need to work with in order to carry out the diagonalisation.

Write for the -eigenspace of in , and for the -eigenspace (this funny notation is to fit with the notation for general Hodge structures). Then and the spaces and are complex conjugates of each other.

Note that we have diagonalised not just , but all of : if , then acts on as multiplication by and on as multiplication by .

So a more standard-looking definition of an -Hodge structure would be:

a -module together with a decomposition satisfying .

You get the general definition of a -Hodge structure by also having pieces indexed by all pairs of integers .

1. Mumford-Tate groups From Martin's Blog

In this post I will define the Mumford-Tate group of an abelian variety. This is a -algebraic group, such that the Hodge structure is a representation of this group. The Mumford-Tate group is important in the study of Hodge theory, and surprisingl...

2. Hodge symplectic forms From Martin's Blog

Both the Hodge structure and the Tate module of an abelian variety come with symplectic forms which are (almost) preserved by the action of the relevant group (Mumford-Tate or Galois group). The form on the Tate module, called the Weil pairing, wi...

3. The Hodge filtration and universal vector extensions From Martin's Blog

We will begin this post by looking at the isomorphism between the Hodge filtration H^{0,-1}(A) \subset H_1(A, \mathbb{C}) of a complex abelian variety A and the natural filtration ... on the tangent space to the universal vector extension of A. ...

4. Hodge classes on abelian varieties From Martin's Blog

In this post I will define Hodge classes and state the Hodge conjecture. I will restrict my attention to the case of abelian varieties and say the minimum amount necessary to be able to discuss the relationships between the Hodge, Tate and ...

5. Periods of abelian varieties From Martin's Blog

There are a couple of different matrices associated with an abelian variety which are referred to as its period matrix. These matrices relate different choices of bases for the tangent space or H^1 of the abelian variety. In this post I will ...

1. Barinder Banwait said on Sunday, 26 September 2010 at 19:25 :

What is a -Hodge structure? Is it a -module with a complex structure on , where g is the "dimension" of ? Or, by your very last line, is it a direct sum of pieces where p+q = n, satisfying for all pairs?

In "The Exponential map" section, you start a paragraph with "All free lattices...". Should that be "All full lattices..."?

Looking forward to your next post on MT group!

2. Martin Orr said on Monday, 27 September 2010 at 21:15 :

Well the term -Hodge structure is something I made up, but the corresponding definition of -Hodge structure would be:

a -module together with a direct sum decomposition satisfying for all pairs, where the sum is over pairs of nonpositive integers with .

This convention for the signs of and is chosen because Hodge theorists usually work with cohomology. Continuing my nonstandard terminology, the definition of -Hodge structure would be the same, but with the "nonpositive" replaced by "nonnegative" and by . This preference for cohomology is reflected in the notation: has the indices superscripted, the same as in for cohomology.

The equivalence with complex structures is something that only comes up for (and ).

The cohomology of an abelian variety, or any projective complex manifold, is the -module part of a -Hodge structure for every (I am not sure if this works for homology when it is for non-abelian varieties). I didn't talk about this because it would be harder work to motivate. In the case of abelian varieties, all the information is already in the .

You are right about "All full lattices".