Abstract:We prove a rank-two potential automorphy theorem for mod $l$ representations satisfying an ordinary condition. Combined with an ordinary automorphy lifting theorem, we prove a rank-two, $p \ne l$ case of local-global compatibility for regular algebraic cuspidal automorphic representations of arbitrary weight over CM fields that is $\iota$-ordinary for some $\iota: \overline{\mathbb{Q}}_l\xrightarrow{\sim}\mathbb{C}$.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the local - global compatibility problem regarding automorphic representations, especially in the case of regular algebraic cuspidal automorphic representations over CM fields when these representations are ι - ordinary.
Specifically, the goal of the paper is to prove the local - global compatibility at certain finite places v of the Galois representation r_ι(π) corresponding to a regular algebraic cuspidal automorphic representation π of GL_2(A_F). Here, F is a CM field, ι: Q_l → C is a fixed isomorphism, l is an odd prime, and π is ι - ordinary.
### Core problems of the paper
1. **Local - global compatibility conjecture**:
- For a given automorphic representation π and Galois representation r_ι(π), the local - global compatibility conjecture states that these two objects should be equivalent locally.
- Specifically, for each finite place v, the Frobenius - semisimplified form of the Weil - Deligne representation WD(r_ι(π)|G_{F_v}) should be the same as the Weil - Deligne representation rec_{F_v}(π_v ⊗ |det|^{(1 - n)/2}) obtained through the local Langlands correspondence.
2. **Proof under special conditions**:
- The author attempts to prove this conjecture under specific conditions, especially when π is ι - ordinary, that is, π has special properties at certain places so that it can be decomposed into a simpler form.
- These conditions include: l is an odd prime, π is ι - ordinary, r_ι(π) is decomposed generic, and there exists a σ ∈ G_F - G_F(ζ_l) such that r_ι(π)(σ) is a scalar.
3. **Main results**:
- The main result of the paper is to prove that under the above conditions, for any finite place v not dividing l, local - global compatibility holds:
\[
WD(r_ι(π)|G_{F_v})^{F - ss} \otimes_ι C \cong rec_{F_v}(π_v \otimes |det|^{- 1/2})
\]
### Methods and techniques
To prove this result, the author uses a series of complex tools and techniques, including:
- **Potential automorphy theorem**: By combining the automorphy lifting theorem and Taylor's potential automorphy method, the author is able to handle automorphic representations of different weights.
- **Breuil - Kisin theory**: Since l is allowed to be ramified in F, the author uses Breuil - Kisin theory instead of Fontaine - Laffaille theory.
- **Hecke eigenvalue description**: Through the Hecke eigenvalue description, the author shows that the automorphic representation π is ι - ordinary.
In summary, this paper aims to solve the local - global compatibility problem under specific conditions by introducing new techniques and assumptions, thereby advancing the understanding of the relationship between automorphic representations and Galois representations.