论文部分内容阅读
量子群表示的分类是一个很有意义的研究课题,一般地,对量子群的不可分解模的分类很困难.本文利用Ore扩张思想,将量子代数Uq(sl2)推广到更一般的量子代数Ur,t(sl2),并对Ur,t(sl2)的不可分解模进行探讨、分类. 设A是由K,K-1,C,C-1,F生成的Ur,t(sl2)的子代数,α是A的自同构,δ是A的α-导子,令Aδ=kerδ,当q是非单位根时,Aδ是由K,K-1,C,C-1生成的子代数;而当q为d次本原单位根时,Aδ是由K,K-1,C,C-1,Fe生成的子代数.给定一个有限维Aδ-模M,那么在A(⊕)AδM上有一个自然的Ur,t(sl2)-模结构.当M是有限维不可分解Aδ-模时,我们证明了A(⊕)Aδ M是不可分解Ur,t(sl2)-模,并且刻画了它的子模结构. 设M是满足某些条件的有限维不可分解Aδ-模,{m1,m2,…,ms}是M的一组基,Mi:=span{m1,m2,…,mi). 当q不是单位根时,那么C[x](⊕)M有一个自然的Ur, t(sl2)-模结构,令Ni:=span{xj(⊕) mi|j≥n+1},i=1,2,…,s,则有 (1)若对任意n∈Z,λ≠±qnαr,C[x](⊕)M的所有非零子模是C[x](⊕)Mi,1≤i≤s. (2)若存在n∈Z,λ=±qnαr,C[x](⊕)M的所有非零子模是C[x](⊕)Mi和C[x](⊕)Mi一1(⊕)Ni,1≤i≤s. 当q为d次本原单位根时,那么Ce[x](⊕)M有一个自然的Ur,t(sl2)-模结构,其中Ce[x]是由1,x,…,xe-1生成的向量空间,Ni:=span{xj(⊕)mi|n+1≤j≤e-1},则 (1)若b≠0或b=0,λ≠±qnαr,0≤n≤e-2时,Ce[x](⊕)M的所有非零子模都形如Ce[x](⊕)Mi,1≤i≤s. (2)若b=0且λ=±qnαr,0≤n≤e-2,Ce[x](⊕)M的所有非零子模都形如Ce[x](⊕)Mi或Ce[x](⊕)Mi-1(⊕)Ni,1≤i≤s.