Abstract
This chapter begins with a proof that the difference between algebraic K-theory and topological cyclic homology is “locally constant” by means of a hands-on approach, nesting our way down from the fact that stable K-theory is topological Hochschild homology.
The chapter finishes with an overview of the state of affairs with respect to the calculations of algebraic K-theory obtained via trace methods.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Guido’s book of conjectures. Enseign. Math. (2), 54(1–2):3–189, 2008. A gift to Guido Mislin on the occasion of his retirement from ETHZ, June 2006. Collected by Indira Chatterji.
V. Angeltveit. On the algebraic K-theory of Z/p n. arXiv:1101.1866, 2011.
V. Angeltveit and J. Rognes. Hopf algebra structure on topological Hochschild homology. Algebr. Geom. Topol., 5:1223–1290, 2005 (electronic).
C. Ausoni. On the algebraic K-theory of the complex K-theory spectrum. Invent. Math., 180(3):611–668, 2010.
C. Ausoni and J. Rognes. Algebraic K-theory of topological K-theory. Acta Math., 188(1):1–39, 2002.
S. Bloch. On the tangent space to Quillen K-theory. In Algebraic K-Theory, I: Higher K-Theories, Proc. Conf., Battelle Memorial Inst., Seattle, WA., 1972, volume 341 of Lecture Notes in Mathematics, pages 205–210. Springer, Berlin, 1973.
S. Bloch. Algebraic K-theory and crystalline cohomology. Inst. Hautes Études Sci. Publ. Math., 47(1978):187–268, 1977.
A.J. Blumberg, R.L. Cohen, and C. Schlichtkrull. Topological Hochschild homology of Thom spectra and the free loop space. Geom. Topol., 14(2):1165–1242, 2010.
A.J. Blumberg and M.A. Mandell. The localization sequence for the algebraic K-theory of topological K-theory. Acta Math., 200(2):155–179, 2008.
A.J. Blumberg and M.A. Mandell. Localization theorems in topological Hochschild homology and topological cyclic homology. arXiv:0802.3938v3, 2008.
J.M. Boardman. Conditionally convergent spectral sequences. In Homotopy Invariant Algebraic Structures, Baltimore, MD, 1998, volume 239 of Contemporary Mathematics, pages 49–84. Am. Math. Soc., Providence, 1999.
M. Bökstedt, G. Carlsson, R. Cohen, T. Goodwillie, W.C. Hsiang, and I. Madsen. On the algebraic K-theory of simply connected spaces. Duke Math. J., 84(3):541–563, 1996.
M. Bökstedt, W.C. Hsiang, and I. Madsen. The cyclotomic trace and algebraic K-theory of spaces. Invent. Math., 111(3):465–539, 1993.
M. Bökstedt and I. Madsen. Topological cyclic homology of the integers. Astérisque, 226(7–8):57–143, 1994. K-theory (Strasbourg, 1992).
M. Bökstedt and I. Madsen. Algebraic K-theory of local number fields: the unramified case. In Prospects in Topology, Princeton, NJ, 1994, volume 138 of Ann. of Math. Stud., pages 28–57. Princeton University Press, Princeton, NJ, 1995.
M. Bökstedt. Topological Hochschild homology. Preprint, Bielefeld, 1986.
M. Brun. Filtered topological cyclic homology and relative K-theory of nilpotent ideals. Algebr. Geom. Topol., 1:201–230, 2001 (electronic).
M. Brun, G. Carlsson, and B. Dundas. Covering homology. Adv. Math., 225:3166–3213, 2010.
M. Brun, Z. Fiedorowicz, and R.M. Vogt. On the multiplicative structure of topological Hochschild homology. Algebr. Geom. Topol., 7:1633–1650, 2007.
R.R. Bruner, J.P. May, J.E. McClure, and M. Steinberger. H ∞ Ring Spectra and Their Applications, volume 1176 of Lecture Notes in Mathematics. Springer, Berlin, 1986.
D. Burghelea and Z. Fiedorowicz. Cyclic homology and algebraic K-theory of spaces, II. Topology, 25(3):303–317, 1986.
D. Burghelea. Some rational computations of the Waldhausen algebraic K-theory. Comment. Math. Helv., 54(2):185–198, 1979.
D. Burghelea. Cyclic homology and the algebraic K-theory of spaces, I. In Applications of Algebraic K-Theory to Algebraic Geometry and Number Theory, Part I, II, Boulder, CO, 1983, volume 55 of Contemporary Mathematics, pages 89–115. Am. Math. Soc., Providence, 1986.
G.E. Carlsson, R.L. Cohen, T. Goodwillie, and W.C. Hsiang. The free loop space and the algebraic K-theory of spaces. K-Theory, 1(1):53–82, 1987.
G. Carlsson. Equivariant stable homotopy and Segal’s Burnside ring conjecture. Ann. Math. (2), 120(2):189–224, 1984.
G. Carlsson, L.D. Cristopher, and B. Dundas. Higher topological cyclic homology and the Segal conjecture for tori. Adv. Math., 226:1823–1874, 2011.
G. Cortiñas. The obstruction to excision in K-theory and in cyclic homology. Invent. Math., 164(1):143–173, 2006.
J. Cuntz and D. Quillen. Excision in bivariant periodic cyclic cohomology. Invent. Math., 127(1):67–98, 1997.
B.I. Dundas. Relative K-theory and topological cyclic homology. Acta Math., 179(2):223–242, 1997.
B.I. Dundas. The cyclotomic trace for symmetric monoidal categories. In Geometry and Topology, Aarhus, 1998, volume 258 of Contemporary Mathematics, pages 121–143. Am. Math. Soc., Providence, 2000.
B.I. Dundas and H.Ø. Kittang. Excision for K-theory of connective ring spectra. Homol. Homotopy Appl., 10(1):29–39, 2008.
B.I. Dundas and H.Ø. Kittang. Integral excision for K-theory. arXiv:1009.3044, 2010.
W. Dwyer, W.C. Hsiang, and R. Staffeldt. Pseudo-isotopy and invariant theory. Topology, 19(4):367–385, 1980.
W. Dwyer, W.C. Hsiang, and R.E. Staffeldt. Pseudo-isotopy and invariant theory, II: rational algebraic K-theory of a space with finite fundamental group. In Topology Symposium, Proc. Sympos., Univ. Siegen, Siegen, 1979, volume 788 of Lecture Notes in Mathematics, pages 418–441. Springer, Berlin, 1980.
W. Dwyer, E. Friedlander, V. Snaith, and R. Thomason. Algebraic K-theory eventually surjects onto topological K-theory. Invent. Math., 66(3):481–491, 1982.
W.G. Dwyer and E.M. Friedlander. Algebraic and étale K-theory. Trans. Am. Math. Soc., 292(1):247–280, 1985.
A.D. Elmendorf, I. Kriz, M.A. Mandell, and J.P. May. Rings, modules, and algebras in stable homotopy theory, volume 47 of Mathematical Surveys and Monographs. Am. Math. Soc., Providence, 1997. With an appendix by M. Cole.
S.C. Ferry, A. Ranicki, and J. Rosenberg. A history and survey of the Novikov conjecture. In Novikov Conjectures, Index Theorems and Rigidity, Vol. 1, Oberwolfach, 1993, volume 226 of London Mathematical Society Lecture Note Series, pages 7–66. Cambridge University Press, Cambridge, 1995.
O. Gabber. K-theory of Henselian local rings and Henselian pairs. In Algebraic K-Theory, Commutative Algebra, and Algebraic Geometry, Santa Margherita Ligure, 1989, volume 126 of Contemporary Mathematics, pages 59–70. Am. Math. Soc., Providence, 1992.
W. Gajda. On K ∗(ℤ) and classical conjectures in the arithmetic of cyclotomic fields. In Homotopy Theory: Relations with Algebraic Geometry, Group Cohomology, and Algebraic K-Theory, volume 346 of Contemporary Mathematics, pages 217–237. Am. Math. Soc., Providence, 2004.
T. Geisser and L. Hesselholt. Topological cyclic homology of schemes. In Algebraic K-Theory, Seattle, WA, 1997, volume 67 of Proceedings of Symposia in Pure Mathematics, pages 41–87. Am. Math. Soc., Providence, 1999.
T. Geisser and L. Hesselholt. Bi-relative algebraic K-theory and topological cyclic homology. Invent. Math., 166(2):359–395, 2006.
T. Geisser and L. Hesselholt. On the K-theory and topological cyclic homology of smooth schemes over a discrete valuation ring. Trans. Am. Math. Soc., 358(1):131–145, 2006 (electronic).
T. Geisser and M. Levine. The Bloch-Kato conjecture and a theorem of Suslin-Voevodsky. J. Reine Angew. Math., 530:55–103, 2001.
S.M. Gersten. K-theory of free rings. Commun. Algebra, 1:39–64, 1974.
T.G. Goodwillie. Relative algebraic K-theory and cyclic homology. Ann. Math. (2), 124(2):347–402, 1986.
T.G. Goodwillie. Letter to F. Waldhausen, August 10 1987.
T.G. Goodwillie. The differential calculus of homotopy functors. In Proceedings of the International Congress of Mathematicians, Vols. I, II, Kyoto, 1991, pages 621–630. Math. Soc. Japan, Tokyo, 1990.
T.G. Goodwillie. Calculus, II: analytic functors. K-Theory, 5(4):295–332, 1991/92.
D. Grayson. Higher algebraic K-theory. II (after Daniel Quillen). In Algebraic K-Theory, Proc. Conf., Northwestern Univ., Evanston, IL, 1976, volume 551 of Lecture Notes in Mathematics, pages 217–240. Springer, Berlin, 1976.
D.R. Grayson. Weight filtrations via commuting automorphisms. K-Theory, 9(2):139–172, 1995.
J.P.C. Greenlees. Representing Tate cohomology of G-spaces. Proc. Edinb. Math. Soc. (2), 30(3):435–443, 1987.
J.P.C. Greenlees and J.P. May. Generalized Tate cohomology. Mem. Am. Math. Soc., 113(543):178, 1995.
L. Hesselholt. On the p-typical curves in Quillen’s K-theory. Acta Math., 177(1):1–53, 1996.
L. Hesselholt. Witt vectors of non-commutative rings and topological cyclic homology. Acta Math., 178(1):109–141, 1997.
L. Hesselholt. On the K-theory of the coordinate axes in the plane. Nagoya Math. J., 185:93–109, 2007.
L. Hesselholt. The big de Rham–Witt complex. arXiv:1006.3125, 2010.
L. Hesselholt and I. Madsen. Cyclic polytopes and the K-theory of truncated polynomial algebras. Invent. Math., 130(1):73–97, 1997.
L. Hesselholt and I. Madsen. On the K-theory of finite algebras over Witt vectors of perfect fields. Topology, 36(1):29–101, 1997.
L. Hesselholt and I. Madsen. On the K-theory of nilpotent endomorphisms. In Homotopy Methods in Algebraic Topology, Boulder, CO, 1999, volume 271 of Contemporary Mathematics, pages 127–140. Amer. Math. Soc., Providence, 2001.
L. Hesselholt and I. Madsen. On the K-theory of local fields. Ann. Math. (2), 158(1):1–113, 2003.
L. Hesselholt and I. Madsen. On the De Rham-Witt complex in mixed characteristic. Ann. Sci. École Norm. Sup. (4), 37(1):1–43, 2004.
G. Hochschild, B. Kostant, and A. Rosenberg. Differential forms on regular affine algebras. Trans. Am. Math. Soc., 102:383–408, 1962.
L. Hodgkin and P.A. Østvær. The homotopy type of two-regular K-theory. In Categorical Decomposition Techniques in Algebraic Topology, Isle of Skye, 2001, volume 215 of Progress of Mathematics, pages 167–178. Birkhäuser, Basel, 2004.
M. Hovey, B. Shipley, and J. Smith. Symmetric spectra. J. Am. Math. Soc., 13(1):149–208, 2000.
W.C. Hsiang and R.E. Staffeldt. A model for computing rational algebraic K-theory of simply connected spaces. Invent. Math., 68(2):227–239, 1982.
W.C. Hsiang and R.E. Staffeldt. Rational algebraic K-theory of a product of Eilenberg-Mac Lane spaces. In Proceedings of the Northwestern Homotopy Theory Conference, Evanston, IL, 1982, volume 19 of Contemporary Mathematics, pages 95–114. Amer. Math. Soc., Providence, 1983.
W.C. Hsiang. Geometric applications of algebraic K-theory. In Proceedings of the International Congress of Mathematicians, Vols. 1, 2, Warsaw, 1983, pages 99–118. PWN, Warsaw, 1984.
L. Illusie. Complexe Cotangent et Déformations, II, volume 283 of Lecture Notes in Mathematics. Springer, Berlin, 1972.
L. Illusie. Complexe de de Rham-Witt et cohomologie cristalline. Ann. Sci. École Norm. Sup. (4), 12(4):501–661, 1979.
J.F. Jardine. The K-theory presheaf of spectra. In New Topological Contexts for Galois Theory and Algebraic Geometry, BIRS, 2008, volume 16 of Geometry & Topology Monographs, pages 151–178. Geom. Topol. Publ., Coventry, 2009.
B. Kahn. The Quillen-Lichtenbaum conjecture at the prime 2. Preprint, available at http://www.math.uiuc.edu/K-theory/0208/.
B. Kahn. Algebraic K-theory, algebraic cycles and arithmetic geometry. In Handbook of K-Theory, Vols. 1, 2, pages 351–428. Springer, Berlin, 2005.
M. Karoubi and O. Villamayor. K-théorie algébrique et K-théorie topologique, I. Math. Scand., 28(1972):265–307, 1971.
M. Karoubi and O. Villamayor. K-théorie algébrique et K-théorie topologique, II. Math. Scand., 32:57–86, 1973.
T. Lawson. Commutative Γ-rings do not model all commutative ring spectra. Homol. Homotopy Appl., 11(2):189–194, 2009.
L.G. Lewis Jr., J.P. May, M. Steinberger, and J.E. McClure. Equivariant Stable Homotopy Theory, volume 1213 of Lecture Notes in Mathematics. Springer, Berlin, 1986. With contributions by J.E. McClure.
S. Lichtenbaum. Values of zeta-functions, étale cohomology, and algebraic K-theory. In Algebraic K-Theory, II: “Classical” Algebraic K-Theory and Connections with Arithmetic, Proc. Conf., Battelle Memorial Inst., Seattle, WA, 1972, volume 342 of Lecture Notes in Mathematics, pages 489–501. Springer, Berlin, 1973.
W. Lück and H. Reich. Detecting K-theory by cyclic homology. Proc. Lond. Math. Soc. (3), 93(3):593–634, 2006.
S. Lunøe-Nielsen and J. Rognes. The topological Singer construction. arXiv:1010.5633, 2010.
S. Lunøe-Nielsen and J. Rognes. The Segal conjecture for topological Hochschild homology of complex cobordism. J. Topol., 4(3):591–622, 2011.
I. Madsen. Algebraic K-theory and traces. In Current Developments in Mathematics, Cambridge, MA, 1995, pages 191–321. International Press, Cambridge, 1994.
M.A. Mandell and J.P. May. Equivariant orthogonal spectra and S-modules. Mem. Am. Math. Soc., 159(755):108, 2002.
M.A. Mandell, J.P. May, S. Schwede, and B. Shipley. Model categories of diagram spectra. Proc. Lond. Math. Soc. (3), 82(2):441–512, 2001.
M.A. Mandell. Equivariant symmetric spectra. In Homotopy Theory: Relations with Algebraic Geometry, Group Cohomology, and Algebraic K-Theory, volume 346 of Contemporary Mathematics, pages 399–452. Amer. Math. Soc., Providence, 2004.
R. McCarthy. Relative algebraic K-theory and topological cyclic homology. Acta Math., 179(2):197–222, 1997.
J.E. McClure and R.E. Staffeldt. The chromatic convergence theorem and a tower in algebraic K-theory. Proc. Am. Math. Soc., 118(3):1005–1012, 1993.
J.E. McClure and R.E. Staffeldt. On the topological Hochschild homology of bu. I. Am. J. Math., 115(1):1–45, 1993.
J. Milnor. The Steenrod algebra and its dual. Ann. Math. (2), 67:150–171, 1958.
S.A. Mitchell. On the Lichtenbaum-Quillen conjectures from a stable homotopy-theoretic viewpoint. In Algebraic Topology and Its Applications, volume 27 of Mathematical Sciences Research Institute Publications, pages 163–240. Springer, New York, 1994.
S. Oka. Multiplicative structure of finite ring spectra and stable homotopy of spheres. In Algebraic Topology, Aarhus, 1982, volume 1051 of Lecture Notes in Mathematics, pages 418–441. Springer, Berlin, 1984.
I.A. Panin. The Hurewicz theorem and K-theory of complete discrete valuation rings. Izv. Akad. Nauk SSSR, Ser. Mat., 50(4):763–775, 878, 1986.
D. Popescu. Letter to the editor: “General Néron desingularization and approximation” [Nagoya Math. J. 104 (1986), 85–115]. Nagoya Math. J., 118:45–53, 1990.
D. Quillen. On the cohomology and K-theory of the general linear groups over a finite field. Ann. Math. (2), 96:552–586, 1972.
D. Quillen. Finite generation of the groups K i of rings of algebraic integers. In Algebraic K-Theory, I: Higher K-Theories, Proc. Conf., Battelle Memorial Inst., Seattle, WA, 1972, volume 341 of Lecture Notes in Mathematics, pages 179–198. Springer, Berlin, 1973.
D. Quillen. Higher algebraic K-theory. In Proceedings of the International Congress of Mathematicians, Vol. 1, Vancouver, BC, 1974, pages 171–176. Can. Math. Congress, Montreal, 1975.
D. Quillen. Projective modules over polynomial rings. Invent. Math., 36:167–171, 1976.
D.C. Ravenel. Nilpotence and periodicity in stable homotopy theory, volume 128 of Annals of Mathematics Studies. Princeton University Press, Princeton, 1992. Appendix C by Jeff Smith.
D.C. Ravenel. Life after the telescope conjecture. In Algebraic K-Theory and Algebraic Topology, Lake Louise, AB, 1991, volume 407 of NATO Advanced Study Institutes Series. Series C, Mathematical and Physical Sciences, pages 205–222. Kluwer Academic, Dordrecht, 1993.
J. Rognes and C. Weibel. Two-primary algebraic K-theory of rings of integers in number fields. J. Am. Math. Soc., 13(1):1–54, 2000. Appendix A by Manfred Kolster.
J. Rognes. Algebraic K-theory of the two-adic integers. J. Pure Appl. Algebra, 134(3):287–326, 1999.
J. Rognes. Two-primary algebraic K-theory of pointed spaces. Topology, 41(5):873–926, 2002.
J. Rognes. The smooth Whitehead spectrum of a point at odd regular primes. Geom. Topol., 7:155–184, 2003.
C. Schlichtkrull. The cyclotomic trace for symmetric ring spectra. In New Topological Contexts for Galois Theory and Algebraic Geometry, BIRS, 2008, volume 16 of Geometry & Topology Monographs, pages 545–592. Geom. Topol. Publ., Coventry, 2009.
B. Shipley. Symmetric spectra and topological Hochschild homology. K-Theory, 19(2):155–183, 2000.
B. Shipley. A convenient model category for commutative ring spectra. In Homotopy Theory: Relations with Algebraic Geometry, Group Cohomology, and Algebraic K-Theory, volume 346 of Contemporary Mathematics, pages 473–483. Amer. Math. Soc., Providence, 2004.
V.P. Snaith. Towards the Lichtenbaum-Quillen conjecture concerning the algebraic K-theory of schemes. In Algebraic K-Theory, Number Theory, Geometry and Analysis, Bielefeld, 1982, volume 1046 of Lecture Notes in Mathematics, pages 349–356. Springer, Berlin, 1984.
C. Soulé. Rational K-theory of the dual numbers of a ring of algebraic integers. In Algebraic K-Theory, Proc. Conf., Northwestern Univ., Evanston, IL, 1980, volume 854 of Lecture Notes in Mathematics, pages 402–408. Springer, Berlin, 1981.
C. Soulé. On higher p-adic regulators. In Algebraic K-Theory, Proc. Conf., Northwestern Univ., Evanston, IL, 1980, volume 854 of Lecture Notes in Mathematics, pages 372–401. Springer, Berlin, 1981.
A. Suslin. On the Grayson spectral sequence. Tr. Mat. Inst. Steklova, 241:218–253, 2003.
A.A. Suslin. Projective modules over polynomial rings are free. Dokl. Akad. Nauk SSSR, 229(5):1063–1066, 1976.
A.A. Suslin. Excision in integer algebraic K-theory. Tr. Mat. Inst. Steklova 208:290–317, 1995. Dedicated to Academician Igor’ Rostislavovich Shafarevich on the occasion of his seventieth birthday (in Russian).
A.A. Suslin and M. Wodzicki. Excision in algebraic K-theory. Ann. Math. (2), 136(1):51–122, 1992.
R.W. Thomason. Algebraic K-theory and étale cohomology. Ann. Sci. École Norm. Sup. (4), 18(3):437–552, 1985.
R.W. Thomason and T. Trobaugh. Higher algebraic K-theory of schemes and of derived categories. In The Grothendieck Festschrift, Vol. III, volume 88 of Progress of Mathematics, pages 247–435. Birkhäuser, Boston, 1990.
S. Tsalidis. On the topological cyclic homology of the integers. Am. J. Math., 119(1):103–125, 1997.
S. Tsalidis. Topological Hochschild homology and the homotopy descent problem. Topology, 37(4):913–934, 1998.
W. van der Kallen. Descent for the K-theory of polynomial rings. Math. Z., 191(3):405–415, 1986.
V. Voevodsky. Motivic cohomology with Z/2-coefficients. Publ. Math. Inst. Hautes Études Sci., 98:59–104, 2003.
V. Voevodsky. On motivic cohomology with Z/l-coefficients. Ann. Math. (2), 174(1):401–438, 2011.
F. Waldhausen. Algebraic K-theory of generalized free products, I, II. Ann. Math. (2), 108(1):135–204, 1978.
F. Waldhausen. Algebraic K-theory of spaces, localization, and the chromatic filtration of stable homotopy. In Algebraic Topology, Aarhus, 1982, volume 1051 of Lecture Notes in Mathematics, pages 173–195. Springer, Berlin, 1984.
F. Waldhausen. Algebraic K-theory of spaces, concordance, and stable homotopy theory. In Algebraic Topology and Algebraic K-Theory, Princeton, NJ, 1983, volume 113 of Annals of Mathematics Studies, pages 392–417. Princeton University Press, Princeton, 1987.
C. Weibel. The norm residue isomorphism theorem. J. Topol., 2(2):346–372, 2009.
C.A. Weibel. Mayer-Vietoris sequences and module structures on NK ∗. In Algebraic K-Theory, Proc. Conf., Northwestern Univ., Evanston, IL, 1980, volume 854 of Lecture Notes in Mathematics, pages 466–493. Springer, Berlin, 1981.
C.A. Weibel. Mayer-Vietoris sequences and mod p K-theory. In Algebraic K-Theory, Part I, Oberwolfach, 1980, volume 966 of Lecture Notes in Mathematics, pages 390–407. Springer, Berlin, 1982.
C. Weibel. K-théorie algébrique homotopique. C. R. Acad. Sci. Paris Sér. I Math., 305(18):793–796, 1987.
C. Weibel. The 2-torsion in the K-theory of the integers. C. R. Acad. Sci. Paris Sér. I Math., 324(6):615–620, 1997.
C. Weibel. Algebraic K-theory of rings of integers in local and global fields. In Handbook of K-Theory, Vols. 1, 2, pages 139–190. Springer, Berlin, 2005.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag London
About this chapter
Cite this chapter
Dundas, B.I., Goodwillie, T.G., McCarthy, R. (2013). The Comparison of K-Theory and TC . In: The Local Structure of Algebraic K-Theory. Algebra and Applications, vol 18. Springer, London. https://doi.org/10.1007/978-1-4471-4393-2_7
Download citation
DOI: https://doi.org/10.1007/978-1-4471-4393-2_7
Publisher Name: Springer, London
Print ISBN: 978-1-4471-4392-5
Online ISBN: 978-1-4471-4393-2
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)