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~*).     

量子交换代数的张量积

域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余模余代数的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 定义和引理     

关于Hochschild同调群的一个恒等式

设A是域k上的有限维代数,A~e是A的包络代数,即A~e=A(?)A~(op),其中A~(op)是A的反代数.任一A-A双模M自然地视为左A~e-模:(a(?)b’)m:=amb,(?)a(?)b’∈A~e,m∈M.由此得到左 A~e-模A并且有如下维数公式(参见文献[1]):proj.dim.A~eA=gl.dim.A.根据Cartan-Eilenberg公式,A的第i次Hochschild同调群H_i(A)等同于向量空间H_i(A)(?)Ext_(A~e)~i( A,D(A))(?)Tor~A~e_i( A,A),其中D=Horm_k(-,k)为对偶函子. 关于Hochschild同调群和上同调群的原始定义和基本性质我们引用经典文献和新书.近年来的若干文献表明代数的Hochschild同调群和上同调群与代数的表示之间有紧密的联系.我们指出同时研究Hochschild同调群和上同调群     

余可裂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中线性无关.它们生成     

分子格构成Fuzzy布尔代数的条件

设L为分子格,π为分子集,当a、b∈π对,若a≤b或b≤a,则称a与b具有可比关系,用a～b 表示.易见～是π上的等价关系.对a∈π,记(?)={b|b∈π,b～a},a_p=∨{b|b∈π,b∈(?)),显然a_p∈π.定又1 在π中规定一个二元运算“·”,它满足;i)a∈π,b∈π(?)a·b∈π;ii) c∈(?),d∈(?)c·d∈(?)b;称这个运算为π上的Fuzzy     

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

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-素,但不是通常的半素.     

余循环变形、辫子monoidal范畴及拟三角性

设A是双代数,R∈A（×）A是强“余循环”。证明了monoidal范畴_Aμ在一个辫子的monoidal子范畴。并给出（A,R）是拟三角双代数的几个等价条件。进一步证明,若R是YB-算子,则A含有一个有限维子双代数是拟三角Hopf代数。     

Hopf代数的扭曲积和量子偶

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

自由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-子代数,     

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

反链方法及其在正则三值逻辑函数计数上的应用

为适应不确定推理之需要,Mukaidono提出并系统地研究了正则三值逻辑函数的理论.这类函数个数的计算十分复杂,至今仅对自变量个数小于7的情形提出了若干结果.本文将反链方法与该类计算联系起来,从而为解决该类问题提供了一种新的可能途径.定义1 　设E={0,1/2,1},在E上除通常序“≤”外,再定义偏序(?)为:0(?)1/2,1(?)1/2,i(?)i.这两种序在E~n上各诱导出相应的乘积序,仍记为“≤”或“(?)”.映射f:E~n→E称正则函数,若(?)a,b∈E~n,当a(?)b时f(a)(?)f(b).正则函数f:E~n→E称单调函数,(?)a,b∈E~n,当a≤b时f(a)≤f(b).以下用F(n,R)记全体n元正则函数之集,用F(n,M)记全体n元单调函数之集.定义2 设(P,≤)是非空偏序集,a,b∈P.若有c∈P使c≤a且c≤b,则称a与b有公根.设A与B是P中的反链,若(?)a∈A和(?)b∈B,a与b有(无)公根,则称序对(A,B)为全(无)公根反链对.以下用E(n)表示(E~n,(?))中全体无公根反链对之集.令N(n)={1,…,n}.W(n)={L:L(?)N(n),L≠φ},用N(n,C)表示(W(n),(?))中全体全公根反链之集.定义3 设a=(a_1,…,a_n)∈(E~n.(?)).     

Cartan型Lie超代数H(n)的Z-阶化模

设F是特征零的代数闭域。本文利用文献中的混合积,决定了当H(n)_0-模V的首权不是初等权λ_1的非负整数倍时,以V为底(顶)空间的不可约的正(负)Z-阶化的H(n)-模。 设Λ是F上具有生成元ξ_1,…,ξ_n的外代数,将Λ(n)的“Λ乘”记为普通乘法,则ξ_iξ_j=-ξ_jξ_i。我们知道,Λ(n)是具有相容Z-阶化的结合超代数。令(?)(n)=,其中     

关于一类倾斜代数

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

关于算子的张量积

近年来许多作者讨论了广义导算子δ_(AB)(·)=A(·)-(·)B和初等算子τ_(AB)(·)=A-(·)B,当限制于Hilbert-Schmidt类C_2(H)上时,为正规算子,亚正规算子,次正规算子,k-拟亚正规算子,拟正规算子,θ-类算子等等的充分必要条件,并得到许多有趣的结果。这里H为一可分的复Hilbert空间,A,B∈B(H)。注意到Hilbert-Schmidt类C_2(H2→H_1)     

广义Bell不等式

Bell利用定域隐参量理论证明了Eins-tein定域性同量子力学的统计预言是不相容的。Bell的3个基本前提如下。(Ⅰ)自旋双值粒子系:关联粒子的自旋分量α_1·(?)和α_2·(?)只能有两个可能值,即A((?),λ)或B((?),λ)=±1,其中(?)、(?)为单位矢量,λ为隐参量。     

广义Kac-Moody代数虚根与权的注记

本文中符号均同文献[1],并记P_ ~0 ={λ∈P_ |〈λ,α_i~v〉≥O,(?)α_i∈∏~(im)}.可以证明,当GKM代数g(A)不必可对称化时,文献[2]中的结果亦成立,即有引理 设(?)∈P_ ~0,则(a)任一λ∈P(?)都关于(?)非退化;(b)对任意α_i∈∏~(im)及λ∈P(?),当〈λ,α_i~v〉=0时,过λ的α_i权链中只含λ一个元;当〈λ,α_i~v〉>0时,过λ的α_i权链形如 …,λ-α_i,λ,…,λ qα_i(q∈Z_ );(c)P(?)=W|λ∈P_ ~0|λ关于(?)非退化}.定理1 设(?)∈P_ ~0,则P(?)(?)((?) Q)∩C_0(W(?)).