4/14/2005

The Reduced Algebraic K-theory of Square-Zero Extensions by Free Modules

This talk is about joint work with Randy McCarthy (UIUC). We give a method for finding the completion at a prime p of the reduced (over A) K-theory of the square-zero extension of A by a free A-module of finite rank, $\tilde K(A \semiprod (A^{\oplus k}))^\wedge _p$. The calculation is carried out when $A$ satisfies a technical condition which (by work of Hesselholt and Madsen) is satisfied by perfect fields of characteristic $p$, and in that case generalizes the dual numbers ($k=1$) case which Hesselholt and Madsen calculate by different methods.
Our calculation uses an invariant we call $W(A;M)$, which can be thought of as a Witt ring of $A$ with coefficients in $M$, or alternatively as cyclic homology of $A$ with coefficients in $M$. By Goodwillie calculus methods, $\tilde K (A \semiprod M) \simeq W(A;M\otimes S¹)$, so what we actually study is $W(A; A^{\oplus k}\otimes S¹)$. The completion at $p$ is needed for a topological analog of breaking the Witt ring down into a product of $p$-Witt vectors.