Constructible \(1\)-motives and exactness of realisation functors (Q2327212)

Let \(S\) be a finite dimensional noetherian excellent scheme. Let \({\mathbf{DA}}(S)\) be the triangulated category of mixed motives over \(S\) with rational coefficients and \({\mathbf{DA}}^1(S)\subset{\mathbf{DA}}(S)\) be the lacalizing subcategory generated by compactly supported cohomological motives of relative curves over \(S.\) The category \({\mathbf{DA}}(S)\) is conjectured to admit a motivic \(t\)-structure compatible via the realization functors with the standard ones on derived categories of sheaves. In [Adv. Math. 347, 473--596 (2019; Zbl 1422.18012)] the author constructed a candidate for the motivic \(t\)-structure on the category \({\mathbf{DA}}^1(S)\) In the current paper the author shows that this \(t\)-structure restricts to the subcategory of compact objects. He also shows that pullbacks along arbitrary morphisms, Betti realization and étale realization functors are \(t\)-exact relative to this \(t\)-structure. The proof is interesting and relies on a stratification of an object \(M\) the category \(MM^1_c(S)\) of constructible \(1\)-motives, and then a non-obvious reduction to the geometric situation of a semi-stable curve with regular total space. This last case is treated by a direct computation.