Abstract:Under hypotheses required for the Taylor-Wiles method, we prove for forms of $U(3)$ which are compact at infinity that the lattice structure on upper alcove algebraic vectors or on principal series types given by the $\lambda$-isotypic part of completed cohomology is a local invariant of the Galois representation attached to $\lambda$ when this Galois representation is residually irreducible locally at places dividing $p$. As a crucial input, we establish corresponding mod $p$ multiplicity one results. Our main innovation is the combination of integral Hecke theory and the Taylor--Wiles method.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to study the lattice structure in the cohomology of the U(3) arithmetic manifold. Specifically:
1. **p -adic local - global compatibility problem**: The author aims to prove a result regarding p -adic local - global compatibility. Under specific conditions, for groups of the form U(3) and compact at infinity, the lattice structure in cohomology (given by the λ - isotypic part of the completed cohomology) is a local invariant of the Galois representation ρ when this Galois representation is locally irreducible at the p -adic points.
2. **Mod p multiplicity - one result**: As a key input, the author establishes the corresponding mod p multiplicity - one result. This means that in some specific cases, some representations in the mod p cohomology occur only once.
3. **Combination of integral Hecke theory and Taylor - Wiles method**: The main innovation of the author is to combine integral Hecke theory and the Taylor - Wiles method to study these lattice structures. This method enables them to study the universal tame principal series GL_3(ℤ_p)-types in the supersingular case.
4. **Specific objective**: The author hopes to prove that under certain assumptions, the lattice structure given by the λ - isotypic part of the completed cohomology can be described by the crystalline Frobenius eigenvalues of the Galois representation ρ.
### Formula presentation
To understand these problems more clearly, let's look at some key formulas involved:
- **Hodge - Tate weights**:
Let ρ: G_K → GL_n(ℚ_p) be a regular de Rham Galois representation, and its Hodge - Tate weights are denoted as (a, b, c), where a > b > c. In this paper, special attention is paid to the case when n = 3.
- **Crystalline representation**:
If ρ|_{D_v} is crystalline, with upper alcove Hodge - Tate weights (c + p + 1, b + 1, a - p + 1), or potentially crystalline, with Hodge - Tate weights (0, 1, 2) and type η^{-a}⊕η^{-b}⊕η^{-c}.
- **Taylor - Wiles condition**:
Suppose ρ satisfies the Taylor - Wiles condition, and at all places v | p, ρ|_{G_{F_v}} is irreducible. Moreover, assume that a - b > 6, b - c > 6, and a - c < p - 5.
Through these conditions and methods, the author can prove the relationship between the lattice structure in the completed cohomology and the crystalline Frobenius eigenvalues of the Galois representation. This provides a new perspective for understanding the p -adic Langlands program, especially in the case of groups with semi - simple rank greater than one.