Bourbaki

习题 1, § 6

标签 0A0O,永久不变。引用为 [Bourbaki, Tag 0A0O]。

李群与李代数, I, 102

Bourbaki marks this one as harder than the rest.

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

令 gg 为半单李代数,且 MM 上 gg 的 ρ\rho 有限维表示。

(a) 如果 ρ\rho 是简单且非零的,则 Hp(g,M)={0}H^p(g, M) = \{0\} 对于所有 pp。 (§ 3 的应用命题 1 和习题 12 (j)。)

(b) 对于所有ρ\rho,H1(g,M)={0}H^1(g, M) = \{0\}。 (如果ρ\rho是简单且非零,则应用(a)。如果ρ\rho是零,则使用g=Dgg = \mathscr{D}g这一事实。一般情况下,通过归纳对ρ\rho的维数进行论证:如果NN是gg的子模块MM 与 {0}\{0\} 和 MM 不同,使用正合序列:

H1(g,N)→H1(g,M)→H1(g,M/N) H^1(g, N) \to H^1(g, M) \to H^1(g, M/N)

在§ 3的习题12(f)中成立。)因此恢复no. 2的注2。

(c) 从 (b) 定理 2 的证明推出。(使用 § 3 的习题 12 (g)。) 还从 (b) 推出 gg 的每个推导都是内部。 (使用 § 3 的习题 12 (h)。)

(d) 对于所有ρ\rho,H2(g,M)={0}H^2(g, M) = \{0\}。 (对于(b)的争论,只要考虑ρ=0\rho = 0的情况就足够了。 让c∈H2(g,M)c \in H^2(g, M)。 考虑,继§ 3的习题 12 (i)之后,gg的中心扩张hh由cc定义MM。 hh 上gg hh 定义表示的伴随表示。 到定理 2,MM承认hh补充,它在gg下是稳定的,因此扩张是微不足道的。 因此 c=0c = 0 除习题 12 (i) of § 3。)

(e) 由(b)和(d)推导出定理 5 的证明。(如文中所示,可以简化为部首可交换的情况。)

解答

尚未写出解答。

被以下引用

引用了

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