Related papers: Compatibility of canonical $\ell$-adic local syste…

In this article, we extend past results of the last two authors to include compatibility of canonical $\ell$-adic local systems and canonical $F$-isocrystals on adjoint Shimura varieties in the superrigid regime. Our method relies on the…

For a Shimura variety $(G, X)$ in the superrigid regime and neat level subgroup $K_0$, we show that the canonical family of $\ell$-adic representations associated to a number field point $y \in \mathrm{Sh}_{K_0}(G, X)(F)$, \[ \left\{…

We construct the compatible system of $l$-adic representations associated to a regular algebraic cuspidal automorphic representation of $GL_n$ over a CM (or totally real) field and check local-global compatibility for the $l$-adic…

We study the image of $\ell$-adic representations attached to subvarieties of Shimura varieties $Sh_K(G,X)$ that are not contained in a smaller Shimura subvariety and have no isotrivial components. We show that, for $\ell$ large enough…

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…

We prove a motivic refinement of a result of Weil, Deligne and Raynaud on the existence of strongly compatible systems associated to abelian varieties. More precisely, given an abelian variety $A$ over a number field $\mathrm{E}\subset…

We show that compatible systems of $\ell$-adic sheaves on a scheme of finite type over the ring of integers of a local field are compatible along the boundary up to stratification. This extends a theorem of Deligne on curves over a finite…

Cases of Deligne's companion conjecture for normal schemes over finite fields have been proven by L. Lafforgue, Drinfeld, and Zheng in recent years: L. Lafforgue proved the conjecture for curves, Drinfeld proved the conjecture for all…

Let $X$ be a connected normal scheme of finite type over $\mathbf{Z}$, let $G$ be a connected reductive group over $\mathbf{Q}$, and let $\{\rho_\ell\colon\pi_1(X[1/\ell])\to G(\mathbf{Q}_\ell)\}_\ell$ be a Frobenius-compatible collection…

In this paper, we compare two cohomology groups associated to Shimura varieties of PEL type, which are not proper over the base. One is the compactly supported l-adic cohomology, and the other is the nearby cycle cohomology, namely, the…

Let $X$ be a projective smooth geometrically connected curve defined over a finite field $\mathbb{F}_q$ of cardinality $q$. Let $S$ be a finite set of closed points of $X$. Let $\bar{X}$ and $\bar{S}$ be the base change of $X$, $S$ to an…

We generalize the local-global compatibility result in arXiv:1506.04022 to higher dimensional cases, by examining the relation between Scholze's functor and cohomology of Kottwitz-Harris-Taylor type Shimura varieties. Along the way we prove…

In these notes I proved the Chai-Faltings version of Eichler-Shimura congruence relation for simple GSpin Shimura varieties. This extends the results by Bueltel, Wedhorn and Koskivirta.

Let $Sh_K(G,\mu)$ be a Shimura variety of KHT type, as introduced in Harris-Taylor book, associated to some similitude group $G/\mathbb Q$ and a open compact subgroup $K$ of $G(\mathbb A)$. For any irreducible algebraic $\overline{\mathbb…

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 introduce a notion of compatibility for families $(\mathcal{F}_{\ell})_{\ell}$ of bounded constructible $\ell$-adic complexes of \'etale sheaves on schemes. For schemes of finite type over a field, this notion is preserved by the usual…

Let $K|\mathbb{Q}_p$ be a complete discrete valuation field with perfect residue field, $O_K$ be its ring of integers. Consider a semistable $p$-adic formal scheme $X$ over $\mathrm{Spf}(O_K)$ with smooth generic fiber $X_{\eta}$.…

Let $E$ be a number field and $X$ a smooth geometrically connected variety defined over a characteristic $p$ finite field. Given an $n$-dimensional pure $E$-compatible system of semisimple $\lambda$-adic representations of the \'etale…

Let $\{\rho_\lambda:G_K\rightarrow GL_n(\overline E_\lambda)\}$ be a semisimple E-rational compatible system of a number field K. In a first step, building upon the theory of pseudocharacters [Ro96],[Ch14], we attach to each $\rho_\lambda$…

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…