Bourbaki

Bài tập 12, § 1

Nhãn 01JV, cố định. Trích dẫn là [Bourbaki, Tag 01JV].

Nhóm Lie và đại số Lie, VIII, 222

Bourbaki marks this one as harder than the rest.

Cho q∈kq\in k, và cho W là một không gian vectơ với cơ sở (e0,e1,e2,...)(e_0, e_1, e_2, . . .).

a) Chứng minh rằng tồn tại một biểu diễn duy nhất ρq\rho_q của s\mathfrak{s} trên W sao cho

ρ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

Ta có ρq(C)=4q\rho_q(C) = 4q, trong đó C=H2+2H−4X−X+C =H^2+ 2H-4X_-X_+ (xem Bài tập 1). Biểu diễn ρq\rho_q là đơn. Các phần tử x∈sx\in \mathfrak{s} sao cho ρq(x)\rho_q(x) nhận một trị riêng là các bội của X+X_+. Tự đồng cấu ρq(X+)\rho_q(X_+) nhận 1 làm trị riêng, với bội số 1.

b) Cho ρ\rho là một biểu diễn đơn của s\mathfrak{s} sao cho ρ(C)=4q\rho (C) = 4q và sao cho ρ(X+)\rho (X_+) có 1 làm trị riêng. Chứng minh rằng ρ\rho tương đương với ρq\rho_q.

Lời giải

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

Được trích dẫn bởi

Trích dẫn đến

Bản dịch máy từ tiếng Anh, bởi gpt-5-6-mini. Chưa được người kiểm tra. Mô hình này là bản rút gọn của mô hình đã viết phần còn lại của ngôn ngữ này.