Brown's uneven Broadhurst–Kreimer conjecture for totally odd motivic multiple zeta values

Let Aodd,N{\mathcal{A}}_{odd,N} be the span of totally odd motivic multiple zeta values of weight NN, and let Dr{\mathcal{D}}_r denote depth at most rr. Define

O(s)=s31s2,S(s)=s12(1s4)(1s6).{\mathcal{O}}(s)=\frac{s^3}{1-s^2},\qquad {\mathcal{S}}(s)=\frac{s^{12}}{(1-s^4)(1-s^6)}.

Uneven Broadhurst–Kreimer conjecture. The bigraded dimensions of the totally odd part are given by

N0,r0dimDrAodd,NDr1ADrAodd,NsNtd=11O(s)t+S(s)t2.\sum_{N\geq 0,r\geq 0}\dim\frac{{\mathcal{D}}_r{\mathcal{A}}_{odd,N}}{{\mathcal{D}}_{r-1}{\mathcal{A}}\cap{\mathcal{D}}_r{\mathcal{A}}_{odd,N}}s^Nt^d=\frac{1}{1-{\mathcal{O}}(s)t+{\mathcal{S}}(s)t^2}.

The conjecture predicts the dimensions of depth-graded motivic multiple zeta values spanned by totally odd values; it is presented as a standard conjecture due to Brown and is connected to the homological Broadhurst–Kreimer conjecture.

Sources & referencesView supporting material

Primary source

Adam Keilthy, “Relating depth graded and block graded motivic Lie algebras”, arXiv:2307.08089 (2023).

Additional references

2 papers in this index state this conjecture (2017–2023). The statement above is taken from the most recent of them; the others are arXiv:1710.06135.

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.