Double-shuffle kernel conjecture for refined symmetric multiple zeta values

Let h=k=1hk\mathfrak{h}=\bigoplus_{k=-1}^{\infty}\mathfrak{h}_{k} be graded by

hk=a1,,ak+1{0,1}Qea1eak+1,\mathfrak{h}_{k}=\bigoplus_{a_{1},\dots,a_{k+1}\in\{0,1\}}\mathbb{Q}e_{a_{1}}\cdots e_{a_{k+1}},

and write hk0=hkh0\mathfrak{h}_{k}^{0}=\mathfrak{h}_{k}\cap\mathfrak{h}^{0}. For u,v,wh0u,v,w\in\mathfrak{h}^{0}, let

D(u,v,w):=u(v\shufflew)v\shuffle(uw),D(u,v,w):=u*(v\mathbin{\shuffle}w)-v\mathbin{\shuffle}(u*w),

where ZRSZ^{RS} is the refined symmetric multiple-zeta-value map. Double-shuffle kernel conjecture. For every kZk\in\mathbb{Z}, the space kerZRShk\ker Z^{RS}\cap\mathfrak{h}_{k} is spanned by

D(u,v,w)a+b+c=k1, (u,v,w)ha×hb×hc.\left\langle D(u,v,w)\mid a+b+c=k-1,\ (u,v,w)\in\mathfrak{h}_{a}\times\mathfrak{h}_{b}\times\mathfrak{h}_{c}\right\rangle.

This conjecture asserts that all relations in the kernel of the refined symmetric multiple-zeta-value map arise from the displayed double-shuffle expressions. The source gives no resolution status.

Sources & referencesView supporting material

Primary source

Minoru Hirose, “Double shuffle relations for refined symmetric multiple zeta values”, arXiv:1807.04747 (2018).

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.