A p-divisible group over a complete local domain determines a Galois representation on the Tate module of its generic fibre. We determine the image of this representation for the universal deformation in mixed characteristic of a bi-infinitesimal group and for the p-rank strata of the universal deformation in positive characteristic of an infinitesimal group. The method is a reduction to the known case of one-dimensional groups by a deformation argument based on properties of the stratification by Newton polygons.
Let $ \CO $ be the ring of integers of a non-Archimedean local field and $ π$ a fixed uniformizer of $ \CO $. We establish three main results. The first one states that the exterior powers of a $ π$-divisible $ \CO $-module scheme of dimension at most 1 over a field exist and commute with algebraic field extensions. The second one states that the exterior powers of a $p$-divisible group of dimension at most 1 over arbitrary base exist and commute with arbitrary base change. The third one states that when $ \CO $ has characteristic zero, then the exterior powers of $ π$-divisible groups with sc…
We study invariant functions on the reductions mod p^n of p-divisible groups. The proof of the main result, which applies to one-dimensional groups, combines results of Tate with van der Put's solution of his p-adic Corona problem. For higher dimensional groups a generalization of the p-adic Corona problem would have to be solved.
Let $O_D$ be the ring of integers in a division algebra of invariant $1/n$ over a p-adic local field. Drinfeld proved that the moduli problem of special formal $O_D$-modules is representable by Deligne's formal scheme version of the Drinfeld p-adic halfspace. In this paper we exhibit other moduli spaces of formal $p$-divisible groups which are represented by $p$-adic formal schemes whose generic fibers are isomorphic to the Drinfeld p-adic halfspace. We also prove an analogue concerning the Lubin-Tate moduli space.
We use E. Lau's classification of 2-divisible groups using Dieudonné 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 conjecture for K3 surfaces in characteristic 2.
Let k be a perfect field of characteristic p>0. When p>2, Fontaine and Laffaille have classified p-divisibles groups and finite flat p-groups over the Witt vectors W(k) in terms of filtered modules. Still assuming p>2, we extend these classifications over an arbitrary complete discrete valuation ring A with unequal characteristic (0,p) and residue field k by using "generalized" filtered modules. In particular, there is no restriction on the ramification index. In the case k is included in \bar{F}_p (and p>2), we then use this new classification to prove that any crystalline representation of t…
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,…
Let k be an algebraically closed field of characteristic $p>0$, and $G_0$ be a Barsotti-Tate group (or $p$-divisible group) over k. We denote by $S$ the "algebraic" local moduli in characteristic p of $G_0$, by $G$ the universal deformation of $G_0$ over $S$, and by $U\subset S$ the ordinary locus of $G$. The etale part of $G$ over $U$ gives rise to a monodromy representation $ρ$ of the fundamental group of $U$ on the Tate module of $G$. Motivated by a famous theorem of Igusa, we prove in this article that $ρ$ is surjective if $G_0$ is connected and HW-cyclic. This latter condition is equivale…
This work is the first part in a series of three dedicated to the foundations of integral aspects of Shimura varieties and of Fontaine's categories. It deals mostly with the unramified context of (arbitrary) mixed characteristic (0,p). Among the topics covered we mention: the generalization of the classical Serre-Tate theory of ordinary p-divisible groups and of their canonical lifts, the generalization of the classical Serre-Tate-Dwork-Katz theory of (crystalline) coordinates for ordinary abelian varieties, the strong form of the generalized Manin problem, global deformations in the generaliz…
Let $k$ be a perfect field of characteristic $p>2$ and $K$ an extension of $F=\mathrm{Frac} W(k)$ contained in some $F(μ_{p^r})$. Using crystalline Dieudonné theory, we provide a classification of $p$-divisible groups over $\mathscr{O}_K$ in terms of finite height $(φ,Γ)$-modules over $\mathfrak{S}:=W(k)[[u]]$. Although such a classification is a consequence of (a special case of) the theory of Kisin--Ren, our construction gives an independent proof and allows us to recover the Dieudonné crystal of a $p$-divisible group from the Wach module associated to its Tate module by Berger--Breuil or by…
In their paper Scholze and Weinstein show that a certain diagram of perfectoid spaces is Cartesian. In this paper, we generalize their result. This generalization will be used in a forthcoming paper of ours to compute certain non-trivial $\ell$-adic étale cohomology classes appearing in the the generic fiber of Lubin-Tate and Rapoprt-Zink towers. We also study the behavior of the vector bundle functor on the fundamental curve in $p$-adic Hodge theory, defined by Fargues-Fontaine, under multilinear morphisms.
Let k be an algebraically closed field of characteristic p>0. Let H be a supersingular p-divisible group over k of height 2d. We show that H is uniquely determined up to isomorphism by its truncation of level d (i.e., by H[p^d]). This proves Traverso's truncation conjecture for supersingular p-divisible groups. If H has a principal quasi-polarization λ, we show that (H,λ) is also uniquely determined up to isomorphism by its principally quasi-polarized truncated Barsotti--Tate group of level d (i.e., by (H[p^d],λ[p^d])).
We show that to every p-divisible group over a p-adic ring one can associate a display by crystalline Dieudonne theory. For an appropriate notion of truncated displays, this induces a functor from truncated Barsotti-Tate groups to truncated displays, which is a smooth morphism of smooth algebraic stacks. As an application we obtain a new proof of the equivalence between infinitesimal p-divisible groups and nilpotent displays over p-adic rings, and a new proof of the equivalence due to Berthelot and Gabber between commutative finite flat group schemes of p-power order and Dieudonne modules over…
We consider p-divisible groups (also called Barsotti-Tate groups) in characteristic p, their deformations, and we draw some conclusions. For such a group we can define its Newton polygon (abbreviated NP). This is invariant under isogeny. For an abelian variety (in characteristic p) the Newton polygon of its p-divisible group is ``symmetric''. In 1963 Manin conjectured that conversely any symmetric Newton polygon is ``algebroid''; i.e., it is the Newton polygon of an abelian variety. This conjecture was shown to be true and was proved with the help of the ``Honda-Serre-Tate theory''. We give an…
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 variety of orthogonal type. This allows us to attach to every polarized K3 surface in odd characteristic an abelian variety such that divisors on the surface can be identified with certain endomorphisms of the attached abelian variety. In turn, this reduces the Tate conjecture for K3 surfaces over finitely generated fields of odd characteristic to a version of…
Let R be a complete discrete valuation ring of mixed characteristic (0, p) with perfect residue field, K the fraction field of R. Suppose G is a Barsotti-Tate group (p-divisible group) defined over K which acquires good reduction over a finite extension K' of K. We prove that there exists a constant c which depends on the absolute ramification index e(K'/Q_p) and the height of G such that G has good reduction over K if and only if G[p^c] can be extended to a finite flat group scheme over R. For abelian varieties with potentially good reduction, this result generalizes Grothendieck's p-adic Ner…
Let R be a complete rank-1 valuation ring of mixed characteristic (0,p), and let K be its field of fractions. A g-dimensional truncated Barsotti-Tate group G of level n over R is said to have a level-n canonical subgroup if there is a K-subgroup of G\tensor_R K with geometric structure (\Z/p^n\Z)^g consisting of points "closest to zero". We give a nontrivial condition on the Hasse invariant of G that guarantees the existence of the canonical subgroup, analogous to a result of Katz and Lubin for elliptic curves. The bound is independent of the height and dimension of G.
A p-divisible group, or more generally an F-crystal, is said to be Hodge-Newton reducible if its Hodge polygon passes through a break point of its Newton polygon. Katz proved that Hodge-Newton reducible F-crystals admit a canonical filtration called the Hodge-Newton filtration. The notion of Hodge-Newton reducibility plays an important role in the deformation theory of p-divisible groups; the key property is that the Hodge-Newton filtration of a p-divisible group over a field of characteristic p can be uniquely lifted to a filtration of its deformation. We generalize Katz's result to F-crystal…
Let $G$ be a reductive group scheme over the $p$-adic integers, and let $μ$ be a minuscule cocharacter for $G$. In the Hodge-type case, we construct a functor from nilpotent $(G,μ)$-displays over $p$-nilpotent rings $R$ to formal $p$-divisible groups over $R$ equipped with crystalline Tate tensors. When $R/pR$ has a $p$-basis étale locally, we show that this defines an equivalence between the two categories. The definition of the functor relies on the construction of a $G$-crystal associated with any adjoint nilpotent $(G,μ)$-display, which extends the construction of the Dieudonné crystal ass…
This paper studies crystalline representations of G_K with coefficients of any dimension, where K is the unramified extension of Q_p of degree a. We prove a theorem of Fontaine-Laffaille type when σ-invariant Hodge-Tate weight less than p-1, which establishes the bijection between Galois stable lattices in crystalline representations and strongly divisible ϕ-lattice. In generalizing Breuil's work, we classify all reducible and irreducible crystalline representations of G_K of dimensional 2, then describe their mod p reductions. We generalize some results (of Deligne, Fontaine-Serre, and Edixho…
In their book Rapoport and Zink constructed rigid analytic period spaces $F^{wa}$ for Fontaine's filtered isocrystals, and period morphisms from PEL moduli spaces of $p$-divisible groups to some of these period spaces. They conjectured the existence of an étale bijective morphism $F^a \to F^{wa}$ of rigid analytic spaces and of a universal local system of $Q_p$-vector spaces on $F^a$. For Hodge-Tate weights $n-1$ and $n$ we construct in this article an intrinsic Berkovich open subspace $F^0$ of $F^{wa}$ and the universal local system on $F^0$. We conjecture that the rigid-analytic space associ…
A generalized Tate curve is a universal family of curves with fixed genus and degeneration data which becomes Schottky uniformized Riemann surfaces and Mumford curves by specializing moduli and deformation parameters. By considering each generalized Tate curve as a family of degenerating Riemann surfaces, we give explicit formulas of the period isomorphism between its de Rham and Betti cohomology groups, and of the associated objects: Gauss-Manin connection, variation of Hodge structure and monodromy weight filtration. A remarkable fact is that similar formulas hold also for families of Mumfor…
Log $p$-divisible groups and semi-stable representations
Dipartimento di Matematica “Tullio Levi-Civita”, Università degli Studi di Padova（帕多瓦大学）；School of mathematics, Renmin University of China（中国人民大学）；Institute for Advanced Study in Mathematics, Harbin Institute of Technology（哈尔滨工业大学数学学院）
We study Galois action on $\Ext^1(E(\bar \Q),\Z^2)$ and interpret our results as partially showing that the notion of a path on a complex elliptic curve $E$ can be characterised algebraically. The proofs show that our results are just concise reformulations of Kummer theory for $E$ as well as the description of Galois action on the Tate module. Namely, we prove (a),(b) below by showing they are equivalent to (c) which is well-known: (a) Absolute Galois group acts transitively on the set of uniquely divisible abelian \EndE-module extensions of $E(\bar\Q)$ of algebraic points of an elliptic curv…
Let G be the Tate module of a p-divisble group H over a perfect field k of characteristic p. A theorem of Scholze-Weinstein describes G (and therefore H itself) in terms of the Dieudonne module of H; more precisely, it describes G(C) for "good" semiperfect k-algebras C (which is enough to reconstruct G). In these notes we give a self-contained proof of this theorem and explain the relation with the classical descriptions of the Dieudonne functor from Dieudonne modules to p-divisible groups.
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 …
We study the existence of a Chow-theoretic decomposition of the diagonal of a smooth cubic hypersurface, or equivalently, the universal triviality of its ${\rm CH}_0$-group. We prove that for odd dimensional cubic hypersurfaces or for cubic fourfolds, this is equivalent to the existence of a cohomological decomposition of the diagonal, and we translate geometrically this last condition. For cubic threefolds $X$, this turns out to be equivalent to the algebraicity of the minimal class $θ^4/4!$ of the intermediate Jacobian $J(X)$. In dimension $4$, we show that a special cubic fourfold with disc…
Rigid analytic 1-motives and conjugate uniformization of abeloid varieties
Morningside Center of Mathematics, Chinese Academy of Sciences（中国科学院数学与系统科学研究院）；Academy of Mathematics and Systems Science, Chinese Academy of Sciences（中国科学院数学与系统科学研究院）；University of Chinese Academy of Sciences（中国科学院大学）；Institute for Advanced Study in Mathematics, Harbin Institute of Technology（哈尔滨工业大学数学研究所）
We adapt for algebraically closed fields $k$ of characteristic greater than $2$ two results of Voisin, on the decomposition of the diagonal of a smooth cubic hypersurface $X$ of dimension $3$ over $\mathbb C$, namely: the equivalence between Chow-theoretic and cohomological decompositions of the diagonal of those hypersurfaces and the fact that the algebraicity (with $\mathbb Z_2$-coefficients) of the minimal class $θ^4/4!$ of the intermediate jacobian $J(X)$ of $X$ implies the Chow-theoretic decomposition of the diagonal of $X$. Using the second result, the Tate conjecture for divisors on sur…
We study local G-shtukas with level structure over a base scheme whose Newton polygons are constant on the base. We show that after a finite base change and after passing to an étale covering, such a local G-shtuka is isogenous to a completely slope divisible one, generalizing corresponding results for p-divisible groups by Oort and Zink. As an application we establish a product structure up to finite morphism on the closed Newton stratum of the universal deformation of a local G-shtuka, similarly to Oort's foliations for p-divisible groups and abelian varieties. This also yields bounds on the…
Let $F$ be a local non-Archimedean field with ring of integers $o$. Let $\bf X$ be a one-dimensional formal $o$-module of $F$-height $n$ over the algebraic closure of the residue field of $o$. By the work of Drinfeld, the universal deformation $X$ of $\bf X$ is a formal group over a power series ring $R_0$ in $n-1$ variables over the completion of the maximal unramified extension of $o$. For $h \in \{0,...,n-1\}$ let $U_h$ be the subscheme of $\Spec(R_0)$ where the connected part of the associated divisible module of $X$ has height $h$. Using the theory of Drinfeld level structures we show tha…
We apply Tate's conjecture on algebraic cycles to study the Néron-Severi groups of varieties fibered over a curve. This is inspired by the work of Rosen and Silverman, who carry out such an analysis to derive a formula for the rank of the group of sections of an elliptic surface. For a semistable fibered surface, under Tate's conjecture we derive a formula for the rank of the group of sections of the associated Jacobian fibration. For fiber powers of a semistable elliptic fibration $E --> C$, under Tate's conjecture we give a recursive formula for the rank of the Néron-Severi groups of these f…
Bounded local G-shtukas are function field analogs for p-divisible groups with extra structure. We describe their deformations and moduli spaces. The latter are analogous to Rapoport-Zink spaces for p-divisible groups. The underlying schemes of these moduli spaces are affine Deligne-Lusztig varieties. For basic Newton polygons the closed Newton stratum in the universal deformation of a local G-shtuka is isomorphic to the completion of a corresponding affine Deligne-Lusztig variety in that point. This yields bounds on the dimension and proves equidimensionality of the basic affine Deligne-Luszt…
For a ring $R$, we construct a universal $K_R$-torsor $\mathcal{T}_R\to K_{Tate(R)}$ on the $K$-theory space of Tate $R$-modules. This torsor is closely related to canonical central extensions of loop groups. Just like classical loop group theory has features of $K$-theory (e.g. determinant bundles, tame symbol cocycle for Kac-Moody extension), the $K$-theory torsor relates higher loop groups with higher $K$-theory. We study the classifying "index" map of this torsor in detail. We explain how it arises in analogy with the classical index map of Fredholm operators, and we relate the $K$-theory …
We construct and study the moduli of continuous representations of a profinite group with integral $p$-adic coefficients. We present this moduli space over the moduli space of continuous pseudorepresentations and show that this morphism is algebraizable. When this profinite group is the absolute Galois group of a $p$-adic local field, we show that these moduli spaces admit Zariski-closed loci cutting out Galois representations that are potentially semi-stable with bounded Hodge-Tate weights and a given Hodge and Galois type. As a consequence, we show that these loci descend to the universal de…
