What problem does this paper attempt to address?

This paper aims to solve the problem of constructing the homology theory on algebraic varieties, especially to construct the abelian categories of Nori motives and mixed Hodge modules with integral coefficients. Specifically, the main contributions of the paper include: 1. **Construction of the abelian category of Nori motives**: The authors construct the abelian category of Nori motives with integral coefficients on schemes of characteristic zero. This step first studies the representable derived category of Nori motives over a field, and then constructs an algebra in étale motives, such that the modules over it provide a t - structure, which restricts to the constructed objects. This category has the six - operations and arc - descent properties. 2. **Integral - coefficient version of mixed Hodge modules**: The paper also provides similar constructions and results for mixed Hodge modules on real schemes, constructs the abelian category of mixed Hodge modules with integral coefficients, and proves that these categories have the six - operations and Verdier duality properties. 3. **Existence of the motive t - structure**: The paper explores how to derive the motive t - structure with integral coefficients from the motive t - structure with rational coefficients. Through the rigidity property, the authors prove that under the assumption that the motive t - structure with rational coefficients exists, étale motives and Nori motives are equivalent and thus also have a t - structure. 4. **Applications and properties**: The paper also discusses some applications of Nori motives, such as the motive properties of the Leray spectral sequence with integral coefficients, and satisfying the arc - hyper - descent property on finite - dimensional qcqs schemes. ### Main technical contributions - **Hasse split square**: Using the Hasse split square, the authors define an algebra \( N_k \) in the étale motive category, such that for any k - scheme \( X \), the modules in \( D_N(X,\mathbb{Z}) \) can be called the Nori motives with integral coefficients on \( X \). - **Construction of t - structures**: By analogy with constructible sheaves, the paper defines two t - structures: the ordinary t - structure and the perverse t - structure. These t - structures allow the definition of the abelian category of Nori motives. - **Six operations**: The paper proves that the constructed categories have six operations, which is a very important property in sheaf theory, ensuring the good behavior of the categories under various geometric operations. ### Conclusion This paper fills an important gap in motive theory by constructing the abelian categories of Nori motives and mixed Hodge modules with integral coefficients. These results are not only theoretically significant, but also provide new tools and methods for further research.

Nori motives (and mixed Hodge modules) with integral coefficients

On the Nori and Hodge realisations of Voevodsky étale motives

Artin motives in relative Nori and Voevodsky motives

Tensor structure on perverse Nori motives

Integral mixed motives in equal characteristic

The four operations on perverse motives

Malcev Completions, Hodge Theory, and Motives

Triangulated categories of mixed motives

Two small remarks on Nori fundamental group scheme

Noncommutative Motives I: A Universal Characterization of the Motivic Stable Homotopy Theory of Schemes

On a question of Nori: Obstructions, improvements, and applications

On an extension of Nori and local fundamental group schemes

Galois descent for motivic theories

Noncommutative numerical motives, Tannakian structures, and motivic Galois groups

The tame Nori fundamental group

Toroidal analogues of the Grothendieck-Springer map

On two modular geometric realizations of an affine Hecke algebra

Étale motives of geometric origin

Motivic Gauss and Jacobi sums

Generic motives and motivic cohomology of fields

Polylogarithm Variations and Motivic Extensions of $\mathbb{Q}$ by $\mathbb{Q}(m)$