The goal is to construct three related "prismatization" functors from the category of p-adic formal schemes to that of formal stacks. This should provide a good category of coefficients for prismatic cohomology in the spirit of F-gauges. In this article we define and study the three versions of the prismatization of the formal spectrum of the ring of p-adic integers.
In this note, we introduce and study the Cartier--Witt stack $\mathrm{WCart}_X$ attached to a $p$-adic formal scheme $X$ as well as some variants. In particular, we reinterpret the notion of prismatic crystals on $X$ and their cohomology in terms of quasicoherent sheaf theory on $\mathrm{WCart}_X$ in favorable situations.
We investigate a certain class of (geometric) finite (Galois) coverings of formal fibres of $p$-adic curves and the corresponding quotient of the (geometric) étale fundamental group. A key result in our investigation is that these (Galois) coverings can be compactified to finite (Galois) coverings of proper $p$-adic curves. We also prove that the maximal prime-to-$p$ quotient of the geometric étale fundamental group of a (geometrically connected) formal fibre of a $p$-adic curve is (pro-)prime-to-$p$ free of finite computable rank.
We investigate generalizations along the lines of the Mordell--Lang conjecture of the author's $p$-adic formal Manin--Mumford results for $n$-dimensional $p$-divisible formal groups $\mathcal{F}$. In particular, given a finitely generated subgroup $Γ$ of $\mathcal{F}(\overline{\mathbb{Q}}_p)$ and a closed subscheme $X\hookrightarrow \mathcal{F}$, we show under suitable assumptions that for any points $P\in X(\mathbb{C}_p)$ satisfying $nP\inΓ$ for some $n\in\mathbb{N}$, the minimal such orders $n$ are uniformly bounded whenever $X$ does not contain a formal subgroup translate of positive dimens…
We show the non-existence of sections of arithmetic fundamental groups of open p-adic annuli of small radii, this implies the non-existence of sections of arithmetic fundamental groups of formal boundaries of formal germs of p-adic curves.
We prove that for any proper smooth formal scheme $\frak X$ over $\mathcal O_K$, where $\mathcal O_K$ is the ring of integers in a complete discretely valued nonarchimedean extension $K$ of $\mathbb Q_p$ with perfect residue field $k$ and ramification degree $e$, the $i$-th Breuil-Kisin cohomology group and its Hodge-Tate specialization admit nice decompositions when $ie<p-1$. Thanks to the comparison theorems in the recent works of Bhatt, Morrow and Scholze, we can then get an integral comparison theorem for formal schemes when the cohomological degree $i$ satisfies $ie<p-1$, which generalize…
Given a smooth formal scheme over the ring of integers of a mixed-characteristic perfectoid field, we study its $p$-adic vanishing cycles via de Rham--Witt and $q$-de Rham complexes.
The goal of this paper is to study a $p$-adic analog of the joint of the conjectures of André--Oort and André--Pink. More precisely, on a product of ordinary Siegel formal moduli schemes, we study the distribution of points whose components are either CM points or points in Hecke orbits. We use linearity of formal subschemes of the product as the $p$-adic analog of geodesicness over complex numbers. Moreover, we relax the usual incidence relations by using $p$-adic distance. We also study a $p$-adic formal scheme theoretic analog of the Ax--Lindemann theorem.
Our results concern analytic functions on the open unit $p$-adic poly-disc in $\mathbb{C}^n_p$ centered at the multiplicative unit and we prove that such functions only vanish at finitely many $n$-tuples of roots of unity $(ζ_1-1,\ldots,ζ_n-1)$ unless they vanish along a translate of the formal multiplicative group. For polynomial functions, this follows from the multiplicative Manin-Mumford conjecture. However we allow for a much wider class of analytic functions; in particular we establish a rigidity result for formal tori. Moreover, our methods apply to Lubin-Tate formal groups beyond just …
The aim of the present paper is to provide a new aspect of the $p$-adic Teichmüller theory established by S. Mochizuki. We study the symplectic geometry of the $p$-adic formal stacks $\widehat{\mathcal{M}}_{g, \mathbb{Z}_p}$ (= the moduli classifying $p$-adic formal curves of fixed genus $g>1$) and $\widehat{\mathcal{S}}_{g, \mathbb{Z}_p}$ (= the moduli classifying $p$-adic formal curves of genus $g$ equipped with an indigenous bundle). A major achievement in the (classical) $p$-adic Teichmüller theory is the construction of the locus $\widehat{\mathcal{N}}_{g, \mathbb{Z}_p}^{\mathrm{ord}}$ in…
The goal of the present text is to state and prove a generalization of Raynaud localization theorem in the setting of derived geometry. More explicitly, we show that the $\infty$-category of quasi-paracompact and quasi-separated derived $k$-analytic spaces can be realized as a localization of the $\infty$-category of admissible derived formal schemes. We construct a derived rigidification functor generalizing Raynaud rigidification functor. In order to construct the latter we will need to formalize derived formal $\mathcal{O}_k$-adic formal geometry via a structured spaces approach. We prove t…
We show that the Deligne formal model of the Drinfeld p-adic halfplane relative to a non-archimedean local field F represents a moduli problem of polarized O_F-modules with an action of the ring of integers O_E in a quadratic extension E of F. The proof proceeds by establishing a comparison isomorphism with the Drinfeld moduli problem. This isomorphism reflects the accidental isomorphism of SL_2(F) and SU(C)(F) for a two-dimensional split hermitian space C for E/F.
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 make a systematic study of the infinitesimal lifting conditions of a pseudo finite type map of noetherian formal schemes. We recover the usual general properties in this context, and, more importantly, we uncover some new phenomena. We define a completion map of formal schemes as the one that arises canonically by performing the completion of a noetherian formal scheme along a subscheme, following the well-known pattern of ordinary schemes. These maps are etale in the sense of this work (but not adic). They allow us to give a local description of smooth morphisms. This morphisms can be fact…
We generalise Dwork's theory of $p$-adic formal congruences from the univariate to a multi-variate setting. We apply our results to prove integrality assertions on the Taylor coefficients of (multi-variable) mirror maps. More precisely, with $\mathbf z=(z_1,z_2,...,z_d)$, we show that the Taylor coefficients of the multi-variable series $q(\mathbf z)=z_i\exp(G(\mathbf z)/F(\mathbf z))$ are integers, where $F(\mathbf z)$ and $G(\mathbf z)+\log(z_i) F(\mathbf z)$, $i=1,2,...,d$, are specific solutions of certain GKZ systems. This result implies the integrality of the Taylor coefficients of numer…
We construct a new cohomology theory for proper smooth (formal) schemes over the ring of integers of C_p. It takes values in a mixed-characteristic analogue of Dieudonne modules, which was previously defined by Fargues as a version of Breuil-Kisin modules. Notably, this cohomology theory specializes to all other known p-adic cohomology theories, such as crystalline, de Rham and etale cohomology, which allows us to prove strong integral comparison theorems. The construction of the cohomology theory relies on Faltings's almost purity theorem, along with a certain functor $Lη$ on the derived cate…
We prove a number of p-adic congruences for the coefficients of powers of a multivariate polynomial f(x) with coefficients in a ring R of characteristic zero. If the Hasse--Witt operation is invertible, our congruences yield p-adic limit formulas which conjecturally describe the Gauss--Manin connection and the Frobenius operator on the unit-root crystal attached to f(x). As a second application, we associate with f(x) formal group laws over R. Under certain assumptions these formal group laws are coordinalizations of the Artin--Mazur functors. (This is a final version which we send for a publi…
This article is the first one of a series aiming to construct an isomorphism between the p-adic Lubin-Tate and Drinfeld towers, describe this isomorphism and give applications. We construct a p-adic equivariant integral model of the Lubin-Tate tower with infinite level. This formal scheme will be later compared to another one associated to the Drinfeld tower.
We construct the crystalline comparison isomorphisms for proper smooth formal schemes over an absolutely unramified base. Such isomorphisms hold for étale cohomology with nontrivial coefficients, as well as in the relative setting, i.e. for proper smooth morphisms of smooth formal schemes. The proof is formulated in terms of the pro-étale topos introduced by Scholze, and uses his primitive comparison theorem for the structure sheaf on the pro-étale site. Moreover, we need to prove the Poincaré lemma for crystalline period sheaves, for which we adapt the idea of Andreatta and Iovita. Another in…
In this paper we show that it is possible to define a topology on the category of formal schemes over a ring of $p$-adic integers such that the left adjoint of the Greenberg Transform is a site cocontinuous functor when we equip the category of schemes over the residue field with the étale topology. We show furthermore that this topology allows us to give an isomorphism between the corresponding fundamental groups, and use this isomorphism to show that it is possible to geometrize the quasicharacters of a $p$-adic torus by a local system on a formal scheme over the ring of $p$-adic integers.
