skip to main content


Title: Entire Theta Operators at Unramified Primes
Abstract Starting with the work of Serre, Katz, and Swinnerton-Dyer, theta operators have played a key role in the study of $p$-adic and $\textrm{mod}\; p$ modular forms and Galois representations. This paper achieves two main results for theta operators on automorphic forms on PEL-type Shimura varieties: (1) the analytic continuation at unramified primes $p$ to the whole Shimura variety of the $\textrm{mod}\; p$ reduction of $p$-adic Maass–Shimura operators a priori defined only over the $\mu $-ordinary locus, and (2) the construction of new $\textrm{mod}\; p$ theta operators that do not arise as the $\textrm{mod}\; p$ reduction of Maass–Shimura operators. While the main accomplishments of this paper concern the geometry of Shimura varieties and consequences for differential operators, we conclude with applications to Galois representations. Our approach involves a careful analysis of the behavior of Shimura varieties and enables us to obtain more general results than allowed by prior techniques, including for arbitrary signature, vector weights, and unramified primes in CM fields of arbitrary degree.  more » « less
Award ID(s):
1751281
NSF-PAR ID:
10280386
Author(s) / Creator(s):
;
Date Published:
Journal Name:
International Mathematics Research Notices
ISSN:
1073-7928
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. null (Ed.)
    Let $F$ be a totally real field in which $p$ is unramified. Let $\overline{r}:G_{F}\rightarrow \text{GL}_{2}(\overline{\mathbf{F}}_{p})$ be a modular Galois representation that satisfies the Taylor–Wiles hypotheses and is tamely ramified and generic at a place $v$ above $p$ . Let $\mathfrak{m}$ be the corresponding Hecke eigensystem. We describe the $\mathfrak{m}$ -torsion in the $\text{mod}\,p$ cohomology of Shimura curves with full congruence level at $v$ as a $\text{GL}_{2}(k_{v})$ -representation. In particular, it only depends on $\overline{r}|_{I_{F_{v}}}$ and its Jordan–Hölder factors appear with multiplicity one. The main ingredients are a description of the submodule structure for generic $\text{GL}_{2}(\mathbf{F}_{q})$ -projective envelopes and the multiplicity one results of Emerton, Gee and Savitt [Lattices in the cohomology of Shimura curves, Invent. Math.   200 (1) (2015), 1–96]. 
    more » « less
  2. This paper completes the construction of $p$ -adic $L$ -functions for unitary groups. More precisely, in Harris, Li and Skinner [‘ $p$ -adic $L$ -functions for unitary Shimura varieties. I. Construction of the Eisenstein measure’, Doc. Math. Extra Vol. (2006), 393–464 (electronic)], three of the authors proposed an approach to constructing such $p$ -adic $L$ -functions (Part I). Building on more recent results, including the first named author’s construction of Eisenstein measures and $p$ -adic differential operators [Eischen, ‘A $p$ -adic Eisenstein measure for unitary groups’, J. Reine Angew. Math. 699 (2015), 111–142; ‘ $p$ -adic differential operators on automorphic forms on unitary groups’, Ann. Inst. Fourier (Grenoble) 62 (1) (2012), 177–243], Part II of the present paper provides the calculations of local $\unicode[STIX]{x1D701}$ -integrals occurring in the Euler product (including at $p$ ). Part III of the present paper develops the formalism needed to pair Eisenstein measures with Hida families in the setting of the doubling method. 
    more » « less
  3. We show that for primesN,p≥<#comment/>5N, p \geq 5withN≡<#comment/>−<#comment/>1modpN \equiv -1 \bmod p, the class number ofQ(N1/p)\mathbb {Q}(N^{1/p})is divisible bypp. Our methods are via congruences between Eisenstein series and cusp forms. In particular, we show that whenN≡<#comment/>−<#comment/>1modpN \equiv -1 \bmod p, there is always a cusp form of weight22and levelΓ<#comment/>0(N2)\Gamma _0(N^2)whoseℓ<#comment/>\ellth Fourier coefficient is congruent toℓ<#comment/>+1\ell + 1modulo a prime abovepp, for all primesℓ<#comment/>\ell. We use the Galois representation of such a cusp form to explicitly construct an unramified degree-ppextension ofQ(N1/p)\mathbb {Q}(N^{1/p}).

     
    more » « less
  4. Abstract

    We prove the existence of good smooth integral models of Shimura varieties of Hodge type in arbitrary unramified mixed characteristic (0,p). As a first application we provide a smooth solution (answer) to a conjecture (question) of Langlands for Shimura varieties of Hodge type. As a second application we prove the existence in arbitrary unramified mixed characteristic (0,p) of integral canonical models of projective Shimura varieties of Hodge type with respect to h‐hyperspecial subgroups as pro‐étale covers of Néron models; this forms progress towards the proof of conjectures of Milne and Reimann. Though the second application was known before in some cases, its proof is new and more of a principle.

     
    more » « less
  5. We consider Shimura varieties for orthogonal or spin groups acting on hermitian symmetric domains of type IV. We give regular $p$ -adic integral models for these varieties over odd primes $p$ at which the level subgroup is the connected stabilizer of a vertex lattice in the orthogonal space. Our construction is obtained by combining results of Kisin and the first author with an explicit presentation and resolution of a corresponding local model. 
    more » « less