[论文解读] Noncongruence subgroups in H(2)

Pascal Hubert, Samuel Lelièvre|arXiv (Cornell University)|Oct 28, 2004

Mathematical Dynamics and Fractals参考文献 12被引用 5

一句话总结

本文解决了在亏格二阿贝尔微分的最小层 ℋ(2) 中，原始方格铺砌曲面的Veech群的同余子群问题。通过组合群论与群指标和阶数的数论分析，证明了除三格面曲面外，所有此类Veech群均为非同余子群，从而在该设定下完成了同余行为的完整分类。

ABSTRACT

We study the congruence problem for subgroups of the modular group that appear as Veech groups of square-tiled surfaces in the minimal stratum of abelian differentials of genus two.

研究动机与目标

• 确定ℋ(2)中原始方格铺砌曲面的Veech群是否为SL(2,ℤ)的同余子群。
• 解决由亏格二且具有单个二阶零点的方格铺砌曲面所生成的Veech群的同余子群问题。
• 确立仅三格面曲面的稳定化子为同余子群，其余均为非同余子群。
• 通过指标与阶数分析，并结合卡塔兰猜想，验证所有相关n的Γ_A_n、Γ_B_n与Γ_C_n的非同余性。

提出的方法

• 利用已知的分类结果与轨道计数，分析ℋ(2)中原始方格铺砌曲面的离散轨道。
• 通过原始n格面铺砌曲面数量的公式，计算稳定化子群Γ_A_n、Γ_B_n与Γ_C_n的指标与阶数。
• 应用SL(2,ℤ)子群为同余子群的判别准则：当且仅当其阶数整除该群在SL(2,ℤ)中的指标时，该子群为同余子群。
• 利用若群为同余子群，则其指标d必须整除δ的性质，其中δ为所有整除尖点宽度的素数的乘积。
• 运用卡塔兰猜想（米哈伊列斯库定理）限制群指标与阶数可能的素因子。
• 对轨道A_n与B_n中的特定曲面进行情形分析，证明当n ≥ 5时，d不可能整除δ，从而证明非同余性。

实验结果

研究问题

• RQ1 ℋ(2)中原始方格铺砌曲面的Veech群是否为SL(2,ℤ)的同余子群？
• RQ2 对于n格面铺砌曲面，稳定化子Γ_A_n、Γ_B_n与Γ_C_n中哪些是同余子群？
• RQ3 在ℋ(2)中，Veech群在何种精确条件下不构成同余子群？
• RQ4 格子数n如何影响对应Veech群的同余性状态？
• RQ5 卡塔兰猜想能否用于排除Veech群指标与阶数中某些素因子分解的可能性？

主要发现

• 对所有偶数n ≥ 4，稳定化子群Γ_C_n是SL(2,ℤ)的非同余子群。
• 对所有满足猜想1的奇数n ≥ 5，Γ_A_n与Γ_B_n均为非同余子群。
• 在猜想1成立的前提下，ℋ(2)中唯一具有同余稳定化子的原始方格铺砌曲面是三格面曲面。
• 对任意n ≥ 5，稳定化子群的指标d不整除δ（δ为所有整除尖点宽度的素数p的乘积p^{3λ−2}(p²−1)），从而证明非同余性。
• 证明依赖于卡塔兰猜想（米哈伊列斯库定理），将群指标与阶数可能的素因子限制在{2,3,5,7,17}，并排除了除三格面曲面外的所有情形。
• 结果确认：在ℳ_2中由ℋ(2)生成的Teichmüller曲线里，仅有一条由同余子群统一化。