Related papers: Witt vectors with coefficients and TR

For a profinite group $G$ we describe an abelian group $W_G(R; M)$ of $G$-typical Witt vectors with coefficients in an $R$-module $M$ (where $R$ is a commutative ring). This simultaneously generalises the ring $W_G(R)$ of Dress and…

We show that various flavors of Witt vectors are functorial with respect to multiplicative polynomial laws of finite degree. We then deduce that the $p$-typical Witt vectors are functorial in multiplicative polynomial maps of degree at most…

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…

The classical Witt vectors are a ubiquitous object in algebra and number theory. They arise as a functorial construction that takes perfect fields k of prime characteristic p > 0 to p-adically complete discrete valuation rings of…

For a prime $p$ and an associative ring $R$ with unity, there are various constructions of $p$-typical Witt vectors of $R$, all of which specialize to the classical $p$-typical Witt vectors when $R$ is commutative. These constructions are…

Hesselholt and Madsen in [7] define and study the (absolute, p-typical) de Rham-Witt complex in mixed characteristic, where p is an odd prime. They give as an example an elementary algebraic description of the de Rham-Witt complex over…

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…

For a prime $p$ and a commutative ring $R$ with unity, let $W(R)$ denote the group of $p$-typical Witt vectors. The group $W(R)$ is endowed with a Verschiebung operator $V: W(R)\to W(R)$ and a Teichm\"{u}ller map $\langle \ \rangle:…

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…

The $p$th degree Hilbert symbol $(\cdot,\cdot )_p:K^\times/K^{\times p}\times K^\times/K^{\times p}\to{}_p{\rm Br}(K)$ from characteristic $\neq p$ has two analogues in characteristic $p$, $$[\cdot,\cdot )_p:K/\wp (K)\times…

In arxiv:1602.04254, we have defined polynomial Witt vectors functor from vector spaces over a perfect field $k$ of positive characteristic $p$ to abelian groups. In this paper, we use polynomial Witt vectors to construct a functorial…

In [Ill79], Illusie constructed de Rham-Witt complex of smooth $\mathbb F_p$-algebras R, which computes the crystalline cohomology of R, a $\mathbb Z_p$-lift of the de Rham cohomology of R. There are two different extensions of de Rham-Witt…

The ring of Witt vectors $\mathbb{W} R$ over a base ring $R$ is an important tool in algebraic number theory and lies at the foundations of modern $p$-adic Hodge theory. $\mathbb{W} R$ has the interesting property that it constructs a ring…

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…

The explicit formulas of operations, in particular addition and multiplication, of $p $-adic integers are presented. As applications of the results, at first the explicit formulas of operations of Witt vectors with coefficients in…

A subtraction-free definition of the big Witt vector construction was recently given by the first author. This allows one to define the big Witt vectors of any semiring. Here we give an explicit combinatorial description of the big Witt…

We revisit the computation, due to Hesselholt and Madsen, of the K-theory of truncated polynomial algebras for perfect fields of positive characteristic. The resulting K-groups are expressed in terms of big Witt vectors of the field. The…

We define twisted Hochschild homology for Green functors. This construction is the algebraic analogue of the relative topological Hochschild homology $THH_{C_n}(-)$, and it describes the $E_2$ term of the K\"unneth spectral sequence for…

Let R be a perfect F_p-algebra, equipped with the trivial norm. Let W(R) be the ring of p-typical Witt vectors over R, equipped with the p-adic norm. At the level of nonarchimedean analytic spaces (in the sense of Berkovich), we demonstrate…

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…