[论文解读] On a conjecture of Serre on abelian threefolds

Gilles Lachaud, Christophe Ritzenthaler|ArXiv.org|Oct 17, 2007

Algebraic Geometry and Number Theory参考文献 11被引用 7

一句话总结

本文证明了 Serre 关于在域 $K$ 上的不可约主极化阿贝尔三倍体上存在一个典范不变量 $\chi_{18}(A,\lambda)$ 的猜想，表明该不变量恰好在关联曲线为双曲曲线时为零，且其平方根决定了曲线上伽罗瓦作用。作者通过构造一个与三个椭圆曲线乘积同源的三维阿贝尔三倍体族，利用theta特征和模形式，将解析判别式与代数判别式联系起来。

ABSTRACT

In this article, we give a reformulation of a result from Howe, Leprevost and Poonen on a three dimensional family of abelian threefolds. We also link their result to a conjecture of Serre on a precise form of Torelli theorem for genus 3 curves.

研究动机与目标

• 解决 Serre 于 2003 年提出的关于在域 $K$ 上的不可约主极化阿贝尔三倍体上存在典范不变量 $\chi_{18}(A,\lambda)$ 的猜想。
• 确定此类三倍体是否作为 $K$ 上双曲或非双曲曲线的雅可比簇出现。
• 通过 $\chi_{18}$ 的平方根上的伽罗瓦作用，显式计算与非双曲曲线相关的二次特征 $\varepsilon$。
• 以关联四次曲线的判别式为基准，给出模形式 $\chi_{18}$ 的精确显式公式，其中精确常数为 $c = (1/2\pi)^{54}$。
• 通过 theta 特征和模不变性，重新表述并推广 Howe、Leprevost 和 Poonen 关于与三个椭圆曲线乘积同源的三倍体族的结果。

提出的方法

• 通过将 Howe、Leprevost 和 Poonen 的构造重新解释为由三个椭圆曲线的 2-挠点构成的矩阵的行列式，重新表述其不变量 $\mathsf{T}$。
• 利用一致化方法，将 $\mathsf{T}$ 表示为复数域 $\mathbb{C}$ 上椭圆曲线的 theta 特征（Thetanullwerte）的函数。
• 应用 theta 函数的倍乘与模变换公式，将模形式 $\chi_{18}(A,\lambda)$ 表示为相同 theta 特征的函数。
• 比较 $\mathsf{T}$ 与 $\chi_{18}$ 的两个表达式，建立其代数与解析等价性。
• 利用 Siegel 模形式理论及同余子群 $\Gamma_g^0(2)$，证明 $\chi_k(\frac{1}{2}\tau)$ 的模性，表明其在群作用下变换正确。
• 利用 Klein 的经典结果将 $\chi_{18}$ 与四次曲线判别式的平方关联起来，并通过精确常数 $c = (1/2\pi)^{54}$ 进行细化。

实验结果

研究问题

• RQ1 是否存在一个典范不变量 $\chi_{18}(A,\lambda)$，使得对定义在域 $K$ 上的不可约主极化阿贝尔三倍体 $(A,\lambda)$，有 $\chi_{18}(A,\lambda) = 0$ 当且仅当其关联曲线为双曲曲线？
• RQ2 能否通过 $\chi_{18}(A,\lambda)$ 的平方根上的伽罗瓦作用恢复与非双曲亏格 3 曲线相关的伽罗瓦特征 $\varepsilon$？
• RQ3 当限制在与三个椭圆曲线乘积同源的三维阿贝尔三倍体族上时，模形式 $\chi_{18}$ 是否可表示为 theta 特征与判别式的函数，并带有精确常数？
• RQ4 能否将 Klein 的经典公式中 $\chi_{18}$ 与四次曲线判别式的平方的关系显式化，其中精确常数为 $c = (1/2\pi)^{54}$？
• RQ5 Howe、Leprevost 和 Poonen 的不变量 $\mathsf{T}$ 与模形式 $\chi_{18}$ 之间有何关系？能否将其重新解释为一个行列式？

主要发现

• 本文在与三个椭圆曲线乘积同源的三维阿贝尔三倍体族上，正面证明了 Serre 的猜想。
• 证明了 $\chi_{18}(A,\lambda) = 0$ 当且仅当其关联曲线为双曲曲线，确认了 Serre 猜想的第一部分。
• 证明了 Serre 算术 Torelli 定理中的二次特征 $\varepsilon$ 恰好是 $\chi_{18}(A,\lambda)$ 的平方根上的伽罗瓦作用，确认了猜想的第二部分。
• 作者推导出 Klein 公式的精确版本：$\chi_{18}(\Omega) = (1/2\pi)^{54} \cdot \operatorname{Disc}(Q)^2$，其中 $Q$ 是定义曲线的四次多项式。
• Howe、Leprevost 和 Poonen 的不变量 $\mathsf{T}$ 被重新解释为由三个椭圆曲线的 2-挠点构造的矩阵的行列式。
• 证明了模形式 $\chi_{18}(\frac{1}{2}\tau)$ 是同余子群 $\Gamma_g^0(2)$ 上的权为 18 的模形式，其模性通过该群的生成元完整证明。