Bourbaki

习题 8, § 4

标签 01DG,永久不变。引用为 [Bourbaki, Tag 01DG]。

李群与李代数, IX, 398

Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。

设H是G的最大秩、h\mathfrak{h}其李代数、X流形G/HG/H和VX在点的切线空间的连通闭子群 H 的相应的至类; 认同 V 与商 g/h\mathfrak{g}/\mathfrak{h}。

a) 如果 jj 是 X 上的近复数结构(可微且解析流形,结果,8.8.3),则用复数向量空间 C⊗V\mathbf{C}\otimes V 由……组成的 V′′(j)V''(j) 子空间表示元素uu使得j(u)=−iuj(u) =-iu,并且通过gC\mathfrak{g}_{\mathbf{C}}的q(j)\mathfrak{q}(j)子空间即V′′(j)V''(j)的逆像,因此规范映射V→gC/q(j)V\rightarrow \mathfrak{g}_{\mathbf{C}}/\mathfrak{q}(j)是C\mathbf{C}线性当V被赋予由jj诱导的C\mathbf{C}向量空间结构时,同构的。证明映射j→q(j)j \rightarrow \mathfrak{q}(j)是从G下X上的近复数结构的集合到gC\mathfrak{g}_{\mathbf{C}}满足的复数子空间p\mathfrak{p}的集合不变量双射以下条件:

p+p‾=gC(1) \mathfrak{p}+ \overline{\mathfrak{p}}=\mathfrak{g}_{\mathbf{C}} \tag{1}
p∩p‾=hC(2) \mathfrak{p}\cap \overline{\mathfrak{p}}=\mathfrak{h}_{\mathbf{C}} \tag{2}
[h,p]⊂p(3) [\mathfrak{h},\mathfrak{p}]\subset \mathfrak{p} \tag{3}

b) X上存在这样的结构当且仅当H在V上的伴随物表示的不可约子表示的交换域都同构于C\mathbf{C};在这种情况下,存在2s2^s这样的结构,其中ss是V的不可约子表示的数(使用练习7)。

c) 令jj为X上的近复数结构,在G下不变,且p=\mathfrak{p}=q(j)\mathfrak{q}(j)相关的子空间。那么,jj 是可积的(即,与 X、cf. 可微分和解析流形,结果,8.8.5 到 8.8.8 上的复解析流形结构关联)当且仅当 p\mathfrak{p} 满足条件

[p,p]⊂p(4) [\mathfrak{p},\mathfrak{p}]\subset \mathfrak{p} \tag{4}

d) 当且仅当 H 是 G 中环面的中心化子时,G 下X不变量上存在复数结构(即可积近复数结构)(证明上面条件(1)到(4)意味着p\mathfrak{p}是抛物线子代数) gC\mathfrak{g}_{\mathbf{C}}(第VIII, §3, no. 5));在这种情况下,这些复数结构对应双射于gC\mathfrak{g}_{\mathbf{C}}的抛物线子代数p\mathfrak{p},即hC\mathfrak{h}_{\mathbf{C}}的直和及其单能根(cf.第VIII, §3, no. 4)。

e) 证明G下G/TG/T不变量上恰好存在Card(W)复形结构;如果σ\sigma和σ′\sigma '是两个这样的结构,则存在唯一元素w∈Ww\in W,使得ww在G/TG/T上的规范运算(由内自同构)变换σ\sigma变成σ′\sigma '。如果ww是W的非单位元,则G/TG/T上ww的运算对于G下的G/TG/T不变量上的任何复数结构来说不是C\mathbf{C}解析。

f) 确定 SO(3)\mathbf{S}\mathbf{O}(3) 下S2\mathbf{S}^2 不变量的复数结构。

g)∗g)^* 与记号的锻炼。 8d)8d),令GcG_c为G和P的复化,即GcG_c与李代数p\mathfrak{p}的复数Lie子群。证明规范映射 G/H→Gc/PG/H\rightarrow G_c/P 是复解析流形的同构。\*

解答

尚未写出解答。

被以下引用

引用了

Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。