余德民, 梅超群
(1.湖南理工學院數(shù)學學院,湖南 岳陽 414006;2.首都經(jīng)濟貿易大學統(tǒng)計學院,北京 100070)
Z為整數(shù)集合,C為復數(shù)域,項鏈李代數(shù)是新的一類特征0上的無限維李代數(shù).在非交換幾何的研究中,當探討Weyl代數(shù)A1(C的C-代數(shù)自同構群AutA1(C)在軌道Weyln上的作用時,得到一個AutA1(C)在n×n矩陣軌道空間Calon上的可遷作用,但是此作用是不可微的,從而是非代數(shù)的.Berest和Wilson提出是否可將Calon等同于某種無限維李代數(shù)的余伴隨軌道.文獻[1-2]都曾用項鏈字刻畫自由李代數(shù)的基,來試圖解決Berest和Wilson提出的問題,但都沒有成功,文獻[3-4]分別引入了項鏈李代數(shù)解決了這一問題.項鏈李代數(shù)是某一箭圖Q所誘導的重箭圖ˉQ中全體項鏈字為基張成的無限維向量空間,并在此向量空間上定義了特殊的李運算.箭圖在代數(shù)表示論應用已經(jīng)越來越廣泛[5-6],并成為代數(shù)表示論的基本概念.項鏈李代數(shù)在非交換幾何及奇點理論,量子群等領域有著重要的應用.我們曾經(jīng)研究過一些項鏈李代數(shù)的同構和同態(tài)[7-8],在文獻[7]中研究了一些特殊箭圖的同構,這些同構包括單向循環(huán)箭圖,混向循環(huán)箭圖以及垂直疊加的箭圖和水平疊加的箭圖的同構.在文獻[8]中研究了些特殊箭圖的同態(tài),這些同態(tài)包括只有兩個頂點,兩條不同方向的箭圖,只有三個頂點,三條同方向的箭圖以及n個頂點,n條不同方向的箭圖的同態(tài).梅超群[9]研究了項鏈李代數(shù)的一些特殊項鏈李代數(shù)的結構.文獻[10]研究了可傳遞李代數(shù)的結構.本文重點討論了由一個特殊箭圖誘導的項鏈李子代數(shù),并證明了其中一些李子代數(shù)是半單李代數(shù).后續(xù)研究工作將探討項鏈李代數(shù)的一些重要性質,如半單性,可解性,可分解性.
令
是任一具有兩個或兩個以上頂點的連通有向圖,其中
是Q的頂點集合,Q中的有向邊稱之為箭,
Q1是Q中所有箭的集合,s,t是從Q1到Q0的映射,使對?α∈Q1,s(α)=v是α的起點,t(α)=v′是α的終點,記作α:v→v′,且s(α)≠t(α),并稱Q是一個箭圖.Q中有箭序列:
這里i1,···,iu ∈ {1,···,m}.如果滿足
則稱
為Q中的路,若還有則稱c是一個循環(huán),u稱為循環(huán)的長度.在箭圖Q的所有循環(huán)集合上定義關系~如下,設c是Q中的一個循環(huán),若c′是依次輪換c中的箭頭而得到的循環(huán),定義c′~c.顯然~是等價關系.Q的一個循環(huán)等價類稱為Q的一個項鏈詞.若是循環(huán),則相應的項鏈字用圖 1表示如下:
圖1 循環(huán)c=···對應的項鏈字
對于Q中的每個箭α:v→ v′,添加α關于v,v′的對稱箭α?,即α?:v′→ v,α?稱為α的星化得到Q所誘導的重箭圖.記
β?也稱為β的星化。顯然從定義可知將中所有的循環(huán)等價類即所有的項鏈詞構成集合記此集合中所有的元素為基在C上張成向量空間為NQ.
(ω1,ω2的箭的下標排列順序一旦取定之后,便再不能置換),?i ∈ {1,···,r},j ∈ {1,···,s},?α ∈Q1,在集合定義二元運算如下[3-4]:
將上述李運算線性地擴展到NQ,對于任意的ai,bj∈C,x,y∈NQ,令
定義
可驗證上述定義的李運算[ω1,ω2]與ω1,ω2所選的循環(huán)代表無關,及箭的排列順序無關.
根據(jù)(1)式與如下圖2所示的項鏈字,可以形象的定義李運算:對有
圖2 李運算的形象定義
即?α ∈Q1,如果α出現(xiàn)于ω1中,再找尋α?是否出現(xiàn)于ω2中,若是,則同時刪去α和α?,以打開ω1和ω2這兩個項鏈,將打開后的兩條路的首尾對應相接(同一頂點接在一起),構成一個新的項鏈字,若α在ω1出現(xiàn)n1次,若α在ω2出現(xiàn)n2次,則這個過程需重復n1n2次,這n1n2個項鏈字的和構成一個新的項鏈字的組合,若α?不在ω2中,則將新的項鏈字看作0.然后在ω2中找尋上述的α,在ω1中找尋α?.重復上述操作,得到又一新的項鏈字組合,用先得到的新的項鏈字組合減去后得到項鏈字組合,最后遍歷?α∈Q1,把相減后得到的所有的項鏈字加起來,和式為 [ω1,ω2].因為
所以
于是此李運算在此向量空間NQ上滿足反對稱性,也可驗證此李運算滿足雙線性和封閉性和Jacobi恒等式.
假定六個頂點的箭圖如圖3所示:
圖3 箭圖
如果一個項鏈字
那么k1,k2稱為項鏈字ω1的復制指數(shù).
如果一個項鏈字
那么k1,k2稱為項鏈字ω1的復制指數(shù).
g1是α2α?2(α2α3α1)k1(α4α5α6)k2,?k1>0,?k2>0,k1,k2∈Z,張成的線性空間;
g2是α4α?4(α2α3α1)q1(α4α5α6)q2,?q1>0,?q2>0,q1,q2∈Z,張成的線性空間;由于?k1>0,k1∈Z,k2>0,k2∈Z,q1>0,q1∈Z,q2>0,q2∈Z,
從而g1是李子代數(shù).
?k1>0,k1∈Z,k2>0,k2∈Z,令為則有
由于?k1>0,k1∈Z,k2>0,k2∈Z,q1>0,q1∈Z,q2>0,q2∈Z,
從而g2是李子代數(shù).
?k1>0,k1∈Z,k2>0,k2∈Z,令為則有
由于?k1>0,q1>0,k1,q1∈Z,k2>0,q2>0,k2,q2∈Z,g是
張成的線性空間.?k1>0,q1>0,k1,q1∈Z,k2>0,q2>0,k2,q2∈Z,
即?k1>0,q1>0,k1,q1∈Z,k2>0,q2>0,k2,q2∈Z,
從而g是李子代數(shù).本文重點研究李子代數(shù)g1及g2的李子代數(shù)的性質.
命題 2.1
證明建立g1到g2的線性映射如下:
從而原命題成立.
命題 2.2g2的中心為:
證明設
因為x∈c(g2),?y∈g2有 [x,y]=0,取
因為c1,c2為任意整數(shù),取
則
另外,該項目主體結構為雙塔結構,兩側雙塔區(qū)域為混凝土剪力墻,雙塔之間地下室區(qū)域為框架結構,其整體性及剛度存在較大差異,水化熱的釋放選擇在薄弱區(qū)域,因此地下室頂板裂縫主要出現(xiàn)在雙塔之間的—/○A—○G區(qū)域;并且由于東西向長為55.13 m,而南北向僅長28.20 m,地下室頂板類似于單向板受力狀態(tài),其不利受力位置為東西向跨中,這也就能解釋為什么地下室頂板裂縫主要沿南北方向分布.
構造上的g1到的線性映射如下:
f1在g1的基向量
線性擴張.
命題 2.3f1是李代數(shù)g1到的同態(tài),且Kerf1是g1的無限維非交換真理想.
證明從f1的構造知f1是g1到的線性映射,可驗證:
從而
因為
為Kerf1的線性無關的向量,隨著n無限增大,Kerf1為無限維線性空間.因為D(1,2)∈g1,而f1(D(1,2))≠0,從而Kerf1為無限維非交換真理想.
命題 2.4設
[u1,u2]=0當且僅當c1=c2.
證明當c1=c2時,顯然[u1,u2]=0.
充分性:不妨設
否則只需調整一下次序.因為
所以
從而
構造g上的自同構映射如下:
h在g的基向量上線性擴張.
命題 2.5h是李代數(shù)g的自同構,且將h限制在g1上,則h是g1到g2的同構.將h限制在g2上,則h是g2到g1的同構.
證明從構造知h為g上的線性映射,經(jīng)計算可驗證:
從而
將h限制在g1上,則h是g1到g2的同構,將h限制在g2上,則h是g2到g1的同構.
[1]Lothaire M.Combinations on Words[M].London:Cambridge University Press,1983.
[2]Reutenauer C.Free Lie Algebras[M].Oxford:Clarendon Press,1993.
[3]Bocklant R,Le Bruyn L.Necklace lie algebras and nocommunicative symplectic geometry[J].Math.Z.,2002,240(1):141-167.
[4]Ginzburg V.Non-commutative symplectic geometry,quiver varieties and operads[J].Math.Res.Lett.,2001,8(3):337-400.
[5]Guo J Y,Martinez-Villa R.Algebra pairs associated to mckay quivers[J].Comm.Algebras,2002,30(2):1017-1032.
[6]Peng L G.Lie algebras determined by finite auslander reiten quivers[J].Comm.Algebras,1998(1):235-258.
[7]Yu D M,Guo J Y,Mei C Q.Automorphisms and automorphism groups of necklace lie algebra[J].Chinese Annals of Mathematics(in Chinese),2012,34(5):569-578.
[8]Yu D M,Guo J Y,Mei C Q.Homomorphisms of some special necklace lie algebra[J].Chinese Annals of Mathematics(in Chinese),2009,30(4):551-562.
[9]Mei C Q,Yu D M.The structure of necklace lie algebras[J],Journal of Mathematics in Practice and Theory,2012,42(1):195-204.
[10]Post G.On the structure of transitively differential algebras[J].J.Lie theory,2001,11:111-128.