Dihedral homology and Hermitian \(K\)-theory (Q1915494): Difference between revisions

Let \(f : A_* \to S_*\) be a homomorphism of simplicial rings with \(f(1) = 1\). \textit{T. G. Goodwillie} [``Relative algebraic \(K\)-theory and cyclic homology'', Ann. Math., II. Ser. 124, 347-402 (1986; Zbl 0627.18004)] constructed a lifting of the Dennis trace map to negative cyclic homology and proved that this induces a rational isomorphism for the relative situation \[ K_i (f) \otimes \mathbb{Q} @>\sim>> HC_i^-(f; \mathbb{Q}) \] provided that the induced map \(\pi_0 (A_*) \to \pi_0 (S_*)\) is surjective with nilpotent kernel. Assume now in addition that \(A\) and \(S\) are Hermitian simplicial rings. The author shows that the Dennis trace map is equivariant with respect to the involution, and that the lift to negative cyclic homology can be chosen to be equivariant as well. He then identifies the involution invariant subspaces of \(K_i (f) \otimes \mathbb{Q}\) and \(HC^-_i (f; \mathbb{Q})\) with the symmetric part \(HK^s_i (f) \otimes \mathbb{Q}\) of Hermitian \(K\)-theory and ``quadrant two'' dihedral homology \(HDII_*\) respectively. Under the same assumptions on \(f\) as in Goodwillie's result this yields an isomorphism \[ HK^s_i (f) \otimes \mathbb{Q} @>\sim>> HDII_i (f; \mathbb{Q}). \] A similar result using skew dihedral homology instead of quadrant two dihedral homology had been obtained previously by \textit{Y. Song} [``Relative Hermitian \(K\)-theory and dihedral homology'', \(K\)-Theory 5, No. 6, 503-529 (1992; Zbl 0790.19005)]. The author shows that the connection between the two different approaches is given by the two possible sign conventions in defining dihedral homology.