[论文解读] Cusps, Congruence Groups and Monstrous Dessins

Valdo Tatitscheff, Yang‐Hui He+1 more|arXiv (Cornell University)|Dec 31, 2018

Algebraic Geometry and Number Theory参考文献 18被引用 2

一句话总结

本文利用dessins d’enfants建立了一套关于Hecke同余子群Γ₀(N)的组合框架，将Γ₀(N)解释为二维向量空间中N-超远距离射影格的稳定子。研究表明，商空间Γ₀(N)\PSL₂(ℤ)对应于ℤ/Nℤ上的射影直线，从而实现了对模曲线特征（如尖点和扭点）的组合分析。主要贡献在于系统整理了与怪兽月光理论相关的15个亏格为零的Hecke同余子群的dessins。

ABSTRACT

We study general properties of the dessins d'enfants associated with the Hecke congruence subgroups $\Gamma_0(N)$ of the modular group $\mathrm{PSL}_2(\mathbb{R})$. The definition of the $\Gamma_0(N)$ as the stabilisers of couples of projective lattices in a two-dimensional vector space gives an interpretation of the quotient set $\Gamma_0(N)\backslash\mathrm{PSL}_2(\mathbb{R})$ as the projective lattices $N$-hyperdistant from a reference one, and hence as the projective line over the ring $\mathbb{Z}/N\mathbb{Z}$. The natural action of $\mathrm{PSL}_2(\mathbb{R})$ on the lattices defines a dessin d'enfant structure, allowing for a combinatorial approach to features of the classical modular curves, such as the torsion points and the cusps. We tabulate the dessins d'enfants associated with the $15$ Hecke congruence subgroups of genus zero, which arise in Moonshine for the Monster sporadic group.

研究动机与目标

• 通过射影格与超距离，为Hecke同余子群Γ₀(N)提供一种新的组合解释。
• 将PSL₂(ℤ)在格上的作用与模曲线上dessin d’enfant结构联系起来。
• 系统整理在怪兽月光理论中出现的15个亏格为零的Hecke同余子群的dessins d’enfants。
• 通过这种基于格的框架，阐明尖点与扭点在亏格为零的模曲线中的作用。

提出的方法

• 定义射影格L, L₁之间的超距离δ(L, L₁) = Pdet(M(M′)⁻¹)，其中M, M′为GL⁺₂(ℚ)中的代表元。
• 证明δ是对称的，并在射影格集合PL₁上诱导出度量，通过L₁ₙₚ的子格中的最小指标刻画N-超远距离格。
• 在PL₁与形如(M b; 0 1)的矩阵之间建立双射，其中M ∈ ℚ₊*, b ∈ ℚ ∩ [0,1)，从而定义射影格LM,b。
• 将PGL⁺₂(ℚ)中格L的稳定子识别为PSL₂(ℤ)的共轭，并推导出Hecke同余子群Γ₀(N)为对(L₁, Lₙ)的稳定子。
• 利用PSL₂(ℤ)在PL₁上的作用，在商空间Γ₀(N)\PSL₂(ℤ)上定义dessin d’enfant结构，该商空间同构于ℙ¹(ℤ/Nℤ)。
• 利用作用的组合数据与ℙ¹(ℤ/Nℤ)的结构，显式构造15个亏格为零情形的dessins。

实验结果

研究问题

• RQ1 如何通过射影格与超距离，对Hecke同余子群Γ₀(N)进行组合解释？
• RQ2 商空间Γ₀(N)\PSL₂(ℤ)与射影直线ℙ¹(ℤ/Nℤ)之间的确切关系是什么？
• RQ3 与Γ₀(N)相关的dessins d’enfants如何编码模曲线上尖点与扭点的信息？
• RQ4 为何恰好有15个亏格为零的Hecke同余子群出现在怪兽月光对应中？它们的组合结构是什么？

主要发现

• 商集Γ₀(N)\PSL₂(ℤ)自然同构于射影直线ℙ¹(ℤ/Nℤ)，为陪集空间提供了数论解释。
• 超距离函数δ(L, L₁)是对称的，并在射影格集合上定义了一个度量，其中δ(L, L₁) = N刻画了与L₁相距N-超远距离的格。
• 每个与L₁共模的射影格都有唯一的形如(M b; 0 1)的代表元，其中M ∈ ℚ₊*, b ∈ ℚ ∩ [0,1)，从而为陪集提供了规范标记。
• Hecke同余子群Γ₀(N)是PGL⁺₂(ℚ)中对(L₁, Lₙ)的稳定子，其元素满足ad − bcN = 1。
• PSL₂(ℤ)在PL₁上的作用在商空间上诱导出dessin d’enfant结构，该dessin编码了模曲线X₀(N)的单值群与拓扑类型。
• 本文系统整理了与怪兽月光理论相关的15个亏格为零的Hecke同余子群的dessins d’enfants，提供了完整的组合分类。