Bourbaki

Exercise 12, § 1

Tag 01JV, permanent. Cite it as [Bourbaki, Tag 01JV].

Lie Groups and Lie Algebras, VIII, 222

Bourbaki marks this one as harder than the rest.

Let q∈kq\in k, and let W be a vector space with basis (e0,e1,e2,...)(e_0, e_1, e_2, . . .).

a) Show that there exists a unique representation ρq\rho_q of s\mathfrak{s} on W such that

ρ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

We have ρq(C)=4q\rho_q(C) = 4q, where C=H2+2H−4X−X+C =H^2+ 2H-4X_-X_+ (cf. Exerc. 1). The representation ρq\rho_q is simple. The elements x∈sx\in \mathfrak{s} such that ρq(x)\rho_q(x) admits an eigenvalue are the multiples of X+X_+. The endomorphism ρq(X+)\rho_q(X_+) admits 1 as an eigenvalue, with multiplicity 1.

b) Let ρ\rho be a simple representation of s\mathfrak{s} such that ρ(C)=4q\rho (C) = 4q and such that ρ(X+)\rho (X_+) has 1 as an eigenvalue. Show that ρ\rho is equivalent to ρq\rho_q.

Solution

No solution has been written yet.

Cited by

Cites

Transcribed from the printed volume. Not translated.