Conjugation Jacobian for a compact Lie group

ID: conjugation-jacobian-for-a-compact-lie-group

For a connected compact Lie group with maximal torus , the map , , has the displayed real Jacobian determinant. Choose an invariant inner product and identify the tangent space of with . Translation of the derivative at to the identity gives . Each pair of opposite roots of a root system corresponds to a real two-plane on which the determinant is . The torus direction has determinant one. Normalized quotient and Haar measures have matching volume constants because the Riemannian submersion gives . The map covers regular elements times, giving the Weyl integration formula with conjugacy averaging for general functions.

New to topics? Read the docs here!