Bourbaki

Remark

Tag 09GU, permanent. Cite it as [Bourbaki, Tag 09GU].

Integration, VII, p. 54, § 3. Applications and examples

Let Φ\Phi be a nondegenerate positive hermitian form on E. The unitary group U(Φ)\mathbf{U}(\Phi) is closed in Aut(E)\mathrm{Aut}(E), hence is compact (Prop. 1). Prop. 1 also shows that every compact subgroup of Aut(E)\mathrm{Aut}(E) is contained in a subgroup of the form U(Φ)\mathbf{U}(\Phi). If now U(Φ)\mathbf{U}(\Phi) is contained in a compact subgroup K of Aut(E)\mathrm{Aut}(E), one sees that there exists a nondegenerate positive hermitian form Φ′\Phi' on E such that U(Φ)⊂K⊂U(Φ′)\mathbf{U}(\Phi) \subset K \subset \mathbf{U}(\Phi'), and it follows easily

(Exer. 1) that Φ\Phi and Φ′\Phi' are proportional, whence U(Φ)=K\mathbf{U}(\Phi) = K. Thus the maximal compact subgroups of Aut(E)\mathrm{Aut}(E) are the subgroups of the form U(Φ)\mathbf{U}(\Phi).

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Transcribed from the printed volume. Not translated.