Dihedral homology and Hermitian \(K\)-theory (Q1915494): Difference between revisions
From MaRDI portal
Latest revision as of 12:45, 24 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Dihedral homology and Hermitian \(K\)-theory |
scientific article |
Statements
Dihedral homology and Hermitian \(K\)-theory (English)
0 references
16 July 1996
0 references
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.
0 references
Hermitian \(K\)-theory
0 references
Dennis trace map
0 references
negative cyclic homology
0 references
dihedral homology
0 references