Dimensional homotopy t-structures in motivic homotopy theory (Q2400510): Difference between revisions

The authors develop a systematic theory of homotopy \(t\)-structures in motivic homotopy categories, encompassing Morel's homotopy \(t\)-structure on the stable motivic homotopy category \(SH\) [\textit{F. Morel}, \(\mathbb A^1\)-algebraic topology over a field. Berlin: Springer (2012; Zbl 1263.14003)] and Voevodsky's homotopy \(t\)-structure on the category of mixed motives \(DM\) [\textit{V. Voevodsky} et al., Ann. Math. Stud. 143, 188--238 (2000; Zbl 1019.14009)]. They work both with schemes over a field after inverting the exponential characteristic, and with schemes of mixed characteristic endowed with a dimension function (Definition 1.1.2) and with rational coefficients. As a preliminary, in Theorem 2.4.9 they prove the validity of the six functors formalism over \(SH\) for schemes of exponential characteristic \(p\) after inverting \(p\), using Gabber-de Jong alteration [\textit{L. Illusie} and \textit{M. Temkin}, Astérisque 363--364, 167--212 (2014; Zbl 1327.14072)]. They define the homotopy \(t\)-structure associated to a dimension function in Definition 2.1.1 in terms of Borel-Moore motives (Definition 1.3.6), and study several related constructions. In 3.1.4 they construct an associated spectral sequence using the niveau filtration. In Theorem 3.3.1 they give a characterization of the homotopy \(t\)-structure in terms of the fiber homology (Definition 3.2.3). In Section 4 they define the notion of generalized homotopy modules as the heart of the homotopy \(t\)-structure, a notion that unites Voevodsky's category of homotopy invariant sheaves with transfers and Morel's homotopy modules. In Theorem 4.3.1 they provide a comparison between generalized homotopy modules in \(DM\) and those in the \(\mathbb{A}^1\)-derived category \(D_{\mathbb{A}^1}\). In Section 4.4 they study the example given by semi-abelian schemes and compute the homology of a smooth relative curve over a regular base.