Abstract:We introduce a method for producing congruences between Hecke eigenclasses, possibly torsion, in the coherent cohomology of automorphic vector bundles on certain good reduction Shimura varieties. The congruences are produced using some "generalized Hasse invariants" adapted to the Ekedahl-Oort stratification of the special fiber.
What problem does this paper attempt to address?
### What problems does this paper attempt to solve?
This paper aims to explore and solve problems related to the torsion phenomena in the coherent cohomology of Shimura varieties and its relationship with Galois representations. Specifically, the author George Andrew Boxer attempts to produce congruences between Hecke eigenclasses, which may contain torsion parts, in the coherent cohomology of automorphic vector bundles on certain Shimura varieties with good reduction, by introducing a new method. This method makes use of "generalized Hasse invariants", which are adjusted for the Ekedahl - Oort stratification of the special fiber.
#### Main problems and background
1. **Correspondence between modular forms and Galois representations**:
- The paper focuses on the conjectural correspondence between modular forms modulo \( p \) and Galois representations modulo \( p \). In particular, the author starts with the study of modular forms of weight 1 modulo \( p \), which exhibit new phenomena when reduced to characteristic \( p \), namely the so - called "etherial" forms, which cannot be lifted to characteristic 0.
2. **Torsion phenomena**:
- When considering the coherent cohomology of Shimura varieties, torsion phenomena may occur, that is, there are non - trivial torsion subgroups in the cohomology groups. This phenomenon has already emerged in modular forms of weight 1 modulo \( p \), especially when their reduction maps are not surjective.
3. **Constructing congruences**:
- One of the main goals of the author is to construct congruences between Hecke eigenclasses, which may contain torsion parts. To this end, he introduces generalized Hasse invariants, which can be used to produce these congruences and have good properties on different layers of the Ekedahl - Oort stratification.
4. **Higher - order coherent cohomology**:
- In addition to considering zero - order cohomology (i.e., global sections), the author also studies higher - order coherent cohomology. This helps to understand a wider range of automorphic representations, especially those L - packets that contribute to higher - order cohomology but not to zero - order cohomology.
#### Specific methods and techniques
- **Generalized Hasse invariants**: These invariants are constructed on the basis of the Ekedahl - Oort stratification. They are non - zero on certain closed layers and remain invariant under all Hecke correspondences.
- **Generalization of classical Hasse invariants**: The classical Hasse invariant is a global section, and its non - zero region is the ordinary region. The generalized Hasse invariants generalize this concept, enabling them to be defined on more complex geometric structures and be used to construct congruences.
- **Boundary behavior**: The author also studies the behavior of these invariants on the boundary of the minimal compactification, ensuring that they also have good properties at the boundary, which is crucial for constructing congruences.
#### Applications and significance
- **Constructing Galois representations**: By constructing these congruences, the author hopes to relate Galois representations to more automorphic representations, especially those that contribute to higher - order cohomology.
- **Application of the Calegari - Geraghty method**: One of the main goals of this work is to provide the Galois representations required for the recent method of Calegari and Geraghty to deal with automorphic forms that contribute to cohomology in multiple degrees.
In summary, this paper attempts to gain a deeper understanding of the torsion phenomena in the coherent cohomology of Shimura varieties and link it to Galois representation theory by introducing new tools and methods, thus promoting the research progress in this field.