8
$\begingroup$

Let $R$ be a ring that is $p$-adically complete for a prime $p$ and let $W(R)$ denote the ring of $p$-typical Witt vectors. Is it true that $W(R)$ is $p$-adically complete? (A ring $A$ is $p$-adically complete if the map $A \rightarrow \varprojlim(A/p^nA)$ is bijective.) A reference that contains a proof or a counterexample would suffice.

I am familiar with the case when $R$ is a perfect $\mathbb{F}_p$-algebra and am interested in the general case.

Improve this question
$\endgroup$
4
  • 2
    $\begingroup$ I believe that the p-Witt vectors for $\mathbf{Z}_p$ is isomorphic, as an abelian group, to a product of countably infinitely many copies of $\mathbf{Z}_p$ (I believe this because if memory serves then Hendrik Lenstra told me this in 2002, and if it's wrong then it's my memory at fault), and the p-Witt vectors for $\mathbf{Z}/p^m$ is isomorphic as an abelian group to a product of $\mathbf{Z}_p$ and countably infinitely many copies of $\mathbf{Z}/p^{m-1}$ (with the same reference and caveat). So there are least are some examples when it's true. $\endgroup$
    – znt
    Jun 4, 2016 at 12:18
  • $\begingroup$ @znt if $G$ is a compact abelian group such that for all $x$, $p^nx\to 0$ when $n\to\infty$ and $G$ torsion-free, then $G$ is isomorphic to some power of $\mathbf{Z}_p$. This is easy to establish with Pontryagin duality (because the Pontryagin dual is a discrete, divisible abelian group in which every element is killed by some power of $p$, hence is a direct sum of copies of $\mathbf{Z}[1/p]/\mathbf{Z}$). $\endgroup$
    – YCor
    Jun 4, 2016 at 13:17
  • 1
    $\begingroup$ Perhaps you already know this, but page 11, proposition 3 (and the subsequent sub-lemmas) of Zink's "The display of a formal $p$-divisible group" looks relevant. Here's the address of the paper on his website... math.uni-bielefeld.de/~zink/display.pdf $\endgroup$
    – Oli Gregory
    Jun 7, 2016 at 8:29
  • $\begingroup$ @OliGregory: Thanks! You should post this as an answer: as far as I can tell the reference you give resolves the question. $\endgroup$
    – Lisa S.
    Jun 7, 2016 at 15:08

1 Answer 1

Reset to default
2
+50
$\begingroup$

The answer is yes. A reference is $\S1$, proposition 3 of "The display of a formal $p$-divisible group" by Thomas Zink, published in Asterisque no. 278. Here is the address of the paper on Zink's website...

https://www.math.uni-bielefeld.de/~zink/display.pdf

Improve this answer
$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Not the answer you're looking for? Browse other questions tagged or ask your own question.