设H是G的最大秩、h其李代数、X流形G/H和VX在点的切线空间的连通闭子群 H 的相应的至类; 认同 V 与商 g/h。
a) 如果 j 是 X 上的近复数结构(可微且解析流形,结果,8.8.3),则用复数向量空间 C⊗V 由……组成的 V′′(j) 子空间表示元素u使得j(u)=−iu,并且通过gC的q(j)子空间即V′′(j)的逆像,因此规范映射V→gC/q(j)是C线性当V被赋予由j诱导的C向量空间结构时,同构的。证明映射j→q(j)是从G下X上的近复数结构的集合到gC满足的复数子空间p的集合不变量双射以下条件:
p+p=gC(1)
p∩p=hC(2)
[h,p]⊂p(3)
b) X上存在这样的结构当且仅当H在V上的伴随物表示的不可约子表示的交换域都同构于C;在这种情况下,存在2s这样的结构,其中s是V的不可约子表示的数(使用练习7)。
c) 令j为X上的近复数结构,在G下不变,且p=q(j)相关的子空间。那么,j 是可积的(即,与 X、cf. 可微分和解析流形,结果,8.8.5 到 8.8.8 上的复解析流形结构关联)当且仅当 p 满足条件
[p,p]⊂p(4)
d) 当且仅当 H 是 G 中环面的中心化子时,G 下X不变量上存在复数结构(即可积近复数结构)(证明上面条件(1)到(4)意味着p是抛物线子代数) gC(第VIII, §3, no. 5));在这种情况下,这些复数结构对应双射于gC的抛物线子代数p,即hC的直和及其单能根(cf.第VIII, §3, no. 4)。
e) 证明G下G/T不变量上恰好存在Card(W)复形结构;如果σ和σ′是两个这样的结构,则存在唯一元素w∈W,使得w在G/T上的规范运算(由内自同构)变换σ变成σ′。如果w是W的非单位元,则G/T上w的运算对于G下的G/T不变量上的任何复数结构来说不是C解析。
f) 确定 SO(3) 下S2 不变量的复数结构。
g)∗ 与记号的锻炼。 8d),令Gc为G和P的复化,即Gc与李代数p的复数Lie子群。证明规范映射 G/H→Gc/P 是复解析流形的同构。\*