Hochschild-Witt complex

Witt vectors and related rings (13F35) (p)-adic cohomology, crystalline cohomology (14F30) Higher symbols, Milnor (K)-theory (19D45) Witt groups of rings (19G12)

Abstract: In arxiv:1602.04254, we have defined polynomial Witt vectors functor from vector spaces over a perfect field

k

of positive characteristic

p

to abelian groups. In this paper, we use polynomial Witt vectors to construct a functorial Hochschild-Witt complex

W C H_{*} (A)

for any associative unital

k

-algebra

A

, with homology groups

W H H_{*} (A)

. We prove that the group

W H H_{0} (A)

coincides with the group of non-commutative Witt vectors defined by Hesselholt, while if

A

is commutative, finitely generated, and smooth, the groups

W H H_{i} (A)

are naturally identified with the terms

W O m e g a_{A}^{i}

of the de Rham-Witt complex of the spectrum of

A

.

Review text

In this paper, the author constructs a functorial ``Hochschild-Witt complex \(WCH_{\bullet}(A)\) for any associative unital algebra over a perfect field \(k\) of characteristic \(p\) that resembles \(TR _\bullet(A; p)\) and carries all the additional structures that \(TR(A; p)\) is known to carry (in particular, a Connes-Tsygan differential \(B\), and the Frobenius and Verschiebung maps \(F\), \(V\)). This construction is purely homological, and at present, there is no easy way to compare it to equivariant stable homotopy theory. Nevertheless, the author proves that in degree 0, the homology group \(WHH_0(A)\) of the complex \(WCH_\bullet(A)\) is indeed Hesselholt's Witt vectors group, and in the Hochschild-Kostant-Rosenberg situation, this construction recovers the de Rham-Witt complex of Deligne and Illusie. Thus, regardless of any comparison with \(TR_\bullet(A; p)\), this Hochschild-Witt complex \(WCH_\bullet(A)\) and the corresponding periodic cyclic homology theory give a full non-commutative generalization of the crystalline cohomology for affine varieties over a finite field.

Recommendations

Cites work

Cited in

(3)

This page was built for publication: Hochschild-Witt complex

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2001571)