Related papers: Integral canonical models for Spin Shimura varieti…

We prove that Shimura varieties admit integral canonical models for sufficiently large primes. In the case of abelian-type Shimura varieties, this recovers work of Kisin-Kottwitz for sufficiently large primes. We also prove the existence of…

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…

We construct a family of special cycle classes on the regular integral model of an orthogonal Shimura variety, and show that these cycle classes appear as Fourier coefficients of a Siegel modular form. Passing to the generic fiber of the…

I employ methods from derived algebraic geometry to give a uniform moduli-theoretic construction of special cycle classes on integral models many Shimura varieties of Hodge type, including unitary, quaternionic, and orthogonal Shimura…

We define and construct integral canonical models for automorphic vector bundles over Shimura varieties of abelian type. More precisely, we first build on Kisin's work to construct integral canonical models over rings of integers of number…

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 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…

We show that the classical Kuga-Satake construction gives rise, away from characteristic 2, to an open immersion from the moduli of primitively polarized K3 surfaces (of any fixed degree) to a certain regular integral model for a Shimura…

We show how to characterize integral models of Shimura varieties over places of the reflex field where the level subgroup is parahoric by formulating a definition of a "canonical" integral model. We then prove that in Hodge type cases and…

We construct relative PEL type embeddings in mixed characteristic (0,2) between hermitian orthogonal Shimura varieties of PEL type. We use this to prove the existence of integral canonical models in unramified mixed characteristic (0,2) of…

We use E. Lau's classification of 2-divisible groups using Dieudonn\'e displays to construct integral canonical models for Shimura varieties of abelian type at 2-adic places where the level is hyperspecial. We apply this to prove the Tate…

We develop a theory of Hodge type Rapoport-Zink formal schemes, which uniformize certain formal completions of the canonical integral models of Shimura varieties of Hodge type at primes of good reduction. We then apply the general theory to…

We study $p$-adic integral models of certain PEL Shimura varieties with level subgroup at $p$ related to the $\Gamma_1(p)$-level subgroup in the case of modular curves. We will consider two cases: the case of Shimura varieties associated…

We give a new definition -- and in some cases, a new construction -- of integral canonical models of Shimura varieties that uses the notion of an aperture appearing in work of Gardner--Madapusi on some conjectures of Drinfeld. This applies…

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…

We prove in this paper a classicality result for overconvergent modular forms on PEL Shimura varieties of type (A) or (C), without any ramification hypothesis. We use an analytic continuation method, which generalizes previous results in…

We prove the Kudla--Rapoport conjecture for Kr\"amer models of unitary Rapoport--Zink spaces at ramified places. It is a precise identity between arithmetic intersection numbers of special cycles on Kr\"amer models and modified derived…

We show that the integral models of Shimura varieties of Rapoport, Smithling and Zhang in relation to variants of the arithmetic Gan-Gross-Prasad conjecture, the arithmetic fundamental lemma conjecture and the arithmetic transfer conjecture…

We form a generating series of regularized volumes of intersections of special cycles on a non-compact unitary Shimura variety with a fixed base change cycle. We show that it is a Hilbert modular form by identifying it with a theta…

We prove the existence of integral canonical models of unitary Shimura varieties in arbitrary unramified mixed characteristic. Errata to [Va1] are also included.