A bilinear form of dilogarithm and motivic regulator map (Q2576989): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.aim.2005.02.010 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2009623934 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Higher Regulators, Algebraic 𝐾-Theory, and Zeta Functions of Elliptic Curves / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Weight filtrations via commuting automorphisms / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Classical Polylogarithms / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4513080 / rank | |||
Normal rank |
Latest revision as of 14:33, 11 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A bilinear form of dilogarithm and motivic regulator map |
scientific article |
Statements
A bilinear form of dilogarithm and motivic regulator map (English)
0 references
29 December 2005
0 references
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).\)
0 references
dilogarithm
0 references
regulator
0 references