Regulators in the Arithmetic of Function Fields

问题陈述

本文研究了关于函数域上 Anderson $A$-动机的调节理论（regulator theory）的发展，旨在建立在数域算术中已知的 Beilinson 猜想的类似物。具体而言，作者试图为刚解析平凡的 Anderson $A$-动机定义一个调节态射（regulator morphism），并研究相关的动机上同调群的有限性与秩（rank）性质。

在数域的经典情形下，Beilinson 猜想通过调节映射到 Hodge 实现空间，将混合动机的扩张群（特别是 $\text{Ext}^1_{\mathbb{Z}}(1, M)$）的维数与 $L$-函数的特殊值联系起来。在函数域的情形下，作者之前的研究（[Gaz22]）开启了对 $A$-动机上同调的研究，但遇到了障碍：自然的扩张模 $\text{Ext}^1_{A}(1, M)$ 通常不是有限生成的。这种失效源于两个方面：取 Hodge 过滤的不精确性，以及无穷远处的绝对伽罗瓦群 $G_\infty$ 的无限性。本文旨在通过定义一种具有“解析还原”（analytic reduction）的精细化扩张模，并构造一个相应的向 Hodge-Pink 结构的调节映射，来解决这些问题。

方法论

作者综合运用了刚解析几何、伽罗瓦上同调以及 shtuka 模型理论。其研究方法通过以下几个关键阶段展开：

1. 刚解析平凡的 $A$-动机与 Betti 实现： 研究被限制在刚解析平凡的 $A$-动机子范畴（$\text{AMot}^{\text{rat}}_K$）中。对于此类动机，Betti 实现函子 $M \mapsto M_B$ 是精确的。作者证明了 $M_B$ 携带了一个由原型伽罗瓦群 $G_\infty = \text{Gal}(K_\infty^s | K_\infty)$ 作用的自然连续作用。
2. 解析还原与受规制的扩张： 为了解决缺乏有限生成性的问题，作者为扩张定义了“在 $\infty$ 处的解析还原”。若一个扩张作为 $G_\infty$ 的表示是分裂的，则称其具有解析还原。由此定义了扩张模 \text{Ext}^1_{A, \infty}^{\text{reg}}(1, M)，即从受规制的扩张到伽罗瓦上同调 $H^1(G_\infty, M_B)$ 之映射的核。
3. 带有无限 Frobenius 的 Hodge-Pink 结构： 本文通过引入“无限 Frobenius”（即与 Hodge-Pink 格相容的 $G_\infty$ 连续表示）扩展了 Pink 的 Hodge-Pink 结构理论。这使得从 $\text{AMot}^{\text{rat}}_K$ 到带有无限 Frobenius 的 Hodge-Pink 结构范畴（$\text{HdgPk}^+$）的 Hodge-Pink 实现函子 $H^+$ 的构造成为可能。
4. Shtuka 模型： 一个核心技术工具是将 $A$-动机与 shtuka 模型相关联。
   • $C$-shtuka 模型： 与定义在曲面 $(\text{Spec } A) \times C$ 上的任何 $A$-动机相关联。
   • $C \times C$-shtuka 模型： 与定义在 $C \times C$ 上的负权重的 $A$-动机相关联。
     作者证明了计算动机上同调的复形（$G_M$）与这些 shtuka 模型的相干上同调是拟同构的。这一联系允许使用 Grothendieck 关于形式函数的定理以及紧致概型的相干上同调有限性，从而推导出有限性结果。
5. 调节构造： Hodge-Pink 实现函子的精确性诱导了一个从 $A$-动机的受规制的、解析还原的扩张模到 Hodge-additive、解析还原的 Hodge-Pink 结构的扩张的态射（即调节映射）。

主要贡献与结果

本文确立了关于 $A$-动机上同调结构及调节性质的两个主要定理：

1. 有限性定理（定理 6.1）：

   • $A$-模 \text{Ext}^1_{A, \infty}^{\text{reg}}(1, M)（整数、受规制的具有解析还原的扩张）以及类模 $\text{Cl}(M)$（解析还原映射的余核）是有限生成的。
   • 若 $M$ 的权重均为负，则类模 $\text{Cl}(M)$ 是有限的。
   • 这一结果作为函数域情形下的对应，对应于数域情形下 $\text{Ext}^1_{\mathbb{Z}}(1, M)$ 预期为有限维的结论。

2. 秩相等定理（定理 6.2）：

   • 假设 $M$ 的权重均为负，则 \text{Ext}^1_{A, \infty}^{\text{reg}}(1, M) 作为 $A$-模的秩等于目标空间 \text{Ext}^1_{\infty}^{\text{ha}}(1^+, H^+(M)) 作为 $K_\infty$-向量空间的维数。
   • 该维数可以根据 $M$ 的正 Hodge-Pink 权重进行显式计算。

3. 全秩失效：

   • 与数域中的猜想图景（即调节映射预期具有稠密/全秩）相反，作者证明了 Hodge-Pink 调节映射 $\text{Reg}(M)$ 的像可能无法在其目标空间中达到全秩。
   • 这种失效在简单的例子中也能观察到，例如第 $p$ 次 Carlitz 扭转。因此，关于调节映射像之稠密性的直接 Beilinson 猜想类比在此设定下并不成立。

意义与主张

本文声称通过克服早期表述中存在的无限生成问题，为函数域环境下的动机上同调提供了一个严谨的框架。通过引入解析还原的概念并利用 shtuka 模型，作者成功证明了反映经典预期的有限性结果。

然而，论文也谦逊地指出，与数域类比存在一个显著的分歧：调节映射并不一定具有全秩。作者认为，这种差异意味着标准的 Hodge-Pink 结构可能不是在函数域中构建完整的 Beilinson 型猜想的正确对象。相反，作者建议可能需要重构“函数域 Hodge 结构”（不带格数据），以定义一个具有全秩的调节映射。文章总结道，虽然秩相等性（定理 6.2）成立，但关于调节映射像与特殊 $L$-值相关联的 Beilinson 猜想的精确表述仍是一个开放性问题，需要进一步研究。这项工作被呈现为 [Gaz22] 的自然续篇，架起了 Anderson $A$-动机与混合动机猜想图景之间的桥梁。