On multilinearity and skew-symmetry of certain symbols in motivic cohomology of fields (Q843045)

The author studies symbols in Goodwillie-Lichtenbaum motivic complex. The multilinearity of these is established in two cases. The first concerns the situation where degree is equal to weight. The motivic cohomology groups of a field \(H^{n}_{\mathcal M}(\text{Spec } k, {\mathbb Z}(n))\) are then isomorphic to the Milnor's \(K\)-groups \(K_n^{M}(k)\) (see \textit{Y. P. Nesterenko} and \textit{A. A. Suslin} [Izv. Akad. Nauk SSSR, Ser. Mat. 53, No. 1, 121--146 (1989; Zbl 0668.18011)], \textit{A. A. Suslin} and \textit{V. Voevodsky} [in: B. B. Gordon (ed.) et al., Bloch-Kato conjecture and motivic cohomology with finite coefficients. Dordrecht: Kluwer Academic Publishers. NATO ASI Ser., Ser. C, Math. Phys. Sci. 548, Vol. 1, 117--189 (2000; Zbl 1005.19001)] and \textit{B. Totaro} [K-Theory 6, No. 2, 177--189 (1992; Zbl 0776.19003)] for Nesterenko-Suslin's Theorem). The multilinearity and skew-symmetry for the symbols in both groups are compatible. The second case concerns the irreducible symbols for \(H^{l-1}_{\mathcal M}(\text{Spec } k, {\mathbb Z}(l))\). The results in this case where expected by the author due to the author's construction of the regulator map in [Zbl 1104.11037] for \(k\) a subfield of \({\mathbb C}\) and \(l=2.\) In the paper another proof of the Nesterenko-Suslin's Theorem is also included.