论文部分内容阅读
本文主要研究的是B4、C4、D4和F4型仿射Weyl群W的左胞腔，找出了B4、C4和D4型仿射Weyl群的所有独异对合元.由于计算Kazhdan-Lusztig多项式的复杂性，除了α值等于16的部分左胞腔的独异对合元没有找到以外，F4型仿射Weyl群的其它独异对合元都已找到.借助于左胞腔图，我们只需要找出其中一个独异对合元.然后运用定理1.7.2.7和推论1.7.2.8，通过matlab编程就可以找出这张左胞腔图中每个左胞腔的独异对合元.在寻找独异对合元的过程中，本文主要运用了如下三种方法：第一，在α值为整数t的双边胞腔的一个左胞腔图М中，如果图М中出现标号为J的顶点，这里J()S，ι(wJ)=t，则运用定理1.7.2.4和定理1.7.2.7可找出整张图的所有左胞腔的独异对合元.第二，假设两张左胞腔图М1和М2是同构的.如果图М1中有一个顶点其独异对合元已找到，那么，通过图自同构就可以找到图М2中相对应的顶点其独异对合元.第三，运用数学软件Coxeter version3.0和matlab去寻找满足一定条件的对合元，然后，计算Kazhdan-Lusztig多项式验证其是独异对合元.最后，本文给出了左胞腔图其相对应的独异对合元图，并且在正文中明显地给出了独异对合元图中空心顶点所代表的独异对合元.