2025-11-11T03:18:46.031454

Comparison of motives with rational coefficients

Zhang
The theory of rational motives admits several models, including those of Morel, Beilinson, Ayoub, and Voevodsky. An open question has been the equivalence of Voevodsky's Nisnevich-based $\mathrm{DM}(S, \mathbb{Q})$ with the others, which was only known over excellent and geometrically unibranch base schemes. In this paper, we prove that modules over rational motivic Eilenberg Maclane spectrum $\mathbf{H}\mathbb{Q}$ is equivalent to Morel/Beilinson/Ayoub's rational motives over any Noetherian semi-normal base scheme $S$. Our main technical result is a stable motivic equivalence between the free $\mathbb{Q}$-linear spectrum $\mathbb{Q}[\mathbb{S}]$ and the motivic rational Eilenberg MacLane spectrum $\mathbf{H}\mathbb{Q}$. This equivalence is established by reducing the problem to an unstable comparison, where we apply our rational $\mathbb{A}^1$-Dold-Thom theorem, which depends on rational motivic Whitehead theorem that we develop. As a byproduct, we partially confirm that rational variant of Voevodsky's conjecture that the formation of $\mathbf{H}\mathbb{Q}$ is stable under base change between any Noetherian semi-normal schemes.
academic

Comparison of motives with rational coefficients

基本信息

  • 论文ID: 2510.17194
  • 标题: Comparison of motives with rational coefficients
  • 作者: Bo Zhang
  • 分类: math.AG (代数几何), math.AT (代数拓扑)
  • 发表时间: 2025年11月5日 (arXiv版本v5)
  • 论文链接: https://arxiv.org/abs/2510.17194

摘要

有理动机理论承认多种模型，包括Morel、Beilinson、Ayoub和Voevodsky的模型。一个开放问题是基于Nisnevich拓扑的Voevodsky动机DM(S,Q)\mathrm{DM}(S, \mathbb{Q})与其他模型的等价性，这仅在优秀且几何单分支的基概型上成立。

本文证明了在任意Noether半正规基概型SS上，有理动机Eilenberg-MacLane谱HQ\mathbf{H}\mathbb{Q}的模范畴等价于Morel/Beilinson/Ayoub的有理动机。

主要技术结果是自由Q\mathbb{Q}-线性谱Q[S]\mathbb{Q}[\mathbb{S}]与动机有理Eilenberg-MacLane谱HQ\mathbf{H}\mathbb{Q}之间的稳定动机等价。该等价通过将问题约化到不稳定比较建立，应用了作者发展的有理A1\mathbb{A}^1-Dold-Thom定理，该定理依赖于有理动机Whitehead定理。

作为副产品，部分确认了Voevodsky猜想的有理变形：HQ\mathbf{H}\mathbb{Q}的构造在任意Noether半正规概型间的基变换下保持稳定。

研究背景与动机

问题核心

动机理论作为Grothendieck最初设想并由多位数学家实现的框架，为研究代数簇提供了强大而统一的工具。在有理系数下（即反转指数特征），理论得到显著简化，但仍存在多个看似不同的模型：

  1. Morel动机：定义为有理稳定动机同伦范畴SH(S)Q\mathrm{SH}(S)_\mathbb{Q}的正部分
  2. Beilinson动机：定义为Beilinson动机环谱HBH_B的模范畴，HBH_B是KGLQ\mathrm{KGL}_\mathbb{Q}的直和项
  3. Ayoub动机：通过P1\mathbb{P}^1-稳定化A1\mathbb{A}^1-局部étale ∞\infty-层构造
  4. Voevodsky动机：使用Nisnevich层与转移构造的DM(S,Q)\mathrm{DM}(S,\mathbb{Q})

研究意义

前三个模型已知等价，但与Voevodsky原始构造的等价性仅在优秀且几何单分支的基概型上成立。这限制了理论的适用范围，特别是对于一些重要的几何对象如Dedekind整环或结点曲线。

现有方法局限性

现有的比较结果依赖于基概型的强限制条件（优秀且几何单分支），这在实际应用中过于严格。需要新的技术手段来处理更一般的几何情形。

核心贡献

  1. 主定理：证明了在任意Noether半正规基概型SS上，HQH\mathbb{Q}-模范畴等价于Morel/Beilinson/Ayoub的有理动机
  2. 技术突破：建立了自由Q\mathbb{Q}-线性谱Q[S]\mathbb{Q}[\mathbb{S}]与动机有理Eilenberg-MacLane谱HQ\mathbf{H}\mathbb{Q}的稳定动机等价
  3. 理论工具：发展了有理动机Whitehead定理和有理A1\mathbb{A}^1-Dold-Thom定理
  4. 猜想验证：部分确认了Voevodsky关于HQ\mathbf{H}\mathbb{Q}基变换稳定性的猜想

方法详解

任务定义

建立不同有理动机理论模型间的等价性，特别是在Noether半正规基概型上证明HQH\mathbb{Q}-模与其他有理动机范畴的等价。

核心策略

论文采用"稳定到不稳定约化"的策略：

  1. 构造关键同态：定义规范环谱同态ΦS:Q[S]→HQ\Phi_S : \mathbb{Q}[\mathbb{S}] \to H\mathbb{Q}
  2. 约化到不稳定问题：将稳定等价约化为不稳定的有理动机等价
  3. 应用新工具：使用有理A1\mathbb{A}^1-Dold-Thom定理处理不稳定比较

技术架构

自由Q\mathbb{Q}-线性谱构造

对于动机谱EE，定义自由Q\mathbb{Q}-线性动机谱Q[E]\mathbb{Q}[E]： Q[E]n=Q~[En]\mathbb{Q}[E]^n = \tilde{\mathbb{Q}}[E^n] 其中Q~[(X,x0)]=coker(Q[x0]→Q[X])\tilde{\mathbb{Q}}[(X,x_0)] = \text{coker}(\mathbb{Q}[x_0] \to \mathbb{Q}[X])

有理动机Whitehead定理

定理3.5：设f:M→Nf: M \to N是无穷环空间的同态。若ff是有理动机等价，则 f⊗A1Q:M⊗A1Q→N⊗A1Qf \otimes^{\mathbb{A}^1} \mathbb{Q} : M \otimes^{\mathbb{A}^1} \mathbb{Q} \to N \otimes^{\mathbb{A}^1} \mathbb{Q} 是动机等价。

有理A1\mathbb{A}^1-Dold-Thom定理

定理3.13：对Noether概型SS上的光滑拟射影概型XX，规范态射 (∐n[Xn/Sn])+⊗Q→(∐nSnX)+⊗Q\left(\coprod_n [X^n/S_n]\right)_+ \otimes \mathbb{Q} \to \left(\coprod_n S^nX\right)_+ \otimes \mathbb{Q} 是动机等价。

技术创新点

  1. 新的约化技术：将稳定问题约化为不稳定的有理比较
  2. 几何-代数对应：建立同伦商Xn//SnX^n//S_n与粗模空间SnXS^nX的有理等价
  3. 基变换稳定性：证明HQH\mathbb{Q}构造在半正规概型间的基变换稳定性

主要定理证明思路

定理1.1的证明策略

主定理通过以下步骤证明：

  1. 命题3.8：将ΦS\Phi_S的稳定等价性约化为特定不稳定等价
  2. 定理3.13：证明有理A1\mathbb{A}^1-Dold-Thom定理
  3. 定理3.12：建立商栈与粗模空间的有理动机等价
  4. 引理3.11：使用Voevodsky有理动机的性质

关键引理3.11

对Noether概型SS上的光滑拟射影概型XX和有限群GG作用，有效动机满足： M([X/G])≃M(X/G)M([X/G]) \simeq M(X/G)

这利用了有理系数下GG-不变部分的计算和有限态射的性质。

实验结果与应用

主要结果

推论1.3：对任意Noether半正规概型SS，HQH\mathbb{Q}-模范畴等价于：

  • Beilinson动机
  • Ayoub动机
  • Morel动机

基变换稳定性

命题1.4：HQH\mathbb{Q}的构造在Noether半正规概型间的基变换下稳定。

适用范围扩展

结果适用于：

  • 任意Dedekind整环
  • 结点曲线
  • 一般的Noether正规概型（无需优秀性条件）

相关工作

历史发展

  • Grothendieck：动机理论的原始构想
  • Voevodsky：使用Nisnevich层与转移的具体实现
  • Morel, Beilinson, Ayoub：稳定同伦理论方法

现有比较结果

Cisinski-Déglise在优秀几何单分支概型上建立了等价性3, Theorem 16.1.4，本文将适用范围扩展到半正规情形。

技术联系

  • Anderson：混合特征下的Chow概型理论
  • Choudhury：Deligne-Mumford栈的动机
  • Rydh：循环族与Chow概型

结论与讨论

主要结论

在Noether半正规基概型上统一了有理动机理论的不同模型，移除了之前需要的优秀性条件。

局限性

  1. 仍需要半正规性条件
  2. 仅处理有理系数情形
  3. 对一般概型的推广仍需进一步工作

未来方向

  1. 推广到更一般的概型类
  2. 研究整系数情形
  3. 探索与其他同调理论的联系

深度评价

优点

  1. 技术创新：发展了新的有理动机Whitehead定理和A1\mathbb{A}^1-Dold-Thom定理
  2. 几何意义：扩展了动机等价性到重要的几何对象类
  3. 理论完整性：部分解决了动机理论中的基本开放问题
  4. 方法新颖：稳定到不稳定的约化策略具有一般性

不足

  1. 条件限制：半正规性条件仍然存在
  2. 技术复杂性：证明涉及多个深层技术工具
  3. 适用范围：仅限于有理系数情形

影响力

该工作显著推进了动机理论的统一，为在更广泛几何背景下应用动机方法奠定了基础，特别是在算术几何和代数几何的交叉领域。

适用场景

  • 算术几何中的动机研究
  • 代数KK-理论应用
  • 代数循环理论
  • 同伦代数几何

参考文献

1 Anderson, O. E. Chow schemes in mixed characteristic. 2019. 2 Choudhury, U. Motives of deligne-mumford stacks. 2012. 3 Cisinski, D.-C. and Déglise, F. Triangulated categories of mixed motives. 2019. 6 Suslin, A. and Voevodsky, V. Relative cycles and chow sheaves. 2000. 7 Voevodsky, V. Open problems in the motivic stable homotopy theory. 2002.