Hopf代数的twisting余积

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

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

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

Hopf余模余代数的分解

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

Hopf余模余代数的Morita理论

自1958年建立Morita理论以来,Morita context被广泛应用于代数结构的研究。1986年,Cohen和Fischman对Hopf模代数建立了Morita理论,并把它用于研究Smash积。之后,Cohen,Fishchman和Montgomery等又作了发展。为了对余模建立相应的理论,Takeuchi于1977年定义了所谓的pre-equivalence date,即Morita context的对偶概念。本文的目的是对Hopf余模余代数建立Morita理论,并把它用来研究Hopf cogalois。 本文的所有讨论都在固定的域k上进行。有关Hopf代数的基本事实见文献[4,5],采用Sweedler的记法,但省略和号∑。 设C为左H-余模余代数,β:C→H(?)C,β(c)=C~(1)(?)C~(2)(已省略∑,下同)为结构映射,即(?)c∈C有     

模代数的Hopf-Jacobson根

Fisher在文献中讨论了Hopf模代数的Hopf-Jacobson根,其中对域k上的Hopf代数H要求其作为余代数是不可约的,也即H含唯一的单子余代数k.在本文中,我们对域k上一般的Hopf代数H讨论Hopf模代数A的Hopf-Jacobson根.还讨论了左A-Hopf单模的性质,证明了稠密性定理.1 定义和引理     

量子交换代数的张量积

域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代数的余作用统一在一起进行研究,同时也可获得对偶情形的结果。     

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是投射模或平坦模。     

交叉积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代数.     

可解完备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,     

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

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代数的Kaplansky猜测

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

Hopf代数的扭曲积和量子偶

设σ是Ｈｏｐｆ代数对（Ｂ,Ｈ）上一个斜配对,Ａ是左（Ｂ,Ｈ）双余模代数,利用σ和ＨＢ,Ｈ在Ａ上的余作用改变Ａ的乘法得到一个新的代数Ａσ,称为Ａ的扭曲积。对偶地,从斜余配对出发引入扭曲余积构作,描述了Ｄｒｉｎｆｅｌｄ余量子偶和某些Ｓｍａｓｈ构作亦是以上扭曲积的特殊情形。     

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

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

一阶格值逻辑系统FM的语法问题

文献[1～3]建立了以丰富剩余格为真值域的命题逻辑系统,得到了一些结果.为研究更一般的格值逻辑系统,文献[4]提出了格蕴涵代数的概念,文献[5]讨论了以格蕴涵代数为真值域的命题逻辑,文献[6」建立了以格蕴涵代数为真值域的—阶逻辑系统FM,本文讨论FM的语法问题,得到了FM的可靠性定理、演绎定理及协调性定理.设L是一格蕴涵代数,F是系统FM的公式集合.定理1~[6]对于任意公式p,q,r及正整数m,n,下列公式都是有效公式:     

广义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,     

遗传及全遗传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-子代数的一个刻画。     

H-本原环的Martindale商环

本文均设H是域k上具有可逆antipode的Hopf代数,R是有1的H-素模代数,M是左R,H-酉模.M称为不可约的是指:RM≠0,并且M无真R,H-子模.一个H-模代数R称为是左H-本原环,若R有一个左R,H-模M,M作为左R-模是忠实的,作为R,H-模是不可约的.详细性质可见文献[1].在文献[2]中已给出例子说明:存在代数R,它是H-素,但不是通常的半素.     

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

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