Welcome to MathOverflow

Question

2

Let $A$, $B$, and $C$ be commutative rings such that $A\otimes_C B$ makes sense. If $W_n(A\otimes_C B), W_n(A), W_n(C),$ and $W_n(B)$ are the length $n$ Witt vectors of the rings $A,B,C,$ and $A\otimes_C B$. Is it true that

$$ W_n(A\otimes_C B)\cong W_n(A)\otimes_{W_n(C)}W_n(B)? $$

It seems as though this is a sensible property for Witt vectors to have. The case I am particularly interested in is the case when $C$ is a field of characteristic $p$ (not necessarily perfect) and $A$ and $B$ are $C$-algebras, but any suggestions for the general case would be helpful as well.

edited Mar 4 2011 at 5:46

asked Mar 4 2011 at 5:34

AJ Stewart
85●1●6

Wilberd van der Kallen · Accepted Answer · 2011-03-04 17:01:57Z UTC

8

When $B$ is $\acute{\rm e}$tale over $C$ and $A$ or $B$ is finite over $C$, then the result is known by Theorem (2.4) in my paper Descent for the $K$-theory of polynomial rings, link text

edited Mar 4 2011 at 17:01

answered Mar 4 2011 at 12:36

Wilberd van der Kallen
1,320●1●5●11

8

Maybe it's also worth pointing out that without the etaleness assumption, it's usually false (but not always). For example, it's false for $C=\mathbf{F}_p$, $A=B=C[x]$, $n=2$. Also, in the case where $C$ is an $\mathbf{F}_p$-algebra, the result is due to Illusie, in his ENS paper on the de Rham-Witt complex. – James Borger Mar 4 2011 at 12:41

Tensor Product of Witt Vectors

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

1 Answer

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.