On the kernel of the regulator map (Q514399)

In this short article, the author proposes and establishes an infinitesimal version of a conjecture regarding the Beilinson regulator map of a smooth projective curve \(X\) over \(\mathbb{C}\). Recall that the regulator takes the form \(R: H^0(X, \mathcal{K}_2) \to H^1(X, \mathbb{C}^\times)\). Conjecturally, up to torsion, one should have \(\mathrm{Ker}(R) = K_2(\mathbb{C})\). If \(\mathcal{F}\) is a preheaf defined on a suitable category of schemes, one may consider its tangent presheaf in the form \(T\mathcal{F}(X) = \mathrm{ker}(\mathcal{F}(X[\epsilon]/\epsilon^2) \to \mathcal{F}(X))\). It turns out that \(T\mathcal{K}_2 = \Omega^1_{\bullet/\mathbb{Q}}\) (referenced as Theorem 2.1 in the article under review), and also \(T\mathbb{C}^\times = \mathbb{C}\). Thus one may expect to find an infinitesimal regulator map \[ R': H^0(X, \Omega^1_{\bullet/\mathbb{Q}}) \to H^1(X, \mathbb{C}) \] which satisfies \(\mathrm{Ker}(R') = \Omega^1_{\mathbb{C}/\mathbb{Q}}\). The main result of the article is that these two expectations are indeed true.