关于量子仿射代数Uq(sι2)的若干三对角元.pdfVIP

2朋年9 月 第 32卷第5 期 四川师范大学学报(自然科学版) Sept. ， 2(朋 Vo1. 32 ,No.5 Journal of Sichuan Norrnal University( Natural Science) 关于量子仿射代数 Uq ( ι) 的若干三对角元 黄气钊 1 ， 王小我2. (1.四川大学数学学院，四川成都刷刷4: 2. 重庆师范大学初等教育学院，重庆 4∞7∞) 摘要:研究量子仿射代数 Uq { 言i?)的若干与三对角线性变换密切相关的元素的基本性质，证明了这些 元素在 Uq { 可)中的不可逆性以及这些元素在 Uq { 穹)的基本赋值模上的作用构成了Leonard 对. 关键词:赋值映射; tridiagonal 对; Leonard 对 中图分类号:0154.3 文献标识码 :A 文章编号:1∞1 -8395 (2α)9 )05-0553心4 dO?:IO.3969/j. issn.l刷1-8395.2侃9.05.001 o sl 言 由 P. TeIWilliger 等[1] 发展的Leonard 对理论， 研究的是有限维线性空间上的满足某些性质的两 个线性变换组成的对.他们的研究表明，Leonard 对 与组合数学和李理论有密切联系问.后来 P. TeIWil- liger 等， 1.叫研究了比Leonard 对更一般的 tridiago- nal 对.近来，因diagonal 对的研究引起了越来越多 的注意. 令人感兴趣的是，可以利用?几何型的 tridiag- onal 对去构造量子仿射代数 Uq仅可)的有限维不可 约模.这种构造(本质上归结于 T. Ito 和 P. TeIW?l- ligerl3J ) 反映了关于 q-几何型的 tridiagional 对的基 本事实:它们满足 3 次方的 q-Serre 关系.注意到 T. Ito 和 P. TeIWilliger 的构造还不能解决 Uq ( 百亏)的 有限维不可约模的分类问题，其主要原因是 tridiag- onal 对的分类没有解决(P. TeIWilliger 完全解决了 Leonard 对的分类问题:2J ).另一方面， V. Chari 和 A. Pressley 在文 [7 ]中利用 M. Jimbo 的赋值映射 和 Drinfel d 多项式，完全刻画了 Uq ( 在;-)的有限维 不可约模.所以，正如 P. TeIWilliger 等所希望的，有 可能利用 Uq ( 宙门的表示论来解决 tridiagonal 对的 分类问题.本文将进一步讨论 triagonal 对和量子群 的表示论之间的联系. 受 T. Ito 和 P. TeIWilliger坷的构造的启发，考 虑 Uq ( 宙门的由下面(4)式给出的元素 Zj 丸，并称 之为 tridiagonal 元，因为这些元素与 tridigonal 对有 收稿 H 朔 :2∞8 -10 -13 基金项问:国家自然手斗争基金( 资助项目 *联系作者简介: -f /J、我(1 962.) .另.副教授，主要从事代数学的研究 密切关系.证明这些元素在 Uq ( 百;-)中是不可逆 的，尽管它们在很多 Uq仅可)-模上的作用是可逆的 (事实上，在很多不可约模上的作用是半单的) .因 此构造了量子群 Uq ( s~) 的一类无穷维模.注意到， Uq ( 吉可)是元零因子环，但它的一个元素是否可逆 并不是显然的.然后证明这些元素在 Uq ( 百;-)的所 有基本赋值模上的作用事实上构成了Leonard 对， 并由此推断出这些模上存在满足特定性质的非退 化对称双线性型，而这些双线性型的存在性在 V. Chari 和 A. Pressley川的构造中是不显然的.本文 的主要工具是 M. Jimbo l8J 的赋值映射. 1 量子仿射代数 Uq {ζ)及其 tridiagonal 元 设 C 表示复数域，c x = c - 101. 设 qεc x 不 是单位根，于是有标准的记号 : [ mJ q = (qm _ q -1?) / (q_q-I). 百?总表示 C 上的 L 型仿射李代数.根 据文[7]，在?的量子仿射代数 Uq ( 百?)是 C 的结合 代数，其生成元为 Chevalley 生成元旦 ， F， ? Ki ( i = 0 , 1)，相应的生成关系为: (Cl) K点-1 = Ki-1Ki = 1 ， Ki乓 =KjKi; (C2) K，乓Ki? 1 =q句矶，kzFJKJ1=q-句F;ó (C3) [E, .FjJ =鸟(Ki - Ki-I ) / (q - q - 1 ) ; (ω) E; Ej - [3] qE; E?i + [3