Simply laced Chevalley commutator formula

ID: simply-laced-chevalley-commutator-formula

For equal-length roots with a root sum, their angle is . The vectors and have squared length three times a root's squared length, so neither is a root. Thus . Apply the central-commutator exponential identity to and , whose commutator is , to obtain the displayed identity over the complex numbers.

New to topics? Read the docs here!