Skip to Main Content

Journal of the American Mathematical Society

Published by the American Mathematical Society, the Journal of the American Mathematical Society (JAMS) is devoted to research articles of the highest quality in all areas of mathematics.

ISSN 1088-6834 (online) ISSN 0894-0347 (print)

The 2020 MCQ for Journal of the American Mathematical Society is 4.83.

What is MCQ? The Mathematical Citation Quotient (MCQ) measures journal impact by looking at citations over a five-year period. Subscribers to MathSciNet may click through for more detailed information.

 

The de Rham-Witt complex and $p$-adic vanishing cycles
HTML articles powered by AMS MathViewer

by Thomas Geisser and Lars Hesselholt
J. Amer. Math. Soc. 19 (2006), 1-36
DOI: https://doi.org/10.1090/S0894-0347-05-00505-9
Published electronically: September 16, 2005
PDF | Request permission

Abstract:

We determine the structure of the reduction modulo $p$ of the absolute de Rham-Witt complex of a smooth scheme over a discrete valuation ring of mixed characteristic $(0,p)$ with log-poles along the special fiber and show that the sub-sheaf fixed by the Frobenius map is isomorphic to the sheaf of $p$-adic vanishing cycles. We use this result together with the main results of op. cit. to evaluate the algebraic $K$-theory with finite coefficients of the quotient field of the henselian local ring at a generic point of the special fiber. The result affirms the Lichtenbaum-Quillen conjecture for this field.
References
    beilinson A. A. Beilinson, Letter to C. Soulé, January 11, 1982.
  • A. A. Beĭlinson, Height pairing between algebraic cycles, $K$-theory, arithmetic and geometry (Moscow, 1984–1986) Lecture Notes in Math., vol. 1289, Springer, Berlin, 1987, pp. 1–25. MR 923131, DOI 10.1007/BFb0078364
  • Spencer Bloch and Kazuya Kato, $p$-adic étale cohomology, Inst. Hautes Études Sci. Publ. Math. 63 (1986), 107–152. MR 849653, DOI 10.1007/BF02831624
  • 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
    • gh2 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), 131–145. gh1 —, On the $K$-theory of complete regular local $\mathbb {F}_p$-algebras, Topology (to appear).
  • 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
    • h3 L. Hesselholt, The absolute and relative de Rham-Witt complexes, Compositio Math. 141 (2005), 1109–1127.
  • Lars Hesselholt, Algebraic $K$-theory and trace invariants, Proceedings of the International Congress of Mathematicians, Vol. II (Beijing, 2002) Higher Ed. Press, Beijing, 2002, pp. 415–425. MR 1957052
  • 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
  • Osamu Hyodo and Kazuya Kato, Semi-stable reduction and crystalline cohomology with logarithmic poles, Astérisque 223 (1994), 221–268. Périodes $p$-adiques (Bures-sur-Yvette, 1988). MR 1293974
  • Luc Illusie, Complexe de de Rham-Witt et cohomologie cristalline, Ann. Sci. École Norm. Sup. (4) 12 (1979), no. 4, 501–661 (French). MR 565469, DOI 10.24033/asens.1374
  • Bruno Kahn, Deux théorèmes de comparaison en cohomologie étale: applications, Duke Math. J. 69 (1993), no. 1, 137–165 (French). MR 1201695, DOI 10.1215/S0012-7094-93-06907-4
  • Kazuya Kato, Galois cohomology of complete discrete valuation fields, Algebraic $K$-theory, Part II (Oberwolfach, 1980) Lecture Notes in Math., vol. 967, Springer, Berlin-New York, 1982, pp. 215–238. MR 689394
  • Kazuya Kato, Logarithmic structures of Fontaine-Illusie, Algebraic analysis, geometry, and number theory (Baltimore, MD, 1988) Johns Hopkins Univ. Press, Baltimore, MD, 1989, pp. 191–224. MR 1463703
    • kummer E. E. Kummer, Über die Ergänzungssätze zu den allgemeinen Reciprocitätsgesetzen, J. reine angew. Math. 44 (1852), 93–146.
  • Andreas Langer and Thomas Zink, De Rham-Witt cohomology for a proper and smooth morphism, J. Inst. Math. Jussieu 3 (2004), no. 2, 231–314. MR 2055710, DOI 10.1017/S1474748004000088
  • S. Lichtenbaum, Values of zeta-functions at nonnegative integers, Number theory, Noordwijkerhout 1983 (Noordwijkerhout, 1983) Lecture Notes in Math., vol. 1068, Springer, Berlin, 1984, pp. 127–138. MR 756089, DOI 10.1007/BFb0099447
  • Randy McCarthy, Relative algebraic $K$-theory and topological cyclic homology, Acta Math. 179 (1997), no. 2, 197–222. MR 1607555, DOI 10.1007/BF02392743
    • nielsen K. Nielsen, On trace homology and algebraic $K$-theory of truncated polynomial algebras, Thesis, Aarhus University, 2001.
  • 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 (Russian). MR 864175
  • Andrei A. Suslin, On the $K$-theory of local fields, Proceedings of the Luminy conference on algebraic $K$-theory (Luminy, 1983), 1984, pp. 301–318. MR 772065, DOI 10.1016/0022-4049(84)90043-4
  • Takeshi Tsuji, $p$-adic étale cohomology and crystalline cohomology in the semi-stable reduction case, Invent. Math. 137 (1999), no. 2, 233–411. MR 1705837, DOI 10.1007/s002220050330
Similar Articles
Bibliographic Information
  • Thomas Geisser
  • Affiliation: Department of Mathematics, University of Southern California, Los Angeles, California 90089
  • Email: geisser@math.usc.edu
  • Lars Hesselholt
  • Affiliation: Department of Mathematics, Massachusetts Institute of Technology, Cambridge, Massachusetts 02139 and Department of Mathematics, Nagoya University, Nagoya, Japan
  • MR Author ID: 329414
  • Email: larsh@math.mit.edu; larsh@math.nagoya-u.ac.jp
  • Received by editor(s): January 5, 2004
  • Published electronically: September 16, 2005
  • Additional Notes: A previous version of this paper was entitled On the $K$-theory of a henselian discrete valuation field with non-perfect residue field.
    The authors were supported in part by grants from the National Science Foundation. The first author received additional support from the Japan Society for the Promotion of Science and the Alfred P. Sloan Foundation
  • © Copyright 2005 American Mathematical Society
    The copyright for this article reverts to public domain 28 years after publication.
  • Journal: J. Amer. Math. Soc. 19 (2006), 1-36
  • MSC (2000): Primary 11G25, 11S70; Secondary 14F30, 19D55
  • DOI: https://doi.org/10.1090/S0894-0347-05-00505-9
  • MathSciNet review: 2169041