The period-characterisation conjecture for geometric Eisenstein words

About 6 years old · traced to

Let V2ndR⁡V_{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

f∈Hom⁡SL2(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⁡(CS∘f)⊆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.

References

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.