The modular-complex description of the graded Galois Lie algebra

About 26 years old · traced to

Let LmL_m be the rank-mm lattice used to define the modular complex, let Vm:=Lm⊗QV_m:=L_m\otimes\mathbb{Q}, let M(m)∗M^*_{(m)} be the dual modular complex, and let Sw−mVmS^{w-m}V_m denote the (w−m)(w-m)-th symmetric power. The modular-complex description conjecture. There exists a canonical isomorphism between

(M(m)∗⊗GLm(Z)Sw−mVm)⊗QQl\Bigl(M^*_{(m)}\otimes_{GL_m(\mathbb{Z})}S^{w-m}V_m\Bigr)\otimes_{\mathbb{Q}}\mathbb{Q}_l

and the depth-mm, weight-ww part of the standard cochain complex of GrG^∙∙(l){\rm Gr}\widehat{\cal G}^{(l)}_{\bullet\bullet}. This would make modular complexes a concrete model for the cohomological pieces of the graded Galois Lie algebra; the supplied text does not state whether the proposed canonical isomorphism is known.

References

Primary source

A. B. Goncharov, “The dihedral Lie algebras and Galois symmetries of π_1^l(P^1 - 0, infinity and N-th roots of unity)”, arXiv:math/0009121 (2000).

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.