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.
Similar content being viewed by others
Notes
\(\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
Angeltveit, V.: On the algebraic \(K\)-theory of Witt vectors of finite length. arXiv:1101.1866 (2015)
Bhatt, B., Morrow, M., Scholze, P.: Integral \(p\)-adic Hodge theory. Publ. Math. Inst. Hautes Études Sci. 128, 219–397 (2018)
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)
Bhatt, B., Scholze, P.: Prisms and prismatic cohomology. arXiv preprint arXiv:1905.08229 (2019)
Blumberg, A.J., Gepner, D., Tabuada, G.: A universal characterization of higher algebraic \(K\)-theory. Geom. Topol. 17(2), 733–838 (2013)
Brun, M.: Filtered topological cyclic homology and relative \(K\)-theory of nilpotent ideals. Algebr. Geom. Topol. 1, 201–230 (2001)
Clausen, D.: A \(K\)-theoretic approach to Artin maps. arXiv preprint arXiv:1703.07842 (2017)
Clausen, D., Mathew, A.: Hyperdescent and étale \(K\)-theory. arXiv preprint arXiv:1905.06611 (2019)
Clausen, D., Mathew, A., Morrow, M.: \(K\)-theory and topological cyclic homology of henselian pairs. arXiv preprint arXiv:1803.10897 (2018)
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)
Dwyer, W.G., Mitchell, S.A.: On the K-theory spectrum of a ring of algebraic integers. K-Theory 14(3), 201–263 (1998)
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)
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)
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)
Hesselholt, L., Nikolaus, T.: Topological cyclic homology. In: Miller, H. (ed.) Handbook of Homotopy Theory. CRC Press/Chapman and Hall, Boca Raton (2019)
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)
Joyal, A.: \(\delta \)-anneaux et vecteurs de Witt, C. R. Math. Rep. Acad. Sci. Can. 7(3), 177–182 (1985)
Land, M., Meier, L., Tamme, G.: Vanishing results for chromatic localizations of algebraic \(K\)-theory. arXiv preprint arXiv:2001.10425 (2020)
Land, M., Tamme, G.: On the \(K\)-theory of pullbacks. Ann. Math. (2) 190(3), 877–930 (2019)
Lurie, J.: Elliptic cohomology II: orientations (2018). https://www.math.ias.edu/~lurie/papers/Elliptic-II.pdf
Mathew, A.: The Galois group of a stable homotopy theory. Adv. Math. 291, 403–541 (2016)
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)
Mitchell, S.A.: Topological \(K\)-theory of algebraic \(K\)-theory spectra. K-Theory 21(3), 229–247 (2000)
Nikolaus, T., Scholze, P.: On topological cyclic homology. Acta Math. 221(2), 203–409 (2018)
Nizioł, W.: Crystalline conjecture via \(K\)-theory. Ann. Sci. École Norm. Sup. (4) 31(5), 659–681 (1998)
Quillen, D.: On the cohomology and \(K\)-theory of the general linear groups over a finite field. Ann. Math. (2) 96, 552–586 (1972)
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)
Rognes, J.: Galois extensions of structured ring spectra. Stably dualizable groups. Mem. Amer. Math. Soc. 192(898), viii+137 (2008)
Snaith, V.: Localized stable homotopy of some classifying spaces. Math. Proc. Cambr. Philos. Soc. 89(2), 325–330 (1981)
Suslin, A.: On the \(K\)-theory of algebraically closed fields. Invent. Math. 73(2), 241–245 (1983)
Thomason, R.W.: Algebraic \(K\)-theory and étale cohomology. Ann. Sci. École Norm. Sup. (4) 18(3), 437–552 (1985)
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
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
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
Published:
DOI: https://doi.org/10.1007/s00029-020-00566-6