Kazhdan-Lusztig R-多项式的组合性质研究

来源 :南开大学 | 被引量 : 0次 | 上传用户:tornadohearwind
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Kazhdan-Lusztig理论是1979年由D.Kazhdan和G.Lusztig在研究Coxeter群与Hecke代数的表示时创建。它已在表示论、代数几何和组合学等数学分支中得到了广泛的应用。Kazhdan-Lusztig R-多项式与Hecke代数的乘法结构有密切的联系,是Kazhdan-Lusztig理论中的重要研究对象。  本文主要研究了R-多项式的组合性质。主要结果包括以下两个方面:一方面,我们给出了R-多项式反演公式的组合证明。该问题是由著名组合学家F.Brenti在1998年提出。作为应用,我们得到了Bruhat序下的M(o)bius函数公式的组合证明;另一方面,我们研究了对称群上一类特殊的R-多项式,建立了该类R-多项式与q-Fibonacci数之间的联系。  本文共分为四章。在第一章,我们回顾了Coxeter群的一些基本性质和Kazhdan-Lusztig理论的整体背景,并介绍了本文的主要成果。  在第二章,我们给出了R-多项式反演公式的组合证明,解决了F.Brenti在1998年提出的问题。该证明利用了M.Dyer给出的关于R-多项式的组合解释。Dyer将R-多项式Ru,v(q)解释成从u到v在给定反射序下递增的Bruhat路的生成函数。由于反射序的倒序依然是反射序,我们定义了V形路并以此给出了反演公式的组合解释。所谓从u到v以w为底的V形路,是指从u到v经过w的Bruhat路,并使得其中u到w段边上标记的反射按反射序递减,w到v段边上的反射按反射序递增。最后,反演公式通过在V形路上建立对合Φ得以证明。  在本章中,我们还给出了对合Φ的两个应用。首先,我们将对合Φ限制在极长的V形路上,得到Bruhat区间上的对合。利用这一对合我们给出了D.-N.Verma在1971年得到的Bruhat序下M(o)bius函数公式的组合证明。其次,我们利用对合Φ的一个变形形式给出了反演公式在对称群中的一个细化。  在第三章,我们给出了Coxeter群的抛物商上的Bruhat序下M(o)bius函数一般公式的组合证明。这个公式是由V.Deodhar在1977年首先得到。在随后的几十年里,Deodhar公式得到广泛关注,其中A.Bj(o)rner、M.Wachs和J.Stembridge分别用拓扑和代数的方法给出了该公式新的证明。本章利用Bj(o)rner和Wachs对极长的Bruhat路的标记方法,给出了Deodhar公式第一个组合证明。  在第四章,我们建立了对称群上的一类R-多项式与q-Fibonacci数之间的联系。具体来讲,当vn取对称群Sn中的排列34...n12时,我们计算得出,R-多项式Ru,vn(q)经过一个简单的变量代换就变成Fibonacci数的q-模拟。特别地,取u为单位元e时,我们就得到Pagliacci给出的Re,vn(q)的公式。此外,当vn,i取排列34…in(i+1)…(n-1)12时,我们用q-Fibonacci数给出了Re,vn,i(q)的一个显式表达式。这个结果也是对Pagliacci公式的扩展。
其他文献
伪轨跟踪性研究的是一个映射下的伪轨能否被真轨跟踪,它与系统的稳定性有着密切的联系,在动力系统的定性理论中起着重要的作用.在数值分析上也有着广泛的应用,因而引起了人们
谱图理论是代数图论的一个重要研究方向,是现在国内外代数组合和组合矩阵论研究的一个重点课题.1985年,Bmaldi和J.Hoffman提出了邻接特征值的极图问题.在近几十年内,特征值的极
该论文就自由曲线设计中以下几个问题进行了一些研究:1.二次有理B样条曲线的曲率单调条件研究.2.B样条曲线的快速生成算法研究.3.有理B样条曲线的快速生成算法研究.4.Bernste
设H是无限维复的Hilbert空间,B(H)为H上的有界线性算子全体组成的Banach代数,S(H)为H上的对称算子全体,该文讨论S(H)上将一秩算子映成一秩算子的弱连续实线性映射,给出了这种
该文从遍历理论与拓扑动力系统的平行之处出发,使用局部化(点对或点串)的思想对与混沌、熵以及系统传递属性相关的系统复杂性问题进行了研究.在这一过程中,我们强调遍历理论
序列比较是生物信息学研究中一类重要的、基础的问题,通过序列比较可以挖掘序列相似性、物种同源性等等重要的生物信息.生物信息学中的序列比较问题实质上体现为字符串比较的
该研究报告将致力于奇异积分算子以及与之相关联的几类算子有界性的研究,主要研究联系于Calderón-Zygmund算子的一类多线性极大交换子、具有变量核的奇异积分算子、变量核分