对称群的抛物Kazhdan-Lusztig R-多项式的组合性质

来源 :南开大学 | 被引量 : 0次 | 上传用户:nc_xujian
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
1979年,代数学家、美国科学院院士D.Kazhdan和G.Lusztig在研究Coxeter群及其关联的Hecke代数的表示理论时创立了Kazhdan-Lusztig理论,这是代数学领域的一个重要进展。Kazhdan-Lusztig R-多项式是Kazhdan-Lusztig理论的核心结构之一,它与Hecke代数的乘法结构密切相关。1987年,代数学家V.V.Deodhar引入了抛物R-多项式,该多项式推广了R-多项式,可看作R-多项式的抛物模拟。运用组合学的工具,计算R-多项式与抛物R-多项式已成为代数组合领域的一个重要课题。在本论文,我们将从组合学的角度研究对称群的抛物R-多项式的计算。  令Sn表示集合{1,2,…,n}上的对称群,且令S={si|1≤i≤n-1}为Sn的生成元集合,其中si是交换i与i+1的邻接轮换。对于S的子集J(∈)S,令(Sn)J表示由J生成的抛物子群,而(Sn)J表示Sn关于(Sn)J的极短元组成的右陪集代表元集合。对于u,v∈(Sn)J且在Bruhat序下u≤v,令RJ,xu,v(q)表示由u与v标记的抛物R-多项式,这里z∈{-1,q}。当J=S{si}时,组合学家F.Brenti发现了RJ,xu,v(q)的表达公式。近期,Brenti又给出了当J=S{si-1,si}时RJ,x u,v(q)的计算公式。  在本论文,我们的工作是研究当J=S{si-2,si-1,si}时RJ,x u,v(q)的计算。具体来讲,对于J=S{si-2,si-1, si},令u,v∈(Sn)J,其中u≤v且要求在排列v中元素i出现于元素i-1之后。我们通过在(Sn)J的排列上定义统计量,得到了RJ,x u,v(q)的显示表达。此外,我们还提出了一个更一般的猜想。这一猜想不仅包含Brenti以及本文的结果作为特殊情形,而且还可退化为针对普通R-多项式的一个公式。  本文共分为三章。在第一章,我们介绍了Coxeter群的一些基本性质和Kazhdan-Lusztig理论的背景及其相关结论。此外,我们还具体描述了以上提及的Brenti在抛物R-多项式上的工作。  在第二章,我们给出了本论文的主要结果。为描述该结果,我们在(Sn)J包含的排列上引入了一个统计量,这里J=S{si-2,si-1,si}。基于该统计量,我们给出了RJ,x u,v(q)的计算公式,这里排列v满足以下条件:元素i在v中位于i-1之后。我们还给出了一个一般性的猜想,即:给出了当J=S{sk,sk+1,…,si},1≤k≤i≤n-1且k+1,k+2,…,i依次以递增顺序出现于v中时RJ,x u,v(q)的表达公式。  在第三章,我们给出主要结果的证明。为了证明该结果,我们首先给出了一个比较(Sn)J中的排列在Bruhat序下大小关系的判断规则。然后,根据i-1和i在u和v中出现的位置,我们将证明分成四种情况。针对每一种情况,我们对(Sn)J中排列的长度运用归纳法,从而完成证明。
其他文献
该文将完全右内射幺半群做了三种形式的推广,并对这三种幺半群分别进行了刻划.
齐次平衡方法是一种算法,它的基本原理是将非线性发展方程中的线性高阶偏导数项与非线性项部分地相平衡,其做法是将方程(组)的解表示为复合函数的各阶导数的某个线性组合,进
该文在对图象进行小波变换的基础上,研究了在小波系数上进行的向量量化,对传统的LBG算法作了一些改进,并对神经网络中自组织特征映射算法应用于小波系数的向量量化作了一次有
该文用待定函数法求得了KdV-Burgers方程解析行波解,用Adomian积分法求得了精确的级数解,同时给出了数值分析,讨论了这些解的性质以及所含物理意义,进一步研究KdV-Brugers方
该文证明了次交换半群簇中张量积的存在唯一性,进一步分别研究了次交换张量积的同态、同余及余正合列等,证明了次交换张量积满足结合律.保持直和及上极限,并对自由次交换半群
对常微分方程的初值问题:u=a(t)u+f(t),0
试验设计在现代科技和工程中起着越来越重要的作用。试验可以分为两大类:实体试验和计算机试验。传统的实体试验是在实验室或工厂进行的。由于计算机计算效率的迅猛发展,人们