Kerz, Moritz; Saito, Shuji; Tamme, Georg

\(K\)-Theory of Non-Archimedean Rings. I

Doc. Math. 24, 1365-1411 (2019)
DOI: 10.25537/dm.2019v24.1365-1411
Communicated by Max Karoubi


We introduce a variant of homotopy \(K\)-theory for Tate rings, which we call \textit{analytic \(K\)-theory}. It is homotopy invariant with respect to the analytic affine line viewed as an ind-object of closed disks of increasing radii. Under a certain regularity assumption we prove an analytic analog of the Bass fundamental theorem and we compare analytic \(K\)-theory with continuous \(K\)-theory, which is defined in terms of models. Along the way we also prove some results about the algebraic \(K\)-theory of Tate rings.

Mathematics Subject Classification

19D25, 14G22


continuous \(K\)-theory, affinoid algebras


  • [AM69]. M. Artin and B. Mazur, Etale homotopy, Lecture Notes in Mathematics, No. 100, Springer-Verlag, Berlin-New York, 1969. DOI 10.1007/BFb0080957; zbl 0182.26001; MR0245577.
  • [Ayo15]. J. Ayoub, Motifs des variétés analytiques rigides, Mém. Soc. Math. Fr. (N.S.) (2015), no. 140-141, vi+386. DOI 10.24033/msmf.449; zbl 1333.14001; MR3381140.
  • [Bei14]. A. Beilinson, Relative continuous K-theory and cyclic homology, Münster J. Math. 7 (2014), no. 1, 51-81. zbl 1337.19002; MR3271239; arxiv 1312.3299.
  • [BEK14]. S. Bloch, H. Esnault, and M. Kerz, Deformation of algebraic cycle classes in characteristic zero, Algebr. Geom. 1 (2014), no. 3, 290-310. DOI 10.14231/AG-2014-015; zbl 1322.14024; MR3238152; arxiv 1310.1773.
  • [BGR84]. S. Bosch, U. Güntzer, and R. Remmert, Non-Archimedean analysis, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 261, Springer-Verlag, Berlin, 1984, A systematic approach to rigid analytic geometry. zbl 0539.14017; MR0746961.
  • [Bos14]. S. Bosch, Lectures on formal and rigid geometry, Lecture Notes in Mathematics, vol. 2105, Springer, Cham, 2014. DOI 10.1007/978-3-319-04417-0; zbl 1314.14002; MR3309387.
  • [Cal85]. A. Calvo, K-théorie des anneaux ultramétriques, C. R. Acad. Sci. Paris Sér. I Math. 300 (1985), no. 14, 459-462. zbl 0577.55003; MR0788971.
  • [DGM13]. B. Dundas, T. Goodwillie, and R. McCarthy, The local structure of algebraic K-theory, Algebra and Applications, vol. 18, Springer-Verlag London, Ltd., London, 2013. DOI 10.1007/978-1-4471-4393-2; zbl 1272.55002; MR3013261.
  • [Gab92]. O. Gabber, K-theory of Henselian local rings and Henselian pairs, Algebraic K-theory, commutative algebra, and algebraic geometry (Santa Margherita Ligure, 1989), Contemp. Math., vol. 126, Amer. Math. Soc., Providence, RI, 1992, pp. 59-70. zbl 0791.19002; MR1156502.
  • [GH06a]. T. Geisser and L. Hesselholt, On the K-theory and topological cyclic homology of smooth schemes over a discrete valuation ring, Trans. Amer. Math. Soc. 358 (2006), no. 1, 131-145 (electronic). DOI 10.1090/S0002-9947-04-03599-8; zbl 1087.19003; MR2171226.
  • [GH06b]. T. Geisser and L. Hesselholt, On the K-theory of complete regular local \(F_p\)-algebras, Topology 45 (2006), no. 3, 475-493. DOI 10.1016/; zbl 1093.19003; MR2218752.
  • [Gro67]. A. Grothendieck, Éléments de géométrie algébrique, Inst. Hautes Études Sci. Publ. Math. (1960-1967), no. 4, 8, 11, 17, 20, 24, 28, 32. DOI 10.1007/BF02684778 (vol.4,8,11); zbl 0118.36206 (vol. 4,8,11); zbl 0122.16102 (vol.17); zbl 0136.15901 (vol.20); zbl 0135.39701 (vol.24); MR0217083 (vol.4); MR0217084 (vol.8); MR0217085 (vol.11); MR0163911 (vol.17); MR0173675 (vol.20); MR0199181 (vol.24); MR0217086 (vol.28).
  • [Gru68]. L. Gruson, Fibrés vectoriels sur un polydisque ultramétrique, Ann. Sci. École Norm. Sup. (4) 1 (1968), 45-89. DOI 10.24033/asens.1160; zbl 0197.17401; MR0229654.
  • [HM97]. L. Hesselholt and I. Madsen, On the K-theory of finite algebras over Witt vectors of perfect fields, Topology 36 (1997), no. 1, 29-101. DOI 10.1016/0040-9383(96)00003-1; zbl 0866.55002; MR1410465.
  • [Hub93]. R. Huber, Continuous valuations, Math. Z. 212 (1993), no. 3, 455-477. DOI 10.1007/BF02571668; zbl 0788.13010; MR1207303.
  • [ILO14]. L. Illusie, Y. Laszlo, and F. Orgogozo (eds.), Travaux de Gabber sur l'uniformisation locale et la cohomologie étale des schémas quasi-excellents, Société Mathématique de France, Paris, 2014. zbl 1297.14003.
  • [Isa01]. D. Isaksen, A model structure on the category of pro-simplicial sets, Trans. Amer. Math. Soc. 353 (2001), no. 7, 2805-2841. DOI 10.1090/S0002-9947-01-02722-2; zbl 0978.55014; MR1828474; arxiv math/0106152.
  • [Isa02]. D. Isaksen, Calculating limits and colimits in pro-categories, Fund. Math. 175 (2002), no. 2, 175-194. DOI 10.4064/fm175-2-7; zbl 1039.18002; MR1969635; arxiv math/0106094.
  • [Kar71]. M. Karoubi, La périodicité de Bott en K-théorie générale, Annales scientifiques de l'École Normale Supérieure 4 (1971), no. 1, 63-95 (fre). DOI 10.24033/asens.1206; zbl 0215.38902; MR0285585.
  • [Koe74]. U. Koepf, Über eigentliche Familien algebraischer Varietäten über affinoiden Räumen, Schr. Math. Inst. Univ. Münster (2) (1974), Heft 7, iv+72. zbl 0275.14006; MR0422671.
  • [KST18]. M. Kerz, F. Strunk, and G. Tamme, Algebraic K-theory and descent for blow-ups, Invent. Math. 211 (2018), no. 2, 523-577. DOI 10.1007/s00222-017-0752-2; zbl 1391.19007; MR3748313; arxiv 1611.08466.
  • [KST19]. M. Kerz, S. Saito, and G. Tamme, Towards a non-archimedean analytic analog of the Bass-Quillen conjecture, J. Inst. Math. Jussieu (2019). DOI 10.1017/S147474801900001X; arxiv 1608.00703.
  • [KV71]. M. Karoubi and O. Villamayor, K-théorie algébrique et K-théorie topologique. I, Math. Scand. 28 (1971), 265-307 (1972). DOI 10.7146/math.scand.a-11024; zbl 0231.18018; MR0313360.
  • [LT18]. M. Land and G. Tamme, On the K-theory of pullbacks, Preprint, 2018. arxiv 1808.05559.
  • [Lur09]. J. Lurie, Higher topos theory, Annals of Mathematics Studies, vol. 170, Princeton University Press, Princeton, NJ, 2009. DOI 10.1515/9781400830558; zbl 1175.18001; MR2522659; arxiv math/0608040.
  • [Lur17a]. J. Lurie, Higher algebra, book preprint (version September 2017).
  • [Lur17b]. J. Lurie, Spectral algebraic geometry, book preprint (version June 2017).
  • [Mil71]. J. Milnor, Introduction to algebraic K-theory, Princeton University Press, Princeton, N.J.; University of Tokyo Press, Tokyo, 1971, Annals of Mathematics Studies, No. 72. DOI 10.1515/9781400881796; zbl 0237.18005; MR0349811.
  • [Mor16]. M. Morrow, A historical overview of pro cdh descent in algebraic K-theory and its relation to rigid analytic varieties, Preprint, 2016. arxiv 1612.00418.
  • [Mor18]. M. Morrow, Pro unitality and pro excision in algebraic K-theory and cyclic homology, J. Reine Angew. Math. 736 (2018), 95-139. DOI 10.1515/crelle-2015-0007; zbl 1393.19003; MR3769987; arxiv 1404.4179.
  • [Pan86]. I. A. Panin, The Hurewicz theorem and K-theory of complete discrete valuation rings, Izv. Akad. Nauk SSSR Ser. Mat. 50 (1986), no. 4, 763-775, 878. zbl 0614.18009; MR0864175.
  • [Ros05]. J. Rosenberg, Comparison between algebraic and topological K-theory for Banach algebras and \(C^*\)-algebras, Handbook of K-theory. Vol. 1, 2, Springer, Berlin, 2005, pp. 843-874. zbl 1123.19005; MR2181834.
  • [Sin81]. S. Singh, The Dror-Whitehead theorem in prohomotopy and shape theories, Trans. Amer. Math. Soc. 268 (1981), no. 2, 489-498. MR0632540.
  • [{Sta}17]. The Stacks Project Authors, Stacks Project, 2017.
  • [Ste73]. M. Stein, Surjective stability in dimension 0 for \(K_2\) and related functors, Trans. Amer. Math. Soc. 178 (1973), 165-191. DOI 10.2307/1996696; zbl 0267.18015; MR0327925.
  • [Tem08]. M. Temkin, Desingularization of quasi-excellent schemes in characteristic zero, Adv. Math. 219 (2008), no. 2, 488-522. DOI 10.1016/j.aim.2008.05.006; zbl 1146.14009; MR2435647; arxiv math/0703678.
  • [TT90]. R. Thomason and T. Trobaugh, Higher algebraic K-theory of schemes and of derived categories, The Grothendieck Festschrift, Vol. III, Progr. Math., vol. 88, Birkhäuser Boston, Boston, MA, 1990, pp. 247-435. zbl 0731.14001; MR1106918.
  • [Wei13]. C. Weibel, The K-book, Graduate Studies in Mathematics, vol. 145, American Mathematical Society, Providence, RI, 2013, An introduction to algebraic K-theory. zbl 1273.19001; MR3076731.


Kerz, Moritz
Fakultät für Mathematik, Universität Regensburg, 93040 Regensburg, Germany
Saito, Shuji
Graduate School of Mathematical, Sciences University of Tokyo, 3-8-1 Komaba, Tokyo, Japan
Tamme, Georg
Fakultät für Mathematik, Universität Regensburg, 93040 Regensburg, Germany