Tate twist
Encyclopedia
In number theory
and algebraic geometry
, the Tate twist, named after John Tate
, is an operation on Galois module
s.
For example, if K is a field
, GK is its absolute Galois group
, and ρ : GK → AutK(V) is a representation
of GK on a finite-dimensional vector space
V over the field Qp of p-adic numbers
, then the Tate twist of V, denoted V(1), is the representation on the tensor product V⊗Qp(1), where Qp(1) is the p-adic cyclotomic character
(i.e. the Tate module
of the group of roots of unity in the separable closure Ks of K). More generally, if m is a positive integer, the mth Tate twist of V, denoted V(m), is the tensor product of V with the m-fold tensor product of Qp(1). Denoting by Qp(−1) the dual representation
of Qp(1), the mth Tate twist of V can be defined as
Number theory
Number theory is a branch of pure mathematics devoted primarily to the study of the integers. Number theorists study prime numbers as well...
and algebraic geometry
Algebraic geometry
Algebraic geometry is a branch of mathematics which combines techniques of abstract algebra, especially commutative algebra, with the language and the problems of geometry. It occupies a central place in modern mathematics and has multiple conceptual connections with such diverse fields as complex...
, the Tate twist, named after John Tate
John Tate
John Torrence Tate Jr. is an American mathematician, distinguished for many fundamental contributions in algebraic number theory, arithmetic geometry and related areas in algebraic geometry.-Biography:...
, is an operation on Galois module
Galois module
In mathematics, a Galois module is a G-module where G is the Galois group of some extension of fields. The term Galois representation is frequently used when the G-module is a vector space over a field or a free module over a ring, but can also be used as a synonym for G-module...
s.
For example, if K is a field
Field (mathematics)
In abstract algebra, a field is a commutative ring whose nonzero elements form a group under multiplication. As such it is an algebraic structure with notions of addition, subtraction, multiplication, and division, satisfying certain axioms...
, GK is its absolute Galois group
Absolute Galois group
In mathematics, the absolute Galois group GK of a field K is the Galois group of Ksep over K, where Ksep is a separable closure of K. Alternatively it is the group of all automorphisms of the algebraic closure of K that fix K. The absolute Galois group is unique up to isomorphism...
, and ρ : GK → AutK(V) is a representation
Group representation
In the mathematical field of representation theory, group representations describe abstract groups in terms of linear transformations of vector spaces; in particular, they can be used to represent group elements as matrices so that the group operation can be represented by matrix multiplication...
of GK on a finite-dimensional vector space
Vector space
A vector space is a mathematical structure formed by a collection of vectors: objects that may be added together and multiplied by numbers, called scalars in this context. Scalars are often taken to be real numbers, but one may also consider vector spaces with scalar multiplication by complex...
V over the field Qp of p-adic numbers
P-adic number
In mathematics, and chiefly number theory, the p-adic number system for any prime number p extends the ordinary arithmetic of the rational numbers in a way different from the extension of the rational number system to the real and complex number systems...
, then the Tate twist of V, denoted V(1), is the representation on the tensor product V⊗Qp(1), where Qp(1) is the p-adic cyclotomic character
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 R, its representation space is generally denoted by R .-p-adic cyclotomic character:If p is a prime, and G is the absolute...
(i.e. the Tate module
Tate module
In mathematics, a Tate module of an abelian group, named for John Tate, is a module constructed from an abelian group A. Often, this construction is made in the following situation: G is a commutative group scheme over a field K, Ks is the separable closure of K, and A = G...
of the group of roots of unity in the separable closure Ks of K). More generally, if m is a positive integer, the mth Tate twist of V, denoted V(m), is the tensor product of V with the m-fold tensor product of Qp(1). Denoting by Qp(−1) the dual representation
Dual representation
In mathematics, if G is a group and ρ is a linear representation of it on the vector space V, then the dual representation is defined over the dual vector space as follows:...
of Qp(1), the mth Tate twist of V can be defined as