On the 2-typical de Rham-Witt complex (Q936128)

By definition, a \(p\)-typical Witt complex over a commutative ring \(A\) is a map from the pro-ring \(W_\bullet(A)\) of \(p\)-typical Witt vectors of \(A\) to a pro-object in the category of anti-commutative graded rings together with maps \(F, V\) and \(d\) which satisfy certain (standard) relations. For example, the algebraic structure of the object TR studied by \textit{L. Hesselholt} and \textit{I. Madsen} [Ann. Sci. Éc.\ Norm. Supér.~(4)~37, 1--43 (2004; Zbl 1062.19003)] is captured by the notion of a Witt complex. In the paper under review, the author studies the 2-typical de-Rham-Witt complex which is defined and constructed as the initial object in the category of all 2-typical Witt complexes. He first proves that this complex is an epimorphic image of \(\tilde{\bigwedge}^* \Omega^1_{W_\bullet(A)}\) where the universal anti-symmetric graded algebra \(\tilde{\bigwedge}^*(M) = T(M)/\langle m\otimes n + n\otimes m \rangle\) of a module \(M\) is used (rather than the usual exterior algebra \(\bigwedge^*(M)\)) because \(2\) is not invertible in the 2-typical case. Then he more concretely describes the 2-typical de-Rham-Witt complex for the rings \({\mathbb Z}\) and \({\mathbb Z}_{(2)}\) and for the log-ring \(({\mathbb Z}_{(2)}, M)\) with the canonical log-structure, and he describes its behaviour under polynomial extensions. In an appendix he also describes the \(p\)-typical de-Rham-Witt complex of \(({\mathbb Z}_{(p)}, M)\) for \(p\) odd.