2025-11-19T02:28:13.874975

Abelian motives and Shimura varieties in nonzero characteristic

Milne

Much of the work on Shimura varieties over the last thirty years has been devoted to constructing the theory that would follow from a good notion of motives, one incorporating the Hodge, Tate, and standard conjectures. These conjectures are believed to be beyond reach, and may not even be correct as stated. I argue in this article that there exists a theory of motives, accessible to proof, weaker than Grothendieck's, but with many of the same consequences.

academic

Abelian motives and Shimura varieties in nonzero characteristic

基本信息

论文ID: 2508.09972
标题: Abelian motives and Shimura varieties in nonzero characteristic
作者: J.S. Milne
分类: math.AG (代数几何), math.NT (数论)
发表时间: 2025年10月13日 (v2.0版本)
论文链接: https://arxiv.org/abs/2508.09972

摘要

过去三十年来，Shimura簇的研究主要致力于构建一个基于motives良好概念的理论，这种概念需要包含Hodge、Tate和标准猜想。这些猜想被认为难以证明，甚至可能不正确。作者在本文中论证存在一个比Grothendieck的理论更弱但具有许多相同结果的motives理论，且这个理论是可证明的。

研究背景与动机

核心问题

传统方法的困境: Grothendieck的motives理论依赖于Hodge、Tate和标准猜想，这些猜想被认为超出了当前数学的能力范围，甚至可能不成立。
Shimura簇理论的需求: 需要一个能够处理非零特征情况的Shimura簇理论，特别是在混合特征和特征p > 0的情况下。
Deligne定理的启发: Deligne在1982年证明的定理表明，Abel簇上的Hodge类是绝对Hodge的，这为构建Abel motives的范畴提供了基础。

研究动机

作者的目标是构建一个"可达到的motivic天堂"，即不依赖于难以证明的猜想，但仍能获得Grothendieck理论的主要结果。这种方法特别关注Abel型的Shimura簇，并试图将理论扩展到特征p。

核心贡献

提出了新的有理性猜想: 引入了猜想A、B、C、D，这些猜想比经典的Hodge、Tate猜想更容易处理。
构建了特征p上的Abel motives理论: 通过有理Tate类的概念，在特征p上建立了motives的范畴。
扩展了约化函子: 将约化函子从CM Abel簇扩展到更一般的具有良好约化的Abel簇。
提供了Shimura簇的模空间解释: 在混合特征情况下，将Abel型Shimura簇实现为Abel motives的模空间。

方法详解

核心猜想系统

猜想A (有理性猜想)

设 $A$ 是 $\mathbb{Q}^{\text{al}}$ 上在 $w$ 处有良好约化的Abel簇， $\gamma$ 是 $A$ 上的绝对Hodge类。对于 $A_0$ 上所有余维数互补的Lefschetz类 $\delta$ ，有： $\langle\gamma_0 \cdot \delta\rangle \in \mathbb{Q}$

猜想C (有理Tate类的存在性)

存在唯一的分次 $\mathbb{Q}$ -子代数族 $\mathcal{R}^*(A) \subset H_{2*}^{\mathbb{A}}(A)(*)$ ，满足：

(R1) 函子性：对于Abel簇的态射，推前和拉回保持有理Tate类
(R2) 除子类是有理Tate类
(R3) 绝对Hodge类特化为有理Tate类
(R4) 包含映射 $\mathcal{R}^*(A) \to H_{2*}^{\mathbb{A}}(A)(*)$ 在张量 $\mathbb{A}_f$ 后是单射

技术创新点

有理Tate类的概念: 这是介于代数类和Tate类之间的新概念，为特征p上的motives理论提供了合适的对应关系。
变分方法: 通过研究族中的变化来证明某些类的性质，避免了直接处理困难的猜想。
CM提升技术: 利用CM Abel簇的特殊性质来处理一般情况。

构造过程

第一步: 对CM Abel簇证明猜想A
第二步: 利用André分解定理将结果扩展到所有CM Abel簇
第三步: 通过Shimura簇理论将结果扩展到所有具有良好约化的Abel簇

实验设置

由于这是纯数学理论论文，没有传统意义上的"实验"，但有以下理论验证：

验证方法

特殊情况的验证: 对于某些特殊的Abel簇（如CM型、nifty型），验证猜想的正确性
相容性检验: 验证不同素数处的实现函子的相容性
已知结果的重现: 展示新理论如何重现已知的经典结果

理论一致性

作者证明了如果有理Tate类族存在，则它是唯一的（定理0.2），这保证了理论的内在一致性。

主要结果

理论构造

范畴的存在性: 在猜想成立的条件下，构造了特征p上的Abel motives范畴 $\mathfrak{Mot}(\mathbb{F})$
函子的扩展: 将约化函子从 $\mathfrak{CM}(\mathbb{Q}^{\text{al}}) \to \mathfrak{Mot}(\mathbb{F})$ 扩展到更大的范畴
Shimura簇的实现: Abel型Shimura簇可以实现为Abel motives的模空间