Related papers: Formalizing the Ring of Witt Vectors

Let $K$ be a complete discrete valued field of characteristic zero with residue field $k_K$ of characteristic $p > 0$. Let $L/K$ be a finite Galois extension with the Galois group $G$ and suppose that the induced extension of residue fields…

The purpose of this this paper is to generalize the functors arising from the theory of Witt vectors duto to Cartier. Given a polynomial $g(q)\in \mathbb Z[q]$, we construct a functor ${\overline {W}}^{g(q)}$ from the category of $\mathbb…

We describe a new approach to relative p-adic Hodge theory based on systematic use of Witt vector constructions and nonarchimedean analytic geometry in the style of both Berkovich and Huber. We give a thorough development of phi-modules…

We develop a sequential-topological study of rational points of schemes of finite type over local rings typical in higher dimensional number theory and algebraic geometry. These rings are certain types of multidimensional complete fields…

The adele ring of a number field is a central object in modern number theory. Its status as a locally compact topological ring is one of the key reasons why. We describe a formal proof that the adele ring of a number field is locally…

We prove the following result related to the inverse problem for universal deformation rings of group representations: Given a finite field k, denote by W(k) the ring of Witt vectors over k and by K the field of fractions of W(k). If a…

Let $k$ be an algebraically closed field of characteristic $2$. In this paper we describe the $(\mathbb{Z}/2\mathbb{Z})^3$-actions on $k[[z]]$ for which there is a discrete valuation ring $R$, a finite extension of the ring of Witt vectors…

The aim of this article is to give a self-contained account of the algebra and model theory of Cohen rings, a natural generalization of Witt rings. Witt rings are only valuation rings in case the residue field is perfect, and Cohen rings…

Let $\mathbb{F}_{q}$ be a finite field of characteristic $p$ and let $W_{2}(\mathbb{F}_{q})$ be the ring of Witt vectors of length two over $\mathbb{F}_{q}$. We prove that for any integer $n$ such that $p$ divides $n$, the groups…

This note is a meditation on a generalization $\mathbb{W}_E$ of the classical p-typical Witt vectors $\mathbb{W}_p$, which arises (geometrically) from isogenies of deformations of formal groups, or (topologically) from the theory of power…

We prove several surjectivity criteria for $p$-adic representations. In particular, we classify all adjoint and simply connected group schemes $G$ over the Witt ring $W(k)$ of a finite field $k$ such that the epimorphism…

Let $p$ be a prime integer and $\mathbb{Z}_p$ be the ring of $p$-adic integers. By a purely computational approach we prove that each nonzero normal element of a completed group algebra over the special linear group ${\rm…

We consider generalized $\Lambda$-structures on algebras and schemes over the ring of integers $\mathit{O}_K$ of a number field $K$. When $K=\mathbb{Q}$, these agree with the $\lambda$-ring structures of algebraic K-theory. We then study…

Let R be a complete discrete valuation ring, S=R[[u]] and n a positive integer. The aim of this paper is to explain how to compute efficiently usual operations such as sum and intersection of sub-S-modules of S^d. As S is not principal, it…

We investigate the relative assembly map from the family of finite subgroups to the family of virtually cyclic subgroups for the algebraic $K$-theory of twisted group rings of a group G with coefficients in a regular ring R or, more…

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 study quadratic form parameters $Q$ over the integers and extended quadratic forms with values in $Q$, which we call $Q$-forms. Certain form parameters $Q$ appeared in Wall's work on the classification of almost closed $(n-1)$-connected…

Let k be a perfect field of characteristic p and let $W_n(k)$ denote the p-typical Witt vectors of length n. For example, $W_n(\mathbb{F}_p)=\mathbb{Z}/p^n$. We study the algebraic K-theory of $W_n(k)$, and prove that $K(W_n(k))$ satisfies…

Let $J$ be an abelian variety over a number field such that the center of its endomorphism ring is equal to the ring of integers. If the endomorphism ring splits at a prime number $l$, then the $l$-adic representation is defined by the…

This is the first part of a 2 part survey on the functor of the big and p-adic Witt vectors.