skip to main content


Title: Chern classes of automorphic vector bundles, II
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.  more » « less
Award ID(s):
1701651
NSF-PAR ID:
10184294
Author(s) / Creator(s):
;
Date Published:
Journal Name:
Épijournal de géométrie algébrique
Volume:
3
ISSN:
2491-6765
Page Range / eLocation ID:
Article 14
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. We prove that the ℓ-adic Chern classes of canonical extensions of automorphic vector bundles, over toroidal compactifications of Shimura varieties of Hodge type over ℚ¯𝑝, descend to classes in the ℓ-adic cohomology of the minimal compactifications. These are invariant under the Galois group of the 𝑝-adic field above which the variety and the bundle are defined. 
    more » « less
  2. null (Ed.)
    Following a suggestion of Peter Scholze, we construct an action of G m ^ \widehat {\mathbb {G}_m} on the Katz moduli problem, a profinite-étale cover of the ordinary locus of the p p -adic modular curve whose ring of functions is Serre’s space of p p -adic modular functions. This action is a local, p p -adic analog of a global, archimedean action of the circle group S 1 S^1 on the lattice-unstable locus of the modular curve over C \mathbb {C} . To construct the G m ^ \widehat {\mathbb {G}_m} -action, we descend a moduli-theoretic action of a larger group on the (big) ordinary Igusa variety of Caraiani-Scholze. We compute the action explicitly on local expansions and find it is given by a simple multiplication of the cuspidal and Serre-Tate coordinates q q ; along the way we also prove a natural generalization of Dwork’s equation τ = log ⁡ q \tau =\log q for extensions of Q p / Z p \mathbb {Q}_p/\mathbb {Z}_p by μ p ∞ \mu _{p^\infty } valid over a non-Artinian base. Finally, we give a direct argument (without appealing to local expansions) to show that the action of G m ^ \widehat {\mathbb {G}_m} integrates the differential operator θ \theta coming from the Gauss-Manin connection and unit root splitting, and explain an application to Eisenstein measures and p p -adic L L -functions. 
    more » « less
  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. 
    more » « less
  4. 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
  5. We construct, over any CM field, compatible systems of $l$ -adic Galois representations that appear in the cohomology of algebraic varieties and have (for all $l$ ) algebraic monodromy groups equal to the exceptional group of type $E_{6}$ . 
    more » « less