2025-11-24T13:07:17.437469

Fundamental domains for quaternionic S-arithmetic groups over totally real fields

Masdeu, Torrents
Let $B$ be a totally-definite quaternion algebra over a totally real field $F$, let $\mathfrak{p}$ be a prime ideal of $F$, and let $Γ$ be the group of reduced norm-$1$ elements of an Eichler $\mathcal{O}_F[1/\mathfrak{p}]$-order $R$ inside $B$. We give an algorithm to compute the fundamental domain for the action of $Γ$ on the Bruhat-Tits tree of $\operatorname{GL}_2(F_\mathfrak{p})$. Using this, we tabulate Shimura curves of genus up to $3$ over any totally real field which can be $\mathfrak{p}$-adically uniformized for some prime $\mathfrak{p}$.
academic

完全実体上の四元数S-算術群の基本領域

基本情報

  • 論文ID: 2510.09356
  • タイトル: Fundamental domains for quaternionic S-arithmetic groups over totally real fields
  • 著者: Marc Masdeu, Eloi Torrents
  • 分類: math.NT（数論）
  • 発表日: 2025年10月13日
  • 論文リンク: https://arxiv.org/abs/2510.09356

要旨

BBを完全実体FF上の完全定正四元数代数とし、p\mathfrak{p}をFFの素イデアルとする。Γ\GammaをBB内のEichler OF[1/p]\mathcal{O}_F[1/\mathfrak{p}]-階RRの被約ノルム1の元の群とする。本論文は、Γ\GammaがGL⁡2(Fp)\operatorname{GL}_2(F_\mathfrak{p})のBruhat-Tits木に作用する基本領域を計算するアルゴリズムを提供する。このアルゴリズムを利用して、著者らはある素数p\mathfrak{p}によってさらに一致化可能な完全実体上の種数が3以下のすべてのShimura曲線を表にまとめた。

研究背景と動機

  1. 中心的問題：本論文が解決する中心的問題は、四元数S-算術群がBruhat-Tits木に作用する基本領域の計算である。これは代数的数論と保型形式理論における重要な計算問題である。
  2. 重要性：
    • 悪い還元を持つShimura曲線に対して、その悪い特殊ファイバーの構造はこれらの基本領域によってエンコードされる
    • 基本領域の計算はShimura曲線のp-進一致化を理解するために不可欠である
    • これらの計算結果は特定の種数範囲内のすべてのShimura曲線を決定するために使用できる
  3. 既存方法の限界：
    • 従来のアルゴリズムは主に有理数体Q\mathbb{Q}上の場合を対象としていた
    • 一般的な完全実体の場合、効果的な計算方法が不足していた
    • 既存の方法は高種数の場合を処理する際に効率が低い
  4. 研究動機：
    • Franc-Masdeuアルゴリズムを完全実体の場合に推広する
    • 低種数Shimura曲線を計算・分類するための体系的な方法を提供する
    • Shimura曲線のp-進理論に計算ツールを提供する

核心的貢献

  1. アルゴリズムの革新：Franc-Masdeuアルゴリズムを完全実体上の四元数代数の場合に推広し、基本領域を計算するための完全なアルゴリズムを提供した
  2. 理論的発展：
    • Bruhat-Tits木上の2つの頂点または辺が群作用の下で同値であるかどうかを判定する効果的な方法を提供する
    • Bruhat-Tits木の頂点と辺を行列で表現するための標準化方法を与える
  3. 計算成果：次数2～7の完全実体上の種数が3以下のすべてのp-進一致化可能なShimura曲線を体系的に計算・表にまとめた
  4. ソフトウェア実装：SageMathの実装を提供し、アルゴリズムが他の研究者によって使用・検証できるようにした

方法の詳細

タスク定義

完全実体FF上の完全定正四元数代数BB、素イデアルp\mathfrak{p}、およびEichler階RRが与えられたとき、被約ノルム1の元の群Γ=ι(R[1/p]×1)⊆SL2(Fp)\Gamma = \iota(R[1/\mathfrak{p}]^{\times 1}) \subseteq \text{SL}_2(F_\mathfrak{p})がBruhat-Tits木TpT_\mathfrak{p}に作用する基本領域を計算する。

核心的アルゴリズム構造

1. Bruhat-Tits木の表現

  • 頂点表現：ホモトピー類[Λ][Λ]、ただしΛ⊆Fp2Λ \subseteq F_\mathfrak{p}^2は格
  • 標準化表現：OF\mathcal{O}_F内の2×22 \times 2行列を使用して頂点と辺を表現

補題2.2：頂点は(πm0rπn)\begin{pmatrix} \pi^m & 0 \\ r & \pi^n \end{pmatrix}または(0πmπnr)\begin{pmatrix} 0 & \pi^m \\ \pi^n & r \end{pmatrix}の形の行列で表現できる。ただしr∈Snr \in S_n。

2. 同値性判定アルゴリズム

核心的な問題は、2つの頂点/辺u,vu, vがΓΓ-同値であるか、すなわちγ∈Γγ \in Γが存在してι(γ)u=v\iota(γ)u = vとなるかを判定することである。

補題3.2：2m=a+b2m = a + bとする。ただしa=valπ(det⁡u)a = \text{val}_\pi(\det u)、b=valπ(det⁡v)b = \text{val}_\pi(\det v)とすると、 HomΓ(u,v)=Γ∩π−mv∗Λ0u\text{Hom}_Γ(u,v) = Γ \cap π^{-m}v^*Λ_0u

アルゴリズムの核心的ステップ：

  1. 格Λu,v=ι−1(πhv∗Λ0u)∩R+pd⌈m/d⌉+1RΛ_{u,v} = \iota^{-1}(π^h v^* Λ_0 u) \cap R + \mathfrak{p}^{d⌈m/d⌉+1}Rを構成する
  2. 被約ノルムがδ2⌈m/d⌉δ^{2⌈m/d⌉}である元を探索する
  3. LLLアルゴリズムを使用して最短ベクトル問題を解く

3. 基本領域計算アルゴリズム

アルゴリズム2の主要な流れ：

  1. 基点v0v_0から開始する
  2. 処理待ちの各頂点について、そのすべての出辺を検査する
  3. 同値性判定を使用して、新しい辺/頂点がすでに基本領域内にあるかどうかを決定する
  4. 境界関係を記録し、種数を計算する
  5. すべての頂点が処理されるまで繰り返す

技術的革新点

  1. 行列表現の標準化：補題2.2を通じて、p-進行列の計算を整数環上の計算に変換し、実装の複雑性を大幅に簡素化した
  2. 格方法の応用：同値性判定問題を特定の格内で特定のノルムを持つ元を探索する問題に変換し、LLLアルゴリズムで効率的に解く
  3. 境界データの事前計算：境界層の被約情報を事前計算することにより、任意の頂点の被約複雑性をO(dist(v))O(\text{dist}(v))に低減した
  4. 種数制御：アルゴリズムは最大種数制限を設定でき、過度に複雑な場合の計算を回避できる

実験設定

データ範囲

  • 数体の次数：2～7次の完全実体
  • 種数範囲：0～3
  • 素数条件：分岐しない素数で、惰性度が1のもの

計算環境

  • ハードウェア：Apple M4プロセッサ、16GB RAM
  • ソフトウェア：SageMath実装
  • アルゴリズム最適化：LLLアルゴリズムと格被約技術を使用

評価指標

  1. 計算効率：異なる距離の頂点上でのアルゴリズム1の実行時間
  2. カバレッジの完全性：Selberg-Zograf界を通じて分類の完全性を確保
  3. 結果検証：複数の方法で計算結果の正確性を検証

実験結果

主要な計算成果

表1：発見されたShimura曲線の数の統計

数体の次数種数0種数1種数2種数3
218413446
37371137
429506153
50022
627128
70000
合計56135120146

パフォーマンス分析

  • アルゴリズム効率：アルゴリズム1の実行時間は頂点距離とともに緩やかに増加し、アルゴリズムが良好なスケーラビリティを持つことを示している
  • 大規模計算：種数65の基本領域（16個の頂点、80本の辺）の計算に成功し、約30秒を要した

具体的な例

  1. 二次体Q(97)\mathbb{Q}(\sqrt{97})：
    • 素数p=(10−97)\mathfrak{p} = (10-\sqrt{97})
    • 基本領域の構造は比較的単純
  2. 二次体Q(5)\mathbb{Q}(\sqrt{5})：
    • 素数p=(35−12)\mathfrak{p} = (\frac{3\sqrt{5}-1}{2})
    • 四元数代数の判別式N−=(21)N^- = (21)
    • 種数65のShimura曲線を得た

完全性の検証

Selberg-Zograf界を使用： A<643(g+1)A < \frac{64}{3}(g+1) ただし面積公式は： A=4(2π)2ndF3/2ζF(2)Φ(pN−)Ψ(N+)A = \frac{4}{(2π)^{2n}} d_F^{3/2} ζ_F(2) Φ(\mathfrak{p}N^-) Ψ(N^+)

この界を通じて分類の完全性を確保した。

関連研究

主要な研究方向

  1. Bruhat-Tits木理論：Serreの基礎理論が本論文に数学的枠組みを提供した
  2. Shimura曲線のp-進一致化：Čerednik-Drinfel'd定理が理論的基礎を提供した
  3. 計算代数幾何：Franc-Masdeuの原始的なアルゴリズムが本論文の出発点となった

関連研究との関係

  • 推広性：本論文はFM14のアルゴリズムを有理数体から一般的な完全実体に推広した
  • 体系性：Voightの分類研究と比較して、本論文はより体系的な計算方法を提供した
  • 実用性：利用可能なソフトウェア実装を提供し、他の研究者が使用しやすくした

結論と考察

主要な結論

  1. Bruhat-Tits木の基本領域計算アルゴリズムを完全実体の場合に成功裏に推広した
  2. 低種数Shimura曲線の完全な分類を体系的に計算した
  3. アルゴリズムの効率性とスケーラビリティを検証した

限界

  1. 計算複雑性：高種数の場合、計算複雑性は依然として高い
  2. 素数制限：アルゴリズムは素数が分岐しないこと、および惰性度が1であることを要求する
  3. メモリ要件：大規模計算は相当なメモリサポートを必要とする

今後の方向

  1. 一般的な素数の場合への推広
  2. より高い種数の場合を処理するためのアルゴリズム最適化
  3. Shimura曲線方程式の明示的計算への応用

深い評価

長所

  1. 理論的貢献：完全実体上の四元数S-算術群の基本領域計算という重要な問題を成功裏に解決した
  2. アルゴリズムの革新：p-進計算を整数環上の計算に巧妙に変換し、実装を大幅に簡素化した
  3. 体系性：完全な分類結果を提供し、重要な参考価値を持つ
  4. 実用性：オープンソース実装により、結果が検証・さらに利用可能になった

不足点

  1. 素数制限：素数に対する制限条件が強く、方法の普遍性を制限している
  2. 複雑性分析：詳細な理論的複雑性分析が不足している
  3. 高種数の限界：高種数の場合の処理効率に改善の余地がある

影響力

  1. 学術的価値：Shimura曲線理論に重要な計算ツールを提供した
  2. 応用前景：暗号学、符号理論などの関連分野への応用が可能
  3. 再現性：完全なオープンソース実装により、検証と拡張が容易

適用場面

  1. Shimura曲線の明示的計算と分類
  2. 四元数代数の計算研究
  3. p-進保型形式の数値計算
  4. 代数的数論における具体的計算問題

参考文献

本論文は以下の重要な文献を主に参照している：

  • FM14 Franc-MasdeuのGL2(Qp)\text{GL}_2(\mathbb{Q}_p)基本領域計算に関する原始的研究
  • Ser03 Serreの木に関する古典理論
  • Voi09 Voightの低種数Shimura曲線分類に関する研究
  • Mil15 Milione のShimura曲線p-進一致化理論

総合評価：これは計算数論における高品質の論文であり、重要な理論的計算問題を成功裏に解決し、体系的な分類結果を提供している。アルゴリズム設計は巧妙で、実装は完全であり、関連分野に重要な貢献をしている。