arXiv subjects
Publications and source records attributed to Adrian Vasiu.
We extend to large contexts pertaining to Shimura varieties of Hodge type a result of Zink on the existence of lifts to characteristic 0 of suitable representatives of certain isogeny classes of abelian varieties endowed with Frobenius and other endomorphisms over $\dbF_{p^q}$, whose $p$-divisible groups in mixed characteristic $(0,p)$ are with complex multiplication.
We prove a conjecture of Milne pertaining to the existence of integral canonical models of Shimura varieties of abelian type in arbitrary unramified mixed characteristic $(0,p)$. As an application we prove for $p=2$ a motivic conjecture of Milne pertaining to integral canonical models of Shimura varieties of Hodge type.
Let $D$ be a $p$-divisible group over an algebraically closed field $k$ of characteristic $p>0$. Let $n_D$ be the smallest non-negative integer such that $D$ is determined by $D[p^{n_D}]$ within the class of $p$-divisible groups over $k$ of the same codimension $c$ and dimension $d$ as $D$. We study $n_D$, lifts of $D[p^m]$ to truncated Barsotti--Tate groups of level $m+1$ over $k$, and the numbers $γ_D(i):=\dim(\pmb{Aut}(D[p^i]))$. We show that $n_D\le cd$, $(γ_D(i+1)-γ_D(i))_{i\in\Bbb N}$ is a decreasing sequence in $\Bbb N$, for $cd>0$ we have $γ_D(1)<γ_D(2)<...<γ_D(n_D)$, and for $m\in\{1,...,n_D-1\}$ there exists an infinite set of truncated Barsotti--Tate groups of level $m+1$ which are pairwise non-isomorphic and lift $D[p^m]$. Different generalizations to $p$-divisible groups with a smooth integral group scheme in the crystalline context are also proved.
We study a generalization of Serre--Tate theory of ordinary abelian varieties and their deformation spaces. This generalization deals with abelian varieties equipped with additional structures. The additional structures can be not only an action of a semisimple algebra and a polarization, but more generally the data given by some ``crystalline Hodge cycles'' (a $p$-adic version of a Hodge cycle in the sense of motives). Compared to Serre--Tate ordinary theory, new phenomena appear in this generalized context. We give an application of this theory to the existence of ``good'' integral models of those Shimura varieties whose adjoints are products of simple, adjoint Shimura varieties of $D_l^{\bf H}$ type with $l\ge 4$.
Let $p$ be a prime. Let $V$ be a discrete valuation ring of mixed characteristic $(0,p)$ and index of ramification $e$. Let $f: G \rightarrow H$ be a homomorphism of finite flat commutative group schemes of $p$ power order over $V$ whose generic fiber is an isomorphism. We provide a new proof of a result of Bondarko and Liu that bounds the kernel and the cokernel of the special fiber of $f$ in terms of $e$. For $e < p-1$ this reproves a result of Raynaud. Our bounds are sharper that the ones of Liu, are almost as sharp as the ones of Bondarko, and involve a very simple and short method. As an application we obtain a new proof of an extension theorem for homomorphisms of truncated Barsotti--Tate groups which strengthens Tate's extension theorem for homomorphisms of $p$-divisible groups.
Let $(G,X)$ be a Shimura variety of PEL type such that $G_{{\bf Q}_2}$ is a split ${\bf GSO}_{2n}$ group with $n\ge 2$. We prove the existence of the integral canonical models of ${\rm Sh}(G,X)/H_2$ in unramified mixed characteristic $(0,2)$, where $H_2$ is a hyperspecial subgroup of $G({\bf Q}_2)$.
Let k be an algebraically closed field of characteristic p>0. Let W(k) be the ring of Witt vectors with coefficients in k. We prove a motivic conjecture of Milne that relates, in the case of abelian schemes, the étale cohomology with $\dbZ_p$ coefficients to the crystalline cohomology with integral coefficients, in the more general context of p-divisible groups endowed with {\it arbitrary} families of crystalline tensors over a finite, discrete valuation ring extension of W(k). This extends a result of Faltings in [Fa2]. As a main new tool we construct global deformations of p-divisible groups endowed with crystalline tensors over certain regular, formally smooth schemes over W(k) whose special fibers over k have a Zariski dense set of k-valued points.
Let k be a perfect field of characteristic p>0. We prove the existence of ascending and descending slope filtrations for Shimura p-divisible objects over k. We use them to classify rationally these objects over \bar k. Among geometric applications, we mention two. First we formulate Manin problems for Shimura varieties of Hodge type. We solve them if either p\Ge 3 or p=2 and two mild conditions hold. Second we formulate integral Manin problems. We solve them for certain Shimura varieties of PEL type.
Let $p$ be a prime. Let $(R,\ideal{m})$ be a regular local ring of mixed characteristic $(0,p)$ and absolute index of ramification $e$. We provide general criteria of when each abelian scheme over $\Spec R\setminus\{\ideal{m}\}$ extends to an abelian scheme over $\Spec R$. We show that such extensions always exist if $e\le p-1$, exist in most cases if $p\le e\le 2p-3$, and do not exist in general if $e\ge 2p-2$. The case $e\le p-1$ implies the uniqueness of integral canonical models of Shimura varieties over a discrete valuation ring $O$ of mixed characteristic $(0,p)$ and index of ramification at most $p-1$. This leads to large classes of examples of Néron models over $O$. If $p>2$ and index $p-1$, the examples are new.
Let $k$ be an algebraically closed field of characteristic $p>0$. Let $D$ be a $p$-divisible group over $k$ which is not isoclinic. Let $\scrD$ (resp. $\scrD_k$) be the formal deformation space of $D$ over $\Spf(W(k))$ (resp. over $\Spf(k)$). We use axioms to construct formal subschemes $\scrG_k$ of $\scrD_k$ that: (i) have canonical structures of formal Lie groups over $\Spf(k)$ associated to $p$-divisible groups over $k$, and (ii) give birth, via all geometric points $\Spf(K)\to\scrG_k$, to $p$-divisible groups over $K$ that are isomorphic to $D_K$. We also identify when there exist formal subschemes $\scrG$ of $\scrD$ which lift $\scrG_k$ and which have natural structures of formal Lie groups over $\Spf(W(k))$ associated to $p$-divisible groups over $W(k)$. Applications to Traverso (ultimate) stratifications are included as well.
Let $k$ be a field of characteristic $p>0$. Let $D_m$ be a $\BT_m$ over $k$ (i.e., an $m$-truncated Barsotti--Tate group over $k$). Let $S$ be a\break $k$-scheme and let $X$ be a $\BT_m$ over $S$. Let $S_{D_m}(X)$ be the subscheme of $S$ which describes the locus where $X$ is locally for the fppf topology isomorphic to $D_m$. If $p\ge 5$, we show that $S_{D_m}(X)$ is pure in $S$ i.e., the immersion $S_{D_m}(X) \hookrightarrow S$ is affine. For $p\in\{2,3\}$, we prove purity if $D_m$ satisfies a certain property depending only on its $p$-torsion $D_m[p]$. For $p\ge 5$, we apply the developed techniques to show that all level $m$ stratifications associated to Shimura varieties of Hodge type are pure.
Let $k$ be an algebraically closed field of positive characteristic $p$. We first classify the $D$-truncations mod $p$ of Shimura $F$-crystals over $k$ and then we study stratifications defined by inner isomorphism classes of these $D$-truncations. This generalizes previous works of Kraft, Ekedahl, Oort, Moonen, and Wedhorn. As a main tool we introduce and study Bruhat $F$-decompositions; they generalize the combined form of Steinberg theorem and of classical Bruhat decompositions for reductive groups over $k$.
Let $k$ be an algebraically closed field of characteristic $p>0$. Let $D$ be a $p$-divisible group over $k$. Let $n_D$ be the smallest non-negative integer for which the following statement holds: if $C$ is a $p$-divisible group over $k$ of the same codimension and dimension as $D$ and such that $C[p^{n_D}]$ is isomorphic to $D[p^{n_D}]$, then $C$ is isomorphic to $D$. To the Dieudonné module of $D$ we associate a non-negative integer $\ell_D$ which is a computable upper bound of $n_D$. If $D$ is a product $\prod_{i\in I} D_i$ of isoclinic $p$-divisible groups, we show that $n_D=\ell_D$; if the set $I$ has at least two elements we also show that $n_D\le\max\{1,n_{D_i},n_{D_i}+n_{D_j}-1|i,j\in I, j\neq i\}$. We show that we have $n_D\Le 1$ if and only if $\ell_D\Le 1$; this recovers the classification of minimal $p$-divisible groups obtained by Oort. If $D$ is quasi-special, we prove the Traverso truncation conjecture for $D$. If $D$ is $F$-cyclic, we compute explicitly $n_D$. Many results are proved in the general context of latticed $F$-isocrystals with a (certain) group over $k$.
Let $k$ be a perfect field of characteristic $p \geq 3$. We classify $p$-divisible groups over regular local rings of the form $W(k)[[t_1,...,t_r,u]]/(u^e+pb_{e-1}u^{e-1}+...+pb_1u+pb_0)$, where $b_0,...,b_{e-1}\in W(k)[[t_1,...,t_r]]$ and $b_0$ is an invertible element. This classification was in the case $r = 0$ conjectured by Breuil and proved by Kisin.
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 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 prove the conjecture for the orthogonal case (i.e., for the $B_n$ and $D_n^R$ Shimura types). As a main tool, we construct embeddings of Shimura varieties (whose adjoints are) of prescribed abelian type into unitary Shimura varieties of PEL type. These constructions implicitly classify the adjoints of Shimura varieties of PEL type.
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 interpretations, their uniqueness, their smoothness, their properness, and basic stratifications of their special fibres.
We prove the existence of integral canonical models of unitary Shimura varieties in arbitrary unramified mixed characteristic. Errata to [Va1] are also included.