劉孝磊，李 沫，劉曉燕，馬翠玲

（海軍航空工程學院基礎(chǔ)部，山東 煙臺 264001）

隨著在物理領(lǐng)域?qū)畲鷶?shù)應(yīng)用的深入，人們對這種代數(shù)結(jié)構(gòu)的研究越來越廣泛。隨之出現(xiàn)了一些廣義李代數(shù)如李超代數(shù)、τ -李代數(shù)、ε -李代數(shù)等，并在量子物理等很多領(lǐng)域得到了重要應(yīng)用。

本文在李代數(shù)進行的另外一種拓展——q-李代數(shù)的基礎(chǔ)上，對q-李代數(shù)所蘊含的深層的代數(shù)性質(zhì)進行剖析，研究了一般q-李代數(shù)的普遍包絡(luò)代數(shù)U(Lq)及其重要的代數(shù)性質(zhì)，證明了普遍包絡(luò)代數(shù)U(Lq)的PBW定理，并給出了 U(Lq)的一組基。

1 預(yù)備知識

首先引入普遍意義上的張量代數(shù)。

取定數(shù)域K 上的一個向量空間V，T0V=K，個)，定義：并且我們引入一個結(jié)合乘積：

定義在T (V)的齊次生成元上，這使 T (V)成為一個含幺的結(jié)合階化代數(shù)，它由1以及V的任意一組基所生成，我們稱之為V 上的張量代數(shù)。

有了張量代數(shù)的定義后，再加上q-李代數(shù)Lq的定義，就可以把q-李代數(shù)Lq看成向量空間，從而對Lq也就有了它的張量代數(shù)T (Lq)。另外，我們還給出 Lq的一個雙邊理想 Jq，它是由元素：生成的，從而就可以定義商代數(shù)為q-李代數(shù)Lq的普遍包絡(luò)代數(shù)，記為U(Lq)。

因為有嵌入映射 i∶Lq→T (Lq)以及典范映射π∶T (Lq) → T (Lq) Jq=U(Lq)，我們就可以把這兩個映射合成起來，記為σ=π· i：Lq→U(Lq)，稱σ為從q-李代數(shù)Lq到普遍包絡(luò)代數(shù)U(Lq)的典范映射。

另外，

2 U(Lq)的泛性質(zhì)及其PBW定理

首先給出 U(Lq)的泛性質(zhì)。

定理假設(shè)σ為從q-李代數(shù)qL到普遍包絡(luò)代數(shù)U(Lq)的典范映射，A為一個含幺的代數(shù)。進一步假設(shè)?是一個從qL到A的線性映射，滿足

?xi∈ Li，則存在惟一一個從 U(Lq)到A的同態(tài)?/′，滿足 ?/′(1)=1且? ′·σ=?。

證明：由定義知普遍包絡(luò)代數(shù)U(Lq)能由1以及 σ(Lq)生成，從而得到?/′是惟一的。

另一方面，由張量代數(shù)T (Lq)的泛性質(zhì)，我們知道存在惟一的一個從 T (Lq)到A的同態(tài)，設(shè)為φ，它是?的擴展，且φ (1)=1，對于 ?xi∈ Li，有

因此 φ(Jq)=0，而通過作商的過程，φ就定義了一個從U(Lq)到A的同 態(tài)?/′，滿足 ?/′ (1)=1且? ′·σ=?.

注在U(Lq)中，李括積的雙線性，可以這樣來理解：

接下來我們尋找 U(Lq)的一組基。

首先固定qL的一組有序齊次基：滿足 xik∈ Ln，其中n ∈ N。用{Lq}來表示包絡(luò)代數(shù)T (Lq)中單項式的集合，并定義單項式 xj1? xj2? …? xjn的一個(正)排序：當jl＜jk時，有 xjl＜xjk。我們給出{Lq}中2個多項式集合的一個偏序：B＜C是指B中的單項式長度比C 中的更短些，或者B中的單項式是C 中單項式的置換排序，但是要滿足給出的正排序。顯然，若B＜B′，則有 A?B?C＜A?B′?C，其中A,B,B ′,C∈{Lq}。

引理J (xi,xj,xk)∈。

證明：注意到在J (xi,xj,xk)表達式中的每一個單項式都＜xk? xj? xi。下面證明 J (xi,xj,xk) ∈ Jq。

由于

從而

故

另外，對每個?∈ S，我們用??來表示 U(Lq)上的一個映射A ? W?? C → A ? f?? C，在此映射中，不包含W?的那些多項式不變。記 ?S={??|? ∈ S}。

定理(q-PBW)

證明：令

因為{,}q是反對稱的，并且是雙線性的，所以由 W?xy?f?xy生成的理想恰好是前面定義的

又由于每個 ??把A ? W?? C 映成A ? f?? C。所以在??的作用下，對某個固定的單項式在U(Lq)中的像也恰好是所對應(yīng)的基。

當給出 xi,xj,xk滿足 xi＜xj＜xk時，利用上面所定義的映射去作用之后，將最終落在下面我們來計算

推論σ 從q -李代數(shù)qL到普遍包絡(luò)代數(shù)的典范映射σ是單射。

3 結(jié)論

本文中我們給出了一般q-李代數(shù)的普遍包絡(luò)代數(shù)U(Lq)，對 U(Lq)的相關(guān)性質(zhì)進行了討論，證明了 U(Lq)對應(yīng)的q-PBW定理，并給出了它的一組基。至此，對一般q-李代數(shù)的研究就較為完善了，在此基礎(chǔ)上，我們就可以仿照研究一般意義下量子群的方法，來進一步地研究由一般q-李代數(shù)所引入的量子群理論。

[1]KASSEL C.Quantum Groups[M].北京∶世界圖書出版公司北京公司,2000∶23-38.

[2]SCHEUNERT M.Generalized Lie algebras[J].J Math Phys.,1979,20(4)∶712-720.

[3]LIU XIAOLEI.Construction of a q-Lie algebra[C]//The Second International Conference on Game Theory and Applications.England,UK∶World Academic Union,2007∶121-122.

[4]JAMES E HUMPHREYS.Introduction to Lie Algebras and Representation Theory[M].New York∶Springer-Verlag,1972∶153-161.

[5]李曉沛,楊必中,徐沈新.一類廣義李代數(shù)[J].湖南師范大學自然科學學報,2003,26(3)∶23-26.

[6]李曉沛,徐沈新.τ-李代數(shù)的普遍包絡(luò)代數(shù)及其PBW定理[J].湖南大學學報,2003,30(6)∶6-9.

[7]陳育明.q-類似virasoro代數(shù)的自同構(gòu)[J].泉州師范大學學報,2008,26(2)∶39-43.

[8]顧興民,張娟娟,王憲棟.由結(jié)合代數(shù)構(gòu)造q-李代數(shù)及低維q-李代數(shù)的分類[J].青島大學學報,2009,22(1)∶15-17.

[9]汪明義.Hopf代數(shù)、Yang-Baxter 方程與量子群[J].西南交通大學學報,2008,35(4)∶425-429.

[10]孟道驥.復半單李代數(shù)引論[M].北京∶北京大學出版社,1999∶120-132.

[11]G YU SHEN.Graded Modules of Graded Lie Algebras of Cartan Type(1)-Mixed Product of Modules[M].Scientia Sinica (Ser.A),1986∶575-580.