Functional equations of the dilogarithm in motivic cohomology (Q838446)

The aim of the paper is to compute explicitly the torsion of integral motivic cohomology groups of some number fields \(F\), more concretely the torsion of the higher Chow group \(CH^2(F,3)\). There are two different but equivalent definitions for Bloch's higher Chow groups, the simplicial version and the cubical version. \textit{S. Bloch} and \textit{I. K\(\check{r}\)í\(\check{z}\)} in [Ann. Math. (2) 140, No. 3, 557--605 (1994; Zbl 0935.14014)] have used the cubical version to define a natural homomorphism \[ \rho_2:\mathbb{Z}[F]\rightarrow Z^2(F,3) \] from the free abelian group over \(F\) to the group of admissible cycles of codimension two in the affine 3-cube over \(F\), via \(\rho_2(a)=C_a\) where \(C_a\) is \textit{B. Totaro} cycle [K-Theory 6, No. 2, 177--189 (1992; Zbl 0776.19003)] corresponding to the curve parametrized by \([1-a/x,1-x,x]\) in the three-dimensional cube over \(F\). \textit{H. Gangl} and \textit{S. Müller-Stach} in [Proc. Symp. Pure Math. 67, 25--40 (1999; Zbl 0966.14003] prove the five term relation in the cubical version of \(CH^2(F,3)\) in order to prove that \(\rho_2\) induces a well-defined homomorphism: \[ \overline{\rho}_2:B_2(F)\otimes\mathbb{Q}\rightarrow CH^2(F,3)\otimes\mathbb{Q} \] where \(B_2(F)\) is the so-called Bloch group. The article under review complete the relations from [Zbl 0966.14003, loc.cit.] in Bloch's rational higher Chow complex to relations among the images of \(\rho_2(a)\), \(a\in F^*\) in Bloch's integral higher Chow groups. For doing the computation of the relations the author uses a cubical version of an acyclicity result on Bloch complexes obtained by \textit{E. Nart} in [J. Number Theory 32, No. 3, 321--331 (1989; Zbl 0728.14002)]. Finally, to an explicit computation of \(CH^2(F,3)\), the author observes that the non-triviality of the cycles in the Chow group can be shown by applying the Abel-Jacobi map, (given in [\textit{M. Kerr, J. D. Lewis} and \textit{S. Müller-Stach}, Compos. Math. 142, No. 2, 374--396 (2006; Zbl 1123.14006)]) \(\varphi_{AJ}:CH^2(F,3)\rightarrow \mathbb{C}/\mathbb{Z}(2)\) using \(-\varphi_{AJ}(\sum m_iC_{a_i})=\sum m_i Li_2(a_i)\) where \(Li_2\) is the dilogarithm. Because we know the torsion (and also the non-torsion) of \(CH^2(F,3)\) by a theorem of \textit{A. S. Merkurev} and \textit{A. A. Suslin} [Izv. Akad. Nauk SSSR, Ser. Mat. 54, No. 3, 522--545 (1990; Zbl 0711.19002)], we can check if the whole torsion group is constructed via \(Image(\rho_2)\). The author uses this method in the paper under review to show explicit generators of the torsion of \(CH^2(F,3)\) for \(F=\mathbb{Q}\), \(\mathbb{Q}(i)\), \(\mathbb{Q}(\zeta_3)\), \(\mathbb{Q}(\zeta_5)\) and \(\mathbb{Q}(\zeta_8)\) where \(\zeta_N\) denotes a primitive \(N\)-th root of unity.