|
On relative and bi-relative algebraic -theory of rings of finite characteristic
Authors:
Thomas Geisser and Lars Hesselholt
Journal:
J. Amer. Math. Soc. 24 (2011), 29-49
MSC (2010):
Primary 19D55; Secondary 18G50, 16S70
Posted:
September 15, 2010
MathSciNet review:
2726598
Full-text PDF
Abstract |
References |
Similar Articles |
Additional Information
Abstract: We consider unital associative rings in which a fixed prime number is nilpotent. It was proved long ago by Weibel that for such rings, the relative -groups associated with a nilpotent extension and the bi-relative -groups associated with a pull-back square are -primary torsion groups. However, the question of whether these groups can contain a -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 -primary torsion groups of bounded exponent.
- 1.
Hyman
Bass, Algebraic 𝐾-theory, W. A. Benjamin, Inc., New
York-Amsterdam, 1968. MR 0249491
(40 #2736)
- 2.
M.
Bökstedt, W.
C. Hsiang, and I.
Madsen, The cyclotomic trace and algebraic 𝐾-theory of
spaces, Invent. Math. 111 (1993), no. 3,
465–539. MR 1202133
(94g:55011), http://dx.doi.org/10.1007/BF01231296
- 3.
A.
K. Bousfield, The localization of spectra with respect to
homology, Topology 18 (1979), no. 4,
257–281. MR
551009 (80m:55006), http://dx.doi.org/10.1016/0040-9383(79)90018-1
- 4.
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
(87e:16006)
- 5.
Guillermo
Cortiñas, The obstruction to excision in 𝐾-theory
and in cyclic homology, Invent. Math. 164 (2006),
no. 1, 143–173. MR 2207785
(2006k:19006), http://dx.doi.org/10.1007/s00222-005-0473-9
- 6.
Joachim
Cuntz and Daniel
Quillen, Excision in bivariant periodic cyclic cohomology,
Invent. Math. 127 (1997), no. 1, 67–98. MR 1423026
(98g:19003), http://dx.doi.org/10.1007/s002220050115
- 7.
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
(97i:19001), http://dx.doi.org/10.1016/0022-4049(95)00089-5
- 8.
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
(97h:55006)
- 9.
Thomas
Geisser and Lars
Hesselholt, Topological cyclic homology of schemes, Algebraic
𝐾-theory (Seattle, WA, 1997) Proc. Sympos. Pure Math.,
vol. 67, Amer. Math. Soc., Providence, RI, 1999, pp. 41–87.
MR
1743237 (2001g:19003)
- 10.
Thomas
Geisser and Lars
Hesselholt, Bi-relative algebraic 𝐾-theory and topological
cyclic homology, Invent. Math. 166 (2006),
no. 2, 359–395. MR 2249803
(2008a:19003), http://dx.doi.org/10.1007/s00222-006-0515-y
- 11.
Thomas
Geisser and Lars
Hesselholt, On the 𝐾-theory and
topological cyclic homology of smooth schemes over a discrete valuation
ring, Trans. Amer. Math. Soc.
358 (2006), no. 1,
131–145 (electronic). MR 2171226
(2006g:19008), http://dx.doi.org/10.1090/S0002-9947-04-03599-8
- 12.
-, On the vanishing of negative
-groups, Math. Ann. 348 (2010), 707-736.
- 13.
Paul
G. Goerss and John
F. Jardine, Simplicial homotopy theory, Progress in
Mathematics, vol. 174, Birkhäuser Verlag, Basel, 1999. MR 1711612
(2001d:55012)
- 14.
Thomas
G. Goodwillie, Relative algebraic 𝐾-theory and cyclic
homology, Ann. of Math. (2) 124 (1986), no. 2,
347–402. MR
855300 (88b:18008), http://dx.doi.org/10.2307/1971283
- 15.
Lars
Hesselholt, Stable topological cyclic homology is topological
Hochschild homology, Astérisque 226 (1994),
8–9, 175–192. 𝐾-theory (Strasbourg, 1992). MR 1317119
(96b:19004)
- 16.
Lars
Hesselholt, 𝐾-theory of truncated polynomial algebras,
Handbook of 𝐾-theory. Vol. 1, 2, Springer, Berlin, 2005,
pp. 71–110. MR 2181821
(2006m:19005), http://dx.doi.org/10.1007/3-540-27855-9_3
- 17.
Lars
Hesselholt, On the 𝐾-theory of the coordinate axes in the
plane, Nagoya Math. J. 185 (2007), 93–109. MR 2301459
(2008d:19003)
- 18.
Lars
Hesselholt, On the Whitehead spectrum of the circle, Algebraic
topology, Abel Symp., vol. 4, Springer, Berlin, 2009,
pp. 131–184. MR 2597738
(2011d:19006), http://dx.doi.org/10.1007/978-3-642-01200-6_7
- 19.
Lars
Hesselholt and Ib
Madsen, Cyclic polytopes and the 𝐾-theory of truncated
polynomial algebras, Invent. Math. 130 (1997),
no. 1, 73–97. MR 1471886
(98k:19002), http://dx.doi.org/10.1007/s002220050178
- 20.
Lars
Hesselholt and Ib
Madsen, On the 𝐾-theory of finite algebras over Witt
vectors of perfect fields, Topology 36 (1997),
no. 1, 29–101. MR 1410465
(97i:19002), http://dx.doi.org/10.1016/0040-9383(96)00003-1
- 21.
Lars
Hesselholt and Ib
Madsen, On the 𝐾-theory of local fields, Ann. of Math.
(2) 158 (2003), no. 1, 1–113. MR 1998478
(2004k:19003), http://dx.doi.org/10.4007/annals.2003.158.1
- 22.
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
(2005f:19005), http://dx.doi.org/10.1016/j.ansens.2003.06.001
- 23.
Randy
McCarthy, Relative algebraic 𝐾-theory and topological
cyclic homology, Acta Math. 179 (1997), no. 2,
197–222. MR 1607555
(99e:19006), http://dx.doi.org/10.1007/BF02392743
- 24.
S.
Singh, The Dror-Whitehead theorem in
prohomotopy and shape theories, Trans. Amer.
Math. Soc. 268 (1981), no. 2, 489–498. MR 632540
(83b:55004), http://dx.doi.org/10.1090/S0002-9947-1981-0632540-7
- 25.
A.
A. Suslin, Excision in integer algebraic 𝐾-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
(2000i:19011)
- 26.
R.
W. Thomason and Thomas
Trobaugh, Higher algebraic 𝐾-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
(92f:19001), http://dx.doi.org/10.1007/978-0-8176-4576-2_10
- 27.
Friedhelm
Waldhausen, Algebraic 𝐾-theory of topological spaces.
I, Algebraic and geometric topology (Proc. Sympos. Pure Math.,
Stanford Univ., Stanford, Calif., 1976), Part 1, Proc. Sympos. Pure Math.,
XXXII, Amer. Math. Soc., Providence, R.I., 1978, pp. 35–60. MR 520492
(81i:18014a)
- 28.
C.
A. Weibel, Mayer-Vietoris sequences and module structures on
𝑁𝐾_{∗}, Algebraic 𝐾-theory, Evanston
1980 (Proc. Conf., Northwestern Univ., Evanston, Ill., 1980), Lecture
Notes in Math., vol. 854, Springer, Berlin, 1981,
pp. 466–493. MR 618317
(82k:18010)
- 1.
- H. Bass, Algebraic
-theory, W. A. Benjamin, Inc., New York-Amsterdam, 1968. MR 0249491 (40:2736)
- 2.
- M. Bökstedt, W.-C. Hsiang, and I. Madsen, The cyclotomic trace and algebraic
-theory of spaces, Invent. Math. 111 (1993), 465-540. MR 1202133 (94g:55011)
- 3.
- A. K. Bousfield, The localization of spectra with respect to homology, Topology 18 (1979), 257-281. MR 551009 (80m:55006)
- 4.
- P. M. Cohn, Free rings and their relations. Second edition, London Mathematical Society Monographs, vol. 19, Academic Press, Inc., London, 1985. MR 800091 (87e:16006)
- 5.
- G. Cortiñas, The obstruction to excision in
-theory and in cyclic homology, Invent. Math. 164 (2006), 143-173. MR 2207785 (2006k:19006)
- 6.
- J. Cuntz and D. Quillen, Excision in bivariant periodic cyclic cohomology, Invent. Math. 127 (1997), 67-98. MR 1423026 (98g:19003)
- 7.
- B. I. Dundas and R. McCarthy, Topological Hochschild homology of ring functors and exact categories, J. Pure Appl. Alg. 109 (1996), 231-294. MR 1388700 (97i:19001)
- 8.
- A. D. Elmendorf, I. Kriz, M. A. Mandell, and J. P. May, Rings, modules, and algebras in stable homotopy theory. With an appedix by M. Cole, Mathematical Surveys and Monographs, vol. 47, Amer. Math. Soc., Providence, RI, 1997. MR 1417719 (97h:55006)
- 9.
- T. Geisser and L. Hesselholt, Topological cyclic homology of schemes,
-theory (Seattle, 1997), Proc. Symp. Pure Math., vol. 67, 1999, pp. 41-87. MR 1743237 (2001g:19003)
- 10.
- -, Bi-relative algebraic
-theory and topological cyclic homology, Invent. Math. 166 (2006), 359-395. MR 2249803 (2008a:19003)
- 11.
- -, On the
-theory and topological cyclic homology of smooth schemes over a discrete valuation ring, Trans. Amer. Math. Soc. 358 (2006), 131-145. MR 2171226 (2006g:19008)
- 12.
- -, On the vanishing of negative
-groups, Math. Ann. 348 (2010), 707-736.
- 13.
- P. G. Goerss and J. F. Jardine, Simplicial homotopy theory, Progress in Mathematics, vol. 174, Birkhäuser, Boston, MA, 1999. MR 1711612 (2001d:55012)
- 14.
- T. G. Goodwillie, Relative algebraic
-theory and cyclic homology, Ann. of Math. (2) 124 (1986), 347-402. MR 855300 (88b:18008)
- 15.
- L. Hesselholt, Stable topological cyclic homology is topological Hochschild homology,
-theory (Strasbourg, 1992), Astérisque, vol. 226, 1994, pp. 175-192. MR 1317119 (96b:19004)
- 16.
- -,
-theory of truncated polynomial algebras, Handbook of -theory, Springer-Verlag, New York, 2005, pp. 71-110. MR 2181821 (2006m:19005)
- 17.
- -, On the
-theory of the coordinate axes in the plane, Nagoya Math. J. 185 (2007), 93-109. MR 2301459 (2008d:19003)
- 18.
- -, On the Whitehead spectrum of the circle, Algebraic Topology (Oslo, Norway, 2007), Abel Symp., vol. 4, Springer-Verlag, Berlin, 2009, pp. 131-184. MR 2597738
- 19.
- L. Hesselholt and I. Madsen, Cyclic polytopes and the
-theory of truncated polynomial algebras, Invent. Math. 130 (1997), 73-97. MR 1471886 (98k:19002)
- 20.
- -, On the
-theory of finite algebras over Witt vectors of perfect fields, Topology 36 (1997), 29-102. MR 1410465 (97i:19002)
- 21.
- -, On the
-theory of local fields, Ann. of Math. (2) 158 (2003), 1-113. MR 1998478 (2004k:19003)
- 22.
- -, On the de Rham-Witt complex in mixed characteristic, Ann. Sci. École Norm. Sup. 37 (2004), 1-43. MR 2050204 (2005f:19005)
- 23.
- R. McCarthy, Relative algebraic
-theory and topological cyclic homology, Acta Math. 179 (1997), 197-222. MR 1607555 (99e:19006)
- 24.
- S. Singh, The Dror-Whitehead theorem in pro-homotopy and shape theories, Trans. Amer. Math. Soc. 268 (1981), 487-496. MR 632540 (83b:55004)
- 25.
- A. A. Suslin, Excision in the integral algebraic
-theory, Proc. Steklov Inst. Math. 208 (1995), 255-279. MR 1730271 (2000i:19011)
- 26.
- R. W. Thomason and T. Trobaugh, Higher algebraic
-theory of schemes and of derived categories, Grothendieck Festschrift, Volume III, Progress in Mathematics, vol. 88, 1990, pp. 247-435. MR 1106918 (92f:19001)
- 27.
- F. Waldhausen, Algebraic
-theory of topological spaces. I, Algebraic and geometric topology, Proc. Symp. Pure Math., vol. 32, Amer. Math. Soc., Providence, RI, 1978, pp. 35-60. MR 520492 (81i:18014a)
- 28.
- C. A. Weibel, Mayer-Vietoris sequences and module structure on
, Algebraic -theory (Evanston, IL, 1980), Lecture Notes in Math., vol. 854, Springer-Verlag, New York, 1981, pp. 466-493. MR 618317 (82k:18010)
Similar Articles
Retrieve articles in Journal of the American Mathematical Society
with MSC (2010):
19D55,
18G50,
16S70
Retrieve articles in all journals
with MSC (2010):
19D55,
18G50,
16S70
Additional 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
Email:
larsh@math.nagoya-u.ac.jp
DOI:
http://dx.doi.org/10.1090/S0894-0347-2010-00682-0
PII:
S 0894-0347(2010)00682-0
Received by editor(s):
February 18, 2009
Received by editor(s) in revised form:
July 23, 2010
Posted:
September 15, 2010
Additional Notes:
The authors were supported in part by NSF Grant Nos. 0901021 and 0306519.
Article copyright:
© Copyright 2010 American Mathematical Society
The copyright for this article reverts to public domain 28 years after publication.
|