Morita's conjecture on the abelianization of derivations of a free Lie algebra

Let FnF_n be the free group of rank nn, let Ln\mathcal{L}_n be the free Lie algebra associated with the lower central series of FnF_n, and let Der+(Ln)\mathrm{Der}^+(\mathcal{L}_n) be the positive-degree derivation Lie algebra. Write (Der+(Ln))ab(\mathrm{Der}^+(\mathcal{L}_n))^{\mathrm{ab}} for its abelianization, HH for the abelianization of FnF_n, HH^* for its dual, and SkHS^kH and Λ2H\Lambda^2H for the symmetric and exterior powers. Morita's conjecture. For n3n\geq3,

(Der+(Ln))ab(HZΛ2H)k2SkH.(\mathrm{Der}^+(\mathcal{L}_n))^{\mathrm{ab}}\cong (H^*\otimes_{\mathbf{Z}}\Lambda^2H)\oplus\bigoplus_{k\geq2}S^kH.

This predicts that the abelianization is generated by the degree-one part together with Morita's trace classes; the analogous statement for the Chen Lie algebra is established in the source, while the free-Lie-algebra version remains open.

Sources & referencesView supporting material

Primary source

Takao Satoh, “A survey of the Johnson homomorphisms of the automorphism groups of free groups and related topics”, arXiv:1204.0876 (2013).

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.