Maths > Abelian varieties > Absolute Hodge classes

## Absolute Hodge classes

Posted by Martin Orr on Thursday, 20 November 2014 at 18:55

Let ` be an abelian variety over a field `

```
of characteristic zero.
For each embedding
```

`, we get a complex abelian variety `

` by applying `

` to the coefficients of equations defining `

`.`

Whenever an object attached to ` is defined algebraically, we will get closely related objects for each `

```
.
On the other hand, whenever we use complex analysis to define an object attached to
```

`, we should expect to get completely unrelated things for different `

```
(if
```

` then most field embeddings `

` are horribly discontinuous so will mess up anything analytic).`

Hodge classes provide a special case: the definition of Hodge classes on ` as `

` is analytic so we expect no relation between Hodge classes on different `

```
.
But the Hodge conjecture says that every Hodge class in
```

` is an algebraic cycle class, and this implies the associated cohomology class in `

` is also a Hodge class for every `

```
.
(We will explain in the post why there is a natural semilinear isomorphism
```

`.)`

Deligne had the idea that we could pick this out as a partial step on the way to the Hodge conjecture: he defined an *absolute Hodge class* to be a cohomology class such that its associated class on ` is a Hodge class for every `

```
and proved that every Hodge class on an abelian variety is an absolute Hodge class.
It turns out that this is sufficient to obtain some of the consequences which would follow from the Hodge conjecture.
In this post we will explain the definition of absolute Hodge classes.
```

### De Rham cohomology

So far in this blog, we have only seen an analytic construction of the cohomology with complex coefficients ```
of a complex abelian variety.
Before we can talk about absolute Hodge classes, we need to construct this algebraically, so that we get semilinear isomorphisms between
```

` for different `

`, and hence know what it means to talk about a cohomology class being a Hodge class with respect to all `

`.`

Recall that a few posts ago, we constructed the tangent space of the universal vector extension ```
.
This is a vector space over
```

```
.
We proved that, looking at the complex abelian variety
```

```
, there is a canonical isomorphism
```

Using the fact that the construction of the universal vector extension is compatible with extensions of the base field, for each ```
we get a canonical isomorphism
```

Following the fact that the cohomology groups of ` are exterior powers of the dual of `

```
,
we define the
```

*-th de Rham cohomology* of

to be the

-vector space

(usually one would define de Rham cohomology in a more general way, for all algebraic varieties, and then it is a theorem that the above formula holds for abelian varieties).
We get canonical isomorphisms

### De Rham cohomology and the Hodge filtration

As we discussed previously for `, the Hodge decomposition for `

` cannot defined algebraically (it cannot come from a decomposition of the -vector space `

```
) but the Hodge filtration
```

```
corresponds to the first part of the exact sequence
```

```
Dualising, we get that
```

```
maps the filtration
```

```
to
```

We can define a descending filtration on ` by letting `

` be the subspace generated by elements of the form `

` where `

` and `

```
.
Then the above gives us
```

```
or in other words "the Hodge filtration is defined algebraically."
```

### Hodge classes and de Rham cohomology

We say that a de Rham cohomology class ` is a `

*Hodge class relative to * if

is a Hodge class on i.e. if

We can equivalently say

because if

then

is its own complex conjugate (because it is in

) and so the complex conjugation condition on the Hodge decomposition forces

.Observe that the condition ` is independent of `

`, while the condition `

` depends on `

` and because `

` is an analytic object, even if the second condition holds for one `

`, it probably does not hold for most `

`.`

### Enter the Hodge conjecture

Suppose that we have a cohomology class ` which is a Hodge class relative to one embedding `

```
.
The Hodge conjecture says that
```

` is in the `

`-span of the classes `

` of algebraic subvarieties `

`.`

Now suppose we are given another embedding `, and suppose that there is an automorphism `

` of `

` such that `

```
.
(Such a
```

` does not always exist when `

` because there are non-surjective embeddings `

```
.
There is a way of dealing with
```

` for which there is no `

`, but we will ignore them for now.)`

Then applying ` to the coefficients of equations defining the subvariety `

`, we get a subvariety `

```
.
Furthermore, there is an algebraic recipe for defining cycle classes in de Rham cohomology, and this implies that
```

```
Hence
```

` is an algebraic cycle class, and hence a Hodge class.`

Thus the Hodge conjecture implies that ` is a Hodge class for every `

`.`

We define an *absolute Hodge class* to be a de Rham cohomology class ` which is a Hodge class relative to every `

```
.
Deligne proved:
```

Theorem.If`is an abelian variety over`

`and`

`is a Hodge class relative to one embedding`

`, then`

`is an absolute Hodge class.`

By the above argument, the Hodge conjecture would imply that the theorem is true for all algebraic varieties. However it is only known for abelian varieties, K3 surfaces and a few other special cases.