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.
Authors:
;
Award ID(s):
Publication Date:
NSF-PAR ID:
10280386
Journal Name:
International Mathematics Research Notices
ISSN:
1073-7928
National Science Foundation
##### More Like this
1. 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.
2. 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].
3. The Iwasawa theory of CM fields has traditionally concerned Iwasawa modules that are abelian pro-p Galois groups with ramification allowed at a maximal set of primes over p such that the module is torsion. A main conjecture for such an Iwasawa module describes its codimension one support in terms of a p-adic L-function attached to the primes of ramification. In this paper, we study more general and potentially much smaller modules that are quotients of exterior powers of Iwasawa modules with ramification at a set of primes over p by sums of exterior powers of inertia subgroups. We show that the higher codimension support of such quotients can be measured by finite collections of characteristic ideals of classical Iwasawa modules, hence by p-adic L-functions under the relevant CM main conjectures.
4. ; ; (Ed.)
ThetheoryofGaloisrepresentationsattachedtoautomorphicrepresenta- tions of GL(n) is largely based on the study of the cohomology of Shimura varieties of PEL type attached to unitary similitude groups. The need to keep track of the similitude factor complicates notation while making no difference to the final result. It is more natural to work with Shimura varieties attached to the unitary groups themselves, which do not introduce these unnecessary complications; however, these are of abelian type, not of PEL type, and the Galois representations on their cohomology differ slightly from those obtained from the more familiar Shimura varieties. Results on the critical values of the L-functions of these Galois representations have been established by studying the PEL type Shimura varieties. It is not immediately obvious that the automorphic periods for these varieties are the same as for those attached to unitary groups, which appear more naturally in applications of relative trace formulas, such as the refined Gan-Gross-Prasad conjecture (conjecture of Ichino-Ikeda and N. Harris). The present article reconsiders these critical values, using the Shimura varieties attached to unitary groups, and obtains results that can be used more simply in applications.
5. We prove that the l-adic Chern classes of canonical extensions of automorphic vector bundles, over toroidal compactifications of Shimura varieties of Hodge type over \bar{Q}_p, descend to classes in the l-adic cohomology of the minimal compactifications. These are invariant under the Galois group of the p-adic field above which the variety and the bundle are defined.