Let (P,X) be Shimura data, M=M(P,X,K) the Shimura variety of level K. To an algebraic representation of P, one can associate a mixed sheaf (variation of Hodge structure, l-adic sheaf) on M. In the paper, we study the degeneration of such sheaves along strata in toroidal compactifications of M. The main result (2.8 in the Hodge setting, 3.9 in the l-adic setting) gives a formula for this degeneration in terms of Hochschild cohomology of certain unipotent subgroups of P. The new version differs from the earlier one in that the proof of 2.8 was rewritten. In particular, the effect of Saito's specialization functor along a stratum is identified on variations obtained via representations.
Borrowing a reduction principle to a recent preprint of G. Faltings (toroidal resolution of some matrix singularities, 1999), we use Lafforgue's compactification of PGL_r^{N+1}/PGL_r to construct a canonical log-smooth toroidal resolution for the bad reduction in a prime p of Shimura varieties of unitary and symplectic type with parahoric level structures at p. Using this result, non-canonical semi-stable resolutions over Z_p[p^{1/ν}] can be derived.
Let $X$ be an integral model at a prime $p$ of a Shimura variety of PEL type having good reduction, associated to a reductive group $G$. To $\mathbb{Z}_p$ reprsententations of the group $G$ can be associated two kinds of sheaves : crystals on the special fiber of $X$, and locally constant étale sheaves on the generic fiber. We establish a comparison between the cohomology of these two kinds of sheaves.
We determine the behavior of automorphic Green functions along the boundary components of toroidal compactifications of orthogonal Shimura varieties. We use this analysis to define boundary components of special divisors and prove that the generating series of the resulting special divisors on a toroidal compactification is modular.
We construct projective toroidal compactifications for integral models of Shimura varieties of Hodge type. We also construct integral models of the minimal (Satake-Baily-Borel) compactification. Our results essentially reduce the problem to understanding the integral models themselves. As such, they cover all previously known cases of PEL type, as well as all cases of Hodge type involving parahoric level structures. At primes where the level is hyperspecial, we show that our compactifications are canonical in a precise sense. We also provide a new proof of Y. Morita's conjecture on the everywh…
In this paper, we define and construct canonical filtered $F$-crystals with $G$-structure over the integral models for Shimura varieties of abelian type at hyperspecial level defined by Kisin. We check that these are related by $p$-adic comparison theorems to the usual lisse sheaves, and as an application we also use this to show that the Galois representations generated from the $p$-adic étale cohomology of Shimura varieties with nontrivial coefficient sheaves are crystalline, at least in the case of proper abelian type Shimura varieties.
We axiomatize the algebraic properties of toroidal compactifications of (mixed) Shimura varieties and their automorphic vector bundles. A notion of generalized automorphic sheaf is proposed which includes sheaves of (meromorphic) sections of automorphic vector bundles with prescribed vanishing and pole orders along strata in the compactification, and their quotients. These include, for instance, sheaves of Jacobi forms and weakly holomorphic modular forms. Using this machinery we give a short and purely algebraic proof of the proportionality theorem of Hirzebruch and Mumford.
In this work, we set up a theory of p-adic modular forms over Shimura curves over totally real fields which allows us to consider also non-integral weights. In particular, we define an analogue of the sheaves of k-th invariant differentials over the Shimura curves we are interested in, for any p-adic character. In this way, we are able to introduce the notion of overconvergent modular form of any p-adic weight. Moreover, our sheaves can be put in p-adic families over a suitable rigid-analytic space, that parametrizes the weights. Finally, we define Hecke operators, including the U operator, th…
An analytic uniformisation of the varieties of Laumon, Rapoport and Stuhler at the infinite place is presented. This can be seen as the function field analog to the uniformisation of Shimura varieties classifying Abelian varieties with large endomorphism rings.
The purpose of this talk is to present an (apparently) new way to look at the intersection complex of a singular variety over a finite field, or, more generally, at the intermediate extension functor on pure perverse sheaves, and an application of this to the cohomology of noncompact Shimura varieties.
We prove that there is a natural plectic weight filtration on the cohomology of Hilbert modular varieties in the spirit of Nekovar and Scholl. This is achieved with the help of Morel's work on weight t-structures and a detailed study of partial Frobenius. We prove in particular that the partial Frobenius extends to toroidal and minimal compactifications.
We prove an analogue for Hodge modules of Pink's theorem on the degeneration of l-adic sheaves (Math. Ann. 292). Let j be the open immersion of a Shimura variety M into its Baily-Borel compactification. Its boundary has a natural stratification into locally closed subsets, each of which is itself a Shimura variety (up to taking the quotient by the action of a finite group). Let i be the inclusion of an individual such stratum M'. Saito's formalism gives a functor i^* j_* from the bounded derived category of Hodge modules on M to that of Hodge modules on M'. Our result gives a formula for the e…
Let $\text{X}$ denote a projective variety over an algebraically closed field on which a linear algebraic group acts with finitely many orbits. Then, a conjecture of Soergel and Lunts in the setting of Koszul duality and Langlands' philosophy, postulates that the equivariant derived category of bounded complexes with constructible equivariant cohomology sheaves on $\text{X}$ is equivalent to a full subcategory of the derived category of modules over a graded ring defined as a suitable graded $Ext$. Only special cases of this conjecture have been proven so far. {\it The purpose of this paper is…
We construct explicit elements $W_{ij}^k$ in (a completion of) the shifted quantum toroidal algebra of type $A$, and show that these elements act by 0 on the $K$-theory of moduli spaces of parabolic sheaves. We expect that the quotient of the shifted quantum toroidal algebra by the ideal generated by the elements $W_{ij}^k$ will be related to $q$-deformed $W$-algebras of type $A$ for arbitrary nilpotent, which would imply a $q$-deformed version of the AGT correspondence between gauge theory with surface operators and conformal field theory.
We describe categories of equivariant vector bundles on certain toroidal spherical varieties in linear algebra terms: vector spaces equipped with filtrations, group and Lie algebra actions, and linear maps preserving these structures.
We give a group theoretic definition of "local models" as sought after in the theory of Shimura varieties. These are projective schemes over the integers of a $p$-adic local field that are expected to model the singularities of integral models of Shimura varieties with parahoric level structure. Our local models are certain mixed characteristic degenerations of Grassmannian varieties; they are obtained by extending constructions of Beilinson, Drinfeld, Gaitsgory and the second-named author to mixed characteristics and to the case of general (tamely ramified) reductive groups. We study the sing…
This paper proves that the nearby cycles complexes on a certain family of PEL local models are central with respect to the convolution product of sheaves on the corresponding affine flag varieties. As a corollary, the semisimple trace functions defined using the action of Frobenius on those nearby cycles complexes are, via the sheaf-function dictionary, in the centers of the corresponding Iwahori-Hecke algebras. This is commonly referred to as Kottwitz's Conjecture. The reductive groups associated to the PEL local models under consideration are unramified unitary similitude groups with even di…
We write down a new "logarithmic" quasicoherent category $\operatorname{Qcoh}_{log}(U, X, D)$ attached to a smooth open algebraic variety $U$ with toroidal compactification $X$ and boundary divisor $D$. This is a (large) symmetric monoidal Abelian category, which we argue can be thought of as the categorical substrate for logarithmic Hodge theory of $U$. We show that its Hochschild homology theory coincides with the theory of log-forms on $X$ with logarithmic structure induced by $D$, and in particular, that the noncommutative Hodge-to de Rham sequence on $\operatorname{Qcoh}_{log}(U, X, D)$ r…
We study the algebraic geometry and combinatorics of the central degeneration (the degeneration that shows up in local models of Shimura varieties and Gaitsgory's central sheaves) in type A. More specifically, we elucidate the central degeneration of semi-infinite orbits and explain its relations with Levi restriction. Also, we discuss the central degeneration of Mirkovi$\acute{\text{c}}$-Vilonen cycles in the affine Grassmannian, and the corresponding transformations of Mirkovi$\acute{\text{c}}$-Vilonen polytopes. In addition, we shed some light on the geometry of Iwahori MV cycles in the aff…
