ScalingStacks

0MYF

Definition 3.16. Let ?∈{∗,!}.?\in\{*,!\}. An object M∈DMG⁡(X)M\in\operatorname{DM}_{G}(X) is called ??-pointwise mixed Tate or ??-pointwise pure Tate, respectively, if for each point ix:pt→Xi_{x}:\operatorname{pt}\to X

ix?​For​M∈DTM⁡(k,ℚ)​ or ​ix?​For​M∈DTM⁡(k,ℚ)w=0​, respectively.\displaystyle i_{x}^{?}\operatorname{For}M\in\operatorname{DTM}(k,\mathbb{Q})\text{ or }i_{x}^{?}\operatorname{For}M\in\operatorname{DTM}(k,\mathbb{Q})^{w=0}\text{, respectively.}

Here the functor ix?​Fori_{x}^{?}\operatorname{For} is the composition

DMG⁡(X,ℚ)→ForDM⁡(X,ℚ)→ix?DM⁡(k,ℚ).\operatorname{DM}_{G}(X,\mathbb{Q})\stackrel{{\scriptstyle\operatorname{For}}}{{\to}}\operatorname{DM}(X,\mathbb{Q})\stackrel{{\scriptstyle i_{x}^{?}}}{{\to}}\operatorname{DM}(k,\mathbb{Q}).

The object MM is called pointwise mixed (pure) Tate if it is ∗*- and !!-pointwise mixed (pure) Tate.

Original mathematics by the credited authors. Source collection and HTML conversion remain in progress.

Jens Niklas Eberhardt, Catharina Stroppel

Original source: arXiv:2109.00305v2