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

Geisser, Thomas¹ ; Hesselholt, Lars²

¹ Department of Mathematics, University of Southern California, 3620 Vermont Avenue KAP 108, Los Angeles, California 90089
² Graduate School of Mathematics, Nagoya University, Furo-cho, Chikusa-ku, Nagoya, 464-8602 Japan

Journal of the American Mathematical Society, Tome 24 (2011) no. 1, pp. 29-49

Résumé

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.

Détail

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

Bibliographie

[1] Bass, Hyman Algebraic 𝐾-theory 1968

[2] Bã¶Kstedt, M., Hsiang, W. C., Madsen, I. The cyclotomic trace and algebraic 𝐾-theory of spaces Invent. Math. 1993 465 539

[3] Bousfield, A. K. The localization of spectra with respect to homology Topology 1979 257 281

[4] Cohn, P. M. Free rings and their relations 1985

[5] Cortiã±As, Guillermo The obstruction to excision in 𝐾-theory and in cyclic homology Invent. Math. 2006 143 173

[6] Cuntz, Joachim, Quillen, Daniel Excision in bivariant periodic cyclic cohomology Invent. Math. 1997 67 98

[7] Dundas, Bjã¸Rn Ian, Mccarthy, Randy Topological Hochschild homology of ring functors and exact categories J. Pure Appl. Algebra 1996 231 294

[8] Elmendorf, A. D., Kriz, I., Mandell, M. A., May, J. P. Rings, modules, and algebras in stable homotopy theory 1997

[9] Geisser, Thomas, Hesselholt, Lars Topological cyclic homology of schemes 1999 41 87

[10] Geisser, Thomas, Hesselholt, Lars Bi-relative algebraic 𝐾-theory and topological cyclic homology Invent. Math. 2006 359 395

[11] Geisser, Thomas, Hesselholt, Lars On the 𝐾-theory and topological cyclic homology of smooth schemes over a discrete valuation ring Trans. Amer. Math. Soc. 2006 131 145

[12] Goerss, Paul G., Jardine, John F. Simplicial homotopy theory 1999

[13] Goodwillie, Thomas G. Relative algebraic 𝐾-theory and cyclic homology Ann. of Math. (2) 1986 347 402

[14] Hesselholt, Lars Stable topological cyclic homology is topological Hochschild homology Astérisque 1994

[15] Hesselholt, Lars 𝐾-theory of truncated polynomial algebras 2005 71 110

[16] Hesselholt, Lars On the 𝐾-theory of the coordinate axes in the plane Nagoya Math. J. 2007 93 109

[17] Hesselholt, Lars On the Whitehead spectrum of the circle 2009 131 184

[18] Hesselholt, Lars, Madsen, Ib Cyclic polytopes and the 𝐾-theory of truncated polynomial algebras Invent. Math. 1997 73 97

[19] Hesselholt, Lars, Madsen, Ib On the 𝐾-theory of finite algebras over Witt vectors of perfect fields Topology 1997 29 101

[20] Hesselholt, Lars, Madsen, Ib On the 𝐾-theory of local fields Ann. of Math. (2) 2003 1 113

[21] Hesselholt, Lars, Madsen, Ib On the De Rham-Witt complex in mixed characteristic Ann. Sci. École Norm. Sup. (4) 2004 1 43

[22] Mccarthy, Randy Relative algebraic 𝐾-theory and topological cyclic homology Acta Math. 1997 197 222

[23] Singh, S. The Dror-Whitehead theorem in prohomotopy and shape theories Trans. Amer. Math. Soc. 1981 489 498

[24] Suslin, A. A. Excision in integer algebraic 𝐾-theory Trudy Mat. Inst. Steklov. 1995 290 317

[25] Thomason, R. W., Trobaugh, Thomas Higher algebraic 𝐾-theory of schemes and of derived categories 1990 247 435

[26] Waldhausen, Friedhelm Algebraic 𝐾-theory of topological spaces. I 1978 35 60

[27] Weibel, C. A. Mayer-Vietoris sequences and module structures on 𝑁𝐾_{∗} 1981 466 493