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!