2025-11-22T07:07:16.652981

Comparing Galois representations in the residually reducible case

Freitas, SÃ¡nchez-RodrÃguez

Let $n \geq 2$ and $p$ be a prime. Let $K$ be a number field and consider two Galois representations $Ï_1, Ï_2 : \operatorname{Gal}(\overline{K} / K) \to \operatorname{GL}_n(\mathbb{Z}_p)$ having residual image a $p$-group. We explain and implement an algorithm that makes effective a result of LoÃ¯c GreniÃ© to decide wether the semisimplifications of $Ï_1$ and $Ï_2$ are isomorphic. As an application, we show that an irreducible representation $Ï: G_{\mathbb{Q}(\sqrt{-3})} \to \operatorname{GL}_2(\mathbb{Z}_3)$ unramified outside 3 is determined by the characteristic polynomials of Frobenius elements at five primes of small norm. As an additional check, we apply it to a 2-adic example studied by GreniÃ©, recovering GreniÃ©'s result in a fully automated way.

academic

剰余可約な場合のガロア表現の比較

基本情報

論文ID: 2510.12956
タイトル: Comparing Galois representations in the residually reducible case
著者: Nuno Freitas, Ignasi Sánchez-Rodríguez
分類: math.NT（数論）
発表日: 2025年10月14日
論文リンク: https://arxiv.org/abs/2510.12956v1

概要

$n \geq 2$ および $p$ を素数、 $K$ を数体とする。2つのガロア表現 $\rho_1, \rho_2 : \text{Gal}(\overline{K}/K) \to \text{GL}_n(\mathbb{Z}_p)$ で、その剰余像が $p$ -群であるものを考える。本論文は、Loïc Grenié の結果を有効にするアルゴリズムを説明・実装し、 $\rho_1$ と $\rho_2$ の半単純化が同型であるかを判定する。応用として、3の外で不分岐な既約表現 $\rho: G_{\mathbb{Q}(\sqrt{-3})} \to \text{GL}_2(\mathbb{Z}_3)$ が、5つの小さいノルムの素数における Frobenius 元の特性多項式によって完全に決定されることを証明する。追加の検証として、Grenié が研究した2進例にアルゴリズムを適用し、完全に自動化された方法で Grenié の結果を回復した。

研究背景と動機

問題の背景

本研究は、代数的整数論における中心的な問題であるガロア表現の比較問題に関わっている。Faltings の基礎的な業績によれば、2つの連続表現 $\rho_1, \rho_2 : G_K \to \text{GL}_n(E)$ が集合 $S$ の外で不分岐であるとき、有限集合 $T$ の Frobenius 元における迹が同じであることと同型であることが同値である。

既存手法の限界

Faltings-Serre 法: $\text{GL}_2(\mathbb{Q}_2)$ に値を持ち、剰余像が絶対既約な表現に適用可能
Livné の拡張: 剰余像が2-群である2進2次元表現を扱う
Grenié の一般化: 任意の $p$ 進 $n$ 次元表現に拡張するが、剰余像が $p$ -群であることを要求

これらの手法の主な制限は、 $n$ 、 $p$ 、 $S$ が小さい場合でも、大きな数体の構成が必要となり、計算が実行不可能になることである。

研究の動機

本論文の核心的な動機は以下の通りである：

アルゴリズム実装: Grenié の理論的結果を計算可能なアルゴリズムに変換する
汎用性: 特定の表現の追加情報に依存しない、一般的な場合に適用可能なアルゴリズムを設計する
データベース可能性: 各パラメータセットに対してアルゴリズムを1度実行すれば、データベースを構築できる可能性
実用的応用: アーベル曲面のモジュラー性の証明

核心的貢献

アルゴリズム実装: Grenié 定理の変種（定理4.1）を実装し、完全に自動化されたアルゴリズムを提供
理論的改善: より小さな拡大体 $K_S$ の構成方法を提案し、計算複雑性を大幅に削減
具体的応用結果:
- 3進の場合の具体的結果を証明（系1.1）
- Grenié の2進結果を回復（系1.2）
モジュラー性の証明: 剰余可約な場合の3進 Faltings-Serre 型手法の初めての成功的応用
オープンソース実装: 完全な Magma コード実装を提供

方法論の詳細

タスク定義

入力: 2つの連続ガロア表現 $\rho_1, \rho_2 : G_K \to \text{GL}_n(E)$ で、集合 $S$ の外で不分岐、剰余像が $p$ -群出力: $\rho_1$ と $\rho_2$ の半単純化が同型であるかを判定制約: $n \geq 2$ 、 $p$ は素数、 $K$ は数体

核心的なアルゴリズム構造

1. 改善された拡大体の構成

従来の $K_S$ 構成には $\lambda + \varepsilon + m$ 層が必要であり、ここで：

$\lambda$ は $2^\lambda \geq r = N^2(1+\varepsilon)^{N(N-1)/2}$ を満たす
$\varepsilon = 0$ （ $p \neq 2$ の場合）または $\varepsilon = 1$ （ $p = 2$ の場合）
$m$ は $p^m \geq n$ を満たす

本論文が提案する改善方法：

K₀ = K
i ≥ 0 に対して：
  Kᵢ₊₁ = Kᵢ の最大 p-初等拡大で、以下を満たす：
    1. S の外で不分岐
    2. Kᵢ₊₁/K は Galois 拡大
    3. Gal(Kᵢ₊₁/K) の指数は pᵐ を整除
i < λ + ε + m のあるところで Kᵢ₊₁ = Kᵢ ならば停止し、K_S = Kᵢ とする

2. 主定理（定理4.1）

$\Sigma \subset G_K$ を集合とし、 $\Sigma' = \{\sigma^k : \sigma \in \Sigma, k \in \mathbb{Z}_{\geq 0}\}$ と定義する。以下が成り立つならば：

$\Sigma'$ が $\text{Gal}(K_S/K)$ の各最大循環部分群の生成元をカバーする
すべての $\sigma \in \Sigma$ に対して、 $\text{CharPoly}(\rho_1(\sigma)) = \text{CharPoly}(\rho_2(\sigma))$

ならば $\rho_1$ と $\rho_2$ の半単純化は同型である。

3. アルゴリズム実装の詳細

パートA: 最初の m 層の構成

K₀ = K
0 ≤ i ≤ m-1 に対して：
  Kᵢ₊₁ = Kᵢ(ᵖ√α₁, ..., ᵖ√αₐ)
  ここで αᵢ は Selₚ(Kᵢ, S) の生成元

パートB: 後続層の構成（i ≥ m）

Gal(Kᵢ/K)-部分加群の計算: Selₚ(Kᵢ, S) のすべてのガロア部分加群を計算
1次元部分加群の消去: 剰余次数条件 $f(Q|Q \cap O_K) \leq p^m$ をチェック
高次元部分加群の消去: 補題3.4を再帰的に適用
体Kᵢ₊₁の構成: 条件を満たす唯一の部分加群を選択

技術的革新点

メモリ最適化: すべての部分加群の保存を回避し、帰納的方法で関連部分加群を計算
剰余次数の上界: 剰余次数 $\leq p^m$ を制御することで拡大体のサイズを制限
早期停止基準: 定理8.1がアルゴリズムの自然な停止条件を提供
GRH の回避: 特定の条件下では広義リーマン仮説を回避可能

実験設定

計算環境

ソフトウェア: Magma V2.28-20
ハードウェア: 4スレッド設定
コード: 完全な実装は GitHub で入手可能

テストケース

ケース1: Grenié の例

パラメータ: $n = 3$ , $p = 2$ , $K = \mathbb{Q}$ , $S = \{2\}$
拡大体の層数: $K_S = K_3$ （64次拡大）
実行時間: 約30時間（GRH を仮定）

ケース2: 3進応用

パラメータ: $n = 2$ , $p = 3$ , $K = \mathbb{Q}(\sqrt{-3})$ , $S = \{q_3\}$
拡大体の層数: $K_S = K_2$ （54次拡大）
実行時間: 約17時間（GRH を仮定）

評価指標

正確性: 既知の理論的結果との一致性
効率性: 計算時間とメモリ使用量
実用性: 実際のモジュラー性問題を処理できるか

実験結果

主要な結果

系1.1（3進の場合）

$K = \mathbb{Q}(\sqrt{-3})$ とし、 $\rho_1, \rho_2 : G_K \to \text{GL}_2(\mathbb{Z}_3)$ を $q_3$ の外で不分岐の連続表現で、同じ行列式を持ち、行列式が法3で自明であるとする。このとき $\rho_1$ と $\rho_2$ が同型の半単純化を持つことと、素数の集合 $T = \{2O_K, p_7^1, p_7^2, p_{19}^*, p_{73}^*\}$ のすべての $t \in T$ に対して $\rho_1(\text{Frob}_t)$ と $\rho_2(\text{Frob}_t)$ が同じ迹を持つことは同値である。

系1.2（Grenié の結果の回復）

$n = 3$ または $n = 4$ 、 $\rho_1, \rho_2 : G_{\mathbb{Q}} \to \text{GL}_n(\mathbb{Z}_2)$ を2の外で不分岐の連続表現で、剰余像が2-群であるとする。素数の集合 $T = \{5,7,11,17,23,31\}, \quad T' = \{5,7,11,17,19,23,31,73,137,257,337\}$ は同型性を判定するために使用できる。