Euclidean subspace of a Cartan subalgebra
ID: euclidean-subspace-of-a-cartan-subalgebra
The real span of the simple coroots inside a complex Cartan subalgebra carries a positive-definite restriction of the Killing form. Equivalently it consists of the for which all roots have real values. The formula is positive for , since the roots span the dual. The induced dual inner product makes the root system Euclidean and makes root reflections orthogonal.
New to topics? Read the docs here!