Nori motives (and mixed Hodge modules) with integral coefficients

Rapha\"el Ruimy; Swann Tubach

arxiv: 2407.01462 · v3 · submitted 2024-07-01 · 🧮 math.AG

Nori motives (and mixed Hodge modules) with integral coefficients

Rapha\"el Ruimy , Swann Tubach This is my paper

Pith reviewed 2026-05-23 23:25 UTC · model grok-4.3

classification 🧮 math.AG

keywords Nori motivesintegral coefficientsétale motivessix operationsarc-descentmixed Hodge modulest-structureabelian categories

0 comments

The pith

The paper constructs abelian categories of integral Nori motivic sheaves over schemes of characteristic zero that admit the six operations and arc-descent.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The authors build abelian categories of integral Nori motivic sheaves on schemes in characteristic zero. They first examine the presentable derived category of Nori motives over a field. They then produce an algebra inside the category of étale motives whose modules carry a t-structure that restricts to constructible objects. The resulting category carries the six operations and satisfies arc-descent. Parallel constructions and results are given for mixed Hodge modules on schemes over the reals.

Core claim

We construct abelian categories of integral Nori motivic sheaves over a scheme of characteristic zero. The first step is to study the presentable derived category of Nori motives over a field. Next we construct an algebra in étale motives such that modules over it afford a t-structure that restricts to constructible objects. This category of integral Nori motives has the six operations and arc-descent. We finish by providing analogous constructions and results for mixed Hodge modules on schemes over the reals.

What carries the argument

An algebra inside the category of étale motives whose module category carries a t-structure restricting to constructible objects.

If this is right

The integral Nori motives admit the six operations.
Arc-descent holds in the category.
Analogous abelian categories exist for mixed Hodge modules over schemes of the reals.
The categories are defined over arbitrary schemes of characteristic zero.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

These categories could support integral versions of motivic cohomology that are compatible with étale descent.
The arc-descent property may enable gluing constructions on arithmetic schemes.
The method supplies a template for producing integral-coefficient versions of other motivic or Hodge-theoretic categories.

Load-bearing premise

There exists an algebra in the category of étale motives such that the category of modules over it admits a t-structure restricting to the constructible objects.

What would settle it

A demonstration that no algebra exists in étale motives whose modules admit a t-structure restricting to constructible objects would falsify the construction.

read the original abstract

We construct abelian categories of integral Nori motivic sheaves over a scheme of characteristic zero. The first step is to study the presentable derived category of Nori motives over a field. Next we construct an algebra in \'etale motives such that modules over it afford a t-structure that restricts to constructible objects. This category of integral Nori motives has the six operations and arc-descent. We finish by providing analogous constructions and results for mixed Hodge modules on schemes over the reals.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper constructs integral-coefficient Nori motives with six operations via an algebra in étale motives, but the central algebra and t-structure step remains the part that needs the most verification.

read the letter

The main claim is a construction of abelian categories of integral Nori motivic sheaves over characteristic-zero schemes that carry the six operations and arc-descent, plus a parallel story for mixed Hodge modules over the reals. They start by examining the presentable derived category of Nori motives over a field, then produce an algebra inside étale motives whose module category admits a t-structure cutting out the constructible objects. That yields the integral-coefficient abelian category with the listed properties. The route through an algebra in étale motives is the concrete new step that lets them reach integral coefficients while keeping the formalism intact. This is a direct response to a known limitation in existing motivic theories. The soft spot is exactly the algebra and the restriction property of the t-structure. The abstract asserts both exist and work, but supplies no outline of the construction or the check that the t-structure lands precisely on constructibles and stays compatible with the six functors. If the full paper contains a self-contained argument for that step, the rest follows; if it leans on external results without explicit verification, that becomes the load-bearing part. The paper is aimed at people already working with Nori motives, étale motives, or mixed Hodge modules who need integral coefficients for arithmetic or comparison questions. It is worth sending to referees, with the request that they examine the algebra construction and the t-structure restriction in detail. I would recommend peer review rather than desk rejection.

Referee Report

1 major / 1 minor

Summary. The paper constructs abelian categories of integral Nori motivic sheaves over schemes of characteristic zero. It first studies the presentable derived category of Nori motives over a field, then constructs an algebra in the category of étale motives such that the category of modules over this algebra admits a t-structure restricting to constructible objects. The resulting abelian category is shown to possess the six operations and arc-descent. Analogous results are given for mixed Hodge modules on schemes over the reals.

Significance. If the algebra construction and t-structure restriction are rigorously established, the work would provide an important extension of Nori motives to integral coefficients while retaining the six-functor formalism and descent properties, which are essential for applications in arithmetic geometry and Hodge theory.

major comments (1)

[Abstract] Abstract: The existence of an algebra in étale motives such that modules over it admit a t-structure restricting to constructible objects is asserted as the key intermediate step, but no explicit construction of the algebra, definition, or verification that the t-structure restricts precisely to the constructibles is supplied. This step is load-bearing for the claims that the resulting abelian category carries the six operations and arc-descent.

minor comments (1)

The abstract mentions studying the presentable derived category over a field before constructing the algebra; consider adding a brief outline of how this study feeds into the algebra construction for improved readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and for highlighting the centrality of the algebra construction. We address the single major comment below.

read point-by-point responses

Referee: [Abstract] Abstract: The existence of an algebra in étale motives such that modules over it admit a t-structure restricting to constructible objects is asserted as the key intermediate step, but no explicit construction of the algebra, definition, or verification that the t-structure restricts precisely to the constructibles is supplied. This step is load-bearing for the claims that the resulting abelian category carries the six operations and arc-descent.

Authors: The construction is supplied in the body of the paper. Section 2 develops the presentable derived category of Nori motives over a field. Section 3 gives the explicit algebra object in the étale motives via the universal property of the Nori realization functor (Definition 3.4 and Construction 3.7). The t-structure on the module category is introduced in Section 4; its restriction to constructible objects is verified in Theorem 4.12 (which also records the precise heart). The six operations and arc-descent are then obtained in Sections 5–6 by transporting the corresponding structures from étale motives along the forgetful functor. We are happy to add a sentence to the abstract directing the reader to these sections. revision: partial

Circularity Check

0 steps flagged

No significant circularity; construction presented as independent of its inputs.

full rationale

The paper's chain proceeds by first studying the presentable derived category of Nori motives over a field, then constructing an algebra in étale motives whose module category receives a t-structure restricting to constructibles, and finally obtaining the abelian category of integral Nori motives equipped with six operations and arc-descent. None of these steps is shown, via any quoted equation or definition in the provided text, to reduce to a self-definition, a fitted parameter renamed as prediction, or a load-bearing self-citation whose content is itself unverified. The algebra construction is asserted as a new intermediate object rather than derived tautologically from the target category; the subsequent properties are claimed to follow from that construction. This is the normal case of a self-contained derivation whose correctness may be debated but whose logical structure does not collapse into its own inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available; no explicit free parameters, ad-hoc axioms, or invented entities are identifiable from the given text.

pith-pipeline@v0.9.0 · 5602 in / 1080 out tokens · 26240 ms · 2026-05-23T23:25:25.389028+00:00 · methodology

discussion (0)

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

The Localization Theorem for the Motivic Homotopy Theory of Complex Analytic Stacks and other Geometric Settings
math.AG 2026-05 unverdicted novelty 7.0

Proves the localization theorem for motivic homotopy theory over complex analytic stacks and supplies general techniques for algebraic and differentiable stacks.
Torsion Trajectories from Local Discriminants to Global Obstructions
math.AG 2026-05 unverdicted novelty 6.0

Computations for A1, Ak, D4, E8 and other singularities show finite discriminant torsion is a codimension-two phenomenon, not generic for nodes, with threefold ordinary double points being torsion-free.

Reference graph

Works this paper leans on

14 extracted references · 14 canonical work pages · cited by 2 Pith papers · 1 internal anchor

[1]

58 [AGV22] Joseph Ayoub, Martin Gallauer, and Alberto Vezzani

Preprint, a vailable at http://arxiv.org/abs/2306.10557. 58 [AGV22] Joseph Ayoub, Martin Gallauer, and Alberto Vezzani . The six-functor formalism for rigid analytic motives. Forum Math. Sigma , 10:Paper No. e61, 182,

work page arXiv
[2]

Beilinson

[Bei86] Alexander A. Beilinson. Notes on absolute Hodge coh omology. In Applications of algebraic K-theory to algebraic geometry and number theory, Part I, II ( Boulder, Colo., 1983), volume 55 of Contemp. Math. , pages 35–68. Amer. Math. Soc., Providence, RI,

work page 1983
[3]

Beilinson

[Bei87] Alexander A. Beilinson. On the derived category of p erverse sheaves. In K-theory, arithmetic and geometry (Moscow, 1984–1986) , volume 1289 of Lecture Notes in Math., pages 27–41. Springer, Berlin,

work page 1984
[4]

Remarks on étale motivi c stable homotopy theory

[BH21] Tom Bachmann and Marc Hoyois. Remarks on étale motivi c stable homotopy theory. Preprint, available at https://arxiv.org/abs/2104.06002,

work page arXiv
[5]

The arc-topology

59 [BM21] Bhargav Bhatt and Akhil Mathew. The arc-topology. Duke Math. J. , 170(9):1899–1988,

work page 1988
[6]

[Hai22] Peter J. Haine. From nonabelian basechange to basec hange with coeﬃcients. Preprint, available at http://arxiv.org/abs/2108.03545,

work page arXiv
[7]

Comparison of the Categories of Motives defined by Voevodsky and Nori

Phd thesis, available at http://arxiv.org/abs/1609.05516. [Hau21] Rune Haugseng. On lax transformations, adjunction s, and monads in ( ∞ , 2)-categories. High. Struct. , 5(1):244–281,

work page internal anchor Pith review Pith/arXiv arXiv
[8]

Ho and Penghui Li

[HL23] Quoc P. Ho and Penghui Li. Revisiting mixed geometry. Preprint, available at http://arxiv.org/abs/2202.04833,

work page arXiv
[9]

Travaux de Gabber sur l’uniformisation locale et la cohomologie étale des schéma s quasi-excellents

[ILO14] Luc Illusie, Yves Laszlo, and Fabrice Orgogozo, edi tors. Travaux de Gabber sur l’uniformisation locale et la cohomologie étale des schéma s quasi-excellents. Séminaire à l’École polytechnique 2006-2008 . Number 363-364 in Astérisque. Société mathéma- tique de France,

work page 2006
[10]

Étale motives of geom etric origin

[RT24] Raphaël Ruimy and Swann Tubach. Étale motives of geom etric origin. Preprint, available at https://arxiv.org/abs/2405.07095,

work page arXiv
[11]

[Rui24] Raphaël Ruimy

Preprint, available at https://arxiv.org/abs/2211.02505. [Rui24] Raphaël Ruimy. Artin perverse sheaves. J. Algebra, 639:596–677,

work page arXiv
[12]

Introduction to mixed Hodge module s

[Sai89] Morihiko Saito. Introduction to mixed Hodge module s. In Actes du colloque de théorie de Hodge. Luminy, France, 1-6 Juin 1987 , pages 145–162. Paris: Société Mathématique de France,

work page 1987
[13]

Dirigé par Michael Artin, Alexande r Grothendieck, et Jean- Louis

Séminaire de Géom étrie Algébrique du Bois- Marie 1963–1964 (SGA 4). Dirigé par Michael Artin, Alexande r Grothendieck, et Jean- Louis. Verdier. A vec la collaboration de Nicolas Bourbaki, Pierre Deligne et Bernard Saint-Donat. 62 [Ter24] Luca Terenzi. Tensor structure on perverse Nori mot ives,

work page 1963
[14]

[Tub23] Swann Tubach

Preprint, available at http://arxiv.org/abs/2401.13547. [Tub23] Swann Tubach. On the Nori and Hodge realisations of V oevodsky étale motives. Preprint, available at https://swann.tubach.fr/en/research/,

work page arXiv

[1] [1]

58 [AGV22] Joseph Ayoub, Martin Gallauer, and Alberto Vezzani

Preprint, a vailable at http://arxiv.org/abs/2306.10557. 58 [AGV22] Joseph Ayoub, Martin Gallauer, and Alberto Vezzani . The six-functor formalism for rigid analytic motives. Forum Math. Sigma , 10:Paper No. e61, 182,

work page arXiv

[2] [2]

Beilinson

[Bei86] Alexander A. Beilinson. Notes on absolute Hodge coh omology. In Applications of algebraic K-theory to algebraic geometry and number theory, Part I, II ( Boulder, Colo., 1983), volume 55 of Contemp. Math. , pages 35–68. Amer. Math. Soc., Providence, RI,

work page 1983

[3] [3]

Beilinson

[Bei87] Alexander A. Beilinson. On the derived category of p erverse sheaves. In K-theory, arithmetic and geometry (Moscow, 1984–1986) , volume 1289 of Lecture Notes in Math., pages 27–41. Springer, Berlin,

work page 1984

[4] [4]

Remarks on étale motivi c stable homotopy theory

[BH21] Tom Bachmann and Marc Hoyois. Remarks on étale motivi c stable homotopy theory. Preprint, available at https://arxiv.org/abs/2104.06002,

work page arXiv

[5] [5]

The arc-topology

59 [BM21] Bhargav Bhatt and Akhil Mathew. The arc-topology. Duke Math. J. , 170(9):1899–1988,

work page 1988

[6] [6]

[Hai22] Peter J. Haine. From nonabelian basechange to basec hange with coeﬃcients. Preprint, available at http://arxiv.org/abs/2108.03545,

work page arXiv

[7] [7]

Comparison of the Categories of Motives defined by Voevodsky and Nori

Phd thesis, available at http://arxiv.org/abs/1609.05516. [Hau21] Rune Haugseng. On lax transformations, adjunction s, and monads in ( ∞ , 2)-categories. High. Struct. , 5(1):244–281,

work page internal anchor Pith review Pith/arXiv arXiv

[8] [8]

Ho and Penghui Li

[HL23] Quoc P. Ho and Penghui Li. Revisiting mixed geometry. Preprint, available at http://arxiv.org/abs/2202.04833,

work page arXiv

[9] [9]

Travaux de Gabber sur l’uniformisation locale et la cohomologie étale des schéma s quasi-excellents

[ILO14] Luc Illusie, Yves Laszlo, and Fabrice Orgogozo, edi tors. Travaux de Gabber sur l’uniformisation locale et la cohomologie étale des schéma s quasi-excellents. Séminaire à l’École polytechnique 2006-2008 . Number 363-364 in Astérisque. Société mathéma- tique de France,

work page 2006

[10] [10]

Étale motives of geom etric origin

[RT24] Raphaël Ruimy and Swann Tubach. Étale motives of geom etric origin. Preprint, available at https://arxiv.org/abs/2405.07095,

work page arXiv

[11] [11]

[Rui24] Raphaël Ruimy

Preprint, available at https://arxiv.org/abs/2211.02505. [Rui24] Raphaël Ruimy. Artin perverse sheaves. J. Algebra, 639:596–677,

work page arXiv

[12] [12]

Introduction to mixed Hodge module s

[Sai89] Morihiko Saito. Introduction to mixed Hodge module s. In Actes du colloque de théorie de Hodge. Luminy, France, 1-6 Juin 1987 , pages 145–162. Paris: Société Mathématique de France,

work page 1987

[13] [13]

Dirigé par Michael Artin, Alexande r Grothendieck, et Jean- Louis

Séminaire de Géom étrie Algébrique du Bois- Marie 1963–1964 (SGA 4). Dirigé par Michael Artin, Alexande r Grothendieck, et Jean- Louis. Verdier. A vec la collaboration de Nicolas Bourbaki, Pierre Deligne et Bernard Saint-Donat. 62 [Ter24] Luca Terenzi. Tensor structure on perverse Nori mot ives,

work page 1963

[14] [14]

[Tub23] Swann Tubach

Preprint, available at http://arxiv.org/abs/2401.13547. [Tub23] Swann Tubach. On the Nori and Hodge realisations of V oevodsky étale motives. Preprint, available at https://swann.tubach.fr/en/research/,

work page arXiv