2025-11-10T02:40:55.916356

On irreducibility of certain low dimensional automorphic Galois representations

Dai
We study irreducibility of Galois representations $ρ_{π,λ}$ associated to a $n=7$ or 8-dimensional regular algebraic essentially self-dual cuspidal automorphic representation $π$ of $\text{GL}_n(\mathbb{A}_\mathbb{Q})$. We show $ρ_{π,λ}$ is irreducible for all but finitely many $λ$ under the following extra conditions. (i) If $n=7$, and there exists no $λ$ such that the Lie type of $ρ_{π,λ}$ is the standard representation of exceptional group $\textbf{G}_2$. (ii) If $n=8$, and when there exist infinitely many $λ$ such that the Lie type of $ρ_{π,λ}$ is the spin representation of $\text{SO}_7$, we assume there exist no three distinct Hodge-Tate weights form a 3-term arithmetic progression.
academic

On irreducibility of certain low dimensional automorphic Galois representations

基本信息

  • 论文ID: 2510.12496
  • 标题: On irreducibility of certain low dimensional automorphic Galois representations
  • 作者: Boyi Dai
  • 分类: math.NT (Number Theory)
  • 发表时间: 2025年10月14日 (arXiv预印本)
  • 论文链接: https://arxiv.org/abs/2510.12496

摘要

本文研究与7维或8维正则代数本质自对偶尖点自守表示π相关的Galois表示ρπ,λ的不可约性。在以下额外条件下，我们证明了ρπ,λ对于除有限多个λ外都是不可约的：(i) 当n=7时，不存在λ使得ρπ,λ的李型是例外群G₂的标准表示；(ii) 当n=8时，如果存在无穷多个λ使得ρπ,λ的李型是SO₇的旋量表示，我们假设不存在三个不同的Hodge-Tate权重形成三项等差数列。

研究背景与动机

核心问题

本文研究的是一个数论中的基本猜想：与数域F上GLₙ(AF)的代数尖点自守表示相关的Galois表示是否不可约。这被称为"folklore conjecture"。

问题重要性

  1. 理论意义：Galois表示的不可约性是现代数论中的核心问题，直接关系到Langlands纲领的实现
  2. 历史发展：
    • 对于经典模形式，Ribet (1977)已证明
    • 对于Hilbert模形式，Taylor (1995)给出了扩展
    • 对于n=3的CM域情况，Blasius-Rogawski (1992)已解决
    • 对于n≤6的情况，Hui (2023)已证明

现有方法局限

  • 高维情况下的不可约性证明技术困难
  • 需要排除特殊的李型情况
  • 对于n=7,8这样的低维情况，需要精细的分类和分析

核心贡献

  1. 扩展了不可约性结果：将已知的n≤6情况扩展到n=7,8
  2. 提供了完整的李型分类：给出了7维和8维情况下所有可能的连通半单子群的分类
  3. 引入新的技术条件：对于特殊情况引入了Hodge-Tate权重的算术级数条件
  4. 发展了矩形表示理论：利用了Hui-Lee关于矩形表示的分类结果

方法详解

任务定义

给定一个n维（n=7或8）正则代数本质自对偶尖点自守表示π，证明相关的Galois表示族{ρπ,λ}中，除有限多个λ外，所有ρπ,λ都是不可约的。

核心策略

作者采用了反证法的整体框架：

  1. 假设存在无穷多个λ使得ρπ,λ可约
  2. 利用相容系统的λ-无关性质
  3. 通过李型分类排除各种可能性
  4. 得到矛盾

技术架构

1. 李型分类

作者首先给出了7维和8维情况下所有可能的连通半单子群G⊆GLV的完整分类：

7维情况：

  • (1) 7A₁: (SL₂, Sym⁶(Std))
  • (2) 7G₂: (G₂, Std)
  • (3) 7B₃: (SO₇, Std)

8维情况：

  • (5) 8A₁: (SL₂, Sym⁷(Std))
  • (6) 2A₁×4A₁: (SL₂×SL₂, Std⊗Sym³(Std))
  • (8) 三个2A₁的乘积
  • (9) 2A₁×4C₂
  • (10) 8B₃: (SO₇, Spin)
  • (12)-(14) 其他高秩情况

2. 相容系统理论

利用Serre相容系统和严格相容系统的理论，特别是：

  • λ-无关性：代数单值群的形式双特征在λ变化时保持不变
  • 大像结果：利用Hui的大像定理来控制子表示的行为

3. 逐案例分析

对每种可能的李型进行详细分析：

Case (1) - 7A₁型：

  • 如果存在可约的ρλ₁，其分解只能是Sym²(Std)⊕Sym³(Std)
  • 利用Theorem 2.11验证两个分量都能扩展为相容系统
  • 这与ρλ₀不可约矛盾

Case (3) - 7B₃型：

  • 分析6+1和包含2或3维分量的情况
  • 利用形式特征的性质排除各种分解可能

Case (5) - 8A₁型：

  • 形式特征不包含零权重，无法分解
  • 直接得出所有ρλ都不可约

技术创新点

  1. 矩形表示的应用：首次系统地将Hui-Lee的矩形表示分类应用于自守Galois表示
  2. Hodge-Tate条件：引入了"三个不同权重不形成等差数列"的新条件来处理特殊情况
  3. p-adic Hodge理论的提升：利用中心环面商的提升技术来构造矛盾

主要定理

Theorem 1.1 (主定理)

设{ρπ,λ : GalQ → GLₙ(Eλ)}λ是与n=7或8维正则代数本质自对偶尖点自守表示π相关的E-有理严格相容系统。在以下条件下：

(i) 若n=7，不存在λ使得G^der_λ的重言表示是G₂的标准表示 (ii) 若n=8，当存在无穷多λ使得G^der_λ的重言表示是SO₇的旋量表示时，假设任意三个不同的Hodge-Tate权重{a,b,c}满足a+b≠2c

则ρπ,λ对除有限多个λ外都是不可约的。

证明思路

第一步：Xia的简化

利用Proposition 3.2，可以假设存在无穷多个λ₀使得ρλ₀是李不可约的。

第二步：李型分析

对于李不可约的ρλ₀，其导出子群的重言表示必须是Proposition 4.1中列出的类型之一。

第三步：逐案例排除

对每种可能的李型，假设存在无穷多个λ₁使得ρλ₁可约，然后：

  1. 分析可能的分解类型
  2. 证明各分量可以扩展为相容系统
  3. 利用相容系统的λ-无关性得到矛盾

关键引理

Lemma 4.2：对于8维情况，如果存在4+4型分解，则要么两个分量都是本质自对偶的，要么都不是。

Lemma 4.3：在条件(P)下（即Hodge-Tate权重不形成等差数列），某些权重集合是不同的。

相关工作

历史发展

  1. Ribet (1977)：经典模形式情况
  2. Taylor (1995)：Hilbert模形式
  3. Blasius-Rogawski (1992)：n=3, CM域情况
  4. Ramakrishnan (2013)：n=4, 全实域情况
  5. Hui (2023)：n≤6的一般情况
  6. Patrikis-Taylor (2015)：正密度结果
  7. Feng-Whitmore (2025)：4∤n且7∤n时的密度1结果

技术基础

  • BLGGT (2014)：自守Galois表示的构造
  • Hui-Lee (2025)：矩形表示的分类
  • Patrikis (2019)：p-adic Hodge理论的提升

结论与讨论

主要结论

本文成功地将自守Galois表示不可约性的结果扩展到了n=7,8的情况，在适当的技术条件下完全解决了这两种维数的问题。

局限性

  1. 条件限制：需要排除某些特殊的李型情况
  2. Hodge-Tate条件：对于SO₇旋量表示情况需要额外的算术级数条件
  3. 维数限制：方法主要适用于低维情况

未来方向

  1. 更高维数：扩展到n≥9的情况
  2. 条件优化：尝试去除或弱化技术条件
  3. 一般数域：扩展到更一般的基域情况

深度评价

优点

  1. 技术深度：综合运用了多个现代数论分支的深刻结果
  2. 分类完整性：给出了低维情况的完整李型分类
  3. 方法创新：巧妙地结合了矩形表示理论和相容系统理论
  4. 结果重要性：在Langlands纲领的重要问题上取得实质进展

不足

  1. 技术条件：需要排除一些自然出现的情况
  2. 证明复杂性：逐案例分析使得证明较为冗长
  3. 推广困难：方法对更高维情况的适用性不明确

影响力

  1. 理论贡献：推进了自守形式与Galois表示理论的发展
  2. 技术影响：展示了矩形表示理论在数论中的应用潜力
  3. 后续研究：为更高维情况的研究提供了技术路线图

适用场景

本文的方法和结果主要适用于：

  1. 低维自守Galois表示的研究
  2. Langlands对应的具体实现
  3. 算术几何中的相关问题

参考文献

本文引用了数论领域的重要文献，包括BLGGT的自守性定理、Hui的单值群理论、Patrikis的p-adic Hodge理论等现代数论的核心结果。

这篇论文在技术上相当深入，代表了现代代数数论在低维自守Galois表示不可约性问题上的最新进展。虽然存在一些技术限制，但其方法和结果对该领域具有重要的推动作用。