On relative and bi-relative algebraic 𝐾-theory of rings of finite characteristic

Geisser, Thomas; Hesselholt, Lars

doi:10.1090/S0894-0347-2010-00682-0

On relative and bi-relative algebraic $K$-theory of rings of finite characteristic
HTML articles powered by AMS MathViewer

by Thomas Geisser and Lars Hesselholt

J. Amer. Math. Soc. 24 (2011), 29-49

DOI: https://doi.org/10.1090/S0894-0347-2010-00682-0

Published electronically: September 15, 2010

PDF | Request permission

Abstract:

We consider unital associative rings in which a fixed prime number $p$ is nilpotent. It was proved long ago by Weibel that for such rings, the relative $K$-groups associated with a nilpotent extension and the bi-relative $K$-groups associated with a pull-back square are $p$-primary torsion groups. However, the question of whether these groups can contain a $p$-divisible torsion subgroup has remained an open and intractable problem. In this paper, we answer this question in the negative. In effect, we prove the stronger statement that the groups in question are always $p$-primary torsion groups of bounded exponent.

References

Hyman Bass, Algebraic $K$-theory, W. A. Benjamin, Inc., New York-Amsterdam, 1968. MR 0249491
M. Bökstedt, W. C. Hsiang, and I. Madsen, The cyclotomic trace and algebraic $K$-theory of spaces, Invent. Math. 111 (1993), no. 3, 465–539. MR 1202133, DOI 10.1007/BF01231296
A. K. Bousfield, The localization of spectra with respect to homology, Topology 18 (1979), no. 4, 257–281. MR 551009, DOI 10.1016/0040-9383(79)90018-1
P. M. Cohn, Free rings and their relations, 2nd ed., London Mathematical Society Monographs, vol. 19, Academic Press, Inc. [Harcourt Brace Jovanovich, Publishers], London, 1985. MR 800091
Guillermo Cortiñas, The obstruction to excision in $K$-theory and in cyclic homology, Invent. Math. 164 (2006), no. 1, 143–173. MR 2207785, DOI 10.1007/s00222-005-0473-9
Joachim Cuntz and Daniel Quillen, Excision in bivariant periodic cyclic cohomology, Invent. Math. 127 (1997), no. 1, 67–98. MR 1423026, DOI 10.1007/s002220050115
Bjørn Ian Dundas and Randy McCarthy, Topological Hochschild homology of ring functors and exact categories, J. Pure Appl. Algebra 109 (1996), no. 3, 231–294. MR 1388700, DOI 10.1016/0022-4049(95)00089-5
A. D. Elmendorf, I. Kriz, M. A. Mandell, and J. P. May, Rings, modules, and algebras in stable homotopy theory, Mathematical Surveys and Monographs, vol. 47, American Mathematical Society, Providence, RI, 1997. With an appendix by M. Cole. MR 1417719, DOI 10.1090/surv/047
Thomas Geisser and Lars Hesselholt, Topological cyclic homology of schemes, Algebraic $K$-theory (Seattle, WA, 1997) Proc. Sympos. Pure Math., vol. 67, Amer. Math. Soc., Providence, RI, 1999, pp. 41–87. MR 1743237, DOI 10.1090/pspum/067/1743237
Thomas Geisser and Lars Hesselholt, Bi-relative algebraic $K$-theory and topological cyclic homology, Invent. Math. 166 (2006), no. 2, 359–395. MR 2249803, DOI 10.1007/s00222-006-0515-y
Thomas Geisser and Lars 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. MR 2171226, DOI 10.1090/S0002-9947-04-03599-8
—, On the vanishing of negative $K$-groups, Math. Ann. 348 (2010), 707–736.
Paul G. Goerss and John F. Jardine, Simplicial homotopy theory, Progress in Mathematics, vol. 174, Birkhäuser Verlag, Basel, 1999. MR 1711612, DOI 10.1007/978-3-0348-8707-6
Thomas G. Goodwillie, Relative algebraic $K$-theory and cyclic homology, Ann. of Math. (2) 124 (1986), no. 2, 347–402. MR 855300, DOI 10.2307/1971283
Lars Hesselholt, Stable topological cyclic homology is topological Hochschild homology, Astérisque 226 (1994), 8–9, 175–192. $K$-theory (Strasbourg, 1992). MR 1317119
Lars Hesselholt, $K$-theory of truncated polynomial algebras, Handbook of $K$-theory. Vol. 1, 2, Springer, Berlin, 2005, pp. 71–110. MR 2181821, DOI 10.1007/3-540-27855-9_{3}
Lars Hesselholt, On the $K$-theory of the coordinate axes in the plane, Nagoya Math. J. 185 (2007), 93–109. MR 2301459, DOI 10.1017/S0027763000025757
Lars Hesselholt, On the Whitehead spectrum of the circle, Algebraic topology, Abel Symp., vol. 4, Springer, Berlin, 2009, pp. 131–184. MR 2597738, DOI 10.1007/978-3-642-01200-6_{7}
Lars Hesselholt and Ib Madsen, Cyclic polytopes and the $K$-theory of truncated polynomial algebras, Invent. Math. 130 (1997), no. 1, 73–97. MR 1471886, DOI 10.1007/s002220050178
Lars Hesselholt and Ib Madsen, On the $K$-theory of finite algebras over Witt vectors of perfect fields, Topology 36 (1997), no. 1, 29–101. MR 1410465, DOI 10.1016/0040-9383(96)00003-1
Lars Hesselholt and Ib Madsen, On the $K$-theory of local fields, Ann. of Math. (2) 158 (2003), no. 1, 1–113. MR 1998478, DOI 10.4007/annals.2003.158.1
Lars Hesselholt and Ib Madsen, On the De Rham-Witt complex in mixed characteristic, Ann. Sci. École Norm. Sup. (4) 37 (2004), no. 1, 1–43 (English, with English and French summaries). MR 2050204, DOI 10.1016/j.ansens.2003.06.001
Randy McCarthy, Relative algebraic $K$-theory and topological cyclic homology, Acta Math. 179 (1997), no. 2, 197–222. MR 1607555, DOI 10.1007/BF02392743
S. Singh, The Dror-Whitehead theorem in prohomotopy and shape theories, Trans. Amer. Math. Soc. 268 (1981), no. 2, 489–498. MR 632540, DOI 10.1090/S0002-9947-1981-0632540-7
A. A. Suslin, Excision in integer algebraic $K$-theory, Trudy Mat. Inst. Steklov. 208 (1995), no. Teor. Chisel, Algebra i Algebr. Geom., 290–317 (Russian). Dedicated to Academician Igor′Rostislavovich Shafarevich on the occasion of his seventieth birthday (Russian). MR 1730271
R. W. Thomason and Thomas 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. MR 1106918, DOI 10.1007/978-0-8176-4576-2_{1}0
Friedhelm Waldhausen, Algebraic $K$-theory of topological spaces. I, Algebraic and geometric topology (Proc. Sympos. Pure Math., Stanford Univ., Stanford, Calif., 1976) Proc. Sympos. Pure Math., XXXII, Amer. Math. Soc., Providence, R.I., 1978, pp. 35–60. MR 520492
C. A. Weibel, Mayer-Vietoris sequences and module structures on $NK_\ast$, Algebraic $K$-theory, Evanston 1980 (Proc. Conf., Northwestern Univ., Evanston, Ill., 1980) Lecture Notes in Math., vol. 854, Springer, Berlin, 1981, pp. 466–493. MR 618317, DOI 10.1007/BFb0089534