In mathematics, a Hodge–Tate module is an analogue of a
Hodge structure
In mathematics, a Hodge structure, named after W. V. D. Hodge, is an algebraic structure at the level of linear algebra, similar to the one that Hodge theory gives to the cohomology groups of a smooth and compact Kähler manifold. Hodge structure ...
over
p-adic field
In mathematics, the -adic number system for any prime number extends the ordinary arithmetic of the rational numbers in a different way from the extension of the rational number system to the real and complex number systems. The extension ...
s. introduced and named Hodge–Tate structures using the results of on
p-divisible groups.
Definition
Suppose that ''G'' is the
absolute Galois group
In mathematics, the absolute Galois group ''GK'' of a field ''K'' is the Galois group of ''K''sep over ''K'', where ''K''sep is a separable closure of ''K''. Alternatively it is the group of all automorphisms of the algebraic closure of ''K'' tha ...
of a ''p''-adic field ''K''. Then ''G'' has a canonical
cyclotomic character In number theory, a cyclotomic character is a character of a Galois group giving the Galois action on a group of roots of unity. As a one-dimensional representation over a ring , its representation space is generally denoted by (that is, it is a ...
χ given by its action on the ''p''th power
roots of unity
In mathematics, a root of unity, occasionally called a de Moivre number, is any complex number that yields 1 when raised to some positive integer power . Roots of unity are used in many branches of mathematics, and are especially important in ...
. Let ''C'' be the completion of the
algebraic closure
In mathematics, particularly abstract algebra, an algebraic closure of a field ''K'' is an algebraic extension of ''K'' that is algebraically closed. It is one of many closures in mathematics.
Using Zorn's lemmaMcCarthy (1991) p.21Kaplansky (1 ...
of ''K''. Then a finite-dimensional
vector space
In mathematics and physics, a vector space (also called a linear space) is a set whose elements, often called ''vectors'', may be added together and multiplied ("scaled") by numbers called '' scalars''. Scalars are often real numbers, but can ...
over ''C'' with a semi-linear action of the
Galois group
In mathematics, in the area of abstract algebra known as Galois theory, the Galois group of a certain type of field extension is a specific group associated with the field extension. The study of field extensions and their relationship to the pol ...
''G'' is said to be of Hodge–Tate type if it is generated by the eigenvectors of integral powers of χ.
See also
*
p-adic Hodge theory
In mathematics, ''p''-adic Hodge theory is a theory that provides a way to classify and study ''p''-adic Galois representations of characteristic 0 local fields with residual characteristic ''p'' (such as Q''p''). The theory has its beginnings in ...
*
Mumford–Tate group
In algebraic geometry, the Mumford–Tate group (or Hodge group) ''MT''(''F'') constructed from a Hodge structure ''F'' is a certain algebraic group ''G''. When ''F'' is given by a rational representation of an algebraic torus, the definition of ' ...
References
*
*
*
Algebraic geometry
Number theory
Hodge theory
{{Riemannian-geometry-stub