Triangulated categories of relative 1-motives (Q1735479): Difference between revisions
From MaRDI portal
ReferenceBot (talk | contribs) Changed an Item |
Normalize DOI. |
||
(One intermediate revision by one other user not shown) | |||
Property / DOI | |||
Property / DOI: 10.1016/j.aim.2019.02.021 / rank | |||
Property / Wikidata QID | |||
Property / Wikidata QID: Q128286910 / rank | |||
Normal rank | |||
Property / DOI | |||
Property / DOI: 10.1016/J.AIM.2019.02.021 / rank | |||
Normal rank |
Latest revision as of 06:46, 11 December 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Triangulated categories of relative 1-motives |
scientific article |
Statements
Triangulated categories of relative 1-motives (English)
0 references
28 March 2019
0 references
Let \(S\) be a noetherian finite dimensional scheme. There exists a tensor triangulated \({\mathbb Q}\)-linear category \({\mathbf{DA}}(S).\) The category \({\mathbf{DA}}(S)\) can be constructed in several ways: by means of motives without transfers [\textit{J. Ayoub}, Ann. Sci. Éc. Norm. Supér. (4) 47, No. 1, 1--145 (2014; Zbl 1354.18016)], Beilison motives \({\mathbf{DM}}_B(S)\) motives with transfers \({\mathbf{DM}}(S)\) or \(h\)-motives \({\mathbf{DM}}_h(S)\) [\textit{D.-C. Cisinski} and \textit{F. Déglise}, Compos. Math. 152, No. 3, 556--666 (2016; Zbl 1453.14059)]. When \(S\) is a spectrum of a perfect field \(k\), the category \({\mathbf{DA}}(k)\) is equivalent to \({\mathbf{DM}}(k).\) The category \({\mathbf{DA}}(S)\) enjoys several important properties: \({\bullet}\) There are realization functors to classical triangulated categories: derived categories of abelian sheaves for the Betti setting and derived categories of \(l\)-adic sheaves in the \(l\)-adic setting. \({\bullet}\) The assignment \(S\rightarrow {\mathbf{DA}}(S)\) has a rich functoriality that leads to a ''formalism of Grothendieck operations'' . \({\bullet}\) Morphism groups in \({\mathbf{DA}}(S)\) are related to a rational \(K\)-theory for \(S\) regular and to higher Chow groups for smooth \(S\) \({\bullet}\) There exists subcategory \({\mathbf{DA}}_c(S)\) of ''constructible'' motivic sheaves which is stable under Grothendieck operations. One of the open questions is the existence of the motivic \(t\)-structure whose heart would givean abelian category of mixed motivic sheaves that realize the Beilinson's conjectures [\textit{U. Jannsen}, Proc. Symp. Pure Math. 55, 245--302 (1994; Zbl 0811.14004)]. The author constructs the subcategories \({\mathbf{DA}}_n(S)\) for \(n\in {\mathbb N}\) of homological \(n\)-motives. The category \({\mathbf{DA}}_n(S)\) is the subcategory of \({\mathbf{DA}}(S)\) generated by homological motives of smooth \(S\)-schemes of relative dimension less or equal to \(n\). One hopes to construct the \(t\)-structure \(t_{\mathbf{MM}}\) on \({\mathbf{DA}}_c(S)\) or \(t_{\mathbf{MM},n}\) on \({\mathbf{DA}}_{n,c}(S)\) that is the restriction of the conjectural \(t\)-structure on \({\mathbf{DA}}(S).\) The author's goal is to provide reasonable candidates for \(t_{\mathbf{MM},0}\) and \(t_{\mathbf{MM},1}.\) There is a category \({\mathbf{DA}}^1(S)\) of cohomological \(1\)-motives and a category \({\mathbf{DA}}^{coh}(S).\) The author constructs and studies a candidate for motivic \(t\)-structure on \({\mathbf{DA}}^1(S)\) for \(S\) noetherian, finite dimensional and excellent and relates its heart \({\mathbf{MM}}^1(S)\) to Deligne \(1\)-motives over \(S\). He shows that for \(S\) regular the category of Deligne \(1\) motives embeds in \({\mathbf{MM}}^1(S)\) fully faithfully. The author also studies the inclusion of \({\mathbf{DA}}^1(S)\) into \({\mathbf{DA}}^{coh}(S)\) and shows that its right adjoint \({\omega}^1\) preserves compact objects.
0 references
mixed motives
0 references
Voevodsky motives
0 references
1-motives
0 references
six operations formalism
0 references
0 references
0 references
0 references