Related papers: Igusa Stack for some exceptional Shimura Varieties
For any Shimura variety of Hodge type with hyperspecial level at a prime $p$ and automorphic lisse sheaf on it, we prove a formula, conjectured by Kottwitz \cite{Kottwitz90}, for the Lefschetz numbers of Frobenius-twisted Hecke…
We study special cycles on a Shimura variety of orthogonal type over a totally real field of degree $d$ associated with a quadratic form in $n+2$ variables whose signature is $(n,2)$ at $e$ real places and $(n+2,0)$ at the remaining $d-e$…
For an odd prime p, we construct integral models over p for Shimura varieties with parahoric level structure, attached to Shimura data (G,X) of abelian type, such that G splits over a tamely ramified extension of Q_p. The local structure of…
In this paper we prove that the cohomology groups with compact support of stacks of shtukas are modules of finite type over a Hecke algebra. As an application, we extend the construction of excursion operators, defined by V. Lafforgue on…
We study localized versions of the spectral action of Fargues--Scholze, using methods from higher algebra. As our main motivation and application, we deduce a formula for the cohomology of moduli spaces of local shtukas under certain…
We show that the compactly supported cohomology of Shimura varieties of Hodge type of infinite $\Gamma_1(p^\infty)$-level (defined with respect to a Borel subgroup) vanishes above the middle degree, under the assumption that the group of…
We construct natural extensions of the Kudla--Millson generating series of cohomology classes of special cycles in compactified unitary Shimura varieties of signature $(n+1,1)$ and prove that they are holomorphic Hermitian modular forms.…
Using a mixed-characteristic incarnation of fusion, we prove an analog of Nekov\'a\v{r}-Scholl's plectic conjecture for local Shimura varieties. We apply this to obtain results on the plectic conjecture for (global) Shimura varieties after…
We prove that, over an arbitrary CM field, every symmetric formal Fourier-Jacobi series converges and equals the Fourier-Jacobi expansion of a genuine Hermitian Hilbert modular form. As an application, we show that the Chow-valued Kudla…
We construct a generalization of the Hasse invariant for certain unitary Shimura varieties of PEL type whose vanishing locus is the complement of the so-called \mu-ordinary locus. We show that the \mu-ordinary locus of those varieties is…
We give cases in which nearby cycles commutes with pushforward from sheaves on the moduli stack of shtukas to a product of curves over a finite field. The proof systematically uses the property that taking nearby cycles of Satake sheaves on…
In this paper, we use a group-theoretic approach to give a concrete description of the geometric structure of the supersingular locus of unitary Shimura varieties with exotic good reduction. This approach also is a more uniform way to prove…
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…
We survey recent results on a conjecture of Kudla regarding the modularity of generating series of special cycle classes in toroidal compactifications of orthogonal and unitary Shimura varieties. Along the way, we formulate several…
We describe work of Faltings on the construction of \'etale cohomology classes associated to symplectic Shimura varieties and show that they satisfy certain trace compatibilities similar to the ones of Siegel units in the modular curve…
We construct regular integral canonical models for Shimura varieties attached to Spin groups at (possibly ramified) odd primes. We exhibit these models as schemes of 'relative PEL type' over integral canonical models of larger Spin Shimura…
A general conjecture is stated on the cone of automorphic vector bundles admitting nonzero global sections on schemes endowed with a smooth, surjective morphism to a stack of $G$-zips of connected-Hodge-type; such schemes should include all…
We compute the connected components of arbitrary parahoric level affine Deligne-Lusztig varieties and local Shimura varieties, thus resolving a folklore conjecture in full generality (even for non-quasisplit groups). We achieve this by…
We define etale cohomology of the moduli spaces of mixed characteristic local shtukas so that it gives smooth representations including the case where the relevant elements of the Kottwitz set are both non-basic. Then we relate the etale…
We consider Shimura varieties associated to a unitary group of signature $(n-s,s)$ where $n$ is even. For these varieties, we construct smooth $p$-adic integral models for $s=1$ and regular $p$-adic integral models for $s=2$ and $s=3$ over…