[论文解读] Explicit modular towers

Noam D. Elkies|ArXiv.org|Mar 16, 2001

Algebraic Geometry and Number Theory参考文献 6被引用 68

一句话总结

本文提出一种递归方法，仅利用前几级的几何结构——特别是曲线 $\mathrm{X}_0(l^2)$、其 Atkin-Lehner 对合以及度数为 $l$ 的映射 $\pi_0$——显式构造渐近最优的模曲线塔，如 $\mathrm{X}_0(l^n)$。关键贡献在于一个公式，通过坐标之间的迭代关系实现整个塔的构造，从而能够显式写出高亏格曲线的方程，并通过有理点计数确认其最优性。

ABSTRACT

We give a general recipe for explicitly constructing asymptotically optimal towers of modular curves such as {X_0(l^n): n=1,2,3,...}. We illustrate the method by giving equations for eight towers with various geometric features. We conclude by observing that such towers are all of a specific recursive form, and speculate that perhaps every tower of this form that attains the Drinfeld-Vladut bound is modular.

研究动机与目标

• 开发一种系统化方法，用于构造如 $\mathrm{X}_0(l^n)$ 这类塔中高亏格模曲线的显式方程。
• 证明仅需此类塔的前几级——具体而言 $\mathrm{X}_0(l^2)$ 和映射 $\pi_0$——即可重构整个塔。
• 证明此类塔的渐近最优性可独立于其模形式起源进行验证，方法是展示有理超奇异点的存在。
• 探讨所有此类形式的渐近最优递归塔是否必然为模曲线。

提出的方法

• 该方法使用从 $\mathrm{X}_0(l^n)$ 到 $({\rm X}_0(l^2))^{n-1}$ 的乘积映射 $\pi = \pi_0 \times \cdots \times \pi_{n-2}$，将曲线嵌入乘积空间。
• 通过要求对 $j=1,\dots,n-2$ 有 $\pi_0(w_l^{(2)}(P_j)) = w_l^{(1)}(\pi_0(P_{j+1}))$，以 Atkin-Lehner 对合链接连续层级，实现塔的递归定义。
• 该构造依赖于 $\mathrm{X}_0(l^2)$ 的显式方程以及 Atkin-Lehner 对合 $w_l^{(2)}$ 的作用，后者由模参数化推导得出。
• 对于舒尔曲线，该方法采用相同的递归框架，使用相应的 $\mathrm{X}_0(\wp^n)$ 曲线及其对合，这些对合源自四元数代数中的单位群。
• 通过驯服分支（tame ramification）计算塔中每条曲线的亏格，相比剧烈分支（wildly ramified）塔，该方法简化了计算。
• 该方法被推广至非经典模曲线，方法是使用相同的递归结构，方程由基曲线 $C_1$ 上的双次-$(l,l)$ 对应关系 $\Phi$ 导出。

实验结果

研究问题

• RQ1 能否仅从塔的前两级——即 $\mathrm{X}_0(l^2)$ 和映射 $\pi_0$——递归构造出如 $\mathrm{X}_0(l^n)$ 这类高亏格模曲线的显式方程？
• RQ2 基于 $\mathrm{X}_0(l^2)$ 和映射 $\pi_0$ 的塔的递归结构，是否能完全确定整个曲线塔 $\mathrm{X}_0(l^n)$？
• RQ3 此类塔的渐近最优性——即达到 Drinfeld-Vláduţ 边界——能否独立于其模形式起源进行验证？
• RQ4 所有此类形式的渐近最优递归塔是否必然为模曲线，即源于模曲线或舒尔曲线？
• RQ5 Atkin-Lehner 对合在保持递归结构及实现亏格计算中起什么作用？

主要发现

• 本文为八个渐近最优塔提供了显式方程：六个为经典模曲线 $\mathrm{X}_0(l^n)$（$l=2,3,4,5,6$ 和 $3\cdot 2^n$），两个为舒尔曲线。
• 对于 $\mathrm{X}_0(2^n)$，塔由 $n-1$ 个坐标 $x_1,\dots,x_{n-1}$ 描述，满足 $x_j^2 + 3 = 4z_{j+1}^2$ 且 $z_j = (x_j + 3)/(x_j - 1)$，对合为 $\xi \mapsto (\xi + 3)/(\xi - 1)$。
• 对于 $\mathrm{X}_0(3\cdot 2^n)$，方程类似，但涉及不同的对合与关系，其来源于 $\mathrm{X}_0(2^2)$ 的 $j$-不变量参数化。
• $\mathcal{X}_0(\wp_2^n)$ 舒尔曲线塔在 $n=5$ 之后无分支，且在奇数特征有限域上被 $\mathcal{X}_0(\wp_2^5)$ 的 2-类域塔所支配。
• $\mathcal{X}_0(\wp_3^n)$ 塔（对应于三次域 $\mathbb{Q}(2\cos\pi/9)$）由 $x_j^3 + z_{j+1}^3 = 1$ 与 $z_j = (x_j + 2)/(x_j - 1)$ 描述，且在 $n=4$ 之后无分支。
• 作者猜想，所有此类形式的渐近最优递归塔必为模曲线，依据是目前已知的所有此类塔均为模曲线。