# Witt vector

A **Witt vector** is an element of a ring \( W(A) \) built from a commutative ring \( A \) and a prime \( p \): as a set it is simply an infinite sequence \( (a_0, a_1, a_2, \ldots) \) of elements of \( A \), but addition and multiplication are defined by polynomial formulas rather than componentwise, so that \( W(A) \) becomes a ring of characteristic 0 even when \( A \) has characteristic \( p \). The construction, introduced by [Ernst Witt](https://www.edgepedia.org/ernst-witt), is a functor \( W \) on commutative rings and is a standard tool in algebraic number theory and \( p \)-adic [Hodge theory](https://www.edgepedia.org/hodge-theory).<sup>[1](https://encyclopediaofmath.org/wiki/Witt_vector)</sup><sup> • </sup><sup>[2](https://arxiv.org/abs/2010.02595)</sup>

| Key fact | Detail |
|---|---|
| Underlying set | \( W(A) \) consists of sequences \( (a_1, a_2, \ldots) \) with \( a_i \in A \); a ring homomorphism \( \phi : A \to B \) acts componentwise<sup>[1](https://encyclopediaofmath.org/wiki/Witt_vector)</sup> |
| Ghost components | For each \( n \geq 1 \) the Witt polynomial \( w_n(X) = \sum_{d \mid n} d X_d^{n/d} \) gives a functorial ring homomorphism \( w_{n,A} : W(A) \to A \)<sup>[1](https://encyclopediaofmath.org/wiki/Witt_vector)</sup> |
| Characteristic | \( W(A) \) is a commutative ring of characteristic 0 even when \( A \) has characteristic \( p > 1 \)<sup>[2](https://arxiv.org/abs/2010.02595)</sup> |
| Perfect base | If \( k \) is a perfect field of characteristic \( p \), \( W(k) \) is a complete discrete valuation ring of characteristic 0 with residue field \( k \) and maximal ideal \( pW(k) \)<sup>[1](https://encyclopediaofmath.org/wiki/Witt_vector)</sup> |
| Prime field | The big Witt ring \( W(\mathbf{F}_p) \) is a product of copies of the ring \( \mathbf{Z}_p \) of \( p \)-adic integers, while the \( p \)-typical Witt ring \( W_p(\mathbf{F}_p) \) is \( \mathbf{Z}_p \)<sup>[1](https://encyclopediaofmath.org/wiki/Witt_vector)</sup><sup> • </sup><sup>[13](https://kskedlaya.org/prismatic/sec_lambda-rings.html)</sup> |
| Finite fields | For \( \mathbf{F}_q \) with \( q = p^n \), \( W_p(\mathbf{F}_q) \) is the ring of integers of the unramified extension \( \mathbf{Q}_p(\zeta_{q-1}) \) of \( \mathbf{Q}_p \) of degree \( n \)<sup>[3](https://kskedlaya.org/prismatic/sec_Witt.html)</sup> |
| Teichmüller representative | Each \( a \in A \) gives \( a^\tau = (a, 0, 0, \ldots) \in W(A) \), a multiplicative (not additive) section of the projection \( W(A) \to A \)<sup>[1](https://encyclopediaofmath.org/wiki/Witt_vector)</sup><sup> • </sup><sup>[4](https://swc-math.github.io/aws/2017/2017WeinsteinNotes.pdf)</sup> |
| Truncations | For every \( n \) there is a ring \( W_n(A) \) of truncated Witt vectors of length \( n \); the spectra of the corresponding polynomial rings are Witt schemes<sup>[1](https://encyclopediaofmath.org/wiki/Witt_vector)</sup> |

## Definition and the ghost map

The construction is best described through the Witt polynomials. For each \( n \in \{1, 2, \ldots\} \) one sets

\[ w_n(X) = \sum_{d \mid n} d X_d^{n/d}. \]

A characterization theorem states that there is a unique functor \( W : \mathbf{Ring} \to \mathbf{Ring} \) with two properties: as a set-valued functor, \( W(A) \) is the set of sequences \( (a_1, a_2, \ldots) \) in \( A \), with \( W(\phi) \) applying a homomorphism \( \phi \) componentwise; and for every \( A \) and \( n \), the map \( w_{n,A} : W(A) \to A \) sending a sequence to \( w_n(a_1, a_2, \ldots) \) is a functorial ring homomorphism.<sup>[1](https://encyclopediaofmath.org/wiki/Witt_vector)</sup> The maps \( w_{n,A} \) are collectively called the ghost map: the components \( w_n \) of a Witt vector are its ghost components, and the ring operations on \( W(A) \) are the unique ones that make all \( w_{n,A} \) homomorphisms.<sup>[1](https://encyclopediaofmath.org/wiki/Witt_vector)</sup><sup> • </sup><sup>[5](https://chromotopy.org/blog/what-are-witt-vectors)</sup>

The functor can be represented by a ring of polynomials \( \mathbf{Z}[X_0, X_1, \ldots, X_n, \ldots] \) (or \( \mathbf{Z}[X_0, \ldots, X_{n-1}] \) in the truncated case) carrying a ring-object structure; its spectrum is called a Witt scheme, or truncated Witt scheme, and is an example of a ring scheme.<sup>[1](https://encyclopediaofmath.org/wiki/Witt_vector)</sup>

Recovering the Witt coordinates from the ghost components is a recursive problem. For truncated vectors over a polynomial ring, the inverse ghost map has the form

\[ R_0 = T_0, \qquad p^j R_j = T_j - \sum_{i=0}^{j-1} p^i R_i^{p^{j-i}} \quad (j > 0), \]

where \( (T_j) \) are the ghost components and \( (R_i) \) the Witt coefficients. The division by \( p^j \) is what makes direct Witt arithmetic delicate and motivates algorithms that compute in ghost components and invert only at the end.<sup>[6](https://www.themoonlight.io/es/review/faster-computation-of-witt-vectors-over-polynomial-rings)</sup>

## Witt vectors over perfect rings

The most important special case concerns perfect rings of characteristic \( p \), that is, rings in which the Frobenius map \( x \mapsto x^p \) is an automorphism. For such a ring \( R \), \( W(R) \) is separated and complete for the \( p \)-adic topology, and the projection \( W(R) \to R \) admits a multiplicative section \( x \mapsto [x] \), the Teichmüller lift.<sup>[4](https://swc-math.github.io/aws/2017/2017WeinsteinNotes.pdf)</sup> When \( k \) is a perfect field of characteristic \( p \), \( W(k) \) is a complete discrete valuation ring of characteristic zero with residue field \( k \) and maximal ideal \( pW(k) \). Every element \( \omega \in W(k) \) has a unique expansion

\[ \omega = \omega_0^\tau + p\,\omega_1^\tau + p^2\,\omega_2^\tau + \cdots, \qquad \omega_i \in k, \]

and conversely any such ring with residue field \( k \) is canonically isomorphic to \( W(k) \). The Teichmüller representation gives a canonical multiplicative homomorphism \( k \to W(k) \) splitting the reduction map \( W(k) \to W(k)/p \simeq k \).<sup>[1](https://encyclopediaofmath.org/wiki/Witt_vector)</sup>

The construction recovers familiar rings from finite fields. For the big [Witt vectors](https://www.edgepedia.org/witt-vectors) defined by the stated ghost polynomials, \( W(\mathbf{F}_p) \) is a product of copies of the ring \( \mathbf{Z}_p \) of \( p \)-adic integers; the identification \( W(\mathbf{F}_p) \cong \mathbf{Z}_p \) is the \( p \)-typical Witt-vector one.<sup>[1](https://encyclopediaofmath.org/wiki/Witt_vector)</sup><sup> • </sup><sup>[13](https://kskedlaya.org/prismatic/sec_lambda-rings.html)</sup> More generally, for the finite field \( \mathbf{F}_q \) with \( q = p^n \) elements, \( W_p(\mathbf{F}_q) \) is isomorphic to the [ring of integers](https://www.edgepedia.org/ring-of-integers) \( \mathcal{O}_K \) of \( K = \mathbf{Q}_p(\zeta_{q-1}) \), the unique unramified extension of \( \mathbf{Q}_p \) of degree \( n \).<sup>[3](https://kskedlaya.org/prismatic/sec_Witt.html)</sup> This is how Witt vectors build, from a finite field containing \( \mathbf{Z}/p\mathbf{Z} \), the corresponding unramified extension of the \( p \)-adic numbers, which is unique up to isomorphism.<sup>[2](https://arxiv.org/abs/2010.02595)</sup>

## Functorial operators

The Witt functor carries additional functorial endomorphisms \( \mathbf{f}_n : W \to W \), one for each positive integer \( n \), uniquely characterized by the identities \( w_n \mathbf{f}_m = w_{nm} \) for all \( n, m \).<sup>[1](https://encyclopediaofmath.org/wiki/Witt_vector)</sup> In the \( p \)-typical setting these appear alongside the Verschiebung operator \( V : W(R) \to W(R) \) and the Teichmüller map \( \langle \cdot \rangle : R \to W(R) \); one basic relation is that \( x \mapsto V\langle x^p \rangle - p\langle x \rangle \) is an additive map \( R \to W(R) \). A 2025 result of Supriya Pisolkar and Biswanath Samanta shows that for \( p \neq 2 \) this additivity property essentially characterizes the \( p \)-typical Witt functor, giving a group-theoretic universal characterization.<sup>[7](https://www.sciencedirect.com/science/article/abs/pii/S0021869325001516)</sup>

## Variants and generalizations

Several families of Witt vectors coexist. Besides the \( p \)-adic (\( p \)-typical) Witt vectors \( W_{p^\infty} \), there are truncated big Witt vectors \( W_n \), ramified Witt vectors, and noncommutative variants.<sup>[8](https://www.sas.rochester.edu/mth/sites/doug-ravenel/otherpapers/Hazewinkel-Witt.pdf)</sup> Truncated vectors \( W_n(A) \) of length \( n \) exist for every natural number \( n \).<sup>[1](https://encyclopediaofmath.org/wiki/Witt_vector)</sup> The ghost-map framework also generalizes: for a finite group \( G \), \( G \)-typical Witt vectors and Witt vectors with coefficients admit ghost maps that specialize to the usual ghost maps of truncated and \( G \)-typical Witt vectors of a commutative ring.<sup>[9](https://doi.org/10.1112/topo.70038)</sup> Constructions have also been extended beyond commutative rings: for a prime \( p \) and an associative ring \( R \) with unity, a universal construction yields \( p \)-typical Witt vectors that specialize to the classical functor when \( R \) is commutative.<sup>[10](https://arxiv.org/abs/2601.20536)</sup>

## Applications

Witt vectors are foundational in \( p \)-adic Hodge theory, which studies the relations between étale, de Rham, and crystalline cohomology of varieties over \( p \)-adic fields; constructions such as the ring \( B_{\mathrm{dR}} \) build on the Witt vector formalism, and the theory has been fully formalized in the Lean proof assistant together with the ring operations and fundamental operators.<sup>[2](https://arxiv.org/abs/2010.02595)</sup><sup> • </sup><sup>[11](https://leanprover-community.github.io/witt-vectors/witt-vectors.pdf)</sup> The \( p \)-adic deformation of a perfect ring of characteristic \( p \) is given by its ring of Witt vectors, which is the mechanism behind the lifting of objects from characteristic \( p \) to characteristic 0.<sup>[12](https://citeseerx.ist.psu.edu/document?doi=5c28cb7d486b4d3b4d4379a81ecad47e5cf190c9&repid=rep1&type=pdf)</sup>

## References

1. [Witt vector, Encyclopedia of Mathematics](https://encyclopediaofmath.org/wiki/Witt_vector)
2. [Formalizing the Ring of Witt Vectors (arXiv:2010.02595)](https://arxiv.org/abs/2010.02595)
3. [Witt vectors, K. S. Kedlaya, prismatic cohomology notes](https://kskedlaya.org/prismatic/sec_Witt.html)
4. [2017 Arizona Winter School notes, A. Weinstein](https://swc-math.github.io/aws/2017/2017WeinsteinNotes.pdf)
5. [What are Witt vectors, Chromotopy blog](https://chromotopy.org/blog/what-are-witt-vectors)
6. [Faster computation of Witt vectors over polynomial rings, review](https://www.themoonlight.io/es/review/faster-computation-of-witt-vectors-over-polynomial-rings)
7. [S. Pisolkar, B. Samanta, A universal group-theoretic characterisation of p-typical Witt vectors, Journal of Algebra 677 (2025)](https://www.sciencedirect.com/science/article/abs/pii/S0021869325001516)
8. [Witt vectors, Part 1, D. Ravenel (Hazewinkel notes)](https://www.sas.rochester.edu/mth/sites/doug-ravenel/otherpapers/Hazewinkel-Witt.pdf)
9. [G-typical Witt vectors with coefficients and the norm, Journal of Topology (2025)](https://doi.org/10.1112/topo.70038)
10. [A universal construction of p-typical Witt vectors of associative rings (arXiv:2601.20536)](https://arxiv.org/abs/2601.20536)
11. [Formalizing the Ring of Witt Vectors, Lean Prover Community](https://leanprover-community.github.io/witt-vectors/witt-vectors.pdf)
12. [On the Witt vectors of perfect rings in positive characteristic, CiteSeerX](https://citeseerx.ist.psu.edu/document?doi=5c28cb7d486b4d3b4d4379a81ecad47e5cf190c9&repid=rep1&type=pdf)
13. [Big Witt vectors and \lambda-rings](https://kskedlaya.org/prismatic/sec_lambda-rings.html)

---
*Topic: Encyclopedia › Physical world and mathematics › Mathematics and statistics › Numbers and algebra › Arithmetic and number systems › Number systems › p-adic numbers › p-adic integers*

*Initially written Sep 17, 2026 · Reviewed: Sep 30, 2026; Oct 15, 2026 · Edited: Sep 30, 2026; Oct 15, 2026 · Last review: Oct 15, 2026*

*Copyright 2026 EdgeChat AI, a subsidiary of Biostate AI.*

License: Edgepedia Community License 1.0, https://www.edgepedia.org/edgepedia/license