Modular Weil representation and compatibility of cuspidals with congruences
Justin Trias
TL;DR
The paper extends the local Weil representation to the $\ell$-modular setting over non-archimedean fields, generalising the Stone–von Neumann theorem to representations over a field $R$ of characteristic $\ell\neq p$. It develops the $R$-metaplectic group, multiple Weil-models (Schrödinger, lattice, mixed), and a non-normalised Weil factor that avoids square-root choices, enabling a modular theta correspondence for dual pairs and a robust study of congruences for cuspidal representations via integral lattices. It proves modular analogues of theta-lifting phenomena, showing irreducibility in the cuspidal regime under banal characteristic and providing an integral framework to compare modular lifts with their characteristic-zero counterparts. Finally, it connects these constructions to congruence phenomena for supercuspidal blocks, establishing block decompositions, reductions modulo $\ell$, and the transfer of formal degrees, thereby enabling precise control of modular theta lifts and their congruences in a purely local setting.
Abstract
Let $F$ be a non-archimedean local field of characteristic different from $2$ and of residual characteristic $p$. We generalise the theory of the Weil representation over $F$ with complex coefficients to $\ell$-modular representations \textit{i.e.} when the complex coefficients are replaced by a coefficient field $R$ of characteristic $\ell \neq p$. We obtain along the way a generalisation of the Stone-von Neumann theorem to the $\ell$-modular setting, together with the Weil representation with coefficients in $R$ on the $R$-metaplectic group. Surprisingly enough, the latter $R$-metaplectic group happens to be split over the symplectic group if $\ell = 2$. The theory also makes sense when $F$ is a finite field of odd characteristic. We also establish the irreducibility of the theta lift in the cuspidal case as long as $\ell$ does not divide the pro-orders of the groups at stake and we provide a compatibility to congruences in this setting via an integral version of the theta lift.
