Bourbaki

Bài tập 30, § 6

Nhóm Lie và đại số Lie, III, 391

Cho G là một nhóm Lie phức liên thông compact và do đó có dạng \mathbf{C}^n/D, trong đó D là một nhóm con rời rạc của \mathbf{C}^n có hạng 2n. (a) Chứng minh rằng mọi dạng vi phân 1 giải tích trên G đều bất biến. (Gọi π:Cn→G\pi : \mathbf{C}^n \to G là cấu xạ chính tắc. Gọi ζ1,…,ζn\zeta_1, \ldots, \zeta_n là các hàm tọa độ trên Cn\mathbf{C}^n. Khi đó π∗(ω)\pi^*(\omega) có dạng ∑jajdζj\sum_j a_j d\zeta_j, trong đó các aja_j là các hàm giải tích trên Cn\mathbf{C}^n bất biến dưới D và do đó là hằng.) (b) Cho G′=Cn/D′G' = \mathbf{C}^n/D', trong đó D' là một nhóm con rời rạc của Cn\mathbf{C}^n có hạng 2n. Chứng minh rằng mọi đẳng cấu đa tạp giải tích u:G→G′u : G \to G' đều có dạng s↦v(s)+a′s \mapsto v(s) + a', trong đó v là một đẳng cấu nhóm Lie và a′∈G′a' \in G'. (Gọi π′:Cn→G′\pi' : \mathbf{C}^n \to G' là cấu xạ chính tắc. Có một đẳng cấu các đa tạp giải tích u~:Cn→Cn\tilde{u} : \mathbf{C}^n \to \mathbf{C}^n sao cho u∘π=π′∘u~u \circ \pi = \pi' \circ \tilde{u}. Với mọi dạng vi phân 1 giải tích ω′\omega' trên G′G', u∗(π′∗(ω′))u^*({\pi'}^*(\omega')) là một dạng 1 trên Cn\mathbf{C}^n bất biến dưới các phép tịnh tiến theo (a). Suy ra rằng u~\tilde{u} là một ánh xạ affine.)

Lời giải

Chưa có lời giải nào được viết.

Bản dịch máy từ tiếng Anh, bởi gpt-5-6. Chưa được người kiểm tra.