Maths > Abelian varieties > Polarisations, dual abelian varieties and the Weil pairing

## Polarisations on Hodge structures

Posted by Martin Orr on Saturday, 26 February 2011 at 18:27

In the last post, I discussed Hodge symplectic forms.
Now I shall show that the ```
of an abelian variety has a polarisation, which is defined to be a Hodge symplectic form satisfying a positivity condition.
The importance of polarisations is that they give a way of recognising which
```

` Hodge structures come from abelian varieties - I shall discuss this application next time.`

### Recap: Hodge symplectic forms

It's been a long time since the last post, so let us recall what it said.
Let ` be an `

` `

```
-Hodge structure.
A
```

*symplectic form* on ` is a bilinear map `

```
satisfying
```

` for all `

```
.
A
```

*Hodge symplectic form* is a symplectic form ` satisfying any of the following equivalent properties:`

`vanishes on`

`and on`

`.`

- If
`is the complex structure defining the`

`Hodge structure, then`

`.`

`lies in the (1,1)-part of the`

`Hodge structure`

`.`

If ` is a complex abelian variety, then `

` has a Hodge symplectic from, induced by an embedding of `

` in projective space (and in general there are many Hodge symplectic forms coming from different embeddings into projective space).`

### Polarisations and Hermitian forms

A *polarisation* on an ` Hodge structure `

` is a Hodge symplectic form `

```
satisfying
```

```
for all
```

```
.
Note that it would not make sense to ask for
```

` because `

` is a symplectic form so by definition `

`.`

At first sight this definition may be a little odd, but it can be interpreted as positive definiteness for a certain Hermitian form as follows:

Let ` be `

` viewed as a complex vector space via the complex structure `

```
(this is not at all the same thing as
```

```
!)
Then a Hodge symplectic form
```

` extends to an `

`-bilinear symplectic form `

```
.
It is
```

*not* ```
-bilinear, but by definition 2 of a Hodge symplectic form, it satisfies
```

This corresponds to a Hermitian form ` on `

` via the following lemma.`

Lemma.Let`be a`

`-vector space. There is a bijection between Hermitian forms`

`on`

`and symplectic`

`-bilinear forms`

`satisfying`

`given by`

Now the Hermitian form ` is positive definite if and only if `

```
is a polarisation.
(Exercise: prove this fact and the lemma.)
```

### Polarisable Hodge structures and abelian varieties

The following (and its converse) is the key theorem to explain the interest in polarisations.

Theorem.If`is an abelian variety, then the Hodge structure`

`has a polarisation.`

Sketch of proof.Recall that to construct a Hodge symplectic form, we took an embedding of`in`

`and let`

`be a hyperplane in`

`. We looked at the homology class of`

`in`

`and took its Poincaré dual, which was the desired Hodge symplectic form.`

We could do this in a slightly different order: Look at the homology class of

`in`

`. Take its Poincaré dual to get`

`. Then restrict`

`to`

`.`

By working on

`, we can do explicit calculations in homogeneous coordinates. We can write down a differential form, something like the following, and check that its de Rham cohomology class is`

`:`

`We can also calculate the corresponding Hermitian form on the tangent space of`

`and check that it is positive definite, and so`

`restricts to a polarisation of`

`.`

The converse says that any ` `

`-Hodge structure with a polarisation is the `

` of some abelian variety, and I will discuss it next time.`

### Remark on terminology

Polarisations on ` Hodge structures are also called `

*Riemann forms*.
If you are being careful, a polarisation is defined on the Hodge structure ` (`

` above) and a Riemann form is defined on the complex vector space `

` (`

` above) but they are pretty much the same thing.`

People also talk about polarisations on abelian varieties, which are algebro-geometrically defined, and make sense over any field. Fortunately if we work over ` then polarisations on the abelian variety (in the algebraic geometry sense) are in 1-1 correspondence with polarisations on the Hodge structure (as defined above) so again it doesn't matter.`

A *polarisable Hodge structure* is defined to be a Hodge structure ```
for which there exists at least one polarisation (but we have not chosen any particular polarisation).
On the other hand, a
```

*polarised Hodge structure* is a pair ` where `

` is a Hodge structure and `

` is a polarisation on `

```
.
This difference matters when we consider categories - a morphism of polarised Hodge structures is required to preserve the chosen polarisation, while a morphism of polarisable Hodge structures is any morphism of Hodge structures.
```

Barinder Banwaitsaid on Monday, 07 March 2011 at 20:11 :B1. In the last paragraph of "Recap: Hodge Sympletic forms", "an embedding in A in projective space" should be replaced with "an embedding of A in projective space".

A2. Let

`be a complex elliptic curve. In your setup, you think of`

`as`

`, where`

`,`

and`admits a given complex structure`

`; indeed, this complex structure is what tells apart two elliptic curves.`

Now I embed

`into`

`. You say that this induces a symplectic form`

`, and a Hodge one at that! What is this symplectic form explicitly? And why is it Hodge?`

C3. Is embedding

`into`

`like choosing a Weierstraß equation for`

`? But how is varying the complex structure giving you different Weierstraß equations?`

B4. In the "Polarisations and Hermitian forms" section, right before the lemma, "...form on

`on`

`..." should be replaced with "...form`

`on`

`...".`

C5. Trieste is a remarkable place. Venice is a very crowded place at Carnival time. The Library at the ICTP is the best I have ever been in.

Martin Orrsaid on Thursday, 17 March 2011 at 15:51 :Thanks for the corrections. Sorry I have taken so long to reply, because I have been without a computer for a couple of weeks.

A2. In the case of an elliptic curve, everything simplifies (I probably should have talked about this). That is why you don't encounter polarisations in the theory of elliptic curves, because they don't tell you much.

The family of symplectic forms

`is isomorphic to`

`: choose an ordered basis`

`of`

`. If`

`, then by linearity and anti-symmetry, for every`

`we have`

So

`is an isomorphism`

`. There are exactly two possible isomorphisms differing by a sign, which correspond to choosing a clockwise or an anti-clockwise ordered basis.`

This implies that all symplectic forms on

`are Hodge: the space`

`is one-dimensional, but we know that`

`, so if either`

`or`

`is non-zero then both of them are and`

`. So`

`and all symplectic forms are automatically Hodge.`

Let us fix the sign of the isomorphism

`by insisting that positive integers should correspond to symplectic forms where the corresponding Hermitian form is positive definite.`

Then the only question is: to which integer does a Weierstrass embedding

`correspond? The answer turns out to be`

`because a divisor on`

`induced by a line in`

`has degree`

`.`

If we embed

`in`

`so that it has a basis`

`with`

`, then the associated Hermitian form`

`is`

C3. Embedding

`in`

`is exactly choosing a Weierstrass equation for`

`. As I just said, so long as you stick to elliptic curves and Weierstrass equations then it doesn't matter which equation you pick: you always get the same Hodge form. This is not too surprising because any two Weierstrass equations are equivalent via an automorphism of`

`.`

C5. Yes the library at the ICTP is nice, but I don't think you have been in the one at Orsay.