George Boxer,Frank Calegari,Toby Gee,James Newton,Jack A. Thorne
Abstract:We prove the Ramanujan and Sato-Tate conjectures for Bianchi modular forms of weight at least 2. More generally, we prove these conjectures for all regular algebraic cuspidal automorphic representations of $\mathrm{GL}_2(\mathbf{A}_F)$ of parallel weight, where $F$ is any CM field. We deduce these theorems from a new potential automorphy theorem for the symmetric powers of 2-dimensional compatible systems of Galois representations of parallel weight.
What problem does this paper attempt to address?
This paper attempts to solve the proof problems of Ramanujan's conjecture and Sato - Tate's conjecture for Bianchi modular forms (i.e., regular algebraic cusp forms of GL(2) over an imaginary quadratic field). Specifically, the authors prove that these conjectures hold for all regular algebraic cusp forms of parallel weight, and further generalize them to similar objects over any imaginary CM field.
### 1. Ramanujan's Conjecture
For a Bianchi modular form \( f=\sum_{n = 1}^{\infty}a_nq^n \) of weight \( k\geq2 \), Ramanujan's conjecture asserts that:
\[
|a_p|\leq2\cdot p^{(k - 1)/2}
\]
This is equivalent to saying that for all finite prime points \( v \), the corresponding automorphic representation \( \pi_v \) is tempered, that is, its Satake parameters \( \alpha_v,\beta_v \) satisfy:
\[
|\alpha_v|=|\beta_v|=N(v)^{(k - 1)/2}
\]
### 2. Sato - Tate's Conjecture
For non - CM - type Bianchi modular forms, Sato - Tate's conjecture asserts that the normalized coefficients \( a_v/(2N(v)^{(k - 1)/2}) \) are equidistributed on the interval \([- 1,1]\) with respect to the Sato - Tate measure \( \frac{2}{\pi}\sqrt{1 - x^2}dx \).
### 3. Main Contributions
To prove the above two conjectures, the authors introduce and prove a new potential automorphy theorem, which involves systems of compatible Galois representations of symmetric powers. Specifically, they prove the following result:
#### Theorem C (Potential Automorphy of Symmetric Powers)
Let \( F \) be a CM field, \( M \) be a number field, and \( m\geq1 \) be an integer. Suppose we have a system of Galois representations:
\[
\rho_{\lambda}:G_F\rightarrow GL_2(M_{\lambda})
\]
satisfying certain compatibility conditions (such as Hodge - Tate weights being \(\{0,m\}\)). If at least one \( \rho_{\lambda} \) is irreducible, then:
1. **Purity**: For any embedding \( M\hookrightarrow\mathbb{C} \), the absolute values of the roots \( \alpha_v \) and \( \beta_v \) of the characteristic polynomial are \( q^{m/2} \), where \( q = N(v) \).
2. **Potential Automorphy**: There exists a number field \( F'/F \) such that the restrictions \( \rho_{\lambda}|_{G_{F'}} \) are all automorphic.
3. **Potential Automorphy of Symmetric Powers**: For a fixed \( n - 1\geq2 \), either \( \rho_{\lambda} \) is induced from an algebraic Hecke character of some quadratic extension \( F'/F \), or there exists a number field \( F'/F \) such that \( Sym^{n - 1}\rho_{\lambda}|_{G_{F'}} \) are all irreducible and automorphic.
Through this new theorem, the authors are able to deduce the validity of Ramanujan's conjecture and Sato - Tate's conjecture for Bianchi modular forms.
### 4. New Methods and Innovations
To prove these results, the authors introduce several new technical tools and methods, including:
- **Universal Reducibility of Local Rings**: Prove that the special fibers of crystalline deformation rings are universally reducible under specific conditions.
- **Application of Dwork Families**: Use the results of Drinfeld and Kedlaya to prove the ordinary properties of certain Dwork motive families.
- **Tensor Product Trick**: Consider different tensor product groups in combination with additional congruence relations.