Let be a prime. The categories of equivariant mixed Tate motives can be regarded as graded versions of the categories of equivariant sheaves defined by Bernstein–Lunts [BL94].
Under the realisation functor see (3.1), the Tate motive gets mapped to the Tate module
|
|
|
which can be identified with by choosing a compatible system of -th roots of unity in This induces a natural equivalence of functors
| (3.9) |
|
|
|
Hence, intuitively, the Tate twist can be regarded as a shift of grading and as a functor forgetting the grading. Restricted to mixed Tate motives, the functor becomes a degrading functor in the sense of [BGS96, Section 4.3].
0MYD
Proposition 3.15. The equivalence in (3.9) induces an isomorphism
|
|
|
for
If then all summands for vanish and the functor gives an isomorphism
|
|
|
0MYE
Proof. First, by Proposition 3.11 and induction it suffices to show the statement for objects of the form If is connected
the homomorphims of objects of the form are described in terms of in both see Proposition 3.12, and in see [BL94, Section 13.10], and the statement is easily seen to be true. The case that is not connected can be handled as described in [SVW18, Theorem A.2.8].
∎