[论文解读] Singular moduli refined

Benjamin Howard, Tonghai Yang|arXiv (Cornell University)|Feb 28, 2012

Algebraic Geometry and Number Theory参考文献 18被引用 3

一句话总结

该论文通过在具有虚二次场 $K_1, K_2$ 中阶的复乘椭圆曲线 $E_1, E_2$ 的同态空间 $\mathrm{Hom}(E_1,E_2)$ 上引入一个 $\mathcal{O}_F$-二次型 $\deg_{\mathrm{CM}}$，对 Gross 和 Zagier 的奇异模理论进行了改进，其中 $K_1, K_2$ 的判别式互素。证明了参数化满足 $\deg_{\mathrm{CM}}(j) = \alpha$ 的三元组 $(E_1,E_2,j)$ 的模堆栈 $\mathcal{X}_\alpha$ 的算术度等于实二次域 $F = \mathbb{Q}(\sqrt{d_1d_2})$ 上权为 1 的 Hecke Eisenstein 系数的中心导数的第 $\alpha$ 个傅里叶系数，从而建立了算术 Siegel-Weil 公式。

ABSTRACT

We prove a refinement of the results of Gross and Zagier on prime factorizations of singular moduli.

研究动机与目标

• 通过研究权为 1 的希尔伯特模 Eisenstein 系数的中心导数，将 Gross 和 Zagier 的奇异模结果推广到对角线以外的情形。
• 在 $\mathrm{Hom}(E_1,E_2)$ 上定义一个典范的 $\mathcal{O}_F$-模结构和一个完全正定的 $\mathcal{O}_F$-二次型 $\deg_{\mathrm{CM}}$，使其满足 $\mathrm{Tr}_{F/\mathbb{Q}}\deg_{\mathrm{CM}} = \deg$。
• 通过将模堆栈 $\mathcal{X}_\alpha$ 的算术度与 Eisenstein 系数中心导数的第 $\alpha$ 个傅里叶系数关联，建立算术 Siegel-Weil 公式。
• 解决关于 $\alpha \in F^\times$ 时 $E^{*,\prime}(\tau_1,\tau_2,0)$ 的第 $\alpha$ 个傅里叶系数的算术意义这一开放问题。

提出的方法

• 构造一个平行权为 1 的 Hecke Eisenstein 系数 $E^*(\tau_1,\tau_2,s)$，其定义于 $\mathrm{SL}_2(\mathcal{O}_F)$，由于其函数方程而在 $s=0$ 处为零。
• 利用 $E_1$ 和 $E_2$ 上的复乘作用，在 $\mathrm{Hom}(E_1,E_2)$ 上定义一个典范的 $\mathcal{O}_F$-模结构和一个完全正定的 $\mathcal{O}_F$-二次型 $\deg_{\mathrm{CM}}$。
• 引入参数化满足 $\deg_{\mathrm{CM}}(j) = \alpha$ 的三元组 $(E_1,E_2,j)$ 的模堆栈 $\mathcal{X}_\alpha$，并证明其维数为 0。
• 通过在整除 $\mathrm{Diff}(\alpha)$ 的素点 $\mathfrak{p}$ 处进行局部计算，利用 Whittaker 函数和轨道积分，证明 $\mathcal{X}_\alpha$ 的算术度等于 $E^{*,\prime}(\tau_1,\tau_2,0)$ 的第 $\alpha$ 个傅里叶系数。
• 利用 Eisenstein 系数的函数方程和解析延拓，将中心导数与 $\mathcal{X}_\alpha$ 的算术不变量联系起来。
• 当 $\mathrm{Diff}(\alpha) = \{\mathfrak{p}\}$ 时，建立公式 $4\deg(\mathcal{X}_\alpha) \cdot q^\alpha = E_{\alpha}^{*,\prime}(\tau,0)$，并证明当 $|\mathrm{Diff}(\alpha)| > 1$ 时，两边均消失。

实验结果

研究问题

• RQ1 对于 $\alpha \in F^\times$，Hecke Eisenstein 系数中心导数 $E^{*,\prime}(\tau_1,\tau_2,0)$ 的第 $\alpha$ 个傅里叶系数的算术意义是什么？
• RQ2 能否利用参数化满足 $\deg_{\mathrm{CM}}(j) = \alpha$ 的 $j \in \mathrm{Hom}(E_1,E_2)$ 的模堆栈 $\mathcal{X}_\alpha$ 来定义一个与 $E^{*,\prime}$ 的傅里叶系数匹配的算术不变量？
• RQ3 $\mathrm{Hom}(E_1,E_2)$ 上的 $\mathcal{O}_F$-二次型 $\deg_{\mathrm{CM}}$ 如何改进标准次数形式，并与到 $\mathbb{Q}$ 的迹相关？
• RQ4 $F/\mathbb{Q}$ 的判别式 $\mathfrak{D}$ 在 $\mathcal{X}_\alpha$ 的局部结构和算术度计算中起什么作用？
• RQ5 $\mathcal{X}_\alpha$ 在何种条件下具有正的算术度，这与 $\alpha$ 在 $F$ 中的分裂行为有何关系？

主要发现

• 对于所有 $\alpha \in F^\times$，参数化三元组 $(E_1,E_2,j)$ 满足 $\deg_{\mathrm{CM}}(j) = \alpha$ 的模堆栈 $\mathcal{X}_\alpha$ 的维数为 0。
• $\mathcal{X}_\alpha$ 的算术度等于 $F$ 上 Hecke Eisenstein 系数中心导数 $E^{*,\prime}(\tau_1,\tau_2,0)$ 的第 $\alpha$ 个傅里叶系数。
• 当 $\mathrm{Diff}(\alpha) = \{\mathfrak{p}\}$ 时，算术度满足 $4\deg(\mathcal{X}_\alpha) \cdot q^\alpha = E_{\alpha}^{*,\prime}(\tau,0)$，从而确立了算术 Siegel-Weil 公式。
• 若 $|\mathrm{Diff}(\alpha)| > 1$，则 $\mathcal{X}_\alpha$ 为空，且算术 Siegel-Weil 公式的两边均消失。
• 在素点 $\mathfrak{p}$ 处的算术度局部贡献由 $\nu_{\mathfrak{p}}(\alpha) = \frac{1}{2}\mathrm{ord}_{\mathfrak{p}}(\alpha\mathfrak{p}\mathfrak{D})$ 决定，该表达式出现在 Whittaker 函数的导数中。
• 典范的 $\mathcal{O}_F$-二次型 $\deg_{\mathrm{CM}}$ 是完全正定的，且满足 $\mathrm{Tr}_{F/\mathbb{Q}}\deg_{\mathrm{CM}} = \deg$，从而对 $\mathrm{Hom}(E_1,E_2)$ 上的标准次数形式进行了改进。