Mixed Artin-Tate motives over number rings (Q538054)

The author studies Tate and Artin-Tate motives over bases \(S\subset \text{Spec\,}{\mathcal O}_F,\) where \(F\) denotes a number field and \(S\) is an open subscheme of \(\text{Spec\,}{\mathcal O}_F.\) The work uses recent work of \textit{D-C. Cisinski} and \textit{F. Déglise} on geometric motives and the work of \textit{A. A. Beilinson, J. Bernstein} and \textit{P. Deligne} on perverse sheaves [Faisceaux pervers, Astérisque 100 (1982; Zbl 0536.14011)]. The triangulated category of Tate motives \(\mathcal{DTM}(S)\) (Artin-Tate motives \(\mathcal{DATM}(S)\), resp.) is defined to be the triangulated subcategory of \(\mathcal{DM}_{gm}(S)\) generated by direct summands of \({\mathbf{1}}(n)\) and \(i_{*}{\mathbf{1}}(n)\) ( \({\phi}_{*}{\mathbf{1}}(n)\), resp.). \({\mathbf{1}}\) denotes here the motive of the base scheme, (n) is the Tate twist, \(i: \text{Spec\,}{\mathbb F}_{p}\rightarrow S \) is a closed point, \({\phi}:V\rightarrow S\) any finite map and \({\phi}_{*}: \mathcal{DM}_{gm}(V)\rightarrow \mathcal{DM}_{gm}(S)\) the pushforward functor. The main results of the paper are included in the following: Theorem 0.1. The categories \(\mathcal{DTM}(S)\) and \(\mathcal{DATM}(S)\) are stable under standard functoriality operations such as \(i^{!}, j_{*}\) etc. for open and closed embeddings \(j\) and \(i\), respectively. Both categories enjoy a non-degenerate \(t\)-structure called motivic \(t\)-structure. Its heart is denoted \(\mathcal{MTM}(S)\) or \(\mathcal{MATM}(S),\) respectively and called category of mixed (Artin-)Tate motives. The functors \(i^{*}, j_{*}\), etc. feature exactness properties familiar from the corresponding situation of perverse sheaves. For example \(i^{!}\) is left-exact and \(j_{*}\) is exact with respect to the motivic \(t\)-structure. The cohomological dimension of \(\mathcal{MTM}(S)\) and \(\mathcal{MATM}(S)\) is one and two, respectively. We have an equivalence of categories \[ \mathcal{D}^{b}(\mathcal{MATM}(S))\cong \mathcal{DATM}(S) \] and likewise for Tate motives. The ``site'' of mixed Artin-Tate motives over \(S\) has enough points in the sense that a mixed Artin-Tate motive over \(S\) is zero if and only if its restrictions to all closed points of \(S\) vanish.