[论文解读] The sporadic group J2, Hauptmodul and Belyi map

H. Monien|arXiv (Cornell University)|Mar 15, 2017

Matrix Theory and Algorithms参考文献 10被引用 6

一句话总结

本论文提出了一种数值稳定的迭代算法，结合域分解、快速傅里叶变换（FFT）和Krylov子空间方法，用于计算PSL₂(ℤ)的非合同子群的模函数——特别是hauptmodul和Belyï映射。关键贡献在于显式构造了与Janko群J₂相关的亏格零子群的Belyï映射，其定义域为ℚ(α)/(α¹⁰ − α⁹ − 2α⁸ + 8α⁷ − 14α⁶ + 35α⁴ − 68α³ + 89α² − 74α + 23)，伽罗华群为S₂≀S₅，判别式为3⁶5³7⁸。

ABSTRACT

Determining Fourier coefficients of modular forms of a finite index noncongruence subgroups of the modular group is still a non-trivial task. In this brief note we describe a new algorithm to reliably calculate an approximation for a modular form of a given weight. As an example we calculate the hauptmodul and Belyi map of a genus zero subgroup of the modular group defined via a canonical homomorphism by the second Janko group. Our main result is the field of definition of its Belyi map, the explicit Belyi map and the Fourier coefficients of its hauptmodul.

研究动机与目标

• 开发一种数值稳定且高效的算法，用于计算PSL₂(ℤ)的有限指数非合同子群的模函数，特别是hauptmodul和Belyï映射。
• 解决非合同子群的模形式傅里叶系数计算难题，尽管已有方法存在，但该问题仍具挑战性。
• 通过计算与散在Janko群J₂相关的亏格零非合同子群的hauptmodul和Belyï映射，验证算法的有效性。
• 确定该子群对应的Belyï映射的定义域与伽罗华群，为反伽罗华问题及单值群研究做出贡献。

提出的方法

• 采用域分解方法，将子群的基本域划分为重叠子域，每个子域关联一个尖点，以简化周期边界条件下拉普拉斯方程的求解。
• 利用采样点为2的幂的快速傅里叶变换（FFT），高效计算每个子域上模函数近似值的傅里叶系数。
• 应用Krylov子空间方法，特别是GMRES，迭代求解傅里叶系数的线性系统，实现二次收敛。
• 以Picard迭代作为基线，并通过FFT预处理加速收敛，确保在任意精度算术下的稳定性。
• 利用PSL₂(ℤ)生成元在陪集上的作用，定义置换三元组(σ₀, σ₁, σ∞)，编码子群结构，实现算法的域标签化。
• 将Belyï映射构造为有理函数Φ(z) = p₃(z)/p_c(z) = 1728 + p₂(z)/p_c(z)，其中多项式定义在具有指定伽罗华群与判别式的数域K上。

实验结果

研究问题

• RQ1 能否开发一种数值稳定且高效的算法，用于计算PSL₂(ℤ)的有限指数非合同子群的模函数，特别是hauptmodul和Belyï映射？
• RQ2 与Janko群J₂相关的亏格零非合同子群所对应的Belyï映射的定义域与伽罗华群为何？
• RQ3 如何将域分解与谱方法（如FFT和Kry洛夫求解器）结合，以高精度求解模函数的边值问题？
• RQ4 该算法能否可靠地计算具有复杂单值群与非平凡分支结构的非合同子群的hauptmodul傅里叶系数？
• RQ5 J₂相关子群的Belyï映射的精确多项式因式分解与函数关系Φ(z) = 1728 + p₂(z)/p_c(z)为何？

主要发现

• 使用GMRES时，该算法实现二次收敛，显著优于简单的Picard迭代，且在任意精度算术下保持稳定。
• J₂相关子群的Belyï映射为有理函数，满足Φ(z) = 1728 + p₂(z)/p_c(z)，明确关联了二阶与三阶椭圆点的分支行为。
• Belyï映射的定义域为K = ℚ(α)/(α¹⁰ − α⁹ − 2α⁸ + 8α⁷ − 14α⁶ + 35α⁴ − 68α³ + 89α² − 74α + 23)，判别式为3⁶5³7⁸。
• 数域K over ℚ的伽罗华群为S₂≀S₅，阶为3840，证实了该映射的算术复杂性。
• 与J₂相关的子群Γ ⊂ PSL₂(ℤ)为指数100、亏格零的非合同子群，具有2个宽度为1的尖点和14个宽度为7的尖点，以及4个三阶椭圆点。
• 通过迭代算法高精度计算了hauptmodul的傅里叶系数，实现了Belyï映射的显式构造，并验证了其函数形式。