Cyclotomic Lie algebra conjecture for multiple polylogarithms

About 26 years old · traced to

Let Z(N){\cal Z}(N) be the algebra of multiple polylogarithm values at NN-th roots of unity, filtered by weight, and let UC∙(N)∨UC_{\bullet}(N)^{\vee} denote the graded dual of the universal enveloping algebra of a graded Lie algebra C∙(N)C_{\bullet}(N). For n≥1n\geq 1, write H(n)1H^1_{(n)} for the weight-nn component of the Lie algebra cohomology, and set SN=Spec⁡Z[ζN][1N]S_N=\operatorname{Spec}\mathbb{Z}[\zeta_N][\frac{1}{N}]. Cyclotomic Lie algebra conjecture. There exists a graded Lie algebra C∙(N)C_{\bullet}(N) over Q\mathbb{Q} such that

Z(N)≃UC∙(N)∨{\cal Z}(N)\simeq UC_{\bullet}(N)^{\vee}

as algebras filtered by weight on the left and degree on the right, and such that

H(n)1(C∙(N))=K2n−1(Z[ζN][1N])⊗Q.H^1_{(n)}(C_{\bullet}(N))=K_{2n-1}(\mathbb{Z}[\zeta_N][\frac{1}{N}])\otimes\mathbb{Q}.

Moreover, C∙(1)C_{\bullet}(1) is a free graded Lie algebra. This conjecture seeks a Lie-algebraic description of the algebra of cyclotomic multiple polylogarithms and relates its generators to the K-theory of cyclotomic integer rings. The source does not provide a resolution status for these assertions.

References

Primary source

A. B. Goncharov, “Multiple polylogarithms, cyclotomy and modular complexes”, arXiv:1105.2076 (2011).

Additional references

2 papers in this index state this conjecture (2000–2011). The statement above is taken from the most recent of them; the others are arXiv:math/0005069.

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.