Abstract:We use the Taylor-Wiles-Kisin patching method to investigate the multiplicities with which Hecke eigensystems appear in the mod-$\ell$ cohomology of unitary Shimura sets, associated to central simple algebras of the form $B=M_2(D)$, for $D$ a nonsplit quaternion algebra over a $CM$ field. We follow a similar strategy to the one used in our prior work for Shimura curves, exploiting the natural self-duality in this setting. Our method requires a careful analysis of certain irreducible components of local deformation rings. We introduce and analyze a new local model for local deformation rings specific to the case of a banal prime, which is significantly better behaved than the standard local models for local deformation rings.
Our main result is a "multiplicity $2^a$ result", in the case where quaternion algebra $D$ ramifies only at banal primes, where $a$ is the number of places in the discriminant of $D$ which satisfy a certain Galois theoretic condition. We also prove an additional statement about the endomorphism ring of the cohomology of the Shimura set, which has an application to the study of congruence modules.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the multiplicities of Hecke eigen - systems in the mod - \(\ell\) cohomology in a specific \(U(4)\) Shimura variety. Specifically, the author uses the Taylor - Wiles - Kisin patching method to study these multiplicities.
The following are the main problems and goals of the paper:
1. **Study Hecke eigen - systems in mod - \(\ell\) cohomology**:
- The paper focuses on the central simple algebra \(B = M_2(D)\), where \(D\) is a non - split quaternion algebra over a CM field.
- The author hopes to determine the multiplicities of these Hecke eigen - systems in the mod - \(\ell\) cohomology.
2. **Introduce new local models**:
- The author introduces and analyzes a new local model, specifically designed to handle the case of "banal" primes. This new model behaves better than the standard local model, simplifying calculations and analysis.
3. **Main results**:
- In the case where the quaternion algebra \(D\) is ramified only at banal primes, the author proves a result of "multiplicity \(2^a\)", where \(a\) is the number of ramification places satisfying certain Galois - theoretic conditions.
- In addition, the author also proves an additional statement about the endomorphism ring of the cohomology of the Shimura set, which has applications in the study of congruence modules.
4. **Structure of patching modules**:
- The author constructs a global object \(M_\infty\) by the patching method and proves that it is a self - dual \(R_{\text{loc},B}^\infty\)-module with a general rank of 1.
- This allows the structure of \(M_\infty\) to be described by the class group \(\text{Cl}(R_B^\infty)\), and under certain conditions, the structure of \(M_\infty\) can be explicitly determined.
5. **Theoretical generalization**:
- Although the main results are for the cases of \(GL_4\) and \(B = M_2(D)\), many local models and methods can be generalized to more general situations, such as \(GL_n\).
In summary, the main purpose of this paper is to study and determine the multiplicities of Hecke eigen - systems in the mod - \(\ell\) cohomology in a specific \(U(4)\) Shimura variety through the patching method and new local models, and to provide some new theoretical tools and results to support the application of the broader Langlands program.