A bilinear form of dilogarithm and motivic regulator map (Q2576989): Difference between revisions

The Bloch-Wigner function \(D_2 : {\mathbb C} \to {\mathbb R}\) is a single-valued dilogarithm function, which satisfies a certain number of remarkable identities, one of them being the well known five-term functional equation. For any subfield \(K\) of \({\mathbb C},\) it induces a homomorphism (also denoted by \(D_2)\) from the Bloch group \(B(K)\) to \({\mathbb C},\) which has been used by Bloch to describe explicitly the Borel regulator map \(K_3 ({\mathbb C}) \to {\mathbb R}.\) The first goal of the present paper is to ``bilinearize'' \(D_2,\) namely to define a certain function \(D\) from the set of pairs of paths (a path is a \(C^1\)-function from \([0,1]\) to \({\mathbb C} - \{ 0 \})\) to \({\mathbb C} - \{ 0 \},\) subject to three conditions of bilinearity, skew-symmetry and conjugation, and related to \(D_2\) by \(D(\gamma, 1 - \gamma) = D_2 (\gamma (1)) - D_2(\gamma(0))\) for any path \(\gamma.\) The second goal is to factor the homomorphism \(D_2 : B(K) \to {\mathbb C}\) by a motivic regulator map \(D : H^1_{\mathcal M} (\text{Spec\,} K, {\mathbb Z}(2)) \to {\mathbb R}.\) Here, for any regular local ring \(R,\) \(H^q_{\mathcal M} (\text{Spec}\, R, {\mathbb Z}(t))\) is the \((2t-q)\)-th homology group of the Goodwillie-Lichtenbaum complex of weight \(t.\) Using the definition of \(B(K)\) and the Goodwillie map \(K_2(K) \to H^2_{\mathcal M} (\text{spec\,} K, {\mathbb Z}(2)),\) the author constructs a homomorphism \(\theta : B(K) \to H^1_{\mathcal M} (\text{Spec}(K), {\mathbb Z} (2))\) such that \(D_2 = D_o \,\theta.\) As an illustration, he constructs ``cyclotomic'' elements \(\varepsilon_m \in H^1_{\mathcal M} (\text{Spec\,} {\mathbb Q}(\xi_m), {\mathbb Q}(2))\) such that \(D(\varepsilon_m) = D_2(\xi_m).\)