[論文レビュー] 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 を用いて、ヘッケ合同部分群 Γ₀(N) の組合せ的枠組みを確立する。Γ₀(N) は、2次元のベクトル空間における N-ハイパードイスタンスな射影格子の安定化部分群として解釈される。商 Γ₀(N)\ PSL₂(ℤ) は、ℤ/Nℤ 上の射影直線に同型であり、この同型により、モジュラー曲線の特徴（特異点や捩れ点など）の組合せ的解析が可能になる。主な貢献は、群論的モジュラー月光対応に関係する 15 個の genus-zero ヘッケ合同部分群の 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.

研究の動機と目的

• 射影格子とハイパードイスタンスを用いて、ヘッケ合同部分群 Γ₀(N) の新しい組合せ的解釈を提供すること。
• PSL₂(ℤ) の格子への作用が、モジュラー曲線上の dessin d’enfant 構造とどのように関係するかを結びつけること。
• 群論的モジュラー月光対応に現れる 15 個の genus-zero ヘッケ合同部分群について、dessins d’enfants を体系的に一覧化すること。
• この格子に基づく枠組みを通じて、genus-zero モジュラー曲線上の特異点と捩れ点の役割を明確にすること。

提案手法

• 代表元を GL⁺₂(ℚ) を用いて、射影格子 L, L₁ の間のハイパードイスタンス δ(L, L₁) = Pdet(M(M′)⁻¹) を定義する。
• δ が対称的であり、射影格子の集合 PL₁ 上に距離を定めることが示され、L₁ の部分格子における最小インデックスを用いて、N-ハイパードイスタンス格子が特徴づけられる。
• PL₁ と形式 (M b; 0 1) の行列（M ∈ ℚ₊*, b ∈ ℚ ∩ [0,1)）との間の自然な全単射を確立し、射影格子 LM,b を定義する。
• PGL⁺₂(ℚ) 内での格子 L の安定化部分群が、PSL₂(ℤ) の共役であることを示し、ヘッケ合同部分群 Γ₀(N) をペア (L₁, Lₙ) の安定化部分群として導出する。
• PSL₂(ℤ) の PL₁ への作用を用いて、商 Γ₀(N)\PSL₂(ℤ) 上に dessin d’enfant 構造を定義する。この商は ℙ¹(ℤ/Nℤ) に同型である。
• 作用の組合せ的データと ℙ¹(ℤ/Nℤ) の構造を用いて、15 個の genus-zero 案件について明示的な dessins を構成する。

実験結果

リサーチクエスチョン

• RQ1 ヘッケ合同部分群 Γ₀(N) は、射影格子とハイパードイスタンスを用いてどのように組合せ的に解釈できるか？
• RQ2 商 Γ₀(N)\PSL₂(ℤ) と射影直線 ℙ¹(ℤ/Nℤ) の正確な関係は何か？
• RQ3 Γ₀(N) に関連する dessins d’enfants は、モジュラー曲線上の特異点や捩れ点の情報をどのように符号化するか？
• RQ4 なぜちょうど 15 個の genus-zero ヘッケ合同部分群が群論的モジュラー月光対応に現れるのか？また、それらの組合せ的構造は何か？

主な発見

• 商集合 Γ₀(N)\PSL₂(ℤ) は自然に射影直線 ℙ¹(ℤ/Nℤ) に同定され、この同型により、コセット空間に数論的解釈が与えられる。
• ハイパードイスタンス関数 δ(L, L₁) は対称的であり、射影格子の集合上に距離を定める。δ(L, L₁) = N は、L₁ から N-ハイパードイスタンスな格子を特徴づける。
• L₁ と可換な各射影格子は、M ∈ ℚ₊*, b ∈ ℚ ∩ [0,1) を用いて形式 (M b; 0 1) の一意な代表元を持つ。これにより、コセットの標準的ラベル付けが可能になる。
• ヘッケ合同部分群 Γ₀(N) は、PGL⁺₂(ℚ) 内でペア (L₁, Lₙ) の安定化部分群であり、ad − bcN = 1 を満たす要素からなる。
• PSL₂(ℤ) の PL₁ への作用は、商上に dessin d’enfant 構造を誘導する。この dessin は、モジュラー曲線 X₀(N) のモノドロミーと位相型を符号化する。
• 本稿では、群論的モジュラー月光対応に関係する 15 個の genus-zero ヘッケ合同部分群の dessins d’enfants を一覧化し、完全な組合せ的分類を提供する。