Related papers: On integral models of Shimura varieties

We construct integral models over $p=2$ for some Shimura varieties of abelian type with parahoric level structure, extending the previous work of Kim-Madapusi, Kisin, Pappas, and Zhou. For Shimura varieties of Hodge type, we show that our…

We prove a conjecture of Pappas and Rapoport about the existence of ''canonical'' integral models of Shimura varieties of Hodge type with quasi-parahoric level structure at a prime $p$. For these integral models, we moreover show…

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 a conjecture of Pappas and Rapoport for all Shimura varieties of abelian type with parahoric level structure when $p>3$ by showing that the Kisin-Pappas-Zhou integral models of Shimura varieties of abelian type are canonical. In…

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…

This is a survey of the three main methods developed in the last 15 years to prove the existence of integral canonical models of Shimura varieties of Hodge type. The only new part is formed by corrections to results of Kisin.

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 establish basic results on p-adic shtukas and apply them to the theory of local and global Shimura varieties, and on their interrelation. We construct canonical integral models for (local, and global) Shimura varieties of Hodge type with…

We prove the Pappas-Rapoport conjecture on the existence of canonical integral models of Shimura varieties with parahoric level structure in the case where the Shimura variety is defined by a torus. As an important ingredient, we show,…

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…

We propose a conjectural theory of $p$-integral models of Shimura varieties with level structure at $p$ given by a class of normal subgroups of parahoric subgroups with abelian quotient group. The role of the theory of local models is…

We construct integral models of Shimura varieties of abelian type with parahoric level structure over odd primes. These models are \'etale locally isomorphic to corresponding local models.

We present a general and comprehensive overview of recent developments in the theory of integral models of Shimura varieties of Hodge type. The paper covers the following topics: construction of integral models, their possible moduli…

We prove the existence of good smooth integral models of Shimura varieties of Hodge type in arbitrary unramified mixed characteristic $(0,p)$. As a first application we provide a smooth solution (answer) to a conjecture (question) of…

We compute the level groups associated with mixed Shimura varieties that appear at the boundaries of compactifications of Shimura varieties and show that the boundaries of minimal compactifications of Pappas-Rapoport integral models are…

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

In this paper we recall the construction and basic properties of complex Shimura varieties and show that these properties actually characterize them. This characterization immediately implies the explicit form of Kazhdan's theorem on the…

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 prove the existence of integral canonical models of Shimura varieties of preabelian type with respect to primes of characteristic at least 5.

These are the notes of a course on Shimura varieties that I gave at the 2022 IHES summer school on the Langlands program. Lecture 1 gives an introduction to Shimura varieties over the complex numbers (defined here as a special type of…