Bourbaki

Example

Tag 01F8, permanent. Cite it as [Bourbaki, Tag 01F8].

Lie Groups and Lie Algebras, chapter IX, § 6. Integration on compact Lie groups

Take G to be the group SU(2,C)\mathbf{S}\mathbf{U}(2,\mathbf{C}) and T to be the subgroup of diagonal matrices (§3, no. 6); identify t\mathfrak{t} with R\mathbf{R} by the choice of basis {iH}\{iH\} of t(\mathfrak{t}(loc. cit.). Put A=0,πA = 0, \pi; this is an alcove of t\mathfrak{t}. The interval A=0,πA = 0, \pi can be identified with the space of conjugacy classes of G, the element θ\theta of

(eiθ(e^{i\theta} 0 ))

A‾\overline{A} corresponding to the conjugacy class of −iθ-_{i\theta} . Let dθd\theta be Lebesgue

0 ee

measure on 0,π0, \pi; it follows from the preceding that the image on A‾\overline{A} of the Haar measure on G is the measure 2π\frac{2}{\pi} sin2θdθ^2\theta d\theta.

Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Transcribed from the printed volume. Not translated.