全局Langlands对应中的大像集Galois表示
Galois representations with large image in the global Langlands correspondence
摘要 Abstract
对于数域$F$上的$\text{GL}_n$,全局Langlands猜想预测了某些代数自守表示$\pi$与$\text{GL}_n(\mathbb{A}_F)$的某些$\ell$-进Galois表示族$\{ \rho_{\pi,\ell} \}_\ell$之间的对应关系。一般认为,除非存在自守原因导致像集较小,否则对于几乎所有素数$\ell$,剩余Galois表示$\overline{\rho}_{\pi,\ell}$的像集应尽可能大。本文仅利用标准技术及目前可用工具(如Fontaine-Laffaille理论、Serre的模性猜想、Lie型群极大子群分类、以及关于自守Galois表示不可约性和Langlands函子性的已知结果),研究了与正则代数、极化、尖点自守表示$\pi$相关的兼容系统$\{\rho_{\pi,\ell} \}_\ell$的像集。特别地,当$F$为全实域且$n$为奇素数$\leq 293$时,我们在某些自守条件下证明了剩余表示$\overline{\rho}_{\pi,\ell}$的像集对于无穷多个素数$\ell$尽可能大。实际上,当$F=\mathbb{Q}$且$n=5$时,我们证明了大像集猜想(即对于几乎所有素数$\ell$像集较大)。
The global Langlands conjecture for $\text{GL}_n$ over a number field $F$ predicts a correspondence between certain algebraic automorphic representations $\pi$ of $\text{GL}_n(\mathbb{A}_F)$ and certain families $\{ \rho_{\pi,\ell} \}_\ell$ of $n$-dimensional $\ell$-adic Galois representations of $\text{Gal}(\overline{F}/F)$. In general, it is expected that the image of the residual Galois representation $\overline{\rho}_{\pi,\ell}$ of $\rho_{\pi,\ell}$ should be as large as possible for almost all primes $\ell$, unless there is an automorphic reason for the image to be small. In this paper, we study the images of certain compatible systems of Galois representations $\{\rho_{\pi,\ell} \}_\ell$ associated to regular algebraic, polarizable, cuspidal automorphic representations $\pi$ of $\text{GL}_n(\mathbb{A}_F)$ by using only standard techniques and currently available tools (e.g., Fontaine-Laffaille theory, Serre's modularity conjecture, classification of the maximal subgroups of Lie type groups, and known results about irreducibility of automorphic Galois representations and Langlands functoriality). In particular, when $F$ is a totally real field and $n$ is an odd prime number $\leq 293$, we prove that (under certain automorphic conditions) the images of the residual representations $\overline{\rho}_{\pi,\ell}$ are as large as possible for infinitely many primes $\ell$. In fact, we prove the large image conjecture (i.e., large image for almost all primes $\ell$) when $F=\mathbb{Q}$ and $n=5$.