The cyclotomic trace and algebraic K-theory of spaces. (English) Zbl 0804.55004

Bökstedt, M.; Hsiang, W. C.; Madsen, I.

Invent. Math. 111, No. 3, 465-539 (1993).

For a group \(G\) one may embed \(BG\) as constant loops into \({\mathcal C} (S^ 1, BG):= \Lambda BG\). The map actually has its target in \(\lim_ \leftarrow (\Lambda BG)^{C_{p^ n}}\). \(C_{p^ n}\) denotes the cyclic group of order \(p^ n\). The limit is taken over inclusions of fixed point sets. There is a self map \(\Phi_ p\) of the inverse system, given by calculating the \(C_{p^{n+1}}\) fixed-point set from the \(C_{p^ n}\) fixed set. This observation yields in the homotopy invariant setting (\(G\) a grouplike monoid) considered by the authors the map \({\mathcal F}: BG\to (\text{holim}_ \leftarrow (\Lambda BG)^{C_{p^ n}})^{h \Phi_ p}\), where \(h\Phi_ p\) is the homotopy equalizer of \(\Phi_ p\) and the identity. The map becomes derived from a simplicial approach, which describes the \(S^ 1\)- equivariant homotopy type of \(\Lambda BG\) as the realization of the cyclic bar construction \(N_ \bullet^{cy} (G)\) on the fixed-point sets of finite subgroups (!) of \(S^ 1\) (Proposition 2.6). In case \(G= \text{Gl}_ n(R)\), the invertible matrices over a ring \(R\), the cyclic bar construction on \(\text{Gl}_ n(R)\) has a trace in \(N^{cy}_{\otimes;\bullet} (M_ n(R))\), \(M_ n(R)\) all \(n\times n\) matrices, which identifies by Morita invariance with \(N^{cy}_{\otimes;\bullet} (R)\), that is the Hochschild homology of \(R\). The first author’s construction [“Topological Hochschild homology”, Topology (to appear)] promotes this relation to rings up to homotopy, resulting in the invention of topological Hochschild homology \(\text{THH}(R)\). The authors push the construction of the map \({\mathcal F}\) through this pipe also, eventually refining the Dennis trace to an infinite loop map (Definition 5.12) \({\mathcal F}: K(R)\to (\text{holim}_ \leftarrow \text{THH} (R)^{C^ n_ p})^{h\Phi_ p}=: \text{TC}(R,p)\). The (new) functor is called the topological cyclic homology of \(R\) (at \(p\)) and \({\mathcal F}\) becomes renamed Trc. The major part of the paper then proves the construction as providing (highly) nontrivial invariants for \(K\)-theory. The authors develop a homotopy- theoretic version of the Soulé embedding [C. Soulé, Invent. Math. 55, No. 3, 251-295 (1979; Zbl 0437.12008); Lect. Notes Math. 854, 372-401 (1981; Zbl 0488.12008)], culminating in Corollary 9.12: \(\text{Trc}: Wh(*)^ \wedge_ p\to Q(\Sigma BO(2))^ \wedge_ p\) is split surjective for odd regular primes (here \(Wh(*)\) is the Diff- Whitehead space in the sense of F. Waldhausen [in ‘Algebraic topology and algebraic \(K\)-theory’, Proc. Conf., Princeton, NJ, Ann. Math. Stud. 113, 392-417 (1987; Zbl 0708.19001)] and \((-)^ \wedge_ p\) is the \(p\)-adic completion). The assembly map \(B\Gamma_ + \wedge A(*)\to A(B\Gamma)\) is shown as rationally split injective (Theorem 9.13) for a class of groups including those with finitely generated integral homology. (The functor \(A\) here of course denotes Waldhausen \(K\)-theory).

Reviewer: R.Schwänzl (Osnabrück)

MSC:

55N15	Topological \(K\)-theory
55P47	Infinite loop spaces
19D10	Algebraic \(K\)-theory of spaces
55N35	Other homology theories in algebraic topology
57R52	Isotopy in differential topology
55P60	Localization and completion in homotopy theory

Keywords:

free loop space of a classifying space; fixed-point sets of finite subgroups of \(S^ 1\); groups with finitely generated integral homology; cyclic bar construction; invertible matrices over a ring; rings up to homotopy; topological Hochschild homology; Dennis trace; infinite loop map; topological cyclic homology; invariants for \(K\)-theory; Soulé embedding; Diff-Whitehead space; assembly map; Waldhausen \(K\)-theory

Citations:

Zbl 0437.12008; Zbl 0488.12008; Zbl 0708.19001

References:

[1]	[A] Adams, J.F.: Prerequisities on equivariant theory for Carlsson’s lecture. In: Madsen, I., Oliver, B. (eds.) Algebraic Topology, Aarhus 1982. (Lect. Notes Math., vol. 1051, pp. 483-532) Berlin Heidelberg New York: Springer 1984
[2]	[Be] Bentzen, S.: On the image of the trace Coefficient homomorphism. Aarhus University, July 1991 (Preprint)
[3]	[BM] Bentzen, S., Madsen, I.: Trace maps in algebraic K-theory and the Coates-Wiles homomorphism. J. reine angew. Math.411, 171-195 (1990) · Zbl 0716.11055
[4]	[B] Bökstedt, M.: Topological Hochschild homology Topology (to appear)
[5]	[B1] Bökstedt, M.: Topological Hochschild homology of ? and ?/p. Ann. Math. (to appear)
[6]	[BCCGHM] Bökstedt, M., Carlsson, G., Cohen, R., Goodwillie, T., Hisiang, W.C., Madsen, I.: The algebraic K-theory of simply connected spaces (complete case). Aarhus University, June, 1989 (Preprint)
[7]	[BF] Burghelea, D., Fiedorowicz, Z.: Cyclic homology and algebraic K-theory of spaces II. Topology25 (1986) · Zbl 0639.55003
[8]	[BP] Barratt, M., Priddy, S.: On the homology of non-connected monoids and their associated groups. Comment. Math. Helv.47, 1-14 (1972) · Zbl 0262.55015
[9]	[BK] Bousfield, A.K., Kan, D.M.: Homotopy limits, completions and Localizations (Lect. Notes Math., vol. 304) Berlin Heidelberg New York: Springer 1972. · Zbl 0259.55004
[10]	[C] Carlsson, G.: Equivariant stable homotopy and Segal’s Burnside ring conjecture. Ann. Math.120, 189-224 (1984) · Zbl 0586.55008
[11]	[CJ] Cohen, R., Jones, J.: Trace maps and Chern characters in K-theory. (Preprint)
[12]	[Co] Connes, A.: Cohomologic cyclique et Foncteur Ext. C. R. Acad. Sci. Paris296, 953-958 (1983) · Zbl 0534.18009
[13]	[tD] T. tom Dieck, Orbittvpen und äquivariante homologie II. Arch. Math.26, 650-662 (1975) · Zbl 0334.55004
[14]	[DHK] Dwyer, W.G., Hopkins, M.J., Kan, D.M.: The homotopy theory of cyclic sets. Trans. Am. Math. Soc.291, 281-289 (1985). · Zbl 0594.55020
[15]	[DL] Dyer, E., Lashof, R.: Homology of iterated loop spaces. Am. J. Math.84, 35-88 (1962) · Zbl 0119.18206
[16]	[G] Goodwillie, T.: Cyclic homology, derivations and the free loop spaces. Topoloty24, 187-215 (1985) · Zbl 0569.16021
[17]	[G1] Goodwillie, T.: On the general linear group and Hochshild homology. Ann. Math.121, 383-407 (1985) · Zbl 0566.20021
[18]	[G2] Goodwillie, T., Letter to Waldhausen, August 10, (1987)
[19]	[Gr] Grayson, D.: Higher algebraic K-theory II [After D. Quillen] Algebraic K-theory. (Lect. Notes Math., vol. 551) Berlin Heidelberg New York: Springer 1976 · Zbl 0362.18015
[20]	[H] W.-C. Hsiang, Geometric applications of algebraic K-theory. In: Ciesielski, Z., Olech, Z. (eds.) Proc. ICM, PWN Warsaw: pp. 99-118, 1983
[21]	[J] Jones, J.D.S.: Cyclic homology and equivariant homology. Invent. Math.87, 403-423 (1987) · Zbl 0644.55005
[22]	[L] Loday, J.: K-théorie algebrique et représentations de groupes. Ann. Sci. Ec. Norm. Super., IV Ser.9, 309-377 (1976)
[23]	[LQ] Loday, J., Quillen, D.: Cyclic homology and the Lie algebra homotopy. (Lect. Notes Math., vol. 1231) Berlin Heidelberg New York: Springer 1976
[24]	[McG] McGibbon, C.A.: Stable properties of rank one loop structures. Topology20, 109-118 (1981) · Zbl 0453.55005
[25]	[MMM] Mann, B., Miller, E., Miller, H.: S1-equivariant function spaces and charcteristic classes. Trans. Am. Math. Soc.295, (no. 1) 233-256 (1986)
[26]	[May] May, J.P.: The geometry of iterated loop spaces. (Lect. Notes Math., vol. 271) Berlin Heidelberg New York: Springer 1972 · Zbl 0244.55009
[27]	[May 1] May, J.P.:E ? spaces, group completions, and permutative categories. (London. Math. Soc. Lect. Note Ser., vol. 11, pp. 61-94) Cambridge London: Cambridge Univerity Press 1974
[28]	[Mi] Milnor, J.W.: On axiomatic homology theory. Pac. J. Math.12, 337-341 (1962) · Zbl 0114.39604
[29]	[OT] Oliver, R., Taylor, L.: Logarithmic descriptions of Whitehead groups and class groups forp-groups. (Mem. Am. Math. Soc., vol. 76, no. 392) Providence, RI: Am. Math. Soc. 1988
[30]	[Q] Quillen, D.: Higher algebraic K-theory I. In: Bass, H (ed.) Algebraic K-theory I. (Lect. Notes Math., vol. 341, pp. 85-147) Berlin Heidelberg New York: Springer 1973 · Zbl 0292.18004
[31]	[R] Ravanel, D.: The segal conjecture for cyclic groups and its consequences. Am. J. Math.106, 415-446 (1984) · Zbl 0586.55007
[32]	[RS] Rourke, C., Sanderson, B.: ?-sets I, II. Q. J. Math. Oxf.22, 321-338, 465-485 (1971). · Zbl 0226.55019
[33]	[Se] Segal, G.B.: Equivariant stable homotopy theory. vol. 2. In Paris: Gauthier-Villars 1971 Proc. ICM. Nice, 1970, pp. 59-63.
[34]	[Se1] Segal, G.B.: Categories and cohomology theories, Topoloty13, 293-312 (1974) · Zbl 0284.55016
[35]	[Se2] Segal, G.B.: Configuration-spaces and iterated loop-spaces. Invent. Math.21, 213-221 (1973) · Zbl 0267.55020
[36]	[Sh] Shimakawa, K.: Infinite loopG-spaces associated to MonoidalG-graded categories. Publ. Res. Inst. Math. Sci.25 (no. 2) 239-262 (1989) · Zbl 0677.55013
[37]	[S1] Soulé, C. K-théorie des anneaux d’entiers de corps de nombres et cohernologie etale. Invent. Math.55, 251-295 (1979) · Zbl 0437.12008
[38]	[S2] Soulé, C.: On higherp-adic regulators. In: Friedlander, E.M., Stein, M.R. (eds.) Algebraic K-theory. (Lect. Notes Math., vol. 854, pp. 472-501) Berlin Heidelberg New York: Springer 1980
[39]	[W1] Waldhausen, F.: Algebraic K-theory of topological spaces. I. In: Milgram, R.J. (ed.) Algebraic and geometric topology. (Proc. Symp. Pure Math., vol. 32, pp. 35-60) Providence, RI: Am. Math. Soc. 1978
[40]	[W2] Waldhausen, F.: Algebraic K-theory of topological spaces. II. In: Dupont, J.L., Madsen, I.H. (eds.) Algebraic Topology. Aahus 1978. (Lect. Notes. Math., vol. 356-394) Berlin Heidelberg New York: Springer 1979
[41]	[W3] Waldhausen, F., Algebraic K-theory of spaces, localization, and the chromatic filtration of stable homotopy. In: Madsen, I., Oliver, B. (eds.) Algebraic Topology. Aarhus 1982. (Lect. Notes Math., vol. 1051, pp. 173-196) Berlin Heidelberg New York: 1984
[42]	[W4] Waldhausen, F.: Algebraic K-theory of spaces, concordance and stable homotopy theory. In: Browder, W. (ed.) Algebraic topology and algebraic K-theory. (Ann. Math. Stud. no. 113, pp. 392-41) Princeton: Princeton University Press 1987
[43]	[Wa] Washington, L.: Introduction to cyclotomic fields. (Grad. Texts Math., vol. 83) Berlin Heidelberg New York: Springer 1982 · Zbl 0484.12001