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

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

不可分解的Harish-Chandra模

定理1 xy及yx在每个V_λ上的作用是不可分解的,即V_λ不能写成两个非零的xy(或yx)不变子空间的直和.     

Kac-Moody代数的泛可积表示

可积表示是Kac-Moody代数的表示理论中的重要组成部分。本文研究的我们称之为泛可积模的可积表示。 我们用(?)表示可积模范畴的一个子范畴。可积模V∈ob(?),如果对任意的λ∈P(V),存在α_i,α_j∈π,使λ—α_i,λ+α_j∈P(V)。设∧∈P_+,我们用M(∧)(或M~*(∧))表示以∧为最高     

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

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

广义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(?)π,则称     

q-振子代数:一种量子群

一、引言 量子群(或量子包络代数)是一种既不对易也不余对易的Hopf代数.得到充分研究的量子群大多是由半单李代数经单参数q畸变而来,并在q→1时回到半单李代数.它们在许多物理理论中起重要作用。近来许多作者致力于讨论量子群的q-畸变振子实现问题,从而使q-振子及q-振子代数成为研究量子群的有力工具.     

典型O-Hecke代数主不可分解模维数

设W是典型Weyl群;Π是与Weyl群W相对应的单根系.对W的元素w,令其中S_a表示关于与单根a垂直的超平面的单反射,l(w)是w表示成单反射积的简约表示     

Kac-Moody代数g(A)的生成元配对问题

在任一Kac_Moody代数 g(A)中 ,(ⅰ )任意指定Cartan子代数 中的元素h ,h C(中心 )或者 (ⅱ )任意指定一个实根向量xβ,β∈Δre都可找到另一元素 y∈ g(A) ,使得 y和h或者 y和xβ 生成一个子代数 g′(A) (导子代数 ) .     

自由C*-代数与非交换Hahn-Banach定理中的完全收缩扩张的唯一性问题

1 引言及主要结果Arveson 把经典的Hahn—Banach扩张定理推广到了C-代数的自伴线性闭子空间上.从此,许多数学工作者对Arveson扩张定理作了推广,下述结果属于G,Wittstock,命题1.1(见文献[2]定理4.2)设X是-算子空间,A是一有单位元的 C-代数且A(?)X,若(?):X→B(H)是一完全收缩映射,则存在完全收缩映射(?):A→(H)使得(?)|X=(?)且||(?)||_cb=||(?)||_cb利用该命题易得:推论1.1 设X与Y均为算子空间且Y(?)X,若(?):Y→(H)是一完全收缩映射,则存在完全收缩映射(?):x→B(H)使得(?)|Y=(?)且||(?)||_cb=||(?)||_cb但命题1.1中的(?)的唯一性问题从未被人涉及,本文用自由C-代数和遗传C-代数为工具,给出了命题1.1中扩张(?)对任何Hilbert空间H均具唯一性的一个充要条件,即下述的:定理1.1 设X和Y均为算子空间,且Y(?)X,1∈X,则下述等价:(1)对每个Hilbert空间H及每个完全收缩映射(?):Y→B(H),都唯一存在完全收缩扩张映射(?):x→B(H)使得(?)|Y=(?)且||(?)||_cb=||(?)||_cb(2)C(Y)是C(X)的遗传C-子代数,定理1.2 记号同于命题1.1,则对每个Hilbert空间H,(?)均唯一存在的充要条件为:I(X)是A的遗传C-子代数,其中I(X)是由X生成的A的C-子代数,     

可解完备Lie代数Ⅰ

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

可解完备Lie代数Ⅱ

推广文献[1]中定理3.3可得 定理1 设且是Lie代数L的Cartan子代数,且满足下列条件: 1)H是Abel的。 2)L关于H的分解如下: L=H+sum from α∈Δ(L_α), 其中。 3)在Δ中有H~*的生成元组α_1,α_2,…,α_n使dimL_(α_j)=1,     

交叉积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(?)扭曲模     

幂零根基为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代数.     

具有性质RR(A)=0的不可分素C*-代数A的本原性的证明

证明了具有性质ＲＲ（Ａ）＝０的不可分素,Ｃ＾＊－代数是本原Ｃ＾＊－代数。     

带壳Boole代数与险象识别逻辑

为尝试给Fuzzy推理建立严格的逻辑基础,文献[1—10]构造了一种新的Fuzzy命题逻辑,其中对Fuzzy公式的评价程度化的思想和方法颇具创造性,比如:Σ-(α-重言式)、Σ-(α-HS)规则、Σ-(α-HS)规则以及支持度理论和α-三I算法等就是这样。另一方面,从文献[11]可知6值逻辑系统K_6~1在组合线路的险象识别中已有成功的应用,但是对其数学基础的研究尚嫌薄弱,并且由于缺少适当的蕴涵算子因而     

余可裂H-模余代数的结构

Doi从1983年起对可裂H-余模代数进行了系统的研究,并在1986年与Takeuchi一起给出了可裂H-余模代数的结构定理,即,若A为可裂右H-余模代数,则A≌A_(?)#_σH。该结构定理有较强的概括性(例如它推广了群分次环的相应结论),Blattner与Montgomery用此结论来研究交叉积A#_oH.H-余模代数的对偶概念是H-模余代数。Doi也曾讨论过H-模余代数,但始终没有给出余可裂H-模余代数的结构定理。本文先定义交叉余积,并利用交叉余积给出余可裂的H-模余代数的结构定理。定理与可裂余模代数的结构定理有类似的意义。     

R-李代数及其R-李理想的若干性质

讨论了Ｒ－李代数Ａ的Ｒ－李理想Ｉ的一些性质,特别是当Ａ为Ｈ－单时Ｉ与Ａ的Ｈ－不变理想,Ｒ－中心之间的某些关系。     

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~∞)     

Hopf代数的twisting余积

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