×

The Milnor-Chow homomorphism revisited. (English) Zbl 1144.19002

The authors give a simplified proof that the natural Milnor-Chow homomorphism \(\rho \colon K^M_n(A) \rightarrow \mathrm{CH}^n(A,n)\) between Milnor \(K\)-theory and higher Chow groups is surjective for essentially smooth (semi-)local \(k\)-algebras \(A\) with infinite residue fields. The proof is based on the properties of the norm map for the Milnor \(K\)-theory of rings and on the theory of Bass and Tate. The obtained result implies some important consequences. In particular, assuming in addition that \(A\) is integral, the Gersten resolution for Milnor \(K\)-theory is exact; assuming the Bloch-Kato conjecture and that \(A\) contains an infinite field of characteristic prime to some integer \(l >0\), the graded ring \(H^*_{\text{é}t}(A, \mu^{\otimes *}_l)\) is generated by elements of degree one. Again under the Bloch-Kato conjecture the main result of the paper implies a result of S. Bloch on the existence of certain divisors on complex varieties. Other corollaries establish some properties of the Witt rings of regular local rings and their extensions.

MSC:

19D45 Higher symbols, Milnor \(K\)-theory
14C25 Algebraic cycles
14F42 Motivic cohomology; motivic homotopy theory
19E15 Algebraic cycles and motivic cohomology (\(K\)-theoretic aspects)

References:

[1] Arason J. and Elman R. (2001). Powers of the fundamental ideal in the Witt ring. J. Algebra 239(1): 150–160 · Zbl 0990.11021 · doi:10.1006/jabr.2000.8688
[2] Bass, H., Tate, J.: The Milnor ring of a global field. Algebraic K-theory II (Proceedings of Conference, Seattle, Washington, Battelle Memorial Institute, 1972). Lecture Notes in Math., vol. 342, pp. 349–446. Springer, Berlin (1973)
[3] Bloch S. (1986). Algebraic cycles and higher K-theory. Adv. Math. 61(3): 267–304 · Zbl 0608.14004 · doi:10.1016/0001-8708(86)90081-2
[4] Elbaz-Vincent P. and Müller-Stach S. (2002). Milnor K-theory of rings, higher Chow groups and applications. Invent. Math. 148(1): 177–206 · Zbl 1027.19004 · doi:10.1007/s002220100193
[5] Gabber, O.: Letter to Bruno Kahn (1998)
[6] Hoobler, R.: The Merkuriev–Suslin theorem for any semi-local ring. Preprint, K-theory Preprint Archives no. 731 (2005)
[7] Kato K. (1980). A generalization of local class field theory by using K-groups II. J. Fac. Sci. Univ. Tokyo Sect. IA Math. 27(3): 603–683 · Zbl 0463.12006
[8] Kerz, M.: The Gersten conjecture for Milnor K-theory. Preprint, K-theory Preprint Archives, no. 791 (2006)
[9] Kerz, M.: Milnor K-theory of local rings with finite residue fields (preprint, 2007) · Zbl 1190.14021
[10] Levine, M.: Mixed motives. Mathematical Surveys and Monographs, vol. 57. American Mathematical Society, Providence (1998) · Zbl 0902.14003
[11] Milnor, J.: Algebraic K-theory and quadratic forms. Invent. Math. 9, 318–344 (1969/1970) · Zbl 0199.55501
[12] Morel, F.: Milnor’s conjecture (preprint) http://www.mathematik.uni-muenchen.de/\(\sim\)morel/MilnorConjectureNew.pdf · Zbl 0916.19002
[13] Ojanguren M. and Panin I. (1999). A purity theorem for the Witt group. Ann. Sci. Ecole Norm. Sup. (4) 32(1): 71–86 · Zbl 0980.11025
[14] Rost M. (1996). Chow groups with coefficients. Doc. Math. 1: 319–393 · Zbl 0864.14002
[15] Swan, R.: Néron-Popescu desingularization. Algebra and geometry (Taipei, 1995), pp. 135–192
[16] Totaro B. (1992). Milnor K-theory is the simplest part of algebraic K-theory. K-Theory 6(2): 177–189 · Zbl 0776.19003 · doi:10.1007/BF01771011
[17] Voevodsky V. (2003). Motivic cohomology with \({\mathbb{Z}}/2\) -coefficients. Publ. Math. Inst. Hautes Etudes Sci. 98: 59–104 · Zbl 1057.14028
[18] Voevodsky, V.: On motivic cohomology with \({\mathbb{Z}}/l\) -coefficients. Preprint, K-theory Preprint Archives no. 639 (2003) · Zbl 1057.14028
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.