B_3-型量子群的 Gelfand-Kirillov 维数

本文旨在计算B_3-型量子群的Gelfand-Kirillov维数,所用方法是:首先利用RingelHall代数方法计算B_3-型量子群的所有根向量之间的拟交换公式,然后利用相应的B_3-型量子群的Grobner-Shirshov基计算B_3-型量子群的Gelfand-Kirillov维数,得到的主要结果是B_3-型量子群的Gelfand-Kirillov维数等于21.     

G2型量子群表示的Grobner—Shirshov基

用单李代数的泛包络代数表示的Grobner-Shirshov基方法,也就是Grobner-Shirshov对（pair）方法,来构造G2型量子群表示的Grobner—Shirshov基是非常苦难的。而用双自由模方法来构造G2型量子群的有限维不可约表示的Grobner—Shirshov基是非常方便的;以已知的G2型量子群的Grobner—Shirshov基为基础．用双自由模方法构造G2型量子群的不可约表示的Grobner-Shirshov基。     

An型量子群的基本模的典范基

设g是An型的有限维复单李代数,U是g的量子群.对g的每一个支配权λ,存在一个最高权λ的有限维不可约最高权U-模V(λ).本文确定n≤5时An型量子群的基本模V(λ)(即λ是基本支配权)的典范基.     

多项式代数与半群代数中单项式序之间的关系

研究了半群代数k[A]中单项式序的性质,利用环面同态讨论了多项式代数k[x]和k[z]中的单项式序与半群代数k[A]单项式序的关系,给出了相互诱导的条件及N0A上全序是良序的充分必要条件.     

F4型量子群表示的Groebner—Shirshov基

本文以凡型量子群表示的Groebner—Shirshov基为基础,利用双自由模方法给出凡型量子群的有限维不可约表示的Groebner-Shirshov基．     

B2型量子群的PBW形变及其对称性

量子群的负部分是量子群理论中出现的一类重要的连通分次代数,其PBW形变简称为量子群的PBW形变。 除了A2情形,它们的定义关系式均是具有混合次数的齐次量子Serre关系式。 特别地, B2型量子群的负部分的定义关系式分别是次数为3和4的2个量子Serre关系式。 在连通分次代数的PBW形变理论的框架下, 本文明确刻画了B2型量子群的所有PBW形变并研究了它们的对称性, 即给出了B2型量子群的4类对合反自同构下的对称PBW形变。     

计算B3型量子群的Grbner Shirshov基

为了计算出B_3型量子群的Gr?bner-Shirshov基,先用有限维代数表示论中的Auslander-Reiten理论和Hall代数方法计算出B_3型量子代数根向量之间的拟交换关系式并验证这些关系式对合成运算封闭,然后给出B_3型量子群的一个极小Gr?bner-Shirshov基.     

可解多项式代数上的泛左Grbner基

设I是可解多项式代数A=K[a_1,…,a_n]的一个非零左理想,由可解多项式代数上的左Grbner基性质,可知A中任何一个左理想对于一个单项式序的左Grbner基不一定满足另一个单项式序.首先证明了在B上的任意2个单项式序1,2下,g={g1,g2,…,gt}是I在1下的左Grbner基,若LM1(gi)=LM2(gi),1≤i≤t,那么g={g1,g2,…,gt}也是I在2下的左Grbner基;其次证明了I在A上的所有单项式序(可能无限个)下只有有限个约化左Grbner基;最后证明了A中的一个子集F,对于其上的任何一个单项式序,都是I的左Grbner基,子集F就是A的泛左Grbner基.     

紧量子群与乘法酉算子的关系

通过紧量子群的余乘法的余结合性，在一定的Hilbert空间上构造出了乘法酉算子，并讨论了乘法本算子对应量子群与紧量子群的关系。从而给出了紧量子群的对偶量子群。     

一个基于量子群的分子对接药物设计算法

量子群作为经典李群、李代数的基本对称概念的推广,有着丰富的代数、几何及物理性质.本文基于量子群的基本理论,结合药物分子设计中的分子对接问题,在李群机器学习的基础上提出了一个基于量子群的分子对接药物设计方法,从而进一步丰富了李群机器学习理论.本文首先建立了基于量子群的分子对接模型,并设计了基于量子群生成元的分子匹配算法,运用此算法对小分子数据库中的分子进行对接,并将试验结果与Autodock4.0、分子动力学算法的对接时间和精度进行比较和分析.实例测试表明了量子群的理论与药物分子对接相结合的合理性及有效性.     

B~2到B~5的4次逆紧全纯单项式映照

利用张量积构造了2维单位球到5维单位球次数为4的逆紧全纯单项式映照.并且通过特殊实多项式形式验证构造出的单项式映照为逆紧全纯映照.     

量子群有限维表示的好滤过和循环模

证明了量子群有限维表示具有好滤过的上同调条件；给出了秩１量子群关于ＵｂΓ循环模的结构     

BC型量子GIM代数及其Lusztig对称

对$\ell$阶BC型Cartan矩阵的2-仿射矩阵$\tilde{A}_{\ell+2}\times\ell+2}$,定义了相应的量子广义相交矩阵(GIM)代数$U_{q}$,对每个$1\leq i\leq\ell+2$,证明了$U_{q}$有自同构$T_{i}$,讨论了它们的基本性质. 所得到的结果推广了经典量子群和ADE型量子广义相交代数的Lusztig对称理论.     

A2型量子群′u^~模Q的本原向量

令p是一个奇素数,v是一个不等于1的p次单位根,B＝Z[v],B′＝Q（v）,定义B′代数′u^~ 是由生成元Ei,Fi(i=1,2,3),Kj(j=1,2）,满足生成关系得到的A2型量子群,本文讨论了′u^~ 模Q＝M^h/P的本原向量,给出了Q的本原向量集合Q^0的一个直和分解。     

退化的C型量子群U_q(sp_(2l,2m))

任意给定一组正整数m和n,可以构造一个新的Hopf代数U_q(sp_(2l,2m)),它可视为C型量子群的退化版,它与C型量子超群有着紧密的联系.本文研究了它的一些结构特性.     

A_2型量子群′“非汉字符号”模Q的本原向量

令p是一个奇素数 ,v是一个不等于 1的p次单位根 ,B =Z[v],B′ =Q(v) .定义B′代数′ u是由生成元Ei,Fi(i=1,2 ,3) ,Kj(j=1,2 ) ,满足生成关系得到的A2 型量子群 .本文讨论了′ u模Q =Mh/P的本原向量 ,给出了Q的本原向量集合Q0 的一个直和分解 .     

Cn系列量子群的De—Rham复形

首先介绍Ｃｎ系列量子群，并给出相应的双协变一阶微分运算。最后，给出了Ｃｎ系列量子群的Ｄｅ－Ｒｈａｍ复形。     

量子群主Ｔilting模的形式特征标

设p≥2(h-1)，λ∈X^ 是p^2室中的正则支配权，证明了主Uψ模Mψ(λ^-0＋Pλ^1）的形式特征标公式:描述了ψ(λ^-0＋Pλ^1）的合成因子的分布状态，于A2型量子群，给出了p^2室一般位置室吉Uψ模范畴主Uψ模ψ(λ^-0＋Pλ^1）合成因子的分解模式。     

紧群的基本算子对应对偶量子群

讨论紧群对应的基本算子所具有的性质，给出它所对应一对对偶量子群的具体刻画，从而对抽象C^*－量子群的了解有很大的帮助。     

量子群SUq(2)作为“动力系统的对称代数”

最近,Saleur 和 Pasquier 证明,量子群 SUq(2) 可以作为具有特殊边界项的自旋1/2Heisen-bergXXZ 模型的“动力学对称代数”出现,本文证明。他们的结论对于规范变换后的系统仍然成立.特别地,本文的结果表明,存在着无穷多个相对于量子群 SUq(2) 不变的对易算符,所论模型的 Hamll-tonian 量仅仅是其中之一.此外,还明显构造了量子群 SUq(2) 生成元的一类更为普遍的实现.