Past exam of the mathematics course of the University of Cambridge / 2007 / iii / Paper 2 / 2

Fix the quantum enveloping algebra of sl2 conventionThe printed pair of matrices contains an error. On its first basis vector, the printed matrices give $(EF-FE)v_0=ϵ[2{]}^2{v}_0$, whereas the defining commutator gives $ϵ[2]v_0$. Since $q$ is not a root of unity, $[2]\ne 0,1$: $[2]=0$ would give $q^2=-1$, and $[2]=1$ would give $q^2-q+1=0$. Thus the two printed matrices cannot represent this algebra. Keeping the printed $F$ matrix requires exchanging the two nonzero entries of the printed $E$ matrix. We derive that corrected pair rather than assume a classification theorem.

As $q$ is not a root of unity, successive applications of $E$ multiply $K$ eigenvalues by $q^2$. Finiteness of the spectrum therefore makes $E$ a nilpotent operator. Start from a $K$ eigenvector and apply $E$ until the last nonzero vector $v$; then $Ev=0$ and $Kv=\lambda v$, with $\lambda \ne 0$. The defining commutator gives the highest-weight string for quantum sl2For completeness, at $j=1$ this is the commutator applied to $v$. To advance from $j$ to $j+1$, write $E{F}^{j+1}v=F(E{F}^{j}v)+(K-K^{-1})F^{j}v/(q-q^{-1})$, use $K{F}^{j}v=\lambda q^{-2j}{F}^{j}v$, and combine the two coefficients; their sum is the displayed coefficient at $j+1$.

Let $N$ be the first index with $F^{N}v=0$. Such an index exists because nonzero $F^{j}v$ have distinct $K$ eigenvalues $\lambda q^{-2j}$. The linear span of $v,Fv,\dots ,F^{N-1}v$ is stable under $K,E,F$, so simplicity makes it all of $V$. The distinct eigenvalues make these vectors independent; hence $N=3$. Applying the string formula to $F^{3}v=0$ givesAs $[3]\ne 0$ and $F^{2}v\ne 0$, ${\lambda }^2=q^4$, so $\lambda =ϵq^2$ with $ϵ=\pm 1$.

Choose the basis $v_0=v$, $v_1=Fv/[2]$, $v_2=F^{2}v/[2]$. Then $F{v}_0=[2]v_1$, $F{v}_1=v_2$, $E{v}_1=ϵv_0$ and $E{v}_2=ϵ[2]v_1$. The correct matrices in this basis areAlternatively, preserving the printed $E$ instead requires $F_{21}=1$, $F_{32}=[2]$. Both corrected pairs are related by a diagonal change of basis.

Use the comultiplication $\Delta E=E\otimes K+1\otimes E$, $\Delta F=F\otimes 1+K^{-1}\otimes F$, $\Delta K=K\otimes K$ of the quantum enveloping algebra of sl2. Choose a basis $u_0,u_1$ for $V_{1,1}$ with $F{u}_0=u_1$, $E{u}_1=u_0$, and $K{u}_i=q^{1-2i}{u}_i$. Choose a basis $w_0,w_1,w_2$ for $V_{1,2}$ withand all terminal raising or lowering actions zero. This is one of the corrected bases from part (a).

In the tensor product of modules, putThe vector $z_0$ is killed by $E$ and has $K$ eigenvalue $q^3$. Direct application of the comultiplication givesand the string formula gives $E{z}_1=[3]z_0$, $E{z}_2=[2]z_1$, $E{z}_3=z_2$. Also $K{z}_i=q^{3-2i}{z}_i$. Thus $W_3=⟨z_0,z_1,z_2,z_3⟩$ is a submodule isomorphic to $V_{1,3}$.

The other highest vector and its lowered partner areIndeed $E{h}_0=([2]q^2-q^2[2])u_0\otimes w_0=0$, $K{h}_0=q{h}_0$, $K{h}_1=q^{-1}{h}_1$, $E{h}_1=h_0$ and $F{h}_1=0$. Therefore $W_1=⟨h_0,h_1⟩$ is a submodule isomorphic to $V_{1,1}$.

To verify that this is a direct sum, in the $q$ weight space the determinant of the coefficients of $z_1,h_0$ is $-q^2-q^{-1}[2]=-[3]\ne 0$. In the $q^{-1}$ weight space, the coefficient determinant of $z_2,h_1$ is $-q[2]-q^{-2}=-[3]\ne 0$. The extreme weight spaces are spanned by $z_0,z_3$. Hence these six vectors form a basis of the entire tensor product of modules. Each summand is a simple module: projecting a nonzero vector onto one of its distinct $K$ weight spaces and applying the nonzero raising and lowering coefficients recovers its entire basis. Consequently