Strata Hasse invariants, Hecke algebras and Galois representations (Q2316828)

In the present paper, the authors study the following three areas: \begin{itemize} \item[(1)] Automorphic algebraicity: The inherent algebro-geometric properties of automorphic representations, particularly those conjectured by the Langlands correspondence. \item[(2)] \(G\)-Zip geometricity: The geometry engendered by the theory of \(G\)-Zips, including the Ekedahl-Oort stratification of Shimura varieties, their flag spaces and Hasse invariants. \item[(3)] Griffiths-Schmid algebraicity: Is there an algebro-geometric framework which applies to Griffiths-Schmid manifolds? \end{itemize} The common pursuit of (1), (2) and (3) rests on two themes: geometry-by-groups and characteristic-shifting, i.e., back and forth between characteristic \(0\) and \(p\). Here, geometry-by-groups manifests itself in two stages. The first is that geometric objects: Shimura varieties, stacks of \(G\)-Zips and Griffiths-Schmid manifolds, are all constructed from the same group-theoretic template: a pair \((G, \mu)\) consisting of a reductive group \(G\) and a cocharacter \(\mu\). The second stage is guided by the more general hypothesis that all objects constructed from reductive groups should admit a relationship with algebraic geometry. The authors give some evidence that \(G\)-Zip geometricity is a mod \(p\) Hodge theory which interacts with classical Hodge theory via characteristic-shifting. Specifically, their results suggest that stacks of \(G\)-Zips are mod \(p\) analogues of period domains and more generally Mumford-Tate domains, of which Griffiths-Schmid manifolds are quotients. The main technical result is the construction of group-theoretical Hasse invariants (which goes back to the algebro-geometric pursuit of modular forms modulo \(p\)) on strata closures in the stacks \(G\)-\(\mathrm{Zip}^{\mu}\). They obtain a group-theoretical Hasse invariant on every Ekedahl-Oort stratum closure of a general Hodge-type Shimura variety and discuss extensions to compactifications. As applications, they attach pseudo-representations to the coherent cohomology of Hodge-type Shimura varieties modulo a prime power. They also associate Galois representations to many automorphic representations with non-degenerate limit of discrete series Archimedean component. Finally, they generalize part of Serre's letter to Tate on mod \(p\) modular forms to arbitrary Shimura varieties of Hodge type.