(1)
(2)
(3)
(4)
eaeb=ebea,fafb=fbfa,若|a-b|>1,
(5)
(6)
(7)
(8)
(9)
(10)
emEm-1,m+2-Em-1,m+2em=0 ,
(11)
fmEm+2,m-1-Em+2,m-1fm=0,
(12)
其中Em-1,m+2和Em+2,m-1是由以下关系来定义的:
Em+2,m-1:=fm+1Em+1,m-1-qm+1Em+1,m-1fm+1,
Em+1,m-1:=fmfm-1-qmfm-1fm.
3 Uq(sp2l,2m)的Hopf代数结构与元素间的交换关系
Δ(ea)=ea⊗ka+1⊗ea,Δ(fa)=fa⊗1+ka-1⊗fa,Δ(kb)=kb⊗kb;
令
Q+:=emEm-1,m+2-Em-1,m+2em,Q-:=fmEm+2,m-1-Em+2,m-1fm,
fbQ+-Q+fb=0,ebQ--Q-eb=0, ∀b∈I,
(13)
(14)
(15)
为了更进一步的分析Uq(sp2l,2m)的结构,我们用惯用的记法来表示x-交换
[A,B]x=AB-xBA,
对于∀A,B∈Uq(sp2l,2m)和x∈C(q).显然这也包含了李代数中[A,B]=[A,B]1的情况.
给出量子伴随表示的定义:
ad:Uq(sp2l,2m)⊗Uq(sp2l,2m)→Uq(sp2l,2m),
(16)
x⊗yadx(y):=∑(x)x(1)yS(x(2)).
现在对于任意的1≤iEji=Ej,j-1Ej-1,i-qj-1Ej-1,iEj,j-1,对于j>i+1.
基于当|a-b|>1时,fa与fb可交换的事实,有
Eji=EjkEki-qkEkiEjk=[Ejk,Eki]qk,其中j>k>i+1,
进一步观察到:
[fi,fi-1]qi=fifi-1-qifi-1fi=-qiadfi-1(fi),
通过定义中的Serre关系,可得到任意两元素之间的交换关系[13].
引入一个自同态ω:
根据定义1,显然可以得到定理1.
定理1F(θ)K(η)E(θ)是代数Uq(sp2l,2m)的一组生成元.
4 结 语
通过对退化量子群Uq(sp2l,2m)的研究,我们得到了其较好的代数性质,这为以后量子超群的研究提供了新的思路.接下来的工作是继续研究在特殊点(比如在长根处)退化的情况,进一步搞清退化版本与相应的量子超群间的区别与联系.另外将C型退化量子群的定义推广到B型和D型中,我们可以进行更深入的研究.