Related papers: Almost purity and overconvergent Witt vectors

We relate the theory of purity of a locally finitely presented category with products to the study of exact structures on the full subcategory of finitely presented objects. Properties in the context of purity are translated to properties…

We establish an analogue of the Zariski--Nagata purity theorem for finite \'etale covers on smooth schemes over Pr\"ufer rings by demonstrating Auslander's flatness criterion in this non-Noetherian context. We derive an Auslander--Buchsbaum…

Inspired from the work of P. Scholze on the finiteness of \(\mathbf{F}_{p}\)-cohomology groups of proper rigid-analytic varieties over \(p\)-adic fields, Zavyalov recently introduced the notion of almost coherent rings, which plays a key…

The purpose of this article is to prove some results on the Witt vectors of perfect $\mathbf{F}_p$-algebras. Let $A$ be a perfect $\mathbf{F}_p$-algebra for a prime integer $p$ and assume that $A$ has the property $\mathbf{P}$. Then does…

Let $R$ be a commutative ring. An $R$-module $M$ is said to be almost projective if ${\rm Ext}^1_R(M, N) = 0$ for any $R_{\mathfrak{m}}$-module $N$ and any maximal ideal $\mathfrak{m}$ of $R$. In this paper, we investigate rings $R$ over…

We give a concrete description of the category of etale algebras over the ring of Witt vectors of a given finite length with entries in an arbitrary ring. We do this not only for the classical p-typical and big Witt vector functors but also…

As an example of relative p-adic Hodge theory, we sketch the construction of the universal admissible filtration of an isocrystal (\phi$-module) over the completion of the maximal unramified extension of Q_p, together with the associated…

We study the relative Frobenius map associated with a map of derived commutative rings over a field of positive characteristic. As part of this, we examine a relative analog of perfectness and construct a relative inverse limit perfection…

We consider a finite acyclic quiver $\mathcal{Q}$ and a quasi-Frobenius ring $R$. We endow the category of quiver representations over $R$ with a model structure, whose homotopy category is equivalent to the stable category of…

A proof of Grothendieck--Serre conjecture on principal bundles over a semi-local regular ring containing an infinite field is given in [FP] recently. That proof is based significantly on Theorem 1.0.1 stated below in the Introduction and…

We prove a mixed version of a conjecture of Griffiths: that the closure of the image of any admissible mixed period map is quasiprojective, with a natural ample bundle. Specifically, we consider the map from the image of the mixed period…

We study projective completions of affine algebraic varieties which are given by filtrations, or equivalently, 'degree like functions' on their rings of regular functions. For a quasifinite polynomial map P (i.e. with all fibers finite) of…

In this paper, we prove that a complete Noetherian local domain of mixed characteristic $p>0$ with perfect residue field has an integral extension that is an integrally closed, almost Cohen-Macaulay domain such that the Frobenius map is…

We give a direct construction of the ring spectrum of spherical Witt vectors of a perfect $\mathbb{F}_p$-algebra R as the completion of the spherical monoid algebra $\mathbb{S}[R]$ of the multiplicative monoid $(R,\cdot)$ at the ideal $I =…

We extend Faltings's "almost purity theorem" on finite etale extensions of perfectoid algebras (as generalized by Scholze and Kedlaya-Liu) to the ramified case, without restriction on the discriminant. The key point is a perfectoid version…

Let A be a finitely generated algebra over a field K of characteristic p >0. We introduce a subring of the ring of Witt vectors W(A). We call it the ring of overconvergent Witt vectors. We prove that on a scheme X of finite type over K the…

Among all affine, flat, finitely presented group schemes, we focus on those that are pure, this includes all groups which are extensions of a finite locally free group by a group with connected fibres. We prove that over an arbitrary base…

We prove a version of faithfully flat descent in rigid analytic geometry, for almost perfect complexes and without finiteness assumptions on the rings involved. This extends results of Drinfeld for vector bundles.

We introduce a certain class of so-called perfectoid rings and spaces, which give a natural framework for Faltings' almost purity theorem, and for which there is a natural tilting operation which exchanges characteristic 0 and…

We describe a class of multivariate series rings generalizing the usual Robba ring over a p-adic field, and give a basic development of phi-modules over such rings. This makes it possible to give a unified survey of a number of recent…