A mod p Jacquet-Langlands relation and Serre filtration via the geometry of Hilbert modular varieties: Splicing and dicing
Fred Diamond, Payman Kassaei, Shu Sasaki
TL;DR
This work constructs a geometric Jacquet--Langlands relation for Hilbert modular varieties with Iwahori level at $p$, showing that irreducible components are isomorphic to products of projective bundles over quaternionic Shimura varieties and enabling a direct splicing of Dieudonné modules. By combining this with a Serre-type filtration via a Kodaira--Spencer/Frobenius framework and a detailed analysis of degeneracy fibres through crystalline Dieudonné theory, the authors relate mod $p$ Hilbert modular forms to quaternionic automorphic forms and establish a cohomological vanishing result essential for attaching Galois representations in characteristic $p$. Their approach avoids Frobenius-factor detours, using splicing to achieve a more natural interplay between mod $p$ geometries of different reductive groups. The results generalize Serre's weight phenomenon to Hilbert modular contexts and illuminate how automorphic-bundle data transform under level-raising and component-wise identifications, with significant implications for the construction of mod $p$ Galois representations. Overall, the paper provides new geometric bridges between Hilbert, unitary, and quaternionic Shimura varieties and develops tools (dicing, splicing) that could extend to higher-rank settings and broader groups.
Abstract
We consider Hilbert modular varieties in characteristic p with Iwahori level at p and construct a geometric Jacquet-Langlands relation showing that the irreducible components are isomorphic to products of projective bundles over quaternionic Shimura varieties of level prime to p. We use this to establish a relation between mod p Hilbert and quaternionic modular forms that reflects the representation theory of GL_2 in characteristic p and generalizes a result of Serre for classical modular forms. Finally we study the fibres of the degeneracy map to level prime to p and prove a cohomological vanishing result that is used to associate Galois representations to mod p Hilbert modular forms.
