幂零根基为Heisenberg代数的完备Lie代数的结构和实现

一个Lie代数称为完备Lie代数如果它的中心为零且所有的导子都是内导子。完备Lie代数的定义是Jacobson在 1962年给出的,近些年完备 Lie代数理论有了较大发展(部分研究可参见文献[2～5]),Jiang和Meng文给出了复数域C上所有幂零根基可换的完备Lie代数的结构和具体实现,文献[5]给出了复数域C上有限维Heisenberg代数的导子代数和全形,证明了此导子代数和全形的导子代数均为单完备Lie代数.本文讨论了复数域C上幂零根基为Heisenberg代数的有限维完备Lie代数的性质,给出了这一类完备Lie代数的同构定理,证明了一个以 Heisenberg代数为幂零根基的完备Lie代数可以分解为一个以 Heisenberg代数或一维可换Lie代数为幂零根基的可解完备Lie代数和另一个以Heisenberg代数或一维可换Lie代数为幂零根基的完备Lie代数的和,给出了所有这两类完备Lie代数的结构和具体实现.因而C上所有以Heisenberg代数为幂零根基的有限维完备Lie代数的结构和具体构造全部被研究清楚. 本文中所讨论的Lie代数均为复数城C上的有限维Lie代数.     

系数在Laurent多项式环中的微分算子代数的上同调

本文在文献[1]的基础上,进一步考虑系数在Laurent多项式环C[t,t_~(-1)]中的微分算子代数的各阶上同调群,其中D=d/dt。证明了这些上同调群都是平凡群。     

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多项式.     

双对称代数

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

完备Lie代数分解的唯一性

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

可积系统的Lax代数

文献[1]给出一个方法来证明AKNS系统的Lax算子构成一个无穷维Lie代数.如何将这方法推广到一般可积系统是本文的主要目的.记号基本按文献[1].在此先分析其方法的主要步骤.     

序列空间之间的无穷矩阵算子的拓扑代数

拓扑代数是泛函分析的一个分支,已经应用于多复变函数、微分几何、无界算子等领域,同时代数拓扑、K-理论等也已经被应用于拓扑代数。如所周知,Banach空间上的连续线性算子全体构成Banach代数,因之,研究具体拓扑线性空间上的连续线性算子全体的拓扑代数具有明显意义,它既可以为一般理论的研究提供思路和例证,又可以用来构造反例。注意到K(?)the的完全(perfect)序列空间是一类相当广泛而又十分具体的局部凸拓扑线性空间,文献[3]讨论了其上的无穷矩阵算子全体的拓扑代数,证明了这类拓扑代数或是非m-凸且不可度量化,或是Banach代数,这样一来,它所反映的拓扑代数类也就不够广泛了。文献[4]探讨了序列空间之间的无穷矩阵算子类中的一种特殊子代数,但所得结果仍欠完整。     

Hopf余模余代数的对偶定理

Blattner和Montgomery在文献[1]中讨论了Hopf模代数的对偶定理.此定理概括了VonNeumann代数的交叉余积的对偶.早在1977年,Molnar在文献[3]中给出了Hopf模代数的对偶概念Hopf余模余代数,并讨论了其性质.但关于Hopf余模余代数的对偶定理至今未见,它具有与文献[2]同等的意义.本文将通过定义左(右)Smash余积,在Hopf代数H有限维时,给出了这一对偶定理:若H~*在H×_H~*~LH~*上的右余作用为右强余内的,那么(C×H)×H~*≈C(?)(H×H~*).     

完备Lie代数

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

格蕴涵代数的滤子与结构

为了从语义角度研究命题的真值取于格上的逻辑系统,文献[1]将格与蕴涵代数相结合提出了格蕴涵代数的概念,文献[1,3～5]研究了格蕴涵代数的一些性质.本文讨论格蕴涵代数中的滤子,特别是生成滤子,并由此探讨一类格蕴涵代数的结构特征.1 滤子及其性质关于格蕴涵代数及其中滤子的定义参看文献[1].定义1 设(L,V,∧,’,→)为一个格蕴涵代数,称包含A(?)L的最小滤子(A]为由A生成的滤子.     

Hopf模代数的投射性与平坦性

Hopf代数是代数学的一个活跃分支。给出一个H-模代数A,Hopf代数理论的一个重要课题是研究代数A,不动子代数A~H及Smash积A#H三者代数性质之间的关系。我们知道,若A/A~H是H-Galois扩张,则_A~HA是投射模(见文献[1]中定理1.7或文献[2]中定理1.2′)。这启发我们研究在什么条件下_A~HA是投射模或平坦模。     

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

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

素特征域上的有限维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代数Ⅰ

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

关于一类倾斜代数

设A是代数闭域k上基本、连通的有限维遗传代数,_AT是倾斜左A-模,B=End_AT是倾斜代数。我们熟知,当A是tame型时,_AT有预投射直和项和预入射直和项当且仅当B是有限表示型代数(见文献[1]命题5.7或文献[2]中4.1)。但当A是一般遗传代数时,是否有相应的结果,在此之前,一直是公开问题(见文献[1]中5.7)。本文给出了这个问题的完全刻化。得到     

曲线上微分算子环的Stafford-Smith问题

设XM特征为零的代数闭域k上的仿射代数曲线,O(X)表示X上的正则函r,D(X)是X上微分算子环,H(X)是D(X)的导出Artin代数.Stafford-Smith在文献[1]中提出如下两个问题:Stafford-Smith问题Ⅰ:D(X)是否有无限的总体同调维数?Stafford-Smith问题Ⅱ:给定一个任何有限维代数A,是否存在仿射曲线X,使得H(X)=A?Brown在文献[2]中提出了如下问题:是否H(X)总是为拟遗传代数?     

Hopf余模余代数的分解

本文将Kaplansky,Shudo,Miyamoto,许永华教授等建立的余代数分解理论推广到Hopf余模余代数.采用文献[4]中的记号.所涉及的Hopf代数、余代数均指域K上的.1 Hopf余模余代数的局部有限性及分解定理设C为余代数,M为左C-余模,其结构映射为m且假定此表达式中和项个数最小,易见{m~(1)},{m~(2)}分别在C,M中线性无关.它们生成     

伴随于可积系Lax表示的Lax算子代数

最近许多著名的1+1维可积系的Lax算子代数被直接提出,本文旨在给出可积系Lax算子代数的一般描述。引用文献[4]中的符号。设B表示所有复(或实)的C~∞可微函数P[u]=P(x,t,u),B~r={(P_1,…,P_r)~T|P_i∈B),V~r表示所有C~∞可微的线性算子Φ=Φ(x,t,u):B~r→B~r,而     

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代数为(?).     

量子交换代数的张量积

域K上两个代数的张量积还是一个代数。类似地,拟三角Hopf代数(H,R)上的代数(H-模代数)的辫化张量积仍是H-模代数。但一般来说,H-模代数A,B是H-交换不能保证A(?)B仍是H-交换的,文献[1]中证明了当(H,R)为三角Hopf代数时,A,B为H-交换可推出A(?)B也为H-交换。本文在更一般的背景下(对任一Hopf代数H,考虑其Yetter-Drinfel’d范畴_H~HYO中的代数)来研究量子交换代数的辫化张量积成为量子交换代数的充要条件,作为推论得知文献[1]中上述结论反过来亦成立,从而得到三角(余三角)Hopf代数的一种新的刻画。由于将拟三角Hopf代数的作用和余拟三角Hopf代数的余作用统一在一起进行研究,同时也可获得对偶情形的结果。