ScalingStacks

3.5. Gradings

Let ℓ≠p\ell\neq p be a prime. The categories of equivariant mixed Tate motives DTMG⁡(k)\operatorname{DTM}_{G}(k) can be regarded as graded versions of the categories of equivariant sheaves DG⁡(pt,ℚℓ)\operatorname{D}_{G}(\operatorname{pt},\mathbb{Q}_{\ell}) defined by Bernstein–Lunts [BL94]. Under the realisation functor Realℓ,\operatorname{Real}_{\ell}, see (3.1), the Tate motive ℚ⁡(1)\mathbb{Q}(1) gets mapped to the Tate module

Realℓ⁡(ℚ⁡(1))=ℚℓ​(1)=lim←⁡μℓn⊗ℤℓℚℓ\operatorname{Real}_{\ell}(\mathbb{Q}(1))=\mathbb{Q}_{\ell}(1)=\varprojlim\mu_{\ell^{n}}\otimes_{\mathbb{Z}_{\ell}}\mathbb{Q}_{\ell}

which can be identified with ℚℓ\mathbb{Q}_{\ell} by choosing a compatible system of ℓn\ell^{n}-th roots of unity in k=𝔽¯p.k=\overline{\mathbb{F}}_{p}. This induces a natural equivalence of functors

(3.9) Realℓ∘(1)→Realℓ.\displaystyle\operatorname{Real}_{\ell}\circ(1)\to\operatorname{Real}_{\ell}.

Hence, intuitively, the Tate twist (1)(1) can be regarded as a shift of grading and Realℓ\operatorname{Real}_{\ell} as a functor forgetting the grading. Restricted to mixed Tate motives, the functor Realℓ\operatorname{Real}_{\ell} becomes a degrading functor in the sense of [BGS96, Section 4.3].

0MYD

Proposition 3.15. The equivalence in (3.9) induces an isomorphism

⨁n∈ℤHomDMG⁡(k,ℚℓ)⁡(M,N⁡(n))→HomDG⁡(k,ℚℓ)⁡(Realℓ⁡(M),Realℓ⁡(N))\bigoplus_{n\in\mathbb{Z}}\operatorname{Hom}_{\operatorname{DM}_{G}(k,\mathbb{Q}_{\ell})}(M,N(n))\to\operatorname{Hom}_{\operatorname{D}_{G}(k,\mathbb{Q}_{\ell})}(\operatorname{Real}_{\ell}(M),\operatorname{Real}_{\ell}(N))

for M,N∈DTMG⁡(k).M,N\in\operatorname{DTM}_{G}(k). If M,N∈DTMG⁡(k)w=0M,N\in\operatorname{DTM}_{G}(k)^{w=0} then all summands for n≠0n\neq 0 vanish and the functor Realℓ\operatorname{Real}_{\ell} gives an isomorphism

HomDMG⁡(k,ℚℓ)⁡(M,N)→HomDG⁡(k,ℚℓ)⁡(Realℓ⁡(M),Realℓ⁡(N)).\operatorname{Hom}_{\operatorname{DM}_{G}(k,\mathbb{Q}_{\ell})}(M,N)\to\operatorname{Hom}_{\operatorname{D}_{G}(k,\mathbb{Q}_{\ell})}(\operatorname{Real}_{\ell}(M),\operatorname{Real}_{\ell}(N)).
0MYE

Proof. First, by Proposition 3.11 and induction it suffices to show the statement for objects of the form IndG0G​ℚ​(n)​[m].\operatorname{Ind}_{G_{0}}^{G}\mathbb{Q}(n)[m]. If GG is connected the homomorphims of objects of the form IndG0G⁡ℚ⁡(n)​[m]=ℚ⁡(n)​[m]\operatorname{Ind}_{G_{0}}^{G}\mathbb{Q}(n)[m]=\mathbb{Q}(n)[m] are described in terms of SWS^{W} in both DMG⁡(k,ℚ),\operatorname{DM}_{G}(k,\mathbb{Q}), see Proposition 3.12, and in DG⁡(pt,ℚℓ),\operatorname{D}_{G}(\operatorname{pt},\mathbb{Q}_{\ell}), see [BL94, Section 13.10], and the statement is easily seen to be true. The case that GG is not connected can be handled as described in [SVW18, Theorem A.2.8]. ∎

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

Jens Niklas Eberhardt, Catharina Stroppel

Original source: arXiv:2109.00305v2