issue !4#28714: Show that `LieAlgebra.IsKilling.rootSyste...

Stream: triage

[Random Issue Bot]

Today I chose issue #28714 for discussion!

Show that LieAlgebra.IsKilling.rootSystem is left inverse to RootPairing.GeckConstruction.lieAlgebra
Created by @Oliver Nash (@ocfnash) on 2025-08-20
Labels:

Is this issue still relevant? Any recent updates? Anyone making progress?

[Oliver Nash]

I won't have time to work on this in the near future. I'd love if someone else did it.

It's just one single page of informal mathematics from this lovely paper (page 3240). All the supporting work is in place except for one custom constructor for docs#RootPairing.Base . In particular the key result docs#RootPairing.Base.equivOfCartanMatrixEq is in place.

[Ruben Van de Velde]

(The article starts on page 3233, in case anyone else was surprised by the page number)