D型Weyl模的一个新的重数公式.docxVIP

引言 如果p∈zr．是—个整线性函数，定义Weyl模y(^)O∈A+)内的重数为 m^“)=dimV(*)p 当p不是I，(A)的权时，m^∞)=0，在亭代数表示理论中，有两个非常重要的重致公式· Freudenthal递推公式 (O+最^+∞一缸+民p+J))f，l(_II)=2≥：≥：m(p+f口)(卢+l口，口) (2) 面甭 和Konstant童敬公式 h(坊=芝：mp)p缸+J一口Q+∞)． (3) FE埘 但是在实际计算中，这两个公式的计算量很大，显得非常烦琐，我们十分希望能够找到一个新的 重数公式．正如大家所知。F1reudenthal重致公式是通过对权集上的半序(即·^_p铮芦一A是正根之和)作归纳法来计算Weyl模的权空间的维数的．当我们知道了所有大于p的权p在Weyl 模v(A)中的重效tru(y)以后，就可l}{利用heudenthsl重敬公式求出权p在y(A)中的重效m^(p)了；Konstant重数公式的优点是直接表示出了重敢，但在实际计算中还不如Freudenthal 重致公式简单．这是因为当秩很高时。在Weyl群上求和会变得非常麻烦．在12】、悯中，P， Littelmmm构造了李代数的警遍包络代数的一组单项式基，为我们寻找新的重数公式奠定了重 要基础．在此基础上，叶家琛与周忠国合作给出了山塑Wey!模的—个新的重数公式17】．他们通过构造A型李代数的普遍包络代数的一组单项式基以及它的子代数的—个滤链，得到了关于^型Weyl模的一个新的重致公式．这个公式是通过对李代数的秩l作归纳法，把计算白型李代数的Weyl模的权空同的维数归结为计算霸一l的—些Weyl模的权空间的维数．本文在 他们工作的基础上。推广到Dl型Weyl模的情形．除非特别说明，本文所采用的记号与聊中的相同。 令岛是一个Dl型复单李代数，Ⅳ=“(函)是它的普遍包络代数．对任意一个支配整权 ^∈A+，y(A)是有限维不可约“(磊)．梗，即Weyl模。根据P．Littelmann[6]，我们定义“慨)的整 形式的一组单项式基和普遍包络代数“(绕)的—个子代数的撼链．从而我们得到wb一模y(A)的整形式的一组新基和一个新的重数公式． 本文是如下安排的t在第—部分，在“慨)一上引入—个序关系；在第二部分。引用了一些有用的换位公式，并且构造了“恸)的—个子代数滤链；在第三部分，定义了“(毋)一的一组新的基；在第四部分，给出了我们的主要结果，即关于阳两)豹Weyl模y(对的整形式的一组新 基和—个新的重效公式l最后—部分，给出了当j；4，5时的两个例子． 1 1．“渤)一上的一个序关系 1．1．令厶={口“锄， ，Ql}是Dl型复单李代致的单根集．它根系的功rnkin图为 “ ?·--o-------o 田I．I Dl重复簟亭代戴饭量的Dy|lI吐n田 注意，我们这里的功，nldn图的记号与Bourbal【i书上所用的记号不同，恰好把次序颠倒了 过来．其相应的C8r‘∞矩阵是 2O O 0 0 2 O O O d d O O O以O；O O；O 以以2以；o 2；O O；2 O O o O d 2 令 啦』=啦I-ai-i+ +a，， ．1≤Ji≤L i≠2· ∞31=04 3+ol， 3≤i≤Z。 口11，=口Il+a3+m+ +o，， 3茎jiSl． 那么 垂+={ni(1sisl)’04 J(1Sji≤i,i≠2)，04 3l(3siSl)，o‘l J(3≤ji≤1)； 是所有的正根集合，共有P—1个元素．如下定义正根的—个序· ol，口2，哪!，口3 2，as 3l，03，a|l 3，伽lt a4 2，口‘3I，口‘3，al， 口llI-I,咖1i-2， ，n11 3，口Il，口l 2，口l 3l，铆3，oI 4· nll-I，0l 然后相应地定义绕的Chevalley基 h (1S‘S1)， e‘=cq，^=，口‘ (1≤i≤D， “i=eml，kj=|％| (1Sji蔓l，i≠2)， 2 矗31=Co●，l， ，l 3l=，d‘，I (3SlSj)’ e41，2‰I，， ^1，2氏i (3≤歹iSl) 令N是非负整数集合．“的KostantZ-形式。坛是“的Z-子代数，它是由搿’≯《／乩J∥．-露／础生成，其中口∈圣+，≈∈N．令 p÷c)一盟监竺等坐巴山，，螂∽∈z，I∈N． 那么(h∽∈￡乜．令“+，“。，o，o分别是“的正部分，负部分和零部分．他们分别是由B妒， 纷’和(々)生成。k∈N，口∈圣+，1≤i≤1．代数“是一个Hopf代致，它有三角分奶“=“一俨扩．“的PBW-塑基具有形式 旦伊’娶(乏)旦牲‰^“M 如果我们定义 j=(‘l，缸，．一，伽．1)∈N。ffi一， ，J；，{‘，W。)∥{’删，{髫，∥’删。