The generalized de Rham-Witt complex over a field is a complex of zero-cycles
Author:
Kay Rülling
Journal:
J. Algebraic Geom. 16 (2007), 109-169
DOI:
https://doi.org/10.1090/S1056-3911-06-00446-2
Published electronically:
July 24, 2006
Erratum:
J. Algebraic Geom. 16 (2007), 793-795.
MathSciNet review:
2257322
Full-text PDF
Abstract |
References |
Additional Information
Abstract: Bloch and Esnault defined additive higher Chow groups with modulus $m$ on the level of zero cycles over a field $k$ denoted by $\text {CH}^n((\mathbb {A}^1_k,(m+1)\{0\}),n-1)$, $n,m\ge 1$. Bloch and Esnault prove $\text {CH}^n((\mathbb {A}^1_k,2\{0\}),n-1)\cong \Omega ^{n-1}_{k/\mathbb {Z}}$. In this paper we generalize their result and prove that the additive Chow groups with higher modulus form a generalized Witt complex over $k$ and are as such isomorphic to the generalized de Rham-Witt complex of Bloch-Deligne-Hesselholt-Illusie-Madsen.
References
- Greg W. Anderson and Fernando Pablos Romo, Simple proofs of classical explicit reciprocity laws on curves using determinant groupoids over an Artinian local ring, Comm. Algebra 32 (2004), no. 1, 79–102. MR 2036223, DOI 10.1081/AGB-120027853
- H. Bass and J. Tate, The Milnor ring of a global field, Algebraic $K$-theory, II: “Classical” algebraic $K$-theory and connections with arithmetic (Proc. Conf., Battelle Memorial Inst., Seattle, Wash., 1972) Lecture Notes in Math., Vol. 342, Springer, Berlin, 1973, pp. 349–446. MR 0442061, DOI 10.1007/BFb0073733
- David Mumford, Lectures on curves on an algebraic surface, Annals of Mathematics Studies, No. 59, Princeton University Press, Princeton, N.J., 1966. With a section by G. M. Bergman. MR 0209285, DOI 10.1515/9781400882069
- Spencer Bloch, Algebraic $K$-theory and crystalline cohomology, Inst. Hautes Études Sci. Publ. Math. 47 (1977), 187–268 (1978). MR 488288
- Spencer Bloch, Algebraic cycles and higher $K$-theory, Adv. in Math. 61 (1986), no. 3, 267–304. MR 852815, DOI 10.1016/0001-8708(86)90081-2
- Spencer Bloch and Hélène Esnault, An additive version of higher Chow groups, Ann. Sci. École Norm. Sup. (4) 36 (2003), no. 3, 463–477 (English, with English and French summaries). MR 1977826, DOI 10.1016/S0012-9593(03)00015-6
- Spencer Bloch and Hélène Esnault, The additive dilogarithm, Doc. Math. Extra Vol. (2003), 131–155. Kazuya Kato’s fiftieth birthday. MR 2046597
- Nicolas Bourbaki, Commutative algebra. Chapters 1–7, Elements of Mathematics (Berlin), Springer-Verlag, Berlin, 1989. Translated from the French; Reprint of the 1972 edition. MR 979760
- N. Bourbaki, Algebra. II. Chapters 4–7, Elements of Mathematics (Berlin), Springer-Verlag, Berlin, 1990. Translated from the French by P. M. Cohn and J. Howie. MR 1080964
- A. Grothendieck, Éléments de géométrie algébrique. IV. Étude locale des schémas et des morphismes de schémas IV, Inst. Hautes Études Sci. Publ. Math. 32 (1967), 361 (French). MR 238860
- William Fulton, Intersection theory, Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)], vol. 2, Springer-Verlag, Berlin, 1984. MR 732620, DOI 10.1007/978-3-662-02421-8
- T. Geisser, L. Hesselholt, On the $K$-theory of complete regular local $\mathbb {F}_p$-algebras, Topology, to appear.
- Robin Hartshorne, Algebraic geometry, Graduate Texts in Mathematics, No. 52, Springer-Verlag, New York-Heidelberg, 1977. MR 0463157, DOI 10.1007/978-1-4757-3849-0
- Lars Hesselholt, Topological Hochschild homology and the de Rham-Witt complex for $\Bbb Z_{(p)}$-algebras, Homotopy theory: relations with algebraic geometry, group cohomology, and algebraic $K$-theory, Contemp. Math., vol. 346, Amer. Math. Soc., Providence, RI, 2004, pp. 253–259. MR 2066502, DOI 10.1090/conm/346/06290
- Lars Hesselholt, The absolute and relative de Rham-Witt complexes, Compos. Math. 141 (2005), no. 5, 1109–1127. MR 2157132, DOI 10.1112/S0010437X05001442
- Lars Hesselholt and Ib Madsen, On the $K$-theory of nilpotent endomorphisms, Homotopy methods in algebraic topology (Boulder, CO, 1999) Contemp. Math., vol. 271, Amer. Math. Soc., Providence, RI, 2001, pp. 127–140. MR 1831350, DOI 10.1090/conm/271/04353
- 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
- Reinhold Hübl, Traces of differential forms and Hochschild homology, Lecture Notes in Mathematics, vol. 1368, Springer-Verlag, Berlin, 1989. MR 995670, DOI 10.1007/BFb0098406
- 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
- Kazuya Kato, A generalization of local class field theory by using $K$-groups. II, J. Fac. Sci. Univ. Tokyo Sect. IA Math. 27 (1980), no. 3, 603–683. MR 603953
- Ernst Kunz, Kähler differentials, Advanced Lectures in Mathematics, Friedr. Vieweg & Sohn, Braunschweig, 1986. MR 864975, DOI 10.1007/978-3-663-14074-0
- Ernst Kunz, Arithmetische Anwendungen der Differentialalgebren, J. Reine Angew. Math. 214(215) (1964), 276–320 (German). MR 164957, DOI 10.1515/crll.1964.214-215.276
- 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
- Yu. P. Nesterenko and A. A. Suslin, Homology of the general linear group over a local ring, and Milnor’s $K$-theory, Izv. Akad. Nauk SSSR Ser. Mat. 53 (1989), no. 1, 121–146 (Russian); English transl., Math. USSR-Izv. 34 (1990), no. 1, 121–145. MR 992981, DOI 10.1070/IM1990v034n01ABEH000610
- Fernando Pablos Romo, A generalization of the Contou-Carrère symbol, Israel J. Math. 141 (2004), 39–60. MR 2063024, DOI 10.1007/BF02772210
- Jean-Pierre Serre, Corps locaux, Publications de l’Université de Nancago, No. VIII, Hermann, Paris, 1968 (French). Deuxième édition. MR 0354618
- Jean-Pierre Serre, Algebraic groups and class fields, Graduate Texts in Mathematics, vol. 117, Springer-Verlag, New York, 1988. Translated from the French. MR 918564, DOI 10.1007/978-1-4612-1035-1
- Joseph H. Silverman, The arithmetic of elliptic curves, Graduate Texts in Mathematics, vol. 106, Springer-Verlag, New York, 1992. Corrected reprint of the 1986 original. MR 1329092, DOI 10.1007/978-1-4757-4252-7
- John Tate, Residues of differentials on curves, Ann. Sci. École Norm. Sup. (4) 1 (1968), 149–159. MR 227171, DOI 10.24033/asens.1162
- Burt Totaro, Milnor $K$-theory is the simplest part of algebraic $K$-theory, $K$-Theory 6 (1992), no. 2, 177–189. MR 1187705, DOI 10.1007/BF01771011
- Vladimir Voevodsky, Andrei Suslin, and Eric M. Friedlander, Cycles, transfers, and motivic homology theories, Annals of Mathematics Studies, vol. 143, Princeton University Press, Princeton, NJ, 2000. MR 1764197
- E. Witt, Zyklische Körper und Algebren der Charakteristik $p$ vom Grad $p^n$. Struktur diskret bewerteter perfekter Körper mit vollkommenem Restklassenkörper der Charakteristik $p$. J. Reine Angew. Math. 176, 1936, 126-140.
References
- G. W. Anderson, F. P. Romo, Simple proofs of classical explicit reciprocity laws on curves using determinant groupoids over an Artinian local ring. Commun. Algebra 32, No.1, 2004, 79-102. MR 2036223 (2005d:11099)
- H. Bass, J. Tate, The Milnor ring of a global field. Algebraic $K$-theory, II: “Classical" algebraic $K$-theory and connections with arithmetic (Proc. Conf., Seattle, Wash., Battelle Memorial Inst., 1972), pp. 349-446. Lecture Notes in Math., Vol. 342, Springer, Berlin, 1973. MR 0442061 (56:449)
- G.M. Bergman, Ring Schemes; the Witt Scheme. Lecture 26, in Lectures on Curves on an Algebraic Surface, Mumford, Ann. Math. Studies 59, Princeton University Press, 1966. MR 0209285 (35:187)
- S. Bloch, Algebraic $K$-Theory and Crystalline Cohomology. Pub. Math. I.H.E.S. 47, 1978, 187-268. MR 0488288 (81j:14011)
- S. Bloch, Algebraic cycles and higher $K$-theory. Adv. in Math. 61, No. 3, 1986, 267-304. MR 0852815 (88f:18010)
- S. Bloch, H. Esnault, An additive version of higher Chow groups. Ann. Sci. École Norm. Sup. (4) 36, no. 3, 2003, 463-477. MR 1977826 (2004c:14035)
- S. Bloch, E. Esnault, The additive dilogarithm. Doc. Math., J. Doc. Math. Extra Vol., 2003, 131-155. MR 2046597 (2005e:19006)
- N. Bourbaki, Elements of mathematics. Commutative algebra. Chapters 1-7. Transl. from the French. 2nd printing. Berlin etc.: Springer-Verlag. x, 1989. MR 0979760 (90a:13001)
- N. Bourbaki, Elements of mathematics. Algebra II. Chapters 4-7. Transl. from the French. Berlin etc.: Springer-Verlag., 1990. MR 1080964 (91h:00003)
- A. Grothendieck, J. Dieudonné, Éléments de géométrie algébrique IV. Étude locale des schémas et des morphismes de schémas IV. Pub. Math. I.H.E.S. 32, 1967. MR 0238860 (39:220)
- W. Fulton, Intersection Theory. Springer-Verlag, Berlin, 1984. MR 0732620 (85k:14004)
- T. Geisser, L. Hesselholt, On the $K$-theory of complete regular local $\mathbb {F}_p$-algebras, Topology, to appear.
- R. Hartshorne. Algebraic Geometry. Springer-Verlag, New York, 1977. MR 0463157 (57:3116)
- L. Hesselholt, Topological Hochschild homology and the de Rham-Witt complex for $\mathbb {Z}_{(p)}$-algebras. Homotopy theory: Relations with algebraic geometry, group cohomology, and algebraic K-theory (Evanston, IL, 2002), Contemp. Math. 346, Amer. Math. Soc., Providence, RI, 2004, 253-259. MR 2066502 (2005c:19006)
- L. Hesselholt, The absolute and relative de Rham-Witt complexes. Compositio Math. 141 (2005), no. 5, 1109–1127. MR 2157132
- L. Hesselholt, I. Madsen, On the K-theory of nilpotent endomorphisms. Greenlees, J. P. C. (ed.) et al., Homotopy methods in algebraic topology. Proceedings of an AMS-IMS-SIAM joint summer research conference, University of Colorado, Boulder, CO, USA, June 20-24, 1999. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 271, 2001, 127-140. MR 1831350 (2002b:19003)
- L. Hesselholt, I. Madsen, On the de Rham-Witt complex in mixed characteristic. Ann. Scient. Éc. Norm. Sup., IV Ser. 37, 2004, 1-43. MR 2050204 (2005f:19005)
- R. Hübl, Traces of differential forms and Hochschild homology. Lecture Notes in Mathematics 1368, 1989. MR 0995670 (92a:13010)
- L. Illusie, Complexe de de Rham-Witt et cohomologie cristalline. Ann. Scient. Éc. Norm. Sup., IV. Ser. 12, 1979, 501-661. MR 0565469 (82d:14013)
- K. Kato, A generalization of local class field theory by using $K$-groups. II. J. Fac. Sci. Univ. Tokyo Sect. IA Math. 27 , No. 3, 1980, 603-683. MR 0603953 (83g:12020a)
- E. Kunz, Kähler differentials. Advanced Lectures in Mathematics. Braunschweig/Wiesbaden: Friedr. Vieweg & Sohn. VII, 1986. MR 0864975 (88e:14025)
- E. Kunz, Arithmetische Anwendungen der Differentialalgebren. J. Reine Angew. Math. 214/215, 1964, 276-320. MR 0164957 (29:2248)
- A. Langer, T. Zink, De Rham-Witt cohomology for a proper and smooth morphism. J. Inst. Math. Jussieu 3, No. 2, 2004, 231-314. MR 2055710 (2005d:14027)
- Y. P. Nesterenko, A. A. Suslin, Homology of the general linear group over a local ring, and Milnor’s $K$-theory. English translation. Math. USSR-Izv. 34, No. 1, 1990, 121-145. MR 0992981 (90a:20092)
- F. P. Romo, A generalization of the Contou-Carrère symbol. Isr. J. Math. 141, 2004, 39-60. MR 2063024 (2005g:11115)
- J.-P. Serre, Corps locaux. Deuxième édition. Hermann, Paris, 1968. MR 0354618 (50:7096)
- J.-P. Serre, Algebraic groups and class fields. Transl. of the French edition. Graduate Texts in Mathematics, 117. New York etc.: Springer-Verlag. ix, 1988. MR 0918564 (88i:14041)
- J. H. Silverman, The arithmetic of elliptic curves. Corrected reprint of the 1986 original. Graduate Texts in Mathematics, 106. Springer-Verlag, New York, 1992. MR 1329092 (95m:11054)
- J. Tate, Residues of differentials on curves. Ann. Sci. Éc. Norm. Sup., IV. Sér. 1, No.1, 1968, 149-159. MR 0227171 (37:2756)
- B. Totaro, Milnor $K$-theory is the simplest part of algebraic $K$-theory. $K$-Theory 6, No. 2, 1992, 177-189. MR 1187705 (94d:19009)
- V. Voevodsky, A. Suslin, E. Friedlander, Cycles, transfers, and motivic homology theories. Annals of Mathematics Studies. 143. Princeton, NJ: Princeton University Press, 2000. MR 1764197 (2001d:14026)
- E. Witt, Zyklische Körper und Algebren der Charakteristik $p$ vom Grad $p^n$. Struktur diskret bewerteter perfekter Körper mit vollkommenem Restklassenkörper der Charakteristik $p$. J. Reine Angew. Math. 176, 1936, 126-140.
Additional Information
Kay Rülling
Affiliation:
Universität Duisburg-Essen, Essen, FB6, Mathematik, 45117 Essen, Germany
Email:
kay.ruelling@uni-essen.de
Received by editor(s):
May 23, 2005
Published electronically:
July 24, 2006
Additional Notes:
The author was supported by the DFG Graduiertenkolleg 647.