Related papers: On the Witt vector Frobenius
In a previous paper, we stated a general almost purity theorem in the style of Faltings: if R is a ring for which the Frobenius maps on finite p-typical Witt vectors over R are surjective, then the integral closure of R in a finite \'etale…
The almost purity theorem is central to the geometry of perfectoid spaces and has numerous applications in algebra and geometry. This result is known to have several different proofs in the case that the base ring is a perfectoid valuation…
We establish structure results for Frobenius kernels of automorphism group schemes for surfaces of general type in positive characteristics. It turns out that there are surprisingly few possibilities. This relies on properties of the famous…
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…
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 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…
In this paper we develop a novel approach to Witt vector rings and to the (relative) de Rham Witt complex. We do this in the generality of arbitrary commutative algebras and arbitrary truncation sets. In our construction of Witt vector…
In the search of a projective analog of Kunz's theorem and a Frobenius-theoretic analog of Mori--Hartshorne's theorem, we investigate the positivity of the kernel of the Frobenius trace (equivalently, the negativity of the cokernel of the…
Let X be a smooth projective curve of genus g>1 defined over an algebraically closed field k of characteristic p>0. Let M_X(r) be the moduli space of semi-stable rank r vector bundles with fixed trivial determinant. The relative Frobenius…
We investigate the injectivity of the Frobenius map on thickenings of smooth varieties in projective space over a field of positive characteristic. We obtain uniform bounds -- i.e., independent of the characteristic -- on the thickening…
We give a universal property of the construction of the ring of $p$-typical Witt vectors of a commutative ring, endowed with Witt vectors Frobenius and Verschiebung, and generalize this construction to the derived setting. We define an…
Let $\Cc$ and $\Dd$ be two corings over a ring $A$ and $\Cc\stackrel{\lambda}{\longrightarrow}\Dd$ be a morphism of corings. We investigate the situation when the associated induced ("corestriction of scalars") functor…
We show that the Frobenius and Verschiebung maps that are fundamental to Witt vectors lift to the reduced K-theory of endomorphisms. In particular, we define Frobenius and Verschiebung maps for the reduced K-theory of twisted endomorphisms…
We describe the action of the different Frobenius morphisms on the cohomology ring of the moduli stack of algebraic vector bundles of fixed rank and determinant on an algebraic curve over a finite field in characteristic p and analyse…
This is an introduction to the theory of Witt vectors. It includes a construction of the Witt rings, the Frobenius and Verschiebung endomorphisms, the canonical map from W to W^2 (its lambda-algebra structure), the relation to strict…
For every commutative ring $A$, one has a functorial commutative ring $W(A)$ of $p$-typical Witt vectors of $A$, an iterated extension of $A$ by itself. If $A$ is not commutative, it has been known since the pioneering work of L. Hesselholt…
With a small suitable modification, dropping the projectivity condition, we extend the notion of a Frobenius algebra to grant that a Frobenius algebra over a Frobenius commutative ring is itself a Frobenius ring. The modification introduced…
We extend the big and $p$-typical Witt vector functors from commutative rings to commutative semirings. In the case of the big Witt vectors, this is a repackaging of some standard facts about monomial and Schur positivity in the…
The paper studies the dimensions of irreducible components of commuting varieties of (restricted) nilpotent $r$-tuples in a classical Lie algebra $\mathfrak{g}$ defined over an algebraically closed field $k$. As applications, we obtain some…
We investigate Frobenius pairs between categories of comodules over rather general corings. We particularize to the case of the adjoint pair of functors associated to a morphism of corings over different base rings, which leads to a…