可解完备Lie代数Ⅰ

设N是幂零Lie代数。DerN的由半单线性变换构成的Abel子代数称为N上的环面,极大环面H的维数称为N的秩。在L=H+N中定义运算则L为可解Lie代数。当dimH=dimN/[N,N](dimH相似文献   

微分算子代数的导子Lie代数

文献[1]研究了微分算子Lie代数的2-上循环,下面我们来确定微分算子Lie代数和微分算子(结合)代数的导子Lie代数。 1 微分算子代数的外导子设=C[t,t~(-1)]是复数域上的Laurent多项式代数,d/dt是作用在上的微分算子,记td/dt为D(与文献[1]中符号不同)。易证     

可完备化幂零Lie代数

幂零Lie代数是有限维Lie代数中非常重要的一类,由于它的极端复杂性,目前人们对它的研究大都是针对各种特殊幂零Lie代数而进行的。我们在研究完备Lie代数的过程中,发现了一类与现有各种特殊幂零Lie代数都不完全相同的幂零Lie代数,称之为可完备化幂零Lie代数。 设N为C上幂零Lie代数,H为DerH     

关于高秩Virasoro代数的一些注记

对任何的C的n-维Z-子模M=M_n,文献[1]引入了秩为n的Virasoro代数Vir[M],它是由Virasoro代数推广而来的,即一个复Lie代数带有基{L_μ|μ∈M}∪{c}及交换关系     

幂零几何轨道数据的抛物诱导

本文恒假定G是复连通约化代数群,P=LU_p为G的抛物子群,其中L,U_p分别为Levi子群与幂零根基,(?),(?),(?),(?)_p分别为它们的Lie代数。 Dixmier映射是Lie群表示论中一个重要课题,除SL(n,C)外,仅余伴随轨道不足以实现Dixmier映射。于是Vogan提出轨道数据的概念。同时,给出了轨道数据的抛物子群诱导法。抛物诱导法是表示论中十分有效的方法。然而只有其与抛物子群选取无关时,才有理     

完备Lie代数

Jacobson给出了完备Lie代数的定义如下: 定义1 Lie代数(?)称为完备Lie代数,如果(?)的中心C((?))=0,且其导子代数δ((?))=ad(?)。这儿ad(?)为内导子代数。 首先,我们给出了完备Lie代数的等价条件如下: 定理1 设(?)是一个Lie代数,则下面三个条件等价:     

具有极大秩幂零根基的完备Lie代数

用半单Ｌｉｅ代数表示论方法实现了具有极大秩幂零根基的完备Ｌｉｅ代数，完全刻划了这类完备Ｌｉｅ代数的结构，给出了这类轩Ｌｉｅ代数的同构定理，作为推论，实际上给出了具有交换幂零根基的完备Ｌｉｅ代数的分类，最后证明了极大秩害虫零Ｌｅ代数不能作为代数的要基。     

素特征域上的有限维Cartan型Lie超代数

关于素特证域上的Lie超代数,至今结果尚少.本文构造了F上的无限维Cartan型Lie超代数X(m,n)(X=W,S,H或K),进而定义了有限维的广义Cartan型Lie超代数,并且讨论了它们的单性与限制性.最后给出一个关于F上有限维单Lie超代数的分类的猜想.设F是特征p>2的域,n是大于1的正整数,∧(n)是F上具有生成元ξ_1,…,ξ_n的外代数.若u=(i_1,i_2,…,i_r),其中1≤i_1相似文献   

完备Lie代数分解的唯一性

文献[1]定义了完备Lie代数。文献[2]指出一个完备Lie代数可分解为单完备Lie代数的直和。但是,这种分解的唯一性并未讨论,现来讨论这一问题。假定所讨论Lie代数的维数有限。     

多元线性递归序列的Lie双代数结构

多元线性递归序列具有广泛的意义,起初对于它在Hurwitz积下,从Hopf代数角度研究者是Perterson和Taft,并在文献中得到推广;在Hadamard积下,本文作者给出了一些刻划.以上均具有局限性,为此,我们首次从Lie双代数的角度探讨了多元线性递归序列的代数结构,避免了Hurwitz积或Hadamard积下且数域特征为零的限制.本文均在特征任意的数域R上进行,且仍以二元线性递归序列为主,多元情形的讨论是     

广义Kac-Moody代数的导子

本文给出了广义Kac-Moody代数的广义抛物子代数的定义,确定了这类子代数导子代数的结构,并且给出了这类子代数完备的充要条件.定义1 设A=(a_(ij))_(i,j=1)~n为广义GCM,H=sum from i=1 to n(Cα_J~V+(?))为它的Cartan子代数,π={α_i}_(i=1)~n为广义的Kac-Moody代数(以下简记为GKM代数)(?)(A)的单根系,π_1(?)π,则称     

Dixmier代数与轨道数据的归纳诱导法及其应用

为研究Dixmier映射,Vogan定义了Dixmier代数与轨道数据,并给出了抛物子群诱导法.本文将证明这些诱导法是可归纳导出的,并在此基础上对SO(2n 1,C),SP(2n,C)及F_4,G_2类Lie群部分地证明了文献[1]中Vogan的一个猜想,即上述Lie群的完全素可交换轨道数据的抛物诱导与抛物子群选取无关.1 归纳抛物诱导本文恒假定G为复约化Lie群,P(?)P_1为G的两个抛物子群,P=LU,P_1=L_1U_1分别为它们的Levi分解,且L(?)L_1,而(?),(?),(?),(?),(?),(?),(?)分别为它们的Lie代数.记Q=L_1∩P,(?)=(?)∩(?),显然Q为L_1的抛物子群(有Levi因子L),其Lie代数为(?).     

A∞与C∞的表示的关系

文献[1～3]中讨论了完备无限秩仿射Lie代数A_∞的水平为1的不可约最高权表示的具体实现。由于C_∞可看作A_∞的子代数,所以A_∞的任一表示都诱导出C_∞的表示。本文讨论了A_∞与C_∞可积表示之间的关系,并由此得到C_∞的一类水平为1的不可约最高权表示的具体实现。 设C为复数域,记且除有限个c_i外全为零,Z为整数集合}。设v_i∈C~∞满足第i个元素为1而其余全为零。     

关于Hopf代数的Kaplansky猜测

Kaplansky提出了如下问题:素数维的Hopf代数一定是交换且余交换的。本文中我们证明了:若素数维余半单的Hopf代数A的一切单子余代数C均满足dimC≦8,则A是群代数(素数维的群代数自然是交换且余交换的)。     

双对称代数

左对称代数是从Lie代数,Lie群和微分几何的研究中得到的一类新的代数体系,其对于几何与代数的许多课题的研究都有着十分重要的意义(参见文献[1～3]等).本文研究的是其中的具有丰富内涵的一类左对称代数——双对称代数.在本文中,基域都是特征为零的代数闭域,而且所讨论的代数都是有限维的.     

mod_pΛ中无短链的有限表示型自入射代数存在Hall多项式

在文献[1]中,Ringel定义了Finitary环A上的Hall代数(?)(A).它是以{u_[M]}[M]为基的自由Abel群,其中[M]表示有限A模M的同构类,(?)(A)的定义如下:u_[N_1]×u_[N_2]=sum from [M] ((F_(N_1)~M)×(N_2)×u_[M])由于A是Finitary环,上式右端是有限和.这里F_(N_1N_2)~M是M的适合L（?）N_2且M/L（?）N_1的子模L的个数.Hall代数(?)(A)是有单位元1=u_[0]的结合环.为简便,总假定A是有限域k上的有限维代数.所有的有限A模构成的子范畴记为mod-A.由文献[1～3]可知,Dynkin型或仿射型遗传代数的Hall代数与相应的Kac-Moody Lie代数及其量子包络代数均有深刻的内在联系,而Hall多项式在1处的赋值恰好给出了对应Lie代数的结构系数.在文献[2]中Ringel猜测:任意有限表示型k-代数总存在Hall多项式.Ringel证明了表示直向代数有Hall多项式.Guo等人证明了mod-A中没有短圈的代数A有Hall多项式.在这篇短文中,我们证明了mod_pA中没有短链的有限表示型自入射代数A存在Hall多项式.     

Hopf代数的twisting余积

设H为有限维Hopf代数(或双代数),H~*为H的对偶Hopf代数,则H与H~*有一组对偶基,这组对偶基有良好的代数性质,同时这组对偶基也反映出H与H~*之间的对偶关系,本文首先推广这种对偶关系,定义了双代数(Hopf代数)偶的概念,利用双代数偶定义了Hopf代数的twisting余积,这种twisting余积包含了通常的Smash余积作为特例,利用双代数偶和twisting余积两次给出D(H)~*的结构,这里D(H)表Drinfeld double(量子偶)。     

交叉积Hopf代数的结构

Molnar在文献[1]中用Hopf代数范畴中的可裂及余可裂短正合裂刻画了半直积Hopf代数及其对偶.Radford及Majid分别将其推广成双积(biproduct)及双交叉积(bicrossproduct),前者成为Majid的bosonization定理的一个漂亮例子,后者给出了Drinfel’d的量子偶(Double)的通用构作用.本文从新的角度推广Molnar的构作,研究张量积余代数与交叉积代数结构一起成为双代数以及Hopf代数的条件.设K为域,所论代数、余代数均指域K上的,采用文献[6]中的Sigma记号,但上、下标中省去括号,(?)简记为(?).定义 设H为双代数,B为K上向量空间,若存在双线性映射σ:H(?)H→B和线性映射·:H(?)B→B,满足1)I_H·b=b,2)∑(h_1·(l_1·b))σ(h_2,l_2)=∑σ(h_1,l_1)(h_2l_2·b),(?)b∈B,h,l∈H,则称B为左H(?)扭曲模.若代数B是左H(?)扭曲模且满足3)h·ab=∑(h_1·a)(h_2·b),4)h·1_B=ε_H(h)1_B,(?)h∈H,a,b∈B,则称B为左H(?)扭曲模代数.若余代数B是左H(?)扭曲模且满足3′)△_B(h·b)=∑h_1·b_1(?)h_2·b_2,4′)ε_B(h·b)=ε_H(h)ε_B(b),(?)h∈H,b∈B,则称B为左H(?)扭曲模余代数.若双代数B同时是左H(?)扭曲模代数和左H(?)扭曲模余代数,则称B为左H(?)扭曲模双代数.设H为双代数,B同时是代数和余代数,但不一定是双代数.若B是左H(?)扭曲模     

Toeplitz代数的自同构群

设B是C~n中单位球,S~(2n-1)是单位球面,Hardy空间H~2(S~(2n-1))上的Toeplitz算子如通常定义,C(S~(2n-1))是连续函数代数·记(?)(C(S~(2n-1))为{T_(?):(?)∈C(S~(2n-1))}生成的C~*-代数,Aut(E)为C~*-代数E的自同构群.刻划一个代数的自同构群,是算子代数中的基本问题之一.郭坤宇最近给出了代数(?)(H~∞)     

中心可除代数与半单代数的极小生成系

讨论有限维中心可除代数与半单代数的极小生成系。设Ｆ是特征为零的域,本文主要结果为：１．Ｆ上有限维中心可除代数Ｄ可由两个元生成;２．Ｆ上有限维半单代数Ａ可由两个元生成。