The constancy conjecture for the regulator on the Lie coalgebra

At least 3 years old · documented by

Let L(F)\mathbb L(F) be the Lie coalgebra of multiple polylogarithms over a field FF, with cobracket δ\delta, and let Lsymb⁡(C)\mathbb L^{\operatorname{symb}}(\mathbb C) be its symbolic version. Consider the map

r ⁣:Lsymb⁡(C)→R,r\colon\mathbb L^{\operatorname{symb}}(\mathbb C)\to\mathbb R,

which sends [x1,…,xd]n1,…,nd[x_1,\dots,x_d]_{n_1,\dots,n_d} to Ln1,…,nd(x1,…,xd)\mathcal L_{n_1,\dots,n_d}(x_1,\dots,x_d) and [x]0[x]_0 to log⁡(∣x∣)\log(|x|). Constancy conjecture. If α∈L(C(t))\alpha\in\mathbb L(\mathbb C(t)) satisfies δ(α)=0\delta(\alpha)=0, then r(α(t))=0r(\alpha(t))=0 is constant in tt. This predicts that elements in the kernel of the cobracket give constant real-valued regulators under specialization, generalizing the preceding result for the corresponding regulator map. The source provides no resolution status for this conjecture.

References

Primary source

Zachary Greenberg, Dani Kaufman, Haoran Li and Christian K. Zickert, “The Lie coalgebra of multiple polylogarithms”, arXiv:2203.11588 (2022).

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.