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.