Mixed Artin-Tate motives over number rings (Q538054): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2129845541 / rank | |||
Normal rank |
Revision as of 23:56, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Mixed Artin-Tate motives over number rings |
scientific article |
Statements
Mixed Artin-Tate motives over number rings (English)
0 references
23 May 2011
0 references
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.
0 references
Tate motive
0 references
Artin-Tate motive
0 references
perverse sheaf
0 references
geometric motive
0 references
t-structure
0 references