English
Related papers

Related papers: Formalizing the Ring of Witt Vectors

200 papers

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…

Algebraic Topology · Mathematics 2025-09-16 Thomas Read

Let $K$ be a complete discrete valuation field of characteristic zero with residue field $k_K$ of characteristic $p>0$. Let $L/K$ be a finite Galois extension with Galois group $G=\Gal(L/K)$ and suppose that the induced extension of residue…

Number Theory · Mathematics 2011-10-03 Wilson Ong

In $p$-adic Hodge theory and the $p$-adic Langlands program, Banach spaces with $\mathbb{Q}_p$-coefficients and $p$-adic Lie group actions are central. Studying the subrepresentation of $\Gamma$-locally analytic vectors, $W^{\mathrm{la}}$,…

Number Theory · Mathematics 2025-09-29 Gal Porat

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…

Number Theory · Mathematics 2014-09-29 Christopher Davis , Kiran S. Kedlaya

Number fields and their rings of integers, which generalize the rational numbers and the integers, are foundational objects in number theory. There are several computer algebra systems and databases concerned with the computational aspects…

Logic in Computer Science · Computer Science 2025-01-20 Anne Baanen , Alain Chavarri Villarello , Sander R. Dahmen

The aim of this article is to prove some results on the existence of an integral extension domain of a complete local Noetherian domain in mixed characteristic $p>0$ having certain distinguished properties with respect to the Frobenius map.…

Commutative Algebra · Mathematics 2017-04-25 Kazuma Shimomoto

Our main goal in this paper is to prove results for Witt vectors in the almost category. We finish with an application to almost purity, in particular offering a new proof for rank one valuation rings.

Commutative Algebra · Mathematics 2023-06-21 Ivan Zelich

The Witt ring of a complex flag variety describes the interesting -- i.e. torsion -- part of its topological KO-theory. We show that for a large class of flag varieties, these Witt rings are exterior algebras, and that the degrees of the…

Algebraic Topology · Mathematics 2022-06-02 Tobias Hemmert , Marcus Zibrowius

Fix an odd prime $p$. The results in this paper are modeled after work of Hesselholt and Hesselholt-Madsen on the $p$-typical absolute de Rham-Witt complex in mixed characteristic. We have two primary results. The first is an exact sequence…

Number Theory · Mathematics 2020-03-10 Christopher Davis , Irakli Patchkoria

Wawamoto generalized the Witt algebra using Laurent extension of polynomial ring. We construct the generalized Witt algebra $W(g_p,n)$ by using an additive map $g_p$ from a set of integers into a field of characteristic zero where $1\leq p…

Representation Theory · Mathematics 2016-09-07 Ki-Bong Nam , Moon Ok Wang

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…

Rings and Algebras · Mathematics 2018-02-19 Constantin-Nicolae Beli

Let O be a complete discrete valuation ring of mixed characteristic and with finite residue field k. We study a natural morphism between the Greenberg algebra of O and the special fiber of the scheme of ramified Witt vectors over O. It is a…

Algebraic Geometry · Mathematics 2020-03-04 Alessandra Bertapelle , Maurizio Candilera

This is a survey of the known properties of Iwasawa algebras, which are completed group rings of compact p-adic analytic groups with coefficients the ring Zp of p-adic integers or the field Fp of p elements. A number of open questions are…

Rings and Algebras · Mathematics 2007-05-23 K. Ardakov , K. A. Brown

We give, for every finite group G, a combinatorial description of the ring of G-Witt vectors on a polynomial algebra over the integers. Using this description we show that the functor, which takes a ring with trivial action of G to its ring…

Commutative Algebra · Mathematics 2007-05-23 Morten Brun

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 reductive group scheme $\mathbb{G}$ over $\mathbb{Z}$ such…

Representation Theory · Mathematics 2019-02-20 Alexander Stasinski , Andrea Vera-Gajardo

Based on our previous work on an arithmetic analogue of Christol's theorem, this paper studies in more detail the structure of the lambda-ring $E_K = K \otimes W_{O_K}^a (O_{\bar{K}})$ of algebraic Witt vectors for number fields $K$. First…

Number Theory · Mathematics 2021-11-05 Takeo Uramoto

A finite abelian $p$-group having an automorphism $x$ such that $1+\ldots+x^{p-1}=0$, can be viewed as a module over an appropriate discrete valuation ring $\mathcal{O}$ containing $\mathbb{Z}_p$ (the ring of $p$-adic integer). This yields…

Group Theory · Mathematics 2023-03-14 Boubakeur Bahri , Yassine Guerboussa

The Witt algebra W_n is the Lie algebra of all derivations of the n-variable polynomial ring V_n=C[x_1, ..., x_n] (or of algebraic vector fields on A^n). A representation of W_n is polynomial if it arises as a subquotient of a sum of tensor…

Representation Theory · Mathematics 2025-10-21 Steven V Sam , Andrew Snowden , Philip Tosteson

As an extension of previous ungraded work, we define a graded $p$-polar ring to be an analog of a graded commutative ring where multiplication is only allowed on $p$-tuples (instead of pairs) of elements of equal degree. We show that the…

Algebraic Topology · Mathematics 2021-06-04 Tilman Bauer

This paper contains three parts. In the first part, we give a thorough overview of the theory of Artin-Schreier-Witt extensions: this theory allows one to understand the $\mathbf{Z}/p^n\mathbf{Z}$-extensions of any field $K$ of…

Number Theory · Mathematics 2016-07-05 Michiel Kosters , Daqing Wan