Nori motives (and mixed Hodge modules) with integral coefficients

这是一篇关于代数几何与动机理论（Motivic Theory）的高级研究论文，由 Raphaël Ruimy 和 Swann Tubach 撰写。以下是对该论文的详细技术总结：

1. 研究问题 (The Problem)

在动机理论中，寻找一种“通用”的上同调理论是核心目标。目前，对于特征为零的方案，已知的上同调理论（如 Betti 上同调、$\ell$-adic 上同调、混合 Hodge 模）都可以与 Betti 动机进行比较。

核心挑战在于“整系数”（Integral Coefficients）的推广：

• 有理系数 vs 整系数： 现有的许多动机构造（如 Ivorra-Morel 的相对动机理论）高度依赖于有理系数 $\mathbb{Q}$。这是因为在有理系数下，Verdier 对偶性在 $\mathbb{Q}$-线性范畴中表现良好，且可以使用单复形理论中的许多工具。
• 整系数的困难： 当系数变为整数 $\mathbb{Z}$ 时，许多经典工具会失效。例如，单复形理论中的“单复形附近循环”（unipotent nearby cycles）在整系数下表现极差，且 Verdier 对偶性在整系数的 $\mathbb{Z}$-线性范畴中不再是 $t$-精确的。
• 目标： 本文旨在构建具有整系数的 Nori 动机及其相对版本（动机层），并证明它们具有完整的“六个算子”（six operations）形式体系，同时将其推广到混合 Hodge 模（Mixed Hodge Modules）。

2. 研究方法 (Methodology)

作者采用了一种基于 $\infty$-范畴（$\infty$-categories） 和 代数对象（Algebra objects） 的现代构造方法：

1. Nori 代数构造： 不再仅仅通过“对（pairs）”的拟阵（quiver）来定义，而是通过在 étale 动机范畴 $\text{DM}_{\text{ét}}(k, \mathbb{Z})$ 中寻找一个特殊的交换代数对象 $N_k$（称为 Nori 代数）。
2. 模范畴方法： 定义整系数 Nori 动机为该代数 $N_k$ 的模范畴 $\text{Mod}_{N_k}(\text{DM}_{\text{ét}}(k, \mathbb{Z}))$。这种方法允许利用 $\text{DM}_{\text{ét}}$ 已有的六个算子结构。
3. Hasse 分数平方（Hasse fracture square）： 为了处理整系数，作者利用了 $\mathbb{Z}$ 的算术性质，通过将对象在 $\mathbb{Q}$ 和 $\mathbb{Z}/n\mathbb{Z}$ 之间进行分解（Hasse 分数），从而将整系数的构造与已知的有理系数及模 $n$ 系数构造联系起来。
4. $t$-结构构造： 利用 Vaish 的“粘合法”（gluing procedure）和连续性（continuity）性质，在构造出的稳定 $\infty$-范畴上诱导出“普通 $t$-结构”（ordinary $t$-structure）和“亏格 $t$-结构”（perverse $t$-structure）。

3. 核心贡献与结果 (Key Contributions & Results)

A. 整系数 Nori 动机 (Integral Nori Motives)

• 构造了相对 Nori 动机： 为任何 $\mathbb{Q}$-方案 $X$ 定义了整系数 Nori 动机范畴 $\text{D}_N(X, \mathbb{Z})$。
• 六个算子形式体系： 证明了该范畴具有完整的六个算子（$f^*, f_*, f_!, f^!, \otimes, \underline{\text{Hom}}$），这在之前的 Arapura 或 Ivorra 的整系数构造中是缺失的。
• 两种 $t$-结构：
  • 普通 $t$-结构： 其心（heart）定义为普通 Nori 动机 $\text{Mord}(X, \mathbb{Z})$。证明了 $\text{D}_{\text{Ngm}}(X, \mathbb{Z})$ 实际上是该心范畴的导出范畴。
  • 亏格 $t$-结构： 其心定义为亏格 Nori 动机 $\text{M}_{\text{perv}}(X, \mathbb{Z})$。
• 下降性质： 证明了该范畴满足 arc-descent（弧下降），这对于研究变分和局部性质至关重要。

B. 混合 Hodge 模 (Mixed Hodge Modules)

• 整系数 MHM： 通过在 $\text{DM}_{\text{ét}}$ 中使用 Hodge 代数进行拉回，构造了整系数混合 Hodge 模的 $\infty$-范畴 $\text{DH}(X, \mathbb{Z})$。
• 实方案上的推广： 将此构造推广到 $\mathbb{R}$-方案上，通过取 $\mathbb{Z}/2\mathbb{Z}$ 作用的同伦不动点（homotopy fixed points）来实现。
• 等价性： 证明了整系数混合 Hodge 模的导出范畴与经典定义的（具有整格的）混合 Hodge 模是相容的。

C. 应用 (Applications)

• Motivic Leray 谱序列： 证明了带有整系数的 Leray 谱序列是“动机化”的。
• Artin 动机： 在 Artin 动机范畴内证明了新的 Artin 消去定理（Artin vanishing theorem）情形。
• 交集同调（Intersection Homology）： 构造了动机化的交集复形 $\text{IC}_{X, \mathbb{Z}}$，并给出了动机化的 Seifert 链接配对。

4. 研究意义 (Significance)

1. 理论完备性： 该工作填补了动机理论中“整系数相对版本”缺失的关键空白，使得动机理论在处理非有理系数（如 $\mathbb{Z}$ 或 $\mathbb{Z}_\ell$）时具备了与有理系数同等的算子完备性。
2. 范畴论统一： 通过将 Nori 动机视为 étale 动机范畴中的模，作者成功地将传统的“拟阵构造法”与现代的“$\infty$-范畴/层论构造法”统一了起来。
3. 桥梁作用： 该研究为连接代数几何中的 étale 上同调、Betti 上同调与 Hodge 理论提供了一个极其坚实的整系数框架，为未来研究动机的算术性质（如 $L$-函数的整系数性质）奠定了基础。