Descent conjecture for the Hodge-correlator map to the modular complex

About 6 years old · traced to

Let EE be one of the CM elliptic curves E=C/Z[i]E=\mathbb{C}/\mathbb{Z}[i] or E=C/Z[ρ]E=\mathbb{C}/\mathbb{Z}[\rho], let p\mathfrak{p} be the relevant prime ideal, let TkT_k be the coefficient system, let Γ1(p)\Gamma_1(\mathfrak{p}) be the corresponding congruence subgroup, and let Mk∙M_k^\bullet be the modular complex. Let θ\theta be the map from the modular-complex data to the Chevalley–Eilenberg complex of the depth-kk graded piece of the symmetric motivic Lie algebra. Descent conjecture. The map θ\theta descends to a morphism of complexes

θ:Tk⊗Γ1(p)Mk∙→CE∙(gr⁡DLie⁡sym∨(E,E[p]))D=k.\theta:T_k\otimes_{\Gamma_1(\mathfrak{p})}M_k^\bullet\to {\rm CE}^\bullet\left(\operatorname{gr}^D\operatorname{Lie}_{\rm sym}^\vee(E,E[\mathfrak{p}])\right)_{D=k}.

Such a descent would extend the established depth-two surjective morphism to higher depth. It requires the second shuffle relations for averaged-base-point Hodge correlators modulo the depth filtration, so it is conditional on the preceding conjectural relation.

References

Primary source

Nikolay Malkin, “Motivic fundamental groups of CM elliptic curves and geometry of Bianchi hyperbolic threefolds”, arXiv:2010.07238 (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.