Motivic height zeta function rationality and Kudla-Millson modularity for elliptic surfaces

这是一篇关于椭圆曲面（Elliptic Surfaces）的动机高度 Zeta 函数（Motivic Height Zeta Function）有理性与 Kudla-Millson 模性的数学论文。作者 Jun-Yong Park 在完美域 $k$（特征不为 2, 3）上，研究了定义在 $K=k(t)$ 上的最小椭圆曲线的模空间，并深入探讨了其几何不变量（平凡格秩 $T(S)$ 和 Mordell-Weil 秩 $rk(E/K)$）的分布规律。

以下是该论文的详细技术总结：

1. 研究问题与背景

• 核心对象：考虑定义在函数域 $K=k(t)$ 上的最小椭圆曲线 $E/K$。根据 Shioda-Tate 公式，其对应的相对极小椭圆曲面 $S \to \mathbb{P}^1_k$ 的几何 Picard 秩 $\rho(S)$ 分解为：
  $$\rho(S) = T(S) + \text{rk}(E/K)$$
  其中 $T(S)$ 是平凡格（Trivial Lattice）的秩（由零截面、纤维类及可约纤维分量生成），$\text{rk}(E/K)$ 是Mordell-Weil 群的秩。
• 研究目标：构建并分析一个三变量动机高度 Zeta 函数：
  $$Z(u, v; t) := \sum_{n \ge 0} \left( \sum_{[E] \in W^{\min}_n} u^{T(S)} v^{\text{rk}(E/K)} \right) t^n$$
  其中 $W^{\min}_n$ 是 Faltings 高度为 $n$ 的极小椭圆曲线的模叠。
• 主要挑战：
  1. 平凡格部分：$T(S)$ 由局部坏约化（Kodaira 纤维类型）决定，具有局部性质。
  2. Mordell-Weil 秩部分：$\text{rk}(E/K)$ 是一个全局性质，依赖于 Noether-Lefschetz 除子（即新的代数类在周期域中的出现），其分布极其复杂。
  3. 有理性问题：在 Grothendieck 环中，这类生成函数是否是有理函数？

2. 方法论

论文采用了两种截然不同的数学工具来处理上述两个部分：

A. 针对平凡格秩 $T(S)$：动机局部 - 全局分解与稳定化

• Kodaira 分层：利用 [BPS22] 中的扭曲映射（twisted maps）描述，将模空间 $W^{\min}_n$ 按 Kodaira 纤维配置进行有限构造分层。
• 欧拉乘积结构：
  • 在**各向同性（isotrivial）**轨迹（$j \equiv 0$ 和 $j \equiv 1728$）上，判别式 $\Delta$ 是单个 Weierstrass 系数的纯幂，局部条件线性，生成函数是精确的欧拉乘积。
  • 在非各向同性区域，利用 Kapranov 动机 Zeta 函数和对称幂（Symmetric powers）将局部因子重组为欧拉乘积。
• 判别式稳定化（Motivic Discriminant Stabilization）：
  • 由于判别式 $\Delta = 4a_4^3 + 27a_6^2$ 是非线性的，直接应用局部 - 全局分解在高度较大时会失效（因为源空间维度不足以独立指定所有判别式根的乘数）。
  • 作者借鉴 Vakil-Wood [VW15] 的方法，在**维数完备化（dimensionally completed）**的 Grothendieck 环 $\hat{\mathcal{M}}_L$ 中，通过截断的容斥原理（truncated inclusion-exclusion）处理剩余的判别式根。
  • 证明了在维数滤过拓扑下，误差项随高度趋于无穷大而消失，从而得到“近似有理”的结果。

B. 针对 Mordell-Weil 秩：Kudla-Millson 模性与周期域

• 周期域与特殊循环：将问题转化为周期域 $D_n$ 上的几何问题。对于高度 $n \ge 2$，正交补格 $\Lambda_n = \langle F, O \rangle^\perp$ 是一个偶单模格，其周期域 $D_n$ 是 Hermitian 对称域（$n=2$）或 Griffiths 域（$n \ge 3$）。
• Noether-Lefschetz 类：新的代数类（导致秩增加）对应于周期域中的 Heegner 轨迹（Heegner loci）。
• 模性定理：利用 Garcia [Gar18] 推广的 Kudla-Millson theta 对应（使用 Quillen 超联络），证明了 Noether-Lefschetz 类的生成级数是权为 $6n-2$ 的全纯模形式。
• 超越性论证：由于模形式（非零）在 $\mathbb{C}(q)$ 上是超越的，这意味着 Mordell-Weil 秩的分布无法被任何有限代数数据（如局部欧拉乘积）所捕捉。

3. 主要结果

定理 1.5：平凡格秩的近似有理性与 Hodge 数稳定化

• 近似有理：对于平凡格加权的 Zeta 函数 $Z_{\text{Triv}}(u; t)$，在变量 $s = t^{1/12}$ 下，其在维数完备化环 $\hat{\mathcal{M}}_L$ 中是“近似有理”的。即对于任意截断深度 $N$，存在有理函数 $R_{m,N}(s)$，使得误差项的维数趋于 $-\infty$。
• Hodge 数稳定：当 $k=\mathbb{C}$ 时，混合 Hodge 理论的权界将维数误差转化为精确的 Hodge 数稳定。即对于固定的双次数 $(p_0, q_0)$，当 $n$ 足够大时，虚拟 Hodge 数 $e_c^{p_0, q_0}(W^{\min}_n(m) \cdot L^{-10n})$ 是常数。
• 特例：当 $u=1$ 时，恢复为 [BPS22] 中的精确欧拉乘积，函数是严格有理的。

定理 1.7：Mordell-Weil 秩分布的模性与超越性

• 模形式：在固定的 Kodaira 分层上，Noether-Lefschetz 类的生成级数是权为 $6n-2$ 的 $\text{SL}_2(\mathbb{Z})$ 模形式。
• 超越性：对于任何非零测试类 $\alpha$，标量级数 $\phi_{n, \alpha}(q)$ 在 $\mathbb{C}(q)$ 上是超越的。
• 结构性差异：
  • $T(S)$ 由局部数据决定，遵循局部 - 全局因子分解，表现为（近似）有理。
  • $\text{rk}(E/K)$ 由全局 Heegner 循环决定，遵循模性规律，表现为超越。这解释了为什么 Mordell-Weil 秩的跳跃无法通过局部因子分解来预测。

推论与具体计算

• 对于 $n=2$（椭圆 K3 曲面），模形式是纯 Eisenstein 级数 $E_{10}$，Noether-Lefschetz 数与 $\sigma_9(d)$ 成正比，这与 Maulik-Pandharipande 在 K3 曲面上的结果一致。
• 给出了具体的局部因子表（Table 1），描述了不同 Kodaira 纤维类型对生成函数的贡献。

4. 意义与贡献

1. 统一框架下的结构区分：论文首次在动机层面严格区分了椭圆曲面算术中“局部决定”的部分（平凡格）和“全局决定”的部分（Mordell-Weil 秩）。前者表现为（近似）有理，后者表现为模性超越。
2. 方法创新：
   • 将 Vakil-Wood 的判别式稳定化方法成功应用于椭圆曲面的 Weierstrass 模型，解决了非线性判别式导致的局部 - 全局分解失效问题。
   • 将 Kudla-Millson 模性理论从 Hermitian 对称域推广到更一般的 Griffiths 域（$n \ge 3$ 的椭圆曲面），并建立了其与 Mordell-Weil 秩跳跃的直接联系。
3. 解决开放问题：
   • 证明了在固定高度 $n$ 下，Mordell-Weil 秩的分布模式无法被有限代数数据捕获（超越性）。
   • 为理解函数域上椭圆曲线的算术性质提供了新的动机几何视角。
4. 技术细节：详细计算了不同 Kodaira 纤维类型的动机类，并给出了在混合 Hodge 理论下的稳定化结果，为后续研究函数域上椭圆曲线的统计性质奠定了基础。

总结

这篇论文通过结合动机几何（Motivic Geometry）、算术代数几何和自守形式理论，深刻揭示了椭圆曲面高度模空间的结构。它证明了平凡格秩的分布具有“局部性”和“近似有理”特征，而 Mordell-Weil 秩的分布则具有“全局性”和“模性超越”特征。这一发现不仅深化了对 Shioda-Tate 公式的理解，也为研究函数域上椭圆曲线的算术统计提供了强有力的新工具。