Skip to main content
Log in

Remarks on K(1)-local K-theory

  • Published:
Selecta Mathematica Aims and scope Submit manuscript

Abstract

We prove two basic structural properties of the algebraic K-theory of rings after K(1)-localization at an implicit prime p. Our first result (also recently obtained by Land–Meier–Tamme by different methods) states that \(L_{K(1)} K(R)\) is insensitive to inverting p on R; we deduce this from recent advances in prismatic cohomology and \(\mathrm {TC}\). Our second result yields a Künneth formula in K(1)-local K-theory for adding p-power roots of unity to R.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

Notes

  1. As in Remark 2.13 below, one could replace its use below with that of the étale comparison theorem of [4].

  2. \(\delta \)-rings also arise as the natural structure on the homotopy groups of K(1)-local \(E_\infty \)-ring spectra (where they are often called \(\theta \)-algebras or Frobenius algebras), cf. [16]. We will not use this fact here.

References

  1. Angeltveit, V.: On the algebraic \(K\)-theory of Witt vectors of finite length. arXiv:1101.1866 (2015)

  2. Bhatt, B., Morrow, M., Scholze, P.: Integral \(p\)-adic Hodge theory. Publ. Math. Inst. Hautes Études Sci. 128, 219–397 (2018)

    Article  MathSciNet  Google Scholar 

  3. Bhatt, B., Morrow, M., Scholze, P.: Topological Hochschild homology and integral \(p\)-adic Hodge theory. Publ. Math. Inst. Hautes Études Sci. 129, 199–310 (2019)

    Article  MathSciNet  Google Scholar 

  4. Bhatt, B., Scholze, P.: Prisms and prismatic cohomology. arXiv preprint arXiv:1905.08229 (2019)

  5. Blumberg, A.J., Gepner, D., Tabuada, G.: A universal characterization of higher algebraic \(K\)-theory. Geom. Topol. 17(2), 733–838 (2013)

    Article  MathSciNet  Google Scholar 

  6. Brun, M.: Filtered topological cyclic homology and relative \(K\)-theory of nilpotent ideals. Algebr. Geom. Topol. 1, 201–230 (2001)

    Article  MathSciNet  Google Scholar 

  7. Clausen, D.: A \(K\)-theoretic approach to Artin maps. arXiv preprint arXiv:1703.07842 (2017)

  8. Clausen, D., Mathew, A.: Hyperdescent and étale \(K\)-theory. arXiv preprint arXiv:1905.06611 (2019)

  9. Clausen, D., Mathew, A., Morrow, M.: \(K\)-theory and topological cyclic homology of henselian pairs. arXiv preprint arXiv:1803.10897 (2018)

  10. Clausen, D., Mathew, A., Naumann, N., Noel, J.: Descent in algebraic \(K\)-theory and a conjecture of Ausoni–Rognes. J. Eur. Math. Soc. (JEMS) 22(4), 1149–1200 (2020)

    Article  MathSciNet  Google Scholar 

  11. Dwyer, W.G., Mitchell, S.A.: On the K-theory spectrum of a ring of algebraic integers. K-Theory 14(3), 201–263 (1998)

  12. Gabber, O., \(K\)-theory of Henselian local rings and Henselian pairs. Algebraic \(K\)-Theory, Commutative Algebra, and Algebraic Geometry (Santa Margherita Ligure: Contemporary Mathematics, vol. 126), vol. 1992, pp. 59–70. American Mathematical Society, Providence, RI (1989)

  13. Goerss, P.G., Hopkins, M.J.: Moduli Spaces of Commutative Ring Spectra, Structured Ring Spectra. London Mathematical Society. Lecture Notes in Series, vol. 315, pp. 151–200. Cambridge University Press, Cambridge (2004)

    Book  Google Scholar 

  14. Hesselholt, L.: On the Topological Cyclic Homology of the Algebraic Closure of a Local Field, An Alpine Anthology of Homotopy Theory. Contemporary Mathematics, vol. 399, pp. 133–162. American Mathematical Society, Providence, RI (2006)

    Book  Google Scholar 

  15. Hesselholt, L., Nikolaus, T.: Topological cyclic homology. In: Miller, H. (ed.) Handbook of Homotopy Theory. CRC Press/Chapman and Hall, Boca Raton (2019)

    MATH  Google Scholar 

  16. Hopkins, M.J.: \(K(1)\)-local \(E_\infty \)-ring spectra. Topological Modular Forms. Mathematical Surveys Monographs, vol. 201, pp. 287–302. American Mathematical Society, Providence, RI (2014)

  17. Joyal, A.: \(\delta \)-anneaux et vecteurs de Witt, C. R. Math. Rep. Acad. Sci. Can. 7(3), 177–182 (1985)

    MathSciNet  MATH  Google Scholar 

  18. Land, M., Meier, L., Tamme, G.: Vanishing results for chromatic localizations of algebraic \(K\)-theory. arXiv preprint arXiv:2001.10425 (2020)

  19. Land, M., Tamme, G.: On the \(K\)-theory of pullbacks. Ann. Math. (2) 190(3), 877–930 (2019)

    Article  MathSciNet  Google Scholar 

  20. Lurie, J.: Elliptic cohomology II: orientations (2018). https://www.math.ias.edu/~lurie/papers/Elliptic-II.pdf

  21. Mathew, A.: The Galois group of a stable homotopy theory. Adv. Math. 291, 403–541 (2016)

    Article  MathSciNet  Google Scholar 

  22. Mitchell, S.A., Hypercohomology spectra and Thomason’s descent theorem. Algebraic \(K\)-Theory (Toronto, ON: Fields Institute Communication, vol. 16, 1997, pp. 221–277. American Mathematical Society, Providence, RI (1996)

  23. Mitchell, S.A.: Topological \(K\)-theory of algebraic \(K\)-theory spectra. K-Theory 21(3), 229–247 (2000)

  24. Nikolaus, T., Scholze, P.: On topological cyclic homology. Acta Math. 221(2), 203–409 (2018)

    Article  MathSciNet  Google Scholar 

  25. Nizioł, W.: Crystalline conjecture via \(K\)-theory. Ann. Sci. École Norm. Sup. (4) 31(5), 659–681 (1998)

    Article  MathSciNet  Google Scholar 

  26. Quillen, D.: On the cohomology and \(K\)-theory of the general linear groups over a finite field. Ann. Math. (2) 96, 552–586 (1972)

    Article  MathSciNet  Google Scholar 

  27. Rezk, C.: Notes on the Hopkins–Miller theorem. Homotopy Theory via Algebraic Geometry and Group Representations (Contemporay Mathematics, Evanston, IL), vol. 220 1998, pp. 313–366. American Mathematical Society, Providence, RI (1997)

  28. Rognes, J.: Galois extensions of structured ring spectra. Stably dualizable groups. Mem. Amer. Math. Soc. 192(898), viii+137 (2008)

  29. Snaith, V.: Localized stable homotopy of some classifying spaces. Math. Proc. Cambr. Philos. Soc. 89(2), 325–330 (1981)

    Article  MathSciNet  Google Scholar 

  30. Suslin, A.: On the \(K\)-theory of algebraically closed fields. Invent. Math. 73(2), 241–245 (1983)

    Article  MathSciNet  Google Scholar 

  31. Thomason, R.W.: Algebraic \(K\)-theory and étale cohomology. Ann. Sci. École Norm. Sup. (4) 18(3), 437–552 (1985)

    Article  MathSciNet  Google Scholar 

Download references

Acknowledgements

We thank Lars Hesselholt, Jacob Lurie, and Peter Scholze for helpful discussions. We are also grateful to the anonymous referee for their helpful comments on the first version of this paper. The third author would like to thank the University of Copenhagen for its hospitality during which some of this work was done. The first author was supported by NSF Grant #1801689 as well as grants from the Packard and Simons Foundations. The second author was supported by Lars Hesselholt’s Niels Bohr professorship, the University of Bonn, and the Max Planck Institute for Mathematics. This work was done while the third author was a Clay Research Fellow.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Akhil Mathew.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Bhatt, B., Clausen, D. & Mathew, A. Remarks on K(1)-local K-theory. Sel. Math. New Ser. 26, 39 (2020). https://doi.org/10.1007/s00029-020-00566-6

Download citation

  • Published:

  • DOI: https://doi.org/10.1007/s00029-020-00566-6

Keywords

Mathematics Subject Classification

Navigation