Elements in $K_4$ and regulator maps of Fermat curves

技术摘要：$K_4$ 中的元素与费马曲线的调节器映射

问题陈述
本文研究了对于所有整数 $N \geq 3$，在由方程 $x^N + y^N = 1$ 定义的费马曲线 $X_N$ 的第三 Adams 特征空间 $K_4^{(3)}(X_N)$ 中，构造显式的、非平凡元素的方案。虽然 $K_2(X_N)$ 的结构以及 Ross 元素 $\{1-x, 1-y\}$ 的非平凡性已得到公认，但 $K_4$ 群的费马曲线研究领域仍处于空白状态。主要目标是在 $K_4^{(3)}(X_N)$ 中构造显式元素，并通过计算它们在 Beilinson 调节器映射下的像来验证其非平凡性。此外，作者旨在针对特定的费马动机（Fermat motives），通过数值方法验证关于 $L$-函数在 $s=3$ 处特殊值的 Beilinson 猜想。

方法论
作者采用了一种基于多对数复形（polylogarithmic complexes）和 Goncharov 及 de Jeu 研究成果的统一构造策略。

1. 多对数复形： 构造过程利用了函数域 $F = \mathbb{Q}(X_N)$ 的 Goncharov 权重为 3 的多对数复形 $\Gamma(F, 3)$。该复形涉及 Bloch 群 $B_3(F)$ 以及 $B_2(F) \otimes F^\times_{\mathbb{Q}}$。
2. 显式上圈（Cocycles）： 作者构造了 $\Gamma(F, 3)$ 中形式如下的显式 2-上圈 $\xi_{r,s}^N(\zeta)$：
   $$\xi_{r,s}^N(\zeta) := \{x^N\}_2 \otimes (1 - \zeta x^r y^s) - \frac{N}{s} \{\zeta x^r y^s\}_2 \otimes x^N$$
   其中 $\zeta$ 是单位根。
3. De Jeu 的映射： 他们应用 de Jeu 的映射 $\phi_{dJ}: H_2(\Gamma(F, 3)) \to K_4^{(3)}(F)$ 到这些上圈。为了确保生成的元素属于 $K_4^{(3)}(X_N)$ 而不仅仅是开曲线 $U$，他们利用定理 3.6（该定理依赖于基域是全实域这一事实）验证了上圈在尖点（cusps）和定义函数的零点处的残数（residues）为零。
4. 特定选择： 作者专注于特定的情形 $(r, s) = (-2, 1)$ 且 $\zeta = 1$（及其在单位根下的扭转）来定义元素 $\Xi_N = \Xi_{-2,1}^N$。
5. 调节器计算： 为了证明非平凡性，作者计算了这些元素在 Beilinson 调节器映射 $r_B$ 下的像。他们通过 de Jeu 的相容性定理将 $r_B$ 与 Goncharov 的调节器 $r_3(2)$ 联系起来。调节器积分是在特定的同调循环 $\gamma_N$ 上计算的，该循环生成了 $X_N(\mathbb{C})$ 作为群环 $\mathbb{Q}[(\mathbb{Z}/N\mathbb{Z})^{\oplus 2}$ 模的同调。
6. 分析工具： 这些积分的评估涉及：
   • Zagier 的三对数函数 $L_3(z)$。
   • 推广了 Otsubo 之前在 $K_2$ 领域结果的超几何函数 $F(\alpha; x)$。
   • 当 $N \to \infty$ 时的渐近分析。
7. 数值验证： 对于 $N \in \{3, 4, 6\}$，作者使用 PARI/GP 数值评估调节器积分，并将其与与相关具有复乘（CM）性质的椭圆曲线（与相关的费马动机同构）相关的 Hecke $L$-函数的导数进行比较。

主要贡献与结果

• 构造非平凡元素： 本文证明了构造的元素 $\Xi_N \in K_4^{(3)}(X_N)$ 对于所有 $N \geq 3$ 都是非平凡的（定理 1.1）。这是通过证明扭转版本 $(\tau_\varepsilon)^*(\Xi_N)$ 的调节器积分非零来实现的。
• 显式调节器公式：
  • 三对数公式： 调节器积分被显式地表示为 Zagier 三对数 $L_3$ 以及一个涉及函数 $f_{N,z}(t)$ 的积分之和（定理 1.3）。
  • 超几何公式： 调节器形式被表示为一个由超几何函数 $F(\alpha; -1)$ 加权的微分形式的线性组合，这推广了 Otsubo 在 $K_2$ 中的结果（定理 1.6）。
• 渐近行为： 作者推导出了调节器积分作为 $N \to \infty$ 时的渐近公式：
  $$\int_{\gamma_N} r_B((\tau_\varepsilon)^*(\Xi_N)) \sim \frac{3}{2}\zeta(3)N^2$$
  这证实了这些元素在 $N$ 较大时是非平凡的，并提供了对其增长率的洞察（定理 1.4）。
• 线性无关性： 对于不被 3 整除的 $N$，元素 $\Xi_N$, $\iota^*(\Xi_N)$, 和 $\tau_\varepsilon^*(\Xi_N)$ 被证明在 $K_4^{(3)}(X_N, \mathbb{Q}(\varepsilon))$ 中是非零且线性无关的（定理 1.2）。
• Beilinson 猜想的数值验证： 本文在 $N \in \{3, 4, 6\}$ 时，针对动机 $X_{[-2,1]}^N$ 数值验证了 Beilinson 猜想的弱形式。在这些情形下，动机对应于具有复乘（CM）性质的椭圆曲线 $E_3, E_4, E_6$。计算出的调节器积分在包含有理因子和 $\pi$ 的幂次项的情况下，与预测的 $L'(E, -1)$ 值相匹配（定理 1.8）。

意义与主张
作者将这项工作定位为超越 $K_2$ 水平、首次处理一般费马曲线 Beilinson 猜想的研究。

• 推广： 该工作将 Ross 元素在 $K_2$ 中的构造推广到了 $K_4$，并将 Otsubo 的超几何公式从 $K_2$ 扩展到了 $K_4$。
• 统一性： 该构造在 $N$ 上是统一的，为所有次数 $N \geq 3$ 提供了一个单一的元素族，这不同于以往针对模曲线的构造，后者通常需要逐个案例进行分析。
• 验证： 本文提供了首次针对费马曲线在 $s=3$ 处 Beilinson 猜想的显式数值验证，弥合了代数 K-理论构造与解析 $L$-值预测之间的鸿沟。
• 谦逊性： 作者指出，虽然他们验证了秩为 2 的动机（对应于椭圆曲线）的情形，但对于更高秩的费马动机（例如 $N=5$），该猜想仍然是一个开放问题，因为构造 $K_4$ 的完整基底仍然是一个难题。他们也承认，在不依赖于调节器注入性猜想的情况下，无条件证明其元素的线性无关性仍然非常困难。