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

From papers

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 MkM_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)MkCE(grDLiesym(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.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Nikolay Malkin, “Motivic fundamental groups of CM elliptic curves and geometry of Bianchi hyperbolic threefolds”, arXiv:2010.07238 (2020).

Solutions 0

No solutions have been posted yet.