Bourbaki

习题 12, § 1

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

李群与李代数, VIII, 222

Bourbaki marks this one as harder than the rest.

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

令q∈kq\in k,并令W为向量空间且基(e0,e1,e2,...)(e_0, e_1, e_2, . . .)。

a) 证明 W 上存在唯一的表示 ρq\rho_q s\mathfrak{s},使得

ρq(H)en=2en+1,ρq(X+)en=(12ρq(H)−1)ne0 \rho_q(H)e_n= 2e_{n+1},\rho_q(X_+)e_n= (\frac{1}{2}\rho_q(H)-1)^ne_0
ρq(X−)en=(1ρq(H)+1)n(−qe0+e1+e2) \rho_q(X_-)e_n= (1\rho_q(H) + 1)^n(-qe_0+e_1+e_2)

2

我们有ρq(C)=4q\rho_q(C) = 4q,其中C=H2+2H−4X−X+C =H^2+ 2H-4X_-X_+(cf.练习1)。 表示ρq\rho_q很简单。 元素x∈sx\in \mathfrak{s}使得ρq(x)\rho_q(x)承认特征值是X+X_+的倍数。 自同态 ρq(X+)\rho_q(X_+) 承认 1 为特征值,重数 1。

b) 令ρ\rho为s\mathfrak{s}的简单表示,使得ρ(C)=4q\rho (C) = 4q且ρ(X+)\rho (X_+)有1作为特征值。证明 ρ\rho 等价于 ρq\rho_q。

解答

尚未写出解答。

被以下引用

引用了

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