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

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 kerCk(j)\ker C_k^{(j)} denote their left-annihilator spaces. Define

O(x)=x31x2,E(x)=x21x2,S(x)=x12(1x4)(1x6).\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:evendimQkerCk(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:evendimQkerCk(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:evendimQkerCk(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.

Sources & referencesView supporting material

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.