Triangulated categories of relative 1-motives (Q1735479): Difference between revisions

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.