Skip to main content
1 of 3
kiran
  • 2.1k
  • 9
  • 18

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

Let $\bar{\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 \bar{\mathbb{F}_p}$ induces a map $f: \mathbb{Z}_p=W(\mathbb{F}_p)\rightarrow W(\bar{\mathbb{F}_p})$.

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

As far as I understand, W(\bar{\mathbb{F}_p}) is build 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