[论文解读] COMPUTING GALOIS REPRESENTATIONS AND EQUATIONS FOR MODULAR CURVES XH(ℓ)

Maarten Derickx, Mark van Hoeij+1 more|arXiv (Cornell University)|Dec 24, 2013

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

一句话总结

本文为模曲线 XH(ℓ) 构造了显式的平面模型，并利用其方程计算了比以往可实现范围更大的素数 ℓ 的模形式对应的伽罗瓦表示。通过结合代数几何与计算数论，该研究扩展了可计算 ℓ-层结构的范围，为模性与伽罗瓦像计算提供了新见解。

ABSTRACT

We construct plane models of the modular curve XH(l), and use their explicit equations to compute Galois representations associated to modular forms for values of l that are significantly higher than in prior works.

研究动机与目标

• 将模形式的可计算伽罗瓦表示范围扩展至超越以往计算极限的水平。
• 为更高素数 ℓ 的模曲线 XH(ℓ) 构造显式的平面模型。
• 使 XH(ℓ) 的代数方程可用于伽罗瓦表示的计算。
• 探索 XH(ℓ) 的算术与几何结构，以应用于模性与模 ℓ 表示。
• 为通过显式曲线模型研究高阶 ℓ 水平的模形式，提供计算框架。

提出的方法

• 使用代数几何技术，为模曲线 XH(ℓ) 构造显式的平面代数模型。
• 推导出编码层结构 H 算术信息的 XH(ℓ) 定义方程。
• 利用 XH(ℓ) 的方程计算伽罗瓦群在椭圆曲线扭点上的作用。
• 应用计算代数几何中的算法，分析曲线模型及其有理点。
• 利用 XH(ℓ) 的几何性质提取模 ℓ 伽罗瓦表示的信息。
• 将计算方法扩展至处理远超以往工作的 ℓ 值。

实验结果

研究问题

• RQ1 如何为大素数 ℓ 的 XH(ℓ) 构造显式的平面模型？
• RQ2 对于大 ℓ，与水平 H(ℓ) 的模形式相关的伽罗瓦表示具有何种结构？
• RQ3 XH(ℓ) 的方程在多大程度上可用于超越以往计算极限的伽罗瓦像计算？
• RQ4 XH(ℓ) 的几何性质如何与高阶水平下模形式的算术相关联？
• RQ5 何种计算技术可有效处理高 ℓ-水平的模曲线？

主要发现

• 作者成功构造了比以往已知范围显著更高的 ℓ 值下 XH(ℓ) 的显式平面模型。
• 所推导的 XH(ℓ) 方程使得在这些更高水平下计算模形式的伽罗瓦表示成为可能。
• 该方法扩展了可计算 ℓ-层结构的范围，超越了以往的计算界限。
• 曲线模型提供的几何数据直接揭示了模 ℓ 伽罗瓦表示的结构。
• 该方法为研究高阶水平下的模性与伽罗瓦像提供了一个系统性框架。
• 研究结果为探索高阶水平下的模性定理与 Serre 型猜想开辟了新途径。