Injectivity conjecture for the free quasi-Lie algebra's 2-torsion map

Let HH be a free abelian group, and let L(H)L(H) and L(H)L'(H) denote the free Lie algebra and free quasi-Lie algebra on HH, respectively. For l1l\geq 1, write Ll(H)L_l(H) and L2l(H)L'_{2l}(H) for their homogeneous components. The natural map

Ll(H)/2Ll(H)L2l(H)L_l(H)/2L_l(H)\longrightarrow L'_{2l}(H)

comes from the exact sequence relating L2l(H)L'_{2l}(H) and L2l(H)L_{2l}(H). Injectivity conjecture. The map

Ll(H)/2Ll(H)L2l(H)L_l(H)/2L_l(H)\longrightarrow L'_{2l}(H)

is a monomorphism for every ll.

This would determine the kernel in the even-degree comparison between the free quasi-Lie and free Lie algebras. The source verifies the assertion for l=1l=1 but gives no resolution for general ll.

Sources & referencesView supporting material

Primary source

Jerome Levine, “Addendum and correction to: Homology cylinders: an enlargement of the mapping class group”, arXiv:math/0207290 (2002).

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.