Abstract. We discuss which part of the rationalized algebraic K-theory of a group ring is detected via trace maps to Hochschild homology, cyclic homology, periodic cyclic or negative cyclic homology. Key words: algebraic K-theory of group rings, Hochschild homology, cyclic homology, trace maps. Mathematics Subject Classification 2000: 19D55. Dedicated to memory of Michel Matthey.
Introduction and statement of resultsFix a commutative ring k, referred to as the ground ring. Let R be a k-algebra, i.e. an associative ring R together with a unital ring homomorphism from k to the center of R. We denote by HH ⊗ k * (R) the Hochschild homology of R relative to the ground ring k, and similarly by HC ⊗ k * (R), HP ⊗ k * (R) and HN ⊗ k * (R) the cyclic, the periodic cyclic and the negative cyclic homology of R relative to k. Hochschild homology receives a map from the algebraic K-theory, which is known as the Dennis trace map. There are variants of the Dennis trace taking values in cyclic, periodic cyclic and negative cyclic homology (sometimes called Chern characters), as displayed in the following commutative diagram. For the definition of these maps, see [18, Chapters 8 and 11] and Section 5 below. In the following we will focus on the case of group rings RG, where G is a group and we refer to the k-algebra R as the coefficient ring. We investigate the following question.Question 0.2. Which part of K * (RG) ⊗ Z Q can be detected using linear trace invariants like the Dennis trace to Hochschild homology, or its variants with values in cyclic homology, periodic cyclic homology and negative cyclic homology ?For any group G, we prove "detection results", which state that certain parts of K * (RG) ⊗ Z Q can be detected by the trace maps in diagram 0.1, accompanied by "vanishing results", which state that a complement of the part which is then known to be detected is mapped to zero. For the detection results, we only make assumptions on the coefficient ring R, whereas for the vanishing results we additionally need the Farrell-Jones Conjecture for RG as an input, compare Example 1.2. Modulo the Farrell-Jones Conjecture, we will give a complete answer to Question 0.2 for instance in the case of Hochschild and cyclic homology, when the coefficient ring R is an algebraic number field F or its ring of integers O F . We will also give partial results for periodic cyclic and negative cyclic homology. All detection results are obtained by using only the Dennis trace with values in HH ⊗ k * (RG), whereas all vanishing results hold even for the trace with values in HN ⊗ Z * (RG), which, in view of diagram (0.1), can be viewed as the best among the considered trace invariants. (Note that for a k-algebra R every homomorphism k ′ → k of commutative rings leads to a homomorphism HN ⊗ k ′ * (R) → HN ⊗ k * (R). Similar for Hochschild, cyclic and periodic cyclic homology.) We have no example where the extra effort that goes into the construction of the variants with values in cyclic, periodic cyclic or negative cyclic homology yields mo...