Bourbaki

Proposition 4

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

Lie Groups and Lie Algebras, chapter IX, § 4. Root system associated to a compact group

Let S and S′S' be tori. Denote by M(S,S′)M(S,S') the group of morphisms of Lie groups from S to S′S'. The maps f→X(f)f \rightarrow X(f) and f→Γ(f)f \rightarrow \Gamma (f) are isomorphisms of groups from M(S,S′)M(S,S') to HomZ(X(S′),X(S))_{\mathbf{Z}}(X(S'),X(S)) and to HomZ(Γ(S),Γ(S′))_{\mathbf{Z}}(\Gamma (S), \Gamma (S')), respectively.

If ff is a morphism of Lie groups from S to S′S', the homomorphism X(f)X(f) is simply the dual of ff in the sense of Spectral Theories, Chap. II, §1, no. 7. The map φ→φ^\varphi \rightarrow \widehat{\varphi} from HomZ(X(S′),X(S))_{\mathbf{Z}}(X(S'),X(S)) to M(S,S′)M(S,S') defined in loc. cit. is the inverse of the map f→X(f)f \rightarrow X(f) from M(S,S′)M(S,S') to HomZ(X(S′),X(S))_{\mathbf{Z}}(X(S'),X(S)); the latter is thus bijective. If we identify Γ(S)\Gamma (S) (resp. Γ(S′)\Gamma (S')) with the dual Z\mathbf{Z}-module of X(S) (resp. X(S′)X(S')) (Prop. 33),Γ(f),\Gamma (f) coincides with the transpose of the homomorphism X(f)X(f), hence the proposition.

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

Cites

  • Spectral Theories, Chap. II, §1, no. 7 not in this corpus: TS II
Transcribed from the printed volume. Not translated.