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!