[论文解读] Bielliptic and Hyperelliptic modular curves X(N) and the group Aut(X(N))

Francesc Bars, Aristides Kontogeorgis+1 more|arXiv (Cornell University)|Jul 10, 2012

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

一句话总结

该论文确定，对于 $N \geq 7$，模曲线 $X(N)$ 永远不是双椭圆曲线，且仅当 $N = 7$ 或 $N = 8$ 时为双椭圆曲线。它证明了自同构群 $\mathrm{Aut}(X(N))$ 同构于 $\mathrm{PSL}_2(\mathbb{Z}/N\mathbb{Z})$，确认其与 $\mathrm{PSL}_2(\mathbb{R})$ 中 $\Gamma(N)$ 的正规化子模 $\pm\Gamma(N)$ 一致，从而为合数 $N$ 提供了完整证明，填补了文献中长期存在的空白。该结果还意味着当 $N > 6$ 时，$X(N)$ 在 $\mathbb{Q}(\zeta_N)$ 上的二次点集是有限的。该工作填补了模曲线自同构群分类中的关键空白，并将 Serre 对素数 $N$ 的早期结果推广至合数水平。

ABSTRACT

We determine all modular curves X(N) (with $N\geq 7$) which are hyperelliptic or bielliptic. We make available a proof that the automorphism group of X(N) coincides with the normalizer of $Γ(N)$ in $\operatorname{PSL}_2(\mathbb{R})$.

研究动机与目标

• 确定所有满足 $N \geq 7$ 的整数 $N$，使得模曲线 $X(N)$ 为双椭圆曲线或双椭圆曲线。
• 为所有 $N \geq 7$ 提供完整证明，表明 $\mathrm{Aut}(X(N)) \cong \mathrm{PSL}_2(\mathbb{Z}/N\mathbb{Z})$，将 Serre 对素数 $N$ 的结果推广至合数水平。
• 利用双椭圆结构与自同构群结构，建立 $X(N)$ 在分圆域 $\mathbb{Q}(\zeta_N)$ 上的二次点集的有限性。
• 通过提供自同构群结构的自包含证明，解决文献中长期存在的空白：对于合数 $N$，该自同构群结构虽被假设但未正式确立。

提出的方法

• 作者利用 $X(N)$ 作为具有全 $N$-阶结构和 Weil 配对相容性的椭圆曲线模空间的几何与算术结构，分析其自同构。
• 他们应用模曲线理论中的结果，包括 $\mathrm{PSL}_2(\mathbb{Z}/N\mathbb{Z})$ 在 $X(N)$ 上的作用，并通过排除异常自同构，证明该群即为完整的自同构群。
• 在双椭圆性分析中，他们研究到椭圆曲线的度数为 2 的态射的存在性，利用雅可比结构与已知的同源分解，特别是针对 $X(7)$ 和 $X(8)$。
• 他们使用计算代数系统（MAGMA 和 SAGE）验证了 $\mathbb{Q}(\zeta_N)$ 上相关椭圆曲线的 Mordell-Weil 秩，确认在 $N=7$ 和 $N=8$ 时秩为零，这对证明二次点集的有限性至关重要。
• 自同构群结构的证明依赖于 $\mathrm{PSL}_2(\mathbb{R})$ 中 $\Gamma(N)$ 的正规化子映射到 $\mathrm{PSL}_2(\mathbb{Z}/N\mathbb{Z})$ 的事实，他们通过分析在典范模型上的作用并应用刚性定理，证明该群即为完整的自同构群。
• 他们应用 Abramovich-Harris 准则来判断二次点的有限性，该准则依赖于曲线是否为双椭圆曲线，从而推导出 $X(N)$ 在 $\mathbb{Q}(\zeta_N)$ 上的有限性结果。

实验结果

研究问题

• RQ1 对于哪些整数 $N \geq 7$，模曲线 $X(N)$ 是双椭圆曲线？
• RQ2 对于哪些整数 $N \geq 7$，模曲线 $X(N)$ 是双椭圆曲线？
• RQ3 对于所有 $N \geq 7$（包括合数 $N$），$X(N)$ 的自同构群是否同构于 $\mathrm{PSL}_2(\mathbb{Z}/N\mathbb{Z})$？
• RQ4 当 $N > 6$ 时，$X(N)$ 在 $\mathbb{Q}(\zeta_N)$ 上的二次点集是否保持有限？
• RQ5 是否存在超出 $\mathrm{PSL}_2(\mathbb{R})$ 中 $\Gamma(N)$ 的正规化子所生成的自同构的异常自同构？

主要发现

• 模曲线 $X(N)$ 对于任意 $N \geq 7$ 都不是双椭圆曲线，如定理 12 所证明。
• 模曲线 $X(N)$ 当且仅当 $N = 7$ 或 $N = 8$ 时为双椭圆曲线，如定理 13 所确立。
• $\mathrm{Aut}(X(N))$ 对所有 $N \geq 7$ 同构于 $\mathrm{PSL}_2(\mathbb{Z}/N\mathbb{Z})$，确认不存在异常自同构。
• $X(N)$ 在分圆域 $\mathbb{Q}(\zeta_N)$ 上的二次点集对所有 $N \geq 7$ 是有限的，如定理 21 所示。
• 当 $N = 8$ 时，$\mathbb{Q}(\zeta_8)$ 上的二次点数恰好为 24，且全部为尖点，该结果通过 MAGMA 计算并经由 $X_0(64)$ 上的逆像计算确认。
• $\mathbb{Q}(\zeta_7)$ 上椭圆曲线 $y^2 + 3xy + y = x^3 - 2x - 3$ 的 Mordell-Weil 秩为零，这排除了在 $\mathbb{Q}(\zeta_7)$ 上存在正秩椭圆曲线的可能性，从而排除了 $X(7)$ 上存在无穷多个二次点的可能性。