Basis conjecture for the quotient of the Kirchhoff Lie algebra

About 12 years old · traced to

Let Ln\mathcal L_n be the Lie algebra generated by the Kirchhoff differences ϰij\varkappa_{ij}, and let Kn⊂LnK_n\subset \mathcal L_n be the kernel of its action in the permutation representation of SnS_n. For indices isi_s satisfying s+1≤is≤ns+1\leq i_s\leq n for every s=1,…,n−1s=1,\dots,n-1, define the repeated commutators

[…[[ϰ1i1,ϰ2i2],ϰ3i3],…,ϰn−1,in−1].[\dots[[\varkappa_{1i_1},\varkappa_{2i_2}],\varkappa_{3i_3}],\dots,\varkappa_{n-1,i_{n-1}}].

Basis conjecture. One has

dim⁡Ln/Kn=(n−1)!.\dim \mathcal L_n/K_n=(n-1)!.

Moreover, the repeated commutators above, as the indices range over all such choices, form a basis of Ln/Kn\mathcal L_n/K_n. This is posed as a structural problem about the Lie algebra and its symmetric-group representation; the supplied text gives no resolution status.

References

Primary source

Yurii Burman and Valeriy Kulishov, “Lie elements and the matrix-tree theorem”, arXiv:2011.10340 (2020).

Additional references

3 papers in this index state this conjecture (2014–2020). The statement above is taken from the most recent of them; the others are arXiv:2005.00737, arXiv:1410.2222.

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.