泛可积模的可约性

设是A=(α_(ij))_(i,j=1)~n是一个可对称化的广义Cartan矩阵,(η,π,π~v)是A的一个实现,其中π={α_1,…,α_n};π~v={α_1~v,…,α_n~v}。设(A)是结合于A的Kac-Moody代数,{e_i,f_i|1≤i≤n}是(A)的Chevalley生成员的集合。P={λ∈η~*|<λ,α_i~v>∈Z,1≤i≤n}     

关于虚根的几个注记

虚根是Kac-Moody代数中的一个非常重要的概念,它体现了Kac-Moody代数与有限维单Lie代数的本质上的区别.在本文中,我们首先描述Kac-Moody代数的严格虚根.然后再刻划极小虚根,这是文献[1]中结果的进一步完善.1 基本概念设A=(a_(ij))~n_(i,j)=1是一个广义Cartan矩阵,((?),Π,Π°)是A的一个实现,其中П={α_1,…,α_n}(?)*;Π~v={α°_1,…α°_n}(?),g(A)是关联于A的Kac-Moody代数.Q=sum from n=l toZα_i和 Q_ =sum from n=l toZ_iα_i分别是g(A)的根格和正根格.W和Sw分别是gw的Weyl群和D”忱n图.我们用的和坡分别表示g(A)的所有正实根的集合和正虚根的集合.令     

遗传及全遗传JB-子代数的刻画

如所周知,遗传及全遗传C~*-子代数在C~*-代数的Morita等价理论及相关课题研究中起着很重要的作用。Edwards在文献[3]中把遗传C~*-子代数概念推广到了非结合代数——JB代数中,并获得了 命题A(文献[3],定理2.3)设A是JB-代数,则A的遗传JB-子代数与A的二次理想(即内理想)一致。 最近Edwards与Rttimann在文献[4]中证明了 命题B(文献[4],推论2.2) 设A是JB-代数,B为其JB-子代数,则B是A的二次理想(内理想)的充要条件是:B~(*+)中的任意正线性泛函到A~(*+)中的保范扩张唯一。 本文从此出发,给出了JB-子代数成为遗传JB-子代数的若干充要条件。进而又给出了全遗传JB-子代数的一个刻画。     

关于可积■(A)模权集的注记

本文采用文献[1]中的符号和术语。设A为一个n×n广义Cartan矩阵,(A)为结合于A的Kac-Moody代数,为其Cartan子代数。     

不可约g(A)模的某些性质

设g(A)是结合于n×n广义Cartan矩阵A的kac-Moody代数,为Cartan子代数,π={α_1,…,α_n},π~v={α_1~v,…,α_n~v}分别为根基和对偶根基。P_+表示支配整线性函数的集合。g(A)上不可约可积模L(Λ)的权系记为P(Λ)。本文首先证明了如果λ是P(Λ)中的一个支配权,那么P(λ)P(Λ)。进一步,如果A—λ也是支配的,那么就有mult_(λμ)≤mult_Λμ,_μ∈P(λ)。此外还证明了文献[1]中命题11.2(b)中的条件不仅是充分的也是必要的,并利用P(Λ)给出P(λ)的一个刻划。本文中所用的符号均与文献[1]中的相同。     

广义Kac-Moody代数模的权链与权集

广义Kac-Moody代数的概念是由Borcherds首先引入的,普通Kac-Moody代数的许多结果都可推广到其上去(详见文献[1]和[2]中§11.13),本文讨论了广义Kac-Moody代数模L(A)的权链和权集的某些性质.设A=(a_(ij))_(n×n)为一实矩阵且满足(Cl)a_(li)=2或a_(ii)≤0,(C2)a_(ij)≤O,如果i≠j;a_(ij)∈Z,如果a_(ii)=2,(C3)a_(ij)=O当且仅当a_(ji)=0,     

广义Kac—Moody代数模的某些性质

Borcherds引入的广义Kac-Moody代数与普通Kac-Moody代数的主要区别是增加了虚素根。关于普通Kac-Moody代数的大部分结果都可推广到广义Kac-Moody代数上。Kac-Moody代数的基本概念,可参见文献。设(A)是一个广义Kac-Moody代数П~(re)和П~(im)皿分别是它的实素根集和虚素根集。一个-可对角化的(A)模称为可积的,如果对所有α_i∈П~(re),e_i和f_i的作用是局部幂零     

李代数g(A)的完全可约模的一个充要条件

设A是任一n×n复矩阵,和A相对应的逆步李代数为g(A)(g(A)的具体定义可参阅文献[1])。当A是广义Cartan矩阵时,g(A)称为Kac-Moody代数。 g(A)有三角形分解:g(A)=n_⊕(?)⊕n_ ,对应的普遍包络代数的分解为     

球面稳定同伦群第二周期性元素族的发觉

球面稳定同伦群π_x(S~o)_p的第二周期性元素族是指在Adams-Novikov谱序列中当s=2时所留存的元素。Miller等人给出了当p>2时生成元的完整表达,即此Ext~2是生成元β_(tp)~n/j,i+1     

广义Kac-Moody代数g(A)模的某些性质

Borcherds引入了广义Kac-Moody代数,其显著特点是出现了虚单根集n~■(详细内容见文献和)。本文讨论了广义Kac-Moody代数g(A)上最高权模权集的某些性质。设A=(a_(ij))是n×n的实矩阵满足条件:     

素特征域上的有限维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相似文献   

Gr(?)bner基的一个应用

本文中,假定基域k是代数封闭域P_k~n是n-维射影空间,V是P_k~n的射影代数闭集,W是P_k~m中射影代数闭集.{F_i}_(i=0)~m(?)k[X_0,…,X_n],F_i是齐次多项式且次数都是d.假定V(F_0,…,P_m)(?)V=Φ,可定义一个正则映射F:V→W满足: F(x_0,…,x_n)=(F_0(x_0,…,x_n),…,F_m(x_0,…,x_n)),其中(x_0,…,x_n)∈V。 利用Gr(?)bner基给出F是“限制同构”的充要条件。为此先给出其定义。 定义 如上所述的F:V→W,如果存在L使得L:W→V,满足F(?)L=id_w,L(?)=id_v,并且L=(L_0,…,L_n),{L_i}_(i=0)~n(?)k[Y_0,Y_0,…,Y_m],L_i为齐次多项式并且次数都是d′. 我们所用Gr(?)bner基的表述和结论都来源于文献[1]～[3]。     

关于拟Einstein流形

若黎曼流形(M,α)的Ricci张量满足R_(αβ)=Aα_(αβ)+Bζ_αζ_β(A,B为函数,ζ为向量场),(1)则M称为拟Einstein流形,并用QE(ζ)表示(Adati等称之为ζ-Einstein的)。ζ称为基本元。我们得到了这类流形的几何和代数特征如下:     

关于代数函数的唯一和确定问题

本文给出代数函数的唯一性定理: 定理1 假定w(z)和(z)分别是v值和u值代数函数,并且u≤v,如果存在α_0,α_1,…,α_v,c_1,…,C_v∈,两两不同,以及z_1,(l=1,…,v):D(z_1,…,z_v)≠0,使得E_j=E(α_j,w)=E(α_j,)(j=0,1,…,v)和w_(pl)(z_1)=(?)_(ql)(z_1)=‘c_l(l=1,     

有扭仿射李代数A_2~((2))的不在范畴θ的一类可积模的结构及分类

对于2阶广义Cartan矩阵(),与之相对应的Kac-Moody代数是有扭的仿射李代数A_2~((2))。设是其Chevalley生成元,则是其Cartan子代数,其中d是scaling元,     

完备Lie代数

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

低维有限点集偏差的精确计算公式(Ⅰ)

设d≥1,S_d={u_k(1≤k≤n)}是d维单位立方体G_d=[0,1)~d中的有限点集,那么S_d的偏差定义为D_n=D_n(S_d)=(sup |A(J;n)/n-V(J)|,此处J遍历G_d中全部形如[0,α_1)×…[0,α_d),0<α_i≤1(1≤i≤d)的d维子长方体,V(J)=α_1…α_d是J的体积,     

θ-不变抛物子代数的分类

Ｖｏｇａｎ利用θ－不变抛物子代数的上同调诱导方法给出了（ｇ,Ｋ）模的无穷小等价分类。θ不变抛物子代数在ＡｄＫ下的共轭分类在Ｖｏｇａｎ的分类不中起着重要作用。利用严志达先生的实半单李代数分类方法,由Ｄｙｎｋｉｎ图给出了θ－不变抛物子代数的ＡｄＫ共轭分类。     

C~*-代数映象环面的注记

设(A,Z,α)是C~*-动力系统,并且α~n=id,这里n是固定的正整数。自然要问C~*-叉积A×~αZ与A×~αZ_β之间有何关系。结果如下: A×_αZ≌M(A×_αZ_β), 其中M(A×_αZ_n)是的映象环面,而(A×_αZ_n,Z_x,)是(A,Z_n,α)的对偶系统。     

算子半群谱的一个特征

设x为Banach空间,T(t)是x上的(O,A)类半群,A为T(t)的无穷小母元.设{2kπi}_(k∈Zρ(A),对每个k∈Z,我们定义算子Q_k如下: