Skip to main content
3 of 3
Matching formatting of algebraic closure in title and body.
LSpice
  • 12.9k
  • 4
  • 45
  • 69

Splitting the Witt vectors of $\overline{\mathbb{F}_p}$

Let $\overline{\mathbb{F}_p}$ be the algebraic closure of $\mathbb{F}_p$. Let $W({-})$ denote the functor of taking $p$-typical Witt vectors. Then the extension $\mathbb{F}_p\rightarrow \overline{\mathbb{F}_p}$ induces a map $f: \mathbb{Z}_p=W(\mathbb{F}_p)\rightarrow W(\overline{\mathbb{F}_p})$.

Is $f$ split as a $\mathbb{Z}_p$-module map?

As far as I understand, $W(\overline{\mathbb{F}_p})$ is built out of $\mathbb{Z}_p$ by adjoining prime-to-$p$-th-power roots of unity, so it seems like you could try sending all those adjoined roots to zero. But some roots live in $\mathbb{Z}_p$, so you better not send those to zero.

kiran
  • 2.1k
  • 9
  • 18