Strong Broadhurst–Kreimer–Zagier conjecture for linearised double shuffle Lie algebras

About 9 years old · traced to

Let ls\mathfrak{ls} be the Lie algebra of solutions to the linearised double shuffle equations, let ls1\mathfrak{ls}_1 be its depth-one part, and let Pe\mathsf{P}^{e} be the space of even period polynomials. Let e(Pe)\mathbf{e}(\mathsf{P}^{e}) denote the corresponding space of exceptional generators. For the homology groups Hi(ls,Q)H_i(\mathfrak{ls},\mathbb Q), one has:

Strong Broadhurst–Kreimer–Zagier conjecture.

H1(ls,Q)congmathfrakls1oplusmathbfe(Pe),H_1(\mathfrak{ls},\mathbb Q)congmathfrak{ls}_1oplusmathbf{e}(\mathsf{P}^{e}), H2(ls,Q)congmathsfPe,H_2(\mathfrak{ls},\mathbb Q)congmathsf{P}^{e}, Hi(ls,Q)=0quadtextforalligeq3.H_i(\mathfrak{ls},\mathbb Q)=0quadtext{for all}\quad igeq 3.

This is described as the strongest conjecture in the quantitative Broadhurst–Kreimer–Zagier discussion. The source gives no resolution.

References

Primary source

Francis Brown, “Anatomy of an associator”, arXiv:1709.02765 (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.