nLab
Tate twist

Context

Cohomology

cohomology

Special and general types

Special notions

Variants

Extra structure

Operations

Theorems

Arithmetic geometry

Contents

Idea

Cohomology theories often have two aspects, which one might refer to as geometric and arithmetic. A prototypical example is the l-adic cohomology H i(X, l)H^{i}(X, \mathbb{Z}_{l}) of a (sufficiently nice) scheme XX over a field kk of characteristic pp, with ll coprime to pp. This is not only an abelian group (the geometric aspect), but a representation of the absolute Galois group of kk (the arithmetic aspect).

In the case of the singular cohomology of a complex manifold, the ‘arithmetic’ aspect arises as the Hodge structure on the cohomology groups. It has been speculated (for example by Manin?) that there should be some kind of ‘Galois group’ whose representations are Hodge structures, (and similarly for mixed Hodge modules vs perverse sheaves, and so on) but this remains mysterious; it may be that a good theory of algebraic geometry over 𝔽 1\mathbb{F}_{1} (the would-be “field with one element”) would provide an explanation.

Tate twists play an important role in cohomology theories with this dual geometric and arithmetic aspect, allowing one to express Poincaré duality canonically, that is, without choosing an orientation of one’s geometric object (scheme, complex manifold, …).

In étale cohomology in characteristic pp, the Tate twist of a /p\mathbb{Z} / p\mathbb{Z}-module, or sheaf of such modules, AA is, concretely, A /p(1)A \otimes_{\mathbb{Z} / p\mathbb{Z}} \mathbb{Z}(1), where (1)\mathbb{Z}(1) is the abelian group μ n\mu_{n} of n thn^{th} roots of unity with respect to the algebraic closure of /p\mathbb{Z} / p\mathbb{Z}. For n0n \geq 0, the n thn^{th} Tate twist of AA, often denoted A(n)A(n), is defined to be the result of carrying out the above construction nn times. One defines (n)\mathbb{Z}(-n) to be the dual of (n)\mathbb{Z}(n), that is to say Hom /pmod((n),/p)\mathsf{Hom}_{\mathbb{Z} / p\mathbb{Z} -\mathsf{mod}}(\mathbb{Z}(n), \mathbb{Z} / p\mathbb{Z}), and defines A(n)A(-n) to be A /p(n)A \otimes_{\mathbb{Z} / p\mathbb{Z}} \mathbb{Z}(-n).

The ll-adic Tate twist l(1)\mathbb{Z}_{l}(1) is defined by means of the inverse system consisting of the groups μ l i\mu_{l^{i}} along with the morphisms μ l i+1μ l i\mu_{l^{i+1}} \rightarrow \mu_{l^{i}} given by aa la \mapsto a^{l}, for i1i \geq 1, and one can then define l(n)\mathbb{Z}_{l}(n) for any integer nn.

The significance of l(1)\mathbb{Z}_{l}(1) is that it is the first ll-adic homology (or equivalently the étale fundamental group) of 𝔾 m\mathbb{G}_{m}, the multiplicative group of /p\mathbb{Z} / p\mathbb{Z} as a scheme (i.e. 𝔸 1{0}\mathbb{A}^{1} \setminus \{ 0 \}, the affine line over /p\mathbb{Z} / p\mathbb{Z} minus the origin). It is a free l\mathbb{Z}_{l}-module of rank 11, and one therefore deduces that the first ll-adic cohomology group of 𝔾 m\mathbb{G}_{m} is the dual of l(1)\mathbb{Z}_{l}(1), that is to say, l(1)\mathbb{Z}_{l}(-1). Some basic considerations in ll-adic cohomology show that H 2( 1, l(1))H^{2}(\mathbb{P}^{1}, \mathbb{Z}_{l}(1)) is canonically isomorphic to H 1(𝔾 m, 1(1))H^{1}(\mathbb{G}_{m}, \mathbb{Z}_{1}(1)), and thus that H 2( 1, l(1))H^{2}(\mathbb{P}^{1}, \mathbb{Z}_{l}(1)) is canonically isomorphic to l\mathbb{Z}_{l} (all of the cohomology groups here are ll-adic cohomology).

The point of this is that it shows that l(1)\mathbb{Z}_{l}(1), that is to say, the Tate twist of l\mathbb{Z}_{l}, is the correct choice of orientation sheaf in ll-adic cohomology. And from this follows (with effort!) many things: Tate twists are involved in the canonical formulation of Poincaré duality, as already mentioned, of the Thom isomorphism, of the cycle map, and so on.

There are variations on how to tell the above story (Deligne’s discussion in 1.6 of SGA 412\frac{1}{2}, via étale cohomology with compact support, can be recommended for instance), but they all come down ultimately to the fact that l(1)\mathbb{Z}_{l}(1) is the correct choice of orientation sheaf in an ll-adic setting.

To return to our starting point, a crucial remark here is that whilst l(1)\mathbb{Z}_{l}(1) is non-canonically isomorphic to l\mathbb{Z}_{l} as a l\mathbb{Z}_{l}-module, the two are not isomorphic as Galois representations. Thus the presence of Tate twists is indispensable to the arithmetic aspect of cohomology.

The analogue of this story goes through for singular cohomology of a complex manifold. The roots of unity in this case are a choice of a square root of 1-1, namely either ii or i-i. The choice is invisible in the geometric part of singular cohomology, namely as an abelian group, but it can be seen in the Hodge structure. The analogue of the computations involving 𝔾 m\mathbb{G}_{m} and 1\mathbb{P}^{1} are that the kernel of the exponential map ×\mathbb{C} \rightarrow \mathbb{C}^{\times} is \mathbb{Z}, and the inclusion of \mathbb{Z} in \mathbb{C} is via 12πi1 \mapsto 2 \pi i. Thus the Tate twist in singular cohomology is tensoring with 2πi2 \pi i \mathbb{Z}.

Tate twists are so fundamental that they are built into Grothendieck’s definition of the category of pure motives: one formally inverts (this is the analogue of taking the dual in the above story) the Lefschetz motive, namely the motive of a pointed 1\mathbb{P}^{1}.

Tate twists are also fundamental in the various approaches to mixed motives, including Voevodsky’s. Indeed, in the definition of motivic cohomology via hypercohomology or via the derived category of mixed motives, ‘all the interesting part’ comes from a certain complex of presheaves with transfers built from 𝔾 m\mathbb{G}_{m} in a way which is formally entirely analogous to the story we told above. In the definition of motivic cohomology via motivic homotopy theory, ‘all the interesting part’ comes from the inversion of smashing with the ‘algebraic circle’, namely a pointed 𝔾 m\mathbb{G}_{m}.

As a final remark, rational Tate twists can also be made sense of, and are used for instance in geometric representation theory.

Definition

For nn \in \mathbb{N} write μ n𝔾 m() n𝔾 m\mu_n \to \mathbb{G}_m \stackrel{(-)^n}{\longrightarrow}\mathbb{G}_m for the nnth Kummer sequence. Then for kk \in \mathbb{N} the kk-fold tensor power of the group of nnth roots of unity

/n(k)μ n k \mathbb{Z}/n\mathbb{Z}(k) \coloneqq \mu_n^{\otimes k}

is called the kkth Tate twist.

(…)

References

  • Kanetomo Sato, pp-adic étale Tate twists and arithmetic duality (arXiv:0610426)

Last revised on February 9, 2018 at 04:58:30. See the history of this page for a list of all contributions to it.