广义poisson超代数上同调群.docxVIP

广义poisson超代数上同调群 1 有限维单李超分辨率的分类 众所周知，代际接近理论和上议院理论可以看作是一般表达理论的扩展。作为一门独立的研究主题，李氏家族的上同调最早出现在卡坦的工作中。这一理论的基础是由cheentan、koszil、hochschild和serrye完成的。上、代、李三代的统一处理是由kat和eienburg提供的。值得注意的是，在超对称出生的初期，研究主要集中在李超代的结构和经典的结果上。之后，letes和fuks在文本中计算了具有普通系数的李超代的上同调。kac完成了具有零维单元的有限维单李超代的分类，并以无限维单线性跟踪李超代的分类。schent和zhang合作的文章详细介绍了李超代的上同调，介绍并研究了更一般的李超代的上同调。文本显示了李超世代的指导和中心轮廓的扩展。此外，李超代的上同调结果也是非常罕见的，与上同调的非普通系数无关，因此很难进行研究。 广义Poisson超代数是由Cantarini和Kac引入并进行研究的.它是Jordan代数的基础,并且与李超代数和广义Leibniz代数有着深刻的联系.鉴于这种代数的重要性,本文研究它的同调和上同调群理论,刻画了低阶上同调群.最后,决定了5-正合列以及它的泛中心扩张的核. 2 广义poisson超金相 本文中,K表示特征为0的代数闭域,所有的向量空间都假定为K上的.分别用Hom和表示HomK和.称V为超空间,如果V是Z2-阶化向量空间:如果a∈Vα,,则称a是次数为α的齐次元素,并记a的次数为|a|,即α=|a|.的元素称为偶的,的元素称为奇的.为了方便,我们约定如果表达式中出现次数函子,相应的元素都假设为齐次元素. 本文中结合超代数A都被认为是交换的(即对于a,b∈A,都有ab=(-1)|a‖b|ba),并且有单位元.结合超代数A上的双模M是一个向量超空间,并且有两种线性运算满足通常的条件. 对于结合超代数A和它上面的双模M,令 则Der(A,M)是由A到M的所有导子组成的集合. 定义2.1超代数A被称为是广义Poisson超代数,如果A上定义的两种运算分别使得A是交换的结合超代数和李超代数,并且满足广义Leibniz规则,即对于任意a,b,c∈A,有 其中D是A的相对于两种运算的偶导子. 如果D=0,则(2.2)变成通常的Leibniz规则.在这种情况下,A被称为Poisson超代数.广义Poisson超代数A被称为是完全的,如果 注2.1如果A是有单位元的广义Poisson超代数,e是它的单位元,则D(a)=[e,a](在(2.2)中令b=c=e). 例2.1考虑结合超代数O(2κ,n)有次数为偶的未定元p1,…,pk,q1,…,qk和次数为奇的未定元ξ1,…,ξn.在O(2κ,n)上定义如下括积(f,g∈O(2κ,n)): 则O(2k,n)是一个Poisson超代数,用P(2κ,n)来表示这一代数. 例2.2考虑结合超代数O(2κ+1,n)有次数为偶的未定元p1,…,pk,q1,…,qk和次数为奇的未定元ξ1,…,ξn.在O(2κ+1,n)上定义如下括积(f,g∈O(2κ+1,n)): 其中是Eu1er算子,{f,g}如上所定义,则O(2k+1,n)是一个广义Poisson超代数,并且,用P(2κ+1,n)表示. 定义2.2有单位元的广义Poisson超代数A上的表示是一个双模M,并且有两种线性运算: 满足 其中m∈M,a,b∈A. 下面给出表示的一个例子. 例2.3 (1)如果A是一个有单位元的广义Poisson超代数,则A上的括积给出自身上的一个表示. (2)设A是广义Poisson超代数,M是A上的双模.令[a,m]=[m,a]=0,m∈M,a∈A.用这种方式,我们获得了A上的一个表示,并且M[A,A]=0=[A,A]M. 定义2.3设A是广义Poisson超代数,M是A上的表示,d是次数为α的从A到M的导子.如果d:A→M是线性映射,并且满足,而且 我们用GPSA表示广义Poisson超代数,用DerGPSA(A,M)表示从A到M的所有的导子组成的向量空间. 定义2.4假设A是广义Poisson超代数,M是A上的表示,定义它们的半直积使得M⊕A是一个广义Poisson超代数,而且运算满足 其中a1,a2∈A,m1,m2∈M 3 广义上的复合花群体 假设A是GPSA,M是A的表示.本节给出系数在M上的A的上同调群的定义. 3.1 广义poisson上同调群的生成 假设A是有单位元的结合超代数,M是A的一个表示.设C*(A,M)是系数在M 上的A的Hochschild链复型,即.上界算子b*定义如下: 其中a0,…,an∈A.Hochschild上同调群用符号Hoch*(A,M)表示,并定义为 为了给出广义Poisson超代数的上