Motivic cohomology of the complement of hyperplane arrangements (Q997100)

Let \(k=\mathbb{C}\) and let \(U\subset\mathbb{A}^n_k\) be the complement of a finite union of hyperplanes. Then the cohomology ring \(H^*(U_{an},\mathbb{Z})\) is isomorphic to the subalgebra of meromorphic forms generated by the logarithmic forms \({df\over (2\pi i)f}\). The aim of this paper is to compute, for any perfect field \(k\), the motivic cohomology \(H(U)= \bigoplus_{p,q}H^p(U,\mathbb{Z}(q))\), where the groups \(H^*_M\) are those defined by \textit{V. Voevodsky} [in: Cycles, transfers, and motivic homology. Ann. Math. Stud. 143, 188--238 (2000; Zbl 1019.14009)]. Using the isomorphism \(\mathbb{G}_m(U)\simeq H^1_M(U, \mathbb{Z}(1),\) the author describes the structure of \(H(U)\) as a \(H(k)\)-algebra. Let \(H(k)\{\mathbb{G},(U)\}\) be the free bigraded commutative algebra over \(H(k)\), generated by the abelian group of units of \(U\) in degree \((1, 1)\). For every \(f\in \mathbb{G}_m(U)\) let \((f)\) be the corresponding element in \(H(k)\{(\mathbb{G}_m(U)\}\) and, for \(\lambda\in k^*\), let \([\lambda]\in H^1_M(k, \mathbb{Z}(1)\subset H(k)\) be the corresponding cohomology class. Then one has the following result. Theorem. The morphism \[ \Phi: H(k)\{\mathbb{G}_m(U)\}/I\to H(U) \] defined by \(\Phi((f))= [f]\), with \([f]\) the class of \(f\) in \(H^1_M(U,\mathbb{Z}(1))\), is an isomorphism of \(H(k)\)-algebras, where \(I\) is the ideal generated by the following elements (1) \((f)- [f]\in k^*\subset \mathbb{G}_m(U)\); (2) \((f_1)\cdot(f_2)\cdots (f_t)\) if \(f_i\in\mathbb{G}_m(U)\), \(1\leq i\leq t,\) \(\sum_i f_i= 1\); (3) \((f)+ [-1]\cdot(f)\) if \(f\in \mathbb{G}_m(U)\).