On André periods of mixed Tate motives

技术摘要：关于混合泰特模的安德烈周期

问题陈述
本文探讨了混合泰特模（MTM）背景下两种不同的 p-进周期概念之间的关系。一方面，存在由山下田（Yamashita）、查齐斯塔马蒂乌（Chatzistamatiou）和于内尔（Üner）发展的“经典”p-进周期概念，该概念源于对 p-进迭代积分和 Chabauty-Kim 理论的研究。该理论依赖于比较 p-进 de Rham 实现中的霍奇（Hodge）滤子与弗罗贝尼乌斯（Frobenius）自同构。另一方面，安科纳（Ancona）和弗拉蒂拉（Frătilă）最近受 Y. 安德烈（Y. André）工作的启发，为纯模引入了一个“p-进周期”概念（称为“安德烈周期”）。这种方法比较了有理 de Rham 实现与结晶（crystalline）实现，强调通过剩余域上的模范畴进行分解。

虽然经典理论在混合泰特模方面已确立，但安科纳 - 弗拉蒂拉框架主要是为纯模开发的，混合模仅被视为次要考虑。核心问题在于确定：当安科纳 - 弗拉蒂拉定义应用于混合泰特模的具体情境时，是否能还原与 p-进多重 zeta 值和多重对数函数相关的经典 p-进周期。

方法论
作者伊沙伊·丹 - 科恩（Ishai Dan-Cohen）运用塔纳克范畴（Tannakian categories）和纤维函子的语言来桥接这两个定义。方法论包括：

1. 框架的转换：将安科纳 - 弗拉蒂拉构造移植到开整数概形 $Z \subset \text{Spec } \mathcal{O}_K$ 上的混合泰特模情境中。这涉及定义一个函子 $H(Z)$，表示结晶实现（通过函子 $\zeta$）的专化与 de Rham 实现之间的 $\otimes$-相容自然变换的空间。
2. 周期映射的构造：
   • 安科纳 - 弗拉蒂拉周期映射 ($per_{AF}$) 通过“贝特洛点”（Berthelot point）($c_{Ber}$) 定义，这是利用结晶实现与 de Rham 实现之间的贝特洛比较同构构造出的 $H(Z)$ 的一个特定 $K_p$-点。
   • 经典周期映射 ($per_{Cl}$) 通过“经典 p-进周期回路”($u$) 定义，该回路在塔纳克伽罗瓦群的幂零根 $U_{dR}(Z)$ 内比较算术霍奇路径与算术结晶路径。
3. 塔纳克比较：核心技术性工作在于证明预层 $H(Z)$ 是幂零群 $U_{dR}(Z)$ 下的平凡主丛。这通过以下方式实现：
   • 利用半单混合泰特模范畴与 $\mathbb{G}_m$ 表示范畴之间的等价性。
   • 应用关于商概形与自然变换空间之间同构的一般塔纳克结果（命题 4.2）。
   • 证明由特定 de Rham 点 ($c_{dR}$) 诱导的轨道映射提供了 $U_{dR}(Z)$ 与 $H(Z)$ 之间的同构，该同构交织了两个周期回路。

主要贡献与结果

• 定理 1.1（周期映射的等价性）：主要结果建立了“形式安德烈周期”环 ($\mathcal{O}_{H(Z)}$) 与“形式经典周期”环 ($\mathcal{O}_{U_{dR}(Z)}$) 之间的 $K$-代数同构。该同构与各自的周期映射 $per_{AF}$ 和 $per_{Cl}$ 交换。因此，在混合泰特设定下，这两种看似不同的 p-进周期定义是等价的。
• 素数的独立性：一个显著的推论是，形式安德烈周期环虽然先验地是使用特定素数 $p$ 定义的，但在典范同构意义下与 $p$ 无关，因为它同构于不依赖于 $p$ 的幂零群 $U_{dR}(Z)$ 的坐标环。
• 弗罗贝尼乌斯不动路径的模性：本文解决了关于贝塞尔（Besser）和沃洛戈茨基（Vologodsky）指出的弗罗贝尼乌斯不动 de Rham 路径的概念歧义。通过表明这些路径源于特征 $p$ 下的模路径（具体而言，源于模路径主丛的专化），作者证明了只要将算术基上的模替换为剩余域上的模，这些路径归根结底就是“模的”。
• 多重对数函数的实现：作者显式构造了对应于模迭代积分的主齐性空间 $H(Z)$ 上的函数。结果表明，这些函数的安德烈周期给出了 p-进多重对数函数和 p-进多重 zeta 值（科尔曼函数）的特殊值。

意义
本文声称其意义在于统一了两个研究方向：算术几何中使用的经典 p-进周期理论（Chabauty-Kim 理论）以及安科纳和弗拉蒂拉提出的更通用的安德烈周期新框架。通过证明它们在混合泰特设定下的等价性，这项工作验证了将安科纳 - 弗拉蒂拉机制扩展到混合模而不损失经典性质的可行性。

此外，本文提供了 p-进多重对数函数作为安德烈周期的具体实现。这将安科纳和弗拉蒂拉的抽象塔纳克形式主义直接与 p-进积分的可计算对象联系起来。作者指出，这种联系阐明了混合泰特 Chabauty-Kim 理论的“内在机制”，并为 Goncharov 关于模迭代积分的猜想提供了 p-进视角。这项工作还为可能将 Chabauty-Kim 理论扩展到混合泰特设定之外奠定了基础，尽管目前的结果严格局限于混合泰特情形。