ﻻ يوجد ملخص باللغة العربية
We prove the isogeny property for special fibres of integral canonical models of compact Shimura varieties of $A_n$, $B_n$, $C_n$, and $D_n^{dbR}$ type. The approach used also shows that many crystalline cycles on abelian varieties over finite fields which are specializations of Hodge cycles, are algebraic. These two results have many applications. First, we prove a variant of the conditional Langlands--Rapoport conjecture for these special fibres. Second, for certain isogeny sets we prove a variant of the unconditional Langlands--Rapoport conjecture (like for many basic loci). Third, we prove that integral canonical models of compact Shimura varieties of Hodge type that are of $A_n$, $B_n$, $C_n$, and $D_n^{dbR}$ type, are closed subschemes of integral canonical models of Siegel modular varieties.
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.
Let $(G,X)$ be a Shimura datum of Hodge type, and $mathscr{S}_K(G,X)$ its integral model with hyperspecial level structure. We prove that $mathscr{S}_K(G,X)$ admits a closed embedding, which is compatible with moduli interpretations, into the integra
Let $F$ be a totally real field in which a fixed prime $p$ is inert, and let $E$ be a CM extension of $F$ in which $p$ splits. We fix two positive integers $r,s in mathbb N$. We investigate the Tate conjecture on the special fiber of $G(U(r,s) times
We prove the Mumford--Tate conjecture for those abelian varieties over number fields whose extensions to C have attached adjoint Shimura varieties that are products of simple, adjoint Shimura varieties of certain Shimura types. In particular, we prov
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