[论文解读] Degeneration of Riemann theta functions and of the Zhang-Kawazumi invariant with applications to a uniform Bogomolov conjecture

Robert Wilms|arXiv (Cornell University)|Jan 11, 2021

Algebraic Geometry and Number Theory参考文献 28被引用 4

一句话总结

该论文研究了在穿孔单位圆盘上一族主极化阿贝尔簇中黎曼theta函数与Zhang–Kawazumi不变量的退化行为，证明了该不变量 $\varphi(M_t)$ 的退化形式为 $-\varphi(\Gamma)\log|t|$，其中 $\Gamma$ 为相应的加权化简图。这一结果导致了在数域上雅可比簇的典型循环上，Néron–Tate高度的本质最小值存在统一的正下界。

ABSTRACT

In this paper we study the degeneration behavior of the norm of the Riemann $θ$-function in a family of principally polarized abelian varieties over the punctured complex unit disc in terms of the associated polarized real torus. As an application, we obtain the degeneration behavior of the Zhang--Kawazumi invariant $φ(M_t)$ of a family of Riemann surfaces $M_t$ in terms of Zhang's invariant $φ(Γ)$ of the associated metrized reduction graph $Γ$. This allows us to deduce a uniform lower bound for the essential minimum of the Néron-Tate height on the tautological cycles of any Jacobian variety over a number field.

研究动机与目标

• 理解主极化阿贝尔簇族在穿孔单位圆盘上，黎曼theta函数范数的渐近行为。
• 将Zhang–Kawazumi不变量 $\varphi(M_t)$ 的退化行为与相关加权化简图 $\Gamma$ 的热带不变量 $\varphi(\Gamma)$ 联系起来。
• 在数域上的雅可比簇典型循环上，推导出Néron–Tate高度本质最小值的统一下界。
• 将热带与Arakelov理论不变量推广至算术几何，特别是在统一Bogomolov猜想的背景下。
• 建立不变量 $I(A,\Theta)$ 的精确渐近公式，其以热带矩 $I(\Sigma_f)$ 和 $|t|$ 的对数项表示。

提出的方法

• 分析一族主极化阿贝尔簇 $\mathscr{A}_t \to \Delta^*$ 上黎曼theta函数 $\|\theta\|^2$ 的 $L^2$-范数的退化行为。
• 将 $\|\theta\|^2$ 的退化行为与相关极化实环面 $\Sigma_f$ 上的热带黎曼theta函数 $\|\Psi\|$ 联系起来。
• 通过在固定基本域 $[0,1)^{2g}$ 上使用Haar测度，避免了域对参数 $t$ 的依赖。
• 应用公式 $I(A,\Theta) = \log \int_A \|\theta\|^2 \frac{\nu^g}{g!} - \int_A \log\|\theta\|^2 \frac{\nu^g}{g!}$ 推导其渐近行为。
• 将 $I(A,\Theta)$ 的渐近公式与 $\varphi$、$\delta$ 和 $I$ 之间的已知关系相结合，推导出 $\varphi(M_t)$ 的退化行为。
• 利用算术Noether公式，并通过线丛上的adelic度量对Néron–Tate高度进行有界估计，从而建立统一的下界。

实验结果

研究问题

• RQ1 在穿孔单位圆盘上一族主极化阿贝尔簇中，黎曼theta函数的范数如何退化？
• RQ2 当族退化时，Zhang–Kawazumi不变量 $\varphi(M_t)$ 的渐近行为是什么？
• RQ3 能否用相关加权化简图 $\Gamma$ 的热带不变量 $\varphi(\Gamma)$ 来表达 $\varphi(M_t)$ 的退化行为？
• RQ4 这种退化行为是否导致雅可比簇典型循环上Néron–Tate高度本质最小值的统一下界？
• RQ5 在退化极限下，不变量 $I(A,\Theta)$、$\delta$ 和 $\varphi$ 如何相互作用，其算术意义是什么？

主要发现

• 不变量 $I(\mathscr{A}_t)$ 满足 $I(\mathscr{A}_t) \sim -I(\Sigma_f)\log|t| - \frac{\dim\Sigma_f}{2}\log(-\log|t|)$，其退化行为由热带矩描述。
• Zhang–Kawazumi不变量退化为 $\varphi(M_t) \sim -\varphi(\Gamma)\log|t|$，其中 $\Gamma$ 为退化族的加权化简图。
• 该渐近公式推广了de Jong的早期结果，并为 $\varphi$ 的阿基米德行为提供了热带解释。
• 建立了雅可比簇典型循环上Néron–Tate高度本质最小值的统一下界：$h'_{\mathcal{L}}(Z_{m,\alpha}) \geq \frac{(g-1)^3}{24(47g^4 + 42g^3 + 18g^2 + g)} \max(12h_{\mathrm{Fal}}(X) + c_1(g), c_2(g))$。
• 该下界与循环参数 $m$ 和 $\alpha$ 的选择无关，并在所有数域上一致成立。
• 该结果证实了雅可比簇中典型循环的统一Bogomolov猜想，将先前结果推广至高维循环。