Conjectural generating series for kernels of the matrices Ck(j)C_k^{(j)}

At least 8 years old · documented by

Let kk range over positive even integers. For j∈{1,2,3}j\in\{1,2,3\}, let Ck(j)C_k^{(j)} be the square matrices introduced in the paper, and let ker⁡Ck(j)\ker C_k^{(j)} denote their left-annihilator spaces. Define

O(x)=x31−x2,E(x)=x21−x2,S(x)=x12(1−x4)(1−x6).\mathbb O(x)=\frac{x^3}{1-x^2},\qquad \mathbb E(x)=\frac{x^2}{1-x^2},\qquad \mathbb S(x)=\frac{x^{12}}{(1-x^4)(1-x^6)}.

Kernel generating-series conjecture. The following identities are expected:

∑k>0: evendim⁡Qker⁡Ck(1)xk=1x2S(x)E(x),\sum_{k>0:\,\mathrm{even}} \dim_{\mathbb Q}\ker C_k^{(1)}x^k=\frac{1}{x^2}\mathbb S(x)\mathbb E(x), ∑k>0: evendim⁡Qker⁡Ck(2)xk=S(x)E(x),\sum_{k>0:\,\mathrm{even}} \dim_{\mathbb Q}\ker C_k^{(2)}x^k=\mathbb S(x)\mathbb E(x), ∑k>0: evendim⁡Qker⁡Ck(3)xk=1x2S(x)E(x)+(x+1x)S(x)O(x).\sum_{k>0:\,\mathrm{even}} \dim_{\mathbb Q}\ker C_k^{(3)}x^k=\frac{1}{x^2}\mathbb S(x)\mathbb E(x)+\left(x+\frac{1}{x}\right)\mathbb S(x)\mathbb O(x).

These formulas connect left annihilators of the matrices with period-polynomial data and are intended to give upper bounds for spaces of totally odd motivic triple zeta values. Their resolution is not specified in the source.

References

Primary source

Ding Ma and Koji Tasaka, “Relationships between multiple zeta values of depths 2 and 3 and period polynomials”, arXiv:1707.08178 (2020).

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.