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

Comparing Galois representations in the residually reducible case

基本信息

论文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$ 为数域。考虑两个Galois表示 $\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)$ 由五个小范数质数处Frobenius元素的特征多项式完全确定。作为额外验证，将算法应用于Grenié研究的2进例子，以完全自动化的方式恢复了Grenié的结果。

研究背景与动机

问题背景

本研究涉及Galois表示的比较问题，这是代数数论中的一个核心问题。根据Faltings的奠基性工作，两个连续表示 $\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é的理论结果转化为可计算的算法
通用性：设计适用于一般情况的算法，不依赖特定表示的额外信息
数据库潜力：对每组参数只需运行一次算法，可能创建数据库
实际应用：证明阿贝尔曲面的模性

核心贡献

算法实现：实现了Grenié定理的变体（定理4.1），提供了完全自动化的算法
理论改进：提出了更小的扩域 $K_S$ 构造方法，显著降低计算复杂度
具体应用结果：
- 证明了3进情况下的具体结果（推论1.1）
- 恢复了Grenié的2进结果（推论1.2）
模性证明：首次成功应用3进Faltings-Serre型方法证明剩余可约情况下的模性
开源实现：提供了完整的Magma代码实现

方法详解

任务定义

输入：两个连续Galois表示 $\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. 算法实现细节

Part A: 前m层构造

K₀ = K
对于 0 ≤ i ≤ m-1：
  Kᵢ₊₁ = Kᵢ(ᵖ√α₁, ..., ᵖ√αₐ)
  其中αᵢ是Selₚ(Kᵢ, S)的生成元

Part B: 后续层构造（i ≥ m）

计算Gal(Kᵢ/K)-子模：计算Selₚ(Kᵢ, S)的所有Galois子模
消除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\}$ 可用于判断同构性。