The period-characterisation conjecture for geometric Eisenstein words

Let V2ndRV_{2n}^{\operatorname{dR}} be the SL2SL_2-representation appearing above, let O(UEdR)\mathcal{O}(\mathcal{U}_E^{\operatorname{dR}}) be the Hopf subalgebra generated by Eisenstein words, and let O(Ugeom)\mathcal{O}(\mathcal{U}^{\operatorname{geom}}) be the geometric Hopf subalgebra. For

fHomSL2(V2ndR,O(UEdR)),f\in \operatorname{Hom}_{SL_2}\bigl(V_{2n}^{\operatorname{dR}},\mathcal{O}(\mathcal{U}_E^{\operatorname{dR}})\bigr),

write CS\mathcal{C}_S for the corresponding point of U1,1dR(C)=Hom(O(U1,1dR),C)\mathcal{U}_{1,1}^{\operatorname{dR}}(\mathbb{C})=\operatorname{Hom}(\mathcal{O}(\mathcal{U}_{1,1}^{\operatorname{dR}}),\mathbb{C}). Period-characterisation conjecture. The image of ff is contained in O(Ugeom)\mathcal{O}(\mathcal{U}^{\operatorname{geom}}) if and only if

im(CSf)Z[(2πi)±].\operatorname{im}(\mathcal{C}_S\circ f)\subseteq \mathcal{Z}[(2\pi i)^\pm].

This proposes that, among SL2SL_2-equivariant maps with values in the Eisenstein-word Hopf subalgebra, belonging to the geometric subalgebra is exactly characterised by all associated periods being in the multiple-zeta-value algebra with powers of 2πi2\pi i inverted. The conjecture is posed after the preceding inclusion from geometric words to Z[(2πi)±]\mathcal{Z}[(2\pi i)^\pm]; its resolution is not specified here.

Sources & referencesView supporting material

Primary source

Alex Saad, “Multiple zeta values and iterated Eisenstein integrals”, arXiv:2009.09885 (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.