## 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

## Bibliographic Information

**Thomas Geisser**- Affiliation: Department of Mathematics, University of Southern California, 3620 Vermont Avenue KAP 108, Los Angeles, California 90089
- Email: geisser@usc.edu
**Lars Hesselholt**- Affiliation: Graduate School of Mathematics, Nagoya University, Furo-cho, Chikusa-ku, Nagoya, 464-8602 Japan
- MR Author ID: 329414
- Email: larsh@math.nagoya-u.ac.jp
- Received by editor(s): February 18, 2009
- Received by editor(s) in revised form: July 23, 2010
- Published electronically: September 15, 2010
- Additional Notes: The authors were supported in part by NSF Grant Nos. 0901021 and 0306519.
- © Copyright 2010
American Mathematical Society

The copyright for this article reverts to public domain 28 years after publication. - Journal: J. Amer. Math. Soc.
**24**(2011), 29-49 - MSC (2010): Primary 19D55; Secondary 18G50, 16S70
- DOI: https://doi.org/10.1090/S0894-0347-2010-00682-0
- MathSciNet review: 2726598