Equivariant Witt Complexes and Twisted Topological Hochschild Homology
Anna Marie Bohmann, Teena Gerhardt, Cameron Krulewski, Sarah Petersen, Lucy Yang
TL;DR
This work extends the classical relationship between THH and Witt vectors to an equivariant setting by introducing and axiomatizing equivariant Witt complexes. The authors define C_n-equivariant Witt complexes over a C_n-Tambara functor and prove that the graded Green functors given by the equivariant homotopy groups of twisted THH, THH_{C_n}( R), assemble into such a structure when p∤n. They establish a natural map from equivariant Witt vectors to the zeroth equivariant THH and construct multiplicative lifts that recover the classical p^k-th power behavior in the non-equivariant limit (n=1). The results connect equivariant algebraic structures (Mackey and Tambara functors) with equivariant homotopy-theoretic invariants, paving the way for a robust equivariant de Rham–Witt framework in future work.
Abstract
The topological Hochschild homology of a ring (or ring spectrum) $R$ is an $S^1$-spectrum, and the fixed points of THH($R$) for subgroups $C_n\subset S^1$ have been widely studied due to their use in algebraic K-theory computations. Hesselholt and Madsen proved that the fixed points of topological Hochschild homology are closely related to Witt vectors. Further, they defined the notion of a Witt complex, and showed that it captures the algebraic structure of the homotopy groups of the fixed points of THH. Recent work of Angeltveit, Blumberg, Gerhardt, Hill, Lawson and Mandell defines a theory of twisted topological Hochschild homology for equivariant rings (or ring spectra) that builds upon Hill, Hopkins and Ravenel's work on equivariant norms. In this paper, we study the algebraic structure of the equivariant homotopy groups of twisted THH. In particular, we define an equivariant Witt complex and prove that the equivariant homotopy of twisted THH has this structure. Our definition of equivariant Witt complexes contributes to a growing body of research in the subject of equivariant algebra.
