On the Integral Part of A-Motivic Cohomology

技术摘要：论 A-动机上同调的整部分

问题陈述
本文探讨了在正特征全局函数域背景下，动机上同调中“整部分”（integral part）的定义及其性质。在数域的经典情形中，动机上同调的整部分可以通过两种等价途径进行捕捉：其一是通过簇的正则整模型（regular integral models）的 K-理论；其二是通过具有良好还原（good reduction）的扩张的 $\ell$-进实现。人们预期这两类定义是相等的（猜想 C4），并且由此产生的空间在 $\mathbb{Q}$ 上是有限维的（猜想 C5）。

作者试图为 Anderson $A$-动机建立一套类似的理论，这些动机是经典混合动机在函数域中的对应物。核心问题在于，利用极大整模型（类似于正则模型）来定义 $A$-动机上同调的整部分，并利用“良好”的 $\ell$-进部分（具有良好还原的扩张），研究这两类定义是否一致，以及所得模是否为有限生成的。

方法论
本文采用了 Anderson $A$-动机在全局和局部函数域上的框架。研究方法通过以下几个关键步骤展开：

1. $A$-动机的基础： 作者回顾了 Anderson $A$-动机的范畴 ($\mathcal{M}_R$)，将其确立为一个精确范畴（尽管不是阿贝尔范畴）。文中利用复式 $M \xrightarrow{\text{id} - \tau_M} M[j^{-1}]$（其中 $j$ 是由 $a \otimes 1 - 1 \otimes \kappa(a)$ 生成的理想）显式地计算了扩张模 $\text{Ext}^i_{\mathcal{M}_R}(1, M)$。
2. 混合性与权重： 利用在无穷远点 $\infty$ 处的相关等距晶体（isocrystals）的斜率过滤（slope filtration），发展了混合 Anderson $A$-动机的概念。作者定义了权重，并确立了混合动机范畴在扩张消失性（extension vanishing）方面与数域情形相似的性质（即对于 $i > 1$ 成立），尽管纯动机子范畴并非半单的。
3. 极大整模型： 受 Gardeyn 关于 $\tau$-层（$\tau$-sheaves）工作的启发，本文引入了 $A$-动机在局部和全局函数域上的极大整模型的概念。与以往方法不同，作者并未预设这些模型是局部自由的，而是证明了局部自由性是极大性的一个推论。
   • 对于局部域，证明了极大模型存在且唯一。
   • 对于全局域，通过取局部极大模型的交集来构造全局极大整模型。
4. 扩张的比较： 作者将“整部分”上同调 ($\text{Ext}^1_{\mathcal{O}_p}(1, M)$) 定义为极大整模型在扩张映射 $\iota$ 下的像。随后将其与“良好 $\ell$-进部分” ($\text{Ext}^1_{\text{good}}(1, M)_\ell$) 进行比较，后者定义为 $\ell$-进实现映射在限制到惯性子群下的核。
5. 正则扩张： 为了解决整部分与良好部分之间的差异，本文引入了“正则扩张”（regulated extensions），其定义基于 Hodge 多边形的加法性（类似于 Pink 理论中的 Hodge 加法性）。

主要贡献与结果

• 极大模型的存在性与唯一性： 本文证明了 $A$-动机在局部和全局函数域上均存在且唯一地确定了极大整模型。此外，研究表明这些极大模型自动是相关张量环上的射影（局部自由）模，这简化了 Gardeyn 早期关于 $\tau$-层工作中存在的复杂技术要求。
• 整部分包含于良好部分： 主要结果（定理 D）确立了 $A$-动机上同调的整部分包含在良好的 $\ell$-进部分之中：
  $$\text{Ext}^1_{\mathcal{O}_p}(1, M) \subseteq \text{Ext}^1_{\text{good}}(1, M)_\ell$$
• 等价性的失效： 与数域中的预期（猜想 C4）相反，本文证明上述包含关系通常是严格的。在第 5.1 节中，作者针对中性动机 $\mathbf{1}$ 构造了一个显式反例，展示了一个相对于极大理想 $\ell$ 具有良好还原但并不源自极大整模型的扩张。
• 有限生成问题： 本文指出，整扩张模 $\text{Ext}^1_{\mathcal{O}_F}(1, M)$ 通常在 $A$ 上不是有限生成的，这违反了猜想 C5 的类似结论。这表明所有 $A$-动机的范畴过于庞大，若不施加进一步限制，难以支持一个行为良好的动机上同调理论。
• 正则扩张： 作者提出将“正则扩张”作为一种精细化的子范畴，其中扩张的 Hodge 多边形与组成部分的 Hodge 多边形之和相匹配。
  • 文中证明了映射 $\iota$ 在特定动机的商空间与正则扩张模之间诱导了一个同构（推论 5.5）。
  • 本文猜想，对于正则扩张，整部分与良好部分是相等的（猜想 5.8）。
  • 该猜想在特定情况下得到了验证：当动机源自具有良好还原的 Frobenius 空间时（定理 5.9），以及对于正 Carlitz 扭转 $A(n)$ 时（定理 5.13）。

意义与主张
本文声称开启了对全局函数域 $A$-动机上同调的系统性研究。其意义在于：

1. 建立框架： 利用极大模型为 $A$-动机上同调的整部分提供了严谨的定义，这些模型充当了函数域中正则整模型的对应物。
2. 揭示分歧： 证明了函数域的情形与数域的情形存在根本差异，即整部分与良好的 $\ell$-进定义通常并不一致。这挑战了将数域猜想直接迁移至函数域的做法。
3. 提出修正： 引入了正则扩张的概念，将其作为恢复整部分与良好部分相等性以及潜在恢复有限生成性质的必要条件。

作者谦逊地总结道，尽管关于正则扩张的等价性在一般情形下仍是一个开放问题，但本研究通过识别具体的结构障碍（缺乏 Hodge 加法性）并解决重要类别的动机问题，提供了一条明确的前行路径。研究结果高度依赖于精确范畴形式化以及 $A$-动机、等距晶体与 $\ell$-进表示之间的相互作用。