Maximal Fuchsian subgroups of the $d=2$ Bianchi group

技術要約：$d = 2$ ビアンキ群における極大フックス群

問題設定
本論文は、$d=2$ のビアンキ群 $\Gamma = \text{PSL}(2, \mathbb{Z}[\sqrt{-2}])$ における極大非基本（nonelementary）フックス部分群（以下、F-部分群）の分類および幾何学的定量化を扱うものである。一般的なビアンキ群におけるこのような部分群の分類は、基礎となる虚二次体のイデアル類群に依存し複雑であることが知られているが、本研究では特に $d=2$ のケースに焦密する。主な目的は、これらの部分群の共役類を不定型四元数代数における整環（integral orders）として明示的に記述すること、各類に対して正確な共体積（covolume）の公式を導出すること、そして、これらの結果を適用して双曲3次元オービフォールド $\Gamma \backslash \mathbb{H}^3$ における原始的全測地埋め込み面の漸近的成長率を計算することである。

手法
このアプローチは、F-部分群と双曲空間の境界 $\partial \mathbb{H}^3 \cong \mathbb{C} \cup \{\infty\}$ における円との対応関係に基づいている。

1. 幾何学的分類: 著者は Vul (2017) および Jung (2019) の分類結果を利用し、すべてのF-部分群が、簡約された方程式 $A|z|^2 + Bz + \bar{B}\bar{z} + C = 0$ で定義される一意の円 $C$ を安定化させることを特定している。これらの円の判別式 $D = B\bar{B} - AC$ が、主要な不変量として機能する。
2. 代数的実現: 各判別式 $D$ に対して、対応する不定型四元数代数 $Q = (-2, D)_{\mathbb{Q}}$ を構成する。円の安定化群は、特定の $\mathbb{Z}$-環 $M$ 内の縮約ノルム1の要素（$M_1$）として実現される。
3. 明示的な環の構成: 共役による安定化群の行列表示を分析することにより、著者は、$D$ の 4, 8, または 16 を法とする合同類に応じた、6つの異なる環の族 $M(1)$ から $M(6)$ までの明示的な $\mathbb{Z}$-基底を導出する。
4. 体積計算: 算術的フックス群の体積公式を用い、縮約判別式および縮約ノルム群の局所指数を用いて、得られたフックス群の共体積を計算する。技術的な作業の大部分は、これらの環の2進的な解析、具体的には、値の modulo 8 での注意深い検討を必要とするアイヒラー記号（Eichler symbols）および縮約ノルム群の指数 $[ \mathbb{Z}_2^\times : \text{nrd}(M_2^\times) ]$ の計算である。

主要な貢献と結果

• 明示的分類 (定理2): 本論文は、F-部分群の共役類に対応する $Q = (-2, D)_{\mathbb{Q}}$ における $\mathbb{Z}$-環の完全なリストを提供している。これらは判別式 $D$ の合同条件によって以下のように分類される：
  • $M(1)$: 任意の $D$ に対して $\mathbb{Z}[1, i, j, ij]$
  • $M(2)$: $D \equiv 1 \pmod 4$ の場合の $\mathbb{Z}[1, i, \frac{1+j}{2}, \frac{i+ij}{2}]$
  • $M(3), M(4)$: $D \equiv 2, 6 \pmod{16}$ で発生する、分母が4の環
  • $M(5), M(6)$: $D \equiv 2, 3 \pmod 4$ で発生する、分母が2の環
• 共体積公式 (定理3): 著者は、群 $M_1/\{\pm 1\}$ の精密な体積公式を導出している。体積は $c \pi F(D)$ で与えられ、ここで $F(D)$ はルジャンドル記号 $\left(\frac{-2}{p}\right)$ を含む積であり、定数 $c$ は特定の環および $D \pmod 8$ の合同類に依存する。特筆すべきは、分母に $2^2$ の冪を持つ基底要素を持つ環（$M(3)$ および $M(4)$）を考慮するために、厳密な2進解析を行うことで、従来の体積計算を修正および拡張した点である。これは、$d=1$ や $d \equiv 3 \pmod 4$ のケースには存在しない特徴である。
• 漸近的成長 (定理5): 体積公式と判別式の計数補題を組み合わせることで、面積が $x$ 未満である原始的全測地埋め込み面の数 $\Pi(x)$ の漸近的挙動を確立する。極限は以下のように計算される：
  $$\lim_{x \to \infty} \frac{\Pi(x)}{x} = \frac{45}{16\pi} \prod_{p>2} \left( 1 - \frac{1}{p} + \frac{1}{p + \left(\frac{-2}{p}\right)} \right)$$

意義と範囲
本論文は、$d=2$ のビアンキ群における、整数の四元数環を用いた極大フックス部分群の最初の明示的な記述を提供し、$d=1$ や $d \equiv 3 \pmod 4$ を扱った先行研究の空白を埋めるものである。本研究は、$d=2$ のケースが、より洗練された2進解析を必要とする、分母に高い2の冪を持つ環が存在するという独自の算術的課題を提示していることを強調している。これらの結果は、$\mathbb{Q}(\sqrt{-d})$ のイデアル類群に位数4の要素が含まれないという仮定の下での、ビアンキ・オービフォールド内の幾何学的対象の計数に関する広範な理解に寄与する。著者は、手法は $d=2$ に対しては精密な結果をもたらすが、与えられた判別式に対する共役類の数が多く、合同条件がより複雑になる他のビアンキ群（例：$d=5$）には容易に一般化できない可能性があると述べている。本研究は、新しい実験的応用を提案するものではなく、特定の双曲多様体における幾何学的対象を計数するための理論的枠組みを統合するものである。