# Martin's Blog

## 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.