一类量子形变代数的等价表示
On the Equitable Presentation for a Quantum Deformed Algebra
DOI: 10.12677/PM.2016.63027, PDF, HTML, XML,    科研立项经费支持
作者: 陈佳琦, 叶丽霞*:浙江外国语学院数学系,浙江 杭州
关键词: 量子形变代数Hopf代数等价表示Quantum Deformed Algebra Hopf Algebra Equitable Presentation
摘要: 对量子群Uq(sl2)进行推广,构造了一类量子形变代数Uq(fn(K,K)),并对它的等价表示进行了研究。
Abstract: Basing on the quantum group Uq(sl2), we define a quantum deformed algebra Uq(fn(K,K)) in this paper. Moreover, we construct its equitable presentation.
文章引用:陈佳琦, 叶丽霞. 一类量子形变代数的等价表示[J]. 理论数学, 2016, 6(3): 177-181. http://dx.doi.org/10.12677/PM.2016.63027

1. 引言

Hopf代数和量子群在几何和物理学中有广泛应用,而有限维单李代数的量子包络代数是一类特殊的Hopf代数,是研究一般量子代数的基础。继文 [1] 对的等价表示进行研究之后,已有不少学者 [2] - [5] 对进行了推广。文 [2] 引进了量子代数,并对其一些相关理论进行了研究。2000年,王顶国等 [3] 研究了量子群的Hopf代数结构和有限维表示,并进一步得到量子群的有限维表示 [4] 。2008年,潘艳 [5] 对量子群的等价表示进行了研究。基于以上研究方法,可将量子包络代数再次推广,构造量子代数,并讨论其等价表示。

2.的定义及等价表示

为复数域,不是单位根,是一个正整数。文 [6] 对有限维半单李代数,定义了一类弱量子代数,并构造了其弱Hopf代数结构。当时,可类似地定义一类弱量子代数

定义1设是一个正整数,代数是由生成子生成,并满足以下关系式:

(1)

, (2)

, (3)

其中。 (4)

是一个正偶数时,是一个弱Hopf代数 [6] ,故在对应双代数结构下也构成一个弱Hopf代数。需要说明的是,当时,同构于。为了不失一般性,下文假设,即都不可逆。

类似于文 [6] 的定理2.2,由定义1易证得性质1成立。

性质1在代数中,都成立。

定义2代数是由生成的,且满足以下关系式:

, (5)

, (6)

,(7)

。 (8)

由定义2可得到以下性质2。

性质2 在代数中,,且都成立。

引理1 在代数中,如下关系式成立:

, (9)

。 (10)

证 由等式可得,等式两边同时左乘得,

如此继续可得,

由性质2可知,故

可得,等式两边同时左乘得,

如此继续可得,

则等式(9)得证。同理,由等式(8)可证等式(10)成立。

定理1,其中同构映射满足

的逆映射满足

证 先证明为代数同态映射,即要证保持定义中的关系式。

由性质2可知,由(7)可知,于是

同理可证

下证保持等式(4)成立,由(6)式得,由引理1得,故

因此的C-代数满同态。下证是互逆映射。

可知,

反之,由可知,

因此的同构映射,于是代数

定理1中的代数可称为的等价表示,其中的等价生成子。

基金项目

浙江省教育厅科研项目(Y201327644);高等学校访问学者专业发展项目(FX2014082)。

NOTES

*通讯作者。