Strong reciprocity conjecture for the infinitesimal Chow dilogarithm

Assume that kk is an algebraically closed field, let C/kC/k be a smooth projective curve, and let

Γ(K,3):B3(K)B2(K)K×Λ3K×\Gamma(K,3): B_{3}(K)\to B_{2}(K)\otimes K^{\times}\to\Lambda^{3}K^{\times}

be the Bloch complex, with residue maps summed over all closed points giving

resC:Γ(k(C),3)Γ(k,2).res_{|C|}:\Gamma(k(C),3)\to\Gamma(k,2).

Here hh is required to vanish on k×Λ2k(C)×k^{\times}\wedge\Lambda^{2}k(C)^{\times}.

Strong reciprocity conjecture. The residue map resC:Γ(k(C),3)Γ(k,2)res_{|C|}:\Gamma(k(C),3)\to\Gamma(k,2) is homotopic to zero. More precisely, there exists a map hh fitting into a commutative diagram whose restriction to k×Λ2k(C)×k^{\times}\wedge\Lambda^{2}k(C)^{\times} is zero:

\xymatrix{B_3(k(C)) \ar[r] & B_2(k(C))\otimes k(C)^{\times} \ar[r] ^-{ \Delta}\ar[d] ^{res_{|C|}}&\Lambda^{3}k(C)^{\times} \ar[d]^{res_{|C|}} \ar@{.>}[dl] _{h} \\ & B_{2}(k) \ar[r]^{\delta} & \Lambda^{2}k^{\times}.}

This strengthens the consequence of Suslin reciprocity that the image of the residue map in Λ2k×\Lambda^{2}k^{\times} lies in the image of δ\delta, and would provide homotopy-level reciprocity for the weight-three Bloch complex. The statement is presented as a conjecture in the source, and its resolution is not established by the supplied text.

Sources & referencesView supporting material

Primary source

Sinan Unver, “Infinitesimal Chow Dilogarithm”, arXiv:1712.07341 (2017).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.