Conjecture 2 on homology of the free Tits Lie algebra

Let KK be a field of characteristic zero, let J(D)J(D) be the free Jordan algebra on D1D\geq 1 generators, and let sl2J(D)\mathfrak{sl}_2J(D) denote the corresponding free Lie algebra in the category of Lie algebras with an sl2\mathfrak{sl}_2-action by derivations. Write HkH_k for Lie algebra homology, and use superscripts sl2\mathfrak{sl}_2 and adad for the trivial and adjoint sl2\mathfrak{sl}_2-isotypical components.

Conjecture 2. For every k1k\geq 1,

Hk(sl2J(D))sl2=0,Hk(sl2J(D))ad=0.H_k(\mathfrak{sl}_2J(D))^{\mathfrak{sl}_2}=0,\qquad H_k(\mathfrak{sl}_2J(D))^{ad}=0.

The conjecture is motivated by the freeness of the Tits–Allison–Gao Lie algebra in the relevant category. The trivial-component vanishing is presented as a weaker, more tractable conjecture, while the full assertion remains unproved; the trivial component is known for k=1,2,3k=1,2,3.

Sources & referencesView supporting material

Primary source

Iryna Kashuba and Olivier Mathieu, “On the Free Jordan Algebras”, arXiv:1910.06841 (2019).

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.