\documentclass[12pt,titlepage]{article}

\usepackage{amsmath}
\usepackage{mathrsfs}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{mathtools}
\usepackage{graphicx}
\usepackage{color}
\usepackage{ucs}
\usepackage[utf8x]{inputenc}
\usepackage{xparse}
\usepackage{hyperref}

%----Macros----------
%
% Unresolved issues:
%
%  \righttoleftarrow
%  \lefttorightarrow
%
%  \color{} with HTML colorspec
%  \bgcolor
%  \array with options (without options, it's equivalent to the matrix environment)

% Of the standard HTML named colors, white, black, red, green, blue and yellow
% are predefined in the color package. Here are the rest.
\definecolor{aqua}{rgb}{0, 1.0, 1.0}
\definecolor{fuschia}{rgb}{1.0, 0, 1.0}
\definecolor{gray}{rgb}{0.502, 0.502, 0.502}
\definecolor{lime}{rgb}{0, 1.0, 0}
\definecolor{maroon}{rgb}{0.502, 0, 0}
\definecolor{navy}{rgb}{0, 0, 0.502}
\definecolor{olive}{rgb}{0.502, 0.502, 0}
\definecolor{purple}{rgb}{0.502, 0, 0.502}
\definecolor{silver}{rgb}{0.753, 0.753, 0.753}
\definecolor{teal}{rgb}{0, 0.502, 0.502}

% Because of conflicts, \space and \mathop are converted to
% \itexspace and \operatorname during preprocessing.

% itex: \space{ht}{dp}{wd}
%
% Height and baseline depth measurements are in units of tenths of an ex while
% the width is measured in tenths of an em.
\makeatletter
\newdimen\itex@wd%
\newdimen\itex@dp%
\newdimen\itex@thd%
\def\itexspace#1#2#3{\itex@wd=#3em%
\itex@wd=0.1\itex@wd%
\itex@dp=#2ex%
\itex@dp=0.1\itex@dp%
\itex@thd=#1ex%
\itex@thd=0.1\itex@thd%
\advance\itex@thd\the\itex@dp%
\makebox[\the\itex@wd]{\rule[-\the\itex@dp]{0cm}{\the\itex@thd}}}
\makeatother

% \tensor and \multiscript
\makeatletter
\newif\if@sup
\newtoks\@sups
\def\append@sup#1{\edef\act{\noexpand\@sups={\the\@sups #1}}\act}%
\def\reset@sup{\@supfalse\@sups={}}%
\def\mk@scripts#1#2{\if #2/ \if@sup ^{\the\@sups}\fi \else%
  \ifx #1_ \if@sup ^{\the\@sups}\reset@sup \fi {}_{#2}%
  \else \append@sup#2 \@suptrue \fi%
  \expandafter\mk@scripts\fi}
\def\tensor#1#2{\reset@sup#1\mk@scripts#2_/}
\def\multiscripts#1#2#3{\reset@sup{}\mk@scripts#1_/#2%
  \reset@sup\mk@scripts#3_/}
\makeatother

% \slash
\makeatletter
\newbox\slashbox \setbox\slashbox=\hbox{$/$}
\def\itex@pslash#1{\setbox\@tempboxa=\hbox{$#1$}
  \@tempdima=0.5\wd\slashbox \advance\@tempdima 0.5\wd\@tempboxa
  \copy\slashbox \kern-\@tempdima \box\@tempboxa}
\def\slash{\protect\itex@pslash}
\makeatother

% math-mode versions of \rlap, etc
% from Alexander Perlis, "A complement to \smash, \llap, and lap"
%   http://math.arizona.edu/~aprl/publications/mathclap/
\def\clap#1{\hbox to 0pt{\hss#1\hss}}
\def\mathllap{\mathpalette\mathllapinternal}
\def\mathrlap{\mathpalette\mathrlapinternal}
\def\mathclap{\mathpalette\mathclapinternal}
\def\mathllapinternal#1#2{\llap{$\mathsurround=0pt#1{#2}$}}
\def\mathrlapinternal#1#2{\rlap{$\mathsurround=0pt#1{#2}$}}
\def\mathclapinternal#1#2{\clap{$\mathsurround=0pt#1{#2}$}}

% Renames \sqrt as \oldsqrt and redefine root to result in \sqrt[#1]{#2}
\let\oldroot\root
\def\root#1#2{\oldroot #1 \of{#2}}
\renewcommand{\sqrt}[2][]{\oldroot #1 \of{#2}}

% Manually declare the txfonts symbolsC font
\DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n}
\SetSymbolFont{symbolsC}{bold}{U}{txsyc}{bx}{n}
\DeclareFontSubstitution{U}{txsyc}{m}{n}

% Manually declare the stmaryrd font
\DeclareSymbolFont{stmry}{U}{stmry}{m}{n}
\SetSymbolFont{stmry}{bold}{U}{stmry}{b}{n}

% Manually declare the MnSymbolE font
\DeclareFontFamily{OMX}{MnSymbolE}{}
\DeclareSymbolFont{mnomx}{OMX}{MnSymbolE}{m}{n}
\SetSymbolFont{mnomx}{bold}{OMX}{MnSymbolE}{b}{n}
\DeclareFontShape{OMX}{MnSymbolE}{m}{n}{
    <-6>  MnSymbolE5
   <6-7>  MnSymbolE6
   <7-8>  MnSymbolE7
   <8-9>  MnSymbolE8
   <9-10> MnSymbolE9
  <10-12> MnSymbolE10
  <12->   MnSymbolE12}{}

% Declare specific arrows from txfonts without loading the full package
\makeatletter
\def\re@DeclareMathSymbol#1#2#3#4{%
    \let#1=\undefined
    \DeclareMathSymbol{#1}{#2}{#3}{#4}}
\re@DeclareMathSymbol{\neArrow}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\neArr}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\seArrow}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\seArr}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\nwArrow}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\nwArr}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\swArrow}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\swArr}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\nequiv}{\mathrel}{symbolsC}{46}
\re@DeclareMathSymbol{\Perp}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\Vbar}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\sslash}{\mathrel}{stmry}{12}
\re@DeclareMathSymbol{\bigsqcap}{\mathop}{stmry}{"64}
\re@DeclareMathSymbol{\biginterleave}{\mathop}{stmry}{"6}
\re@DeclareMathSymbol{\invamp}{\mathrel}{symbolsC}{77}
\re@DeclareMathSymbol{\parr}{\mathrel}{symbolsC}{77}
\makeatother

% \llangle, \rrangle, \lmoustache and \rmoustache from MnSymbolE
\makeatletter
\def\Decl@Mn@Delim#1#2#3#4{%
  \if\relax\noexpand#1%
    \let#1\undefined
  \fi
  \DeclareMathDelimiter{#1}{#2}{#3}{#4}{#3}{#4}}
\def\Decl@Mn@Open#1#2#3{\Decl@Mn@Delim{#1}{\mathopen}{#2}{#3}}
\def\Decl@Mn@Close#1#2#3{\Decl@Mn@Delim{#1}{\mathclose}{#2}{#3}}
\Decl@Mn@Open{\llangle}{mnomx}{'164}
\Decl@Mn@Close{\rrangle}{mnomx}{'171}
\Decl@Mn@Open{\lmoustache}{mnomx}{'245}
\Decl@Mn@Close{\rmoustache}{mnomx}{'244}
\makeatother

% Widecheck
\makeatletter
\DeclareRobustCommand\widecheck[1]{{\mathpalette\@widecheck{#1}}}
\def\@widecheck#1#2{%
    \setbox\z@\hbox{\m@th$#1#2$}%
    \setbox\tw@\hbox{\m@th$#1%
       \widehat{%
          \vrule\@width\z@\@height\ht\z@
          \vrule\@height\z@\@width\wd\z@}$}%
    \dp\tw@-\ht\z@
    \@tempdima\ht\z@ \advance\@tempdima2\ht\tw@ \divide\@tempdima\thr@@
    \setbox\tw@\hbox{%
       \raise\@tempdima\hbox{\scalebox{1}[-1]{\lower\@tempdima\box
\tw@}}}%
    {\ooalign{\box\tw@ \cr \box\z@}}}
\makeatother

% \mathraisebox{voffset}[height][depth]{something}
\makeatletter
\NewDocumentCommand\mathraisebox{moom}{%
\IfNoValueTF{#2}{\def\@temp##1##2{\raisebox{#1}{$\m@th##1##2$}}}{%
\IfNoValueTF{#3}{\def\@temp##1##2{\raisebox{#1}[#2]{$\m@th##1##2$}}%
}{\def\@temp##1##2{\raisebox{#1}[#2][#3]{$\m@th##1##2$}}}}%
\mathpalette\@temp{#4}}
\makeatletter

% udots (taken from yhmath)
\makeatletter
\def\udots{\mathinner{\mkern2mu\raise\p@\hbox{.}
\mkern2mu\raise4\p@\hbox{.}\mkern1mu
\raise7\p@\vbox{\kern7\p@\hbox{.}}\mkern1mu}}
\makeatother

%% Fix array
\newcommand{\itexarray}[1]{\begin{matrix}#1\end{matrix}}
%% \itexnum is a noop
\newcommand{\itexnum}[1]{#1}

%% Renaming existing commands
\newcommand{\underoverset}[3]{\underset{#1}{\overset{#2}{#3}}}
\newcommand{\widevec}{\overrightarrow}
\newcommand{\darr}{\downarrow}
\newcommand{\nearr}{\nearrow}
\newcommand{\nwarr}{\nwarrow}
\newcommand{\searr}{\searrow}
\newcommand{\swarr}{\swarrow}
\newcommand{\curvearrowbotright}{\curvearrowright}
\newcommand{\uparr}{\uparrow}
\newcommand{\downuparrow}{\updownarrow}
\newcommand{\duparr}{\updownarrow}
\newcommand{\updarr}{\updownarrow}
\newcommand{\gt}{>}
\newcommand{\lt}{<}
\newcommand{\map}{\mapsto}
\newcommand{\embedsin}{\hookrightarrow}
\newcommand{\Alpha}{A}
\newcommand{\Beta}{B}
\newcommand{\Zeta}{Z}
\newcommand{\Eta}{H}
\newcommand{\Iota}{I}
\newcommand{\Kappa}{K}
\newcommand{\Mu}{M}
\newcommand{\Nu}{N}
\newcommand{\Rho}{P}
\newcommand{\Tau}{T}
\newcommand{\Upsi}{\Upsilon}
\newcommand{\omicron}{o}
\newcommand{\lang}{\langle}
\newcommand{\rang}{\rangle}
\newcommand{\Union}{\bigcup}
\newcommand{\Intersection}{\bigcap}
\newcommand{\Oplus}{\bigoplus}
\newcommand{\Otimes}{\bigotimes}
\newcommand{\Wedge}{\bigwedge}
\newcommand{\Vee}{\bigvee}
\newcommand{\coproduct}{\coprod}
\newcommand{\product}{\prod}
\newcommand{\closure}{\overline}
\newcommand{\integral}{\int}
\newcommand{\doubleintegral}{\iint}
\newcommand{\tripleintegral}{\iiint}
\newcommand{\quadrupleintegral}{\iiiint}
\newcommand{\conint}{\oint}
\newcommand{\contourintegral}{\oint}
\newcommand{\infinity}{\infty}
\newcommand{\bottom}{\bot}
\newcommand{\minusb}{\boxminus}
\newcommand{\plusb}{\boxplus}
\newcommand{\timesb}{\boxtimes}
\newcommand{\intersection}{\cap}
\newcommand{\union}{\cup}
\newcommand{\Del}{\nabla}
\newcommand{\odash}{\circleddash}
\newcommand{\negspace}{\!}
\newcommand{\widebar}{\overline}
\newcommand{\textsize}{\normalsize}
\renewcommand{\scriptsize}{\scriptstyle}
\newcommand{\scriptscriptsize}{\scriptscriptstyle}
\newcommand{\mathfr}{\mathfrak}
\newcommand{\statusline}[2]{#2}
\newcommand{\tooltip}[2]{#2}
\newcommand{\toggle}[2]{#2}

% Theorem Environments
\theoremstyle{plain}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\newtheorem{prop}{Proposition}
\newtheorem{cor}{Corollary}
\newtheorem*{utheorem}{Theorem}
\newtheorem*{ulemma}{Lemma}
\newtheorem*{uprop}{Proposition}
\newtheorem*{ucor}{Corollary}
\theoremstyle{definition}
\newtheorem{defn}{Definition}
\newtheorem{example}{Example}
\newtheorem*{udefn}{Definition}
\newtheorem*{uexample}{Example}
\theoremstyle{remark}
\newtheorem{remark}{Remark}
\newtheorem{note}{Note}
\newtheorem*{uremark}{Remark}
\newtheorem*{unote}{Note}

%-------------------------------------------------------------------

\begin{document}

%-------------------------------------------------------------------


\section*{Tate twist}

\hypertarget{context}{}\subsubsection*{{Context}}\label{context}

\hypertarget{cohomology}{}\paragraph*{{Cohomology}}\label{cohomology}

[[!include cohomology - contents]]

\hypertarget{arithmetic_geometry}{}\paragraph*{{Arithmetic geometry}}\label{arithmetic_geometry}

[[!include arithmetic geometry - contents]]

\hypertarget{contents}{}\section*{{Contents}}\label{contents}

\noindent\hyperlink{idea}{Idea}\dotfill \pageref*{idea} \linebreak
\noindent\hyperlink{definition}{Definition}\dotfill \pageref*{definition} \linebreak
\noindent\hyperlink{references}{References}\dotfill \pageref*{references} \linebreak


\hypertarget{idea}{}\subsection*{{Idea}}\label{idea}

[[cohomology|Cohomology theories]] often have two aspects, which one might refer to as \emph{geometric} and \emph{arithmetic}. A prototypical example is the [[l-adic cohomology]] $H^{i}(X, \mathbb{Z}_{l})$ of a (sufficiently nice) [[scheme]] $X$ over a field $k$ of [[positive characteristic|characteristic]] $p$, with $l$ coprime to $p$. This is not only an abelian group (the geometric aspect), but a representation of the [[absolute Galois group]] of $k$ (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 $\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, \ldots{}).

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

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

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

The point of this is that it shows that $\mathbb{Z}_{l}(1)$, that is to say, the Tate twist of $\mathbb{Z}_{l}$, is the correct choice of orientation sheaf in $l$-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 4$\frac{1}{2}$, via étale cohomology with compact support, can be recommended for instance), but they all come down ultimately to the fact that $\mathbb{Z}_{l}(1)$ is the correct choice of orientation sheaf in an $l$-adic setting.

To return to our starting point, a crucial remark here is that whilst $\mathbb{Z}_{l}(1)$ is non-canonically isomorphic to $\mathbb{Z}_{l}$ as a $\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$, namely either $i$ or $-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 $\mathbb{G}_{m}$ and $\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 $1 \mapsto 2 \pi i$. Thus the Tate twist in singular cohomology is tensoring with $2 \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 $\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 $\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 $\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.

\hypertarget{definition}{}\subsection*{{Definition}}\label{definition}

For $n \in \mathbb{N}$ write $\mu_n \to \mathbb{G}_m \stackrel{(-)^n}{\longrightarrow}\mathbb{G}_m$ for the $n$th [[Kummer sequence]]. Then for $k \in \mathbb{N}$ the $k$-fold [[tensor power]] of the group of $n$th [[roots of unity]]

\begin{displaymath}
\mathbb{Z}/n\mathbb{Z}(k) \coloneqq \mu_n^{\otimes k}
\end{displaymath}
is called the $k$th \emph{Tate twist}.

(\ldots{})

\hypertarget{references}{}\subsection*{{References}}\label{references}

\begin{itemize}%
\item Kanetomo Sato, \emph{$p$-adic \'e{}tale Tate twists and arithmetic duality} (\href{http://arxiv.org/abs/math/0610426}{arXiv:0610426})

\end{itemize}
[[!redirects Tate twists]]



\end{document}