Nichols algebras over weak Hopf algebras

In this paper, we study a Yetter-Drinfeld module V over a weak Hopf algebra H.Although the category of all left H-modules is not a braided tensor category, we can define a Yetter-Drinfeld module. Using this Yetter-Drinfeld modules V, we construct Nichols algebra B(V) over the weak Hopf algebra H, and a series of weak Hopf algebras. Some results of [8] are generalized.     

Weak Hopf Algebra in Yetter-Drinfeld Categories and Weak Biproducts

The Yetter-Drinfeld category of the Hopf algebra over a field is a pre braided category. In this paper we prove this result for the weak Hopf algebra. We study the smash product and smash coproduct, weak biproducts in the weak Hopf algebra over a field k. For a weak Hopf algebra A in left Yetter-Drinfeld category HHYD. we prove that the weak biproducts of A and H is a weak Hopf algebra.     

一类半单Hopf代数的结构

设k是特征为零的代数闭域,H是k上的pq~2维Frobenius型半单Hopf代数,其中p,q为不同的素数.本文证明了,如果p>q且H~*也是Frobenius型Hopf代数,则H是q~2维群代数A与A上p维Yetter-Drinfeld Hopf代数R的双积,即H≌R#A.作为例子,本文还证明了任意63维或68维的半单Hopf代数均为Frobenius型Hopf代数.     

A Note on Finitistic Dimension of Hopf-Galois Extensions

Let H be a finite-dimensional Hopf algebra over a field k and A/B be a right H-Galois extension. If the functors A ?_B ? and _B(?) are both separable, then the finitistic dimension of A is equal to that of B.     

模任意子Hopf代数的商余代数的诱导作用

设 Ｈ是域 ｋ上的有限维 Ｈｏｐｆ代数，Ｋ为 Ｈ的任意子 Ｈｏｐｆ代数，Ａ是右 Ｈ－余模代数．设 ＝（Ｈ／Ｋ+ Ｈ）*和，且有 ｃ∈Ａ，ｔ ·ｃ＝１．本 文刻划了 Ａ作为 Ａ＃ *-模的投射性且证明了：如果Ａ／ＡＨ*是 Ｈ-Ｆｒｏｂｅｎｉｕｓ扩张， 则 Ａ ／ＡＨ*是 Ｋ－Ｆｒｏｂｅｎｉｕｓ扩张；如果 Ａ／ＡＨ*是 Ｈ－Ｇａｌｏｉｓ扩张，则 Ａ *／ＡＨ*是 Ｋ－Ｇａｌｏｉｓ扩张．     

相对Hopf模的同调维数与半单性

Let H be a Hopf algebra over a field with bijective antipode, and A a commutative cleft right H-comodule algebra. In this paper, we investigate the ho-mological dimensions and the semisimplicity of the category of relative Hopf modulesAMH.     

弱Hopf代数作用与冲积

本文研究了弱Hopf代数上的冲积并讨论了它约性质．设H是弱Hopf代数,A是左H-摸代数．我们给出了冲积A#H是弱双代数的一个充分条件以及A#H是A可分扩张的一个判定条件．另外,利用积分理论研究了Hopf模代数的有限性条件．     

Bialgebras Over Noncommutative Rings and a Structure Theorem for Hopf Bimodules

It is a key property of bialgebras that their modules have a natural tensor product. More precisely, a bialgebra over k can be characterized as an algebra H whose category of modules is a monoidal category in such a way that the underlying functor to the category of k-vector spaces is monoidal (i.e. preserves tensor products in a coherent way). In the present paper we study a class of algebras whose module categories are also monoidal categories; however, the underlying functor to the category of k-vector spaces fails to be monoidal. Instead, there is a suitable underlying functor to the category of B-bimodules over a k-algebra B which is monoidal with respect to the tensor product over B. In other words, we study algebras L such that for two L-modules V and W there is a natural tensor product, which is the tensor product V_BW over another k-algebra B, equipped with an L-module structure defined via some kind of comultiplication of L. We show that this property is characteristic for ×_B-bialgebras as studied by Sweedler (for commutative B) and Takeuchi. Our motivating example arises when H is a Hopf algebra and A an H-Galois extension of B. In this situation, one can construct an algebra L:=L(A,H), which was previously shown to be a Hopf algebra if B=k. We show that there is a structure theorem for relative Hopf bimodules in the form of a category equivalence . The category on the left hand side has a natural structure of monoidal category (with the tensor product over A) which induces the structure of a monoidal category on the right hand side. The ×_B-bialgebra structure of L that corresponds to this monoidal structure generalizes the Hopf algebra structure on L(A,H) known for B=k. We prove several other structure theorems involving L=L(A,H) in the form of category equivalences .     

Cotorsion Dimension of Weak Crossed Products

Let H be a finite-dimensional weak Hopf algebra over a field κ and A an associative algebra, and A#_σH a weak crossed product. In this paper, a spectral sequence for Ext is constructed which yields an estimate for cotorsion dimension of A#_σH in terms of the corresponding data for H and A.     

A NOTE ON THE GLOBAL DIMENSION OF SMASH PRODUCTS

Let H be a finite dimensional Hopf algebra over a field k, and A an H-module algebra. If H and H* are semisimple, then we prove that gl.dim(A#H) = gl.dim(A). The relationship between this result and Kaplansky's Fifth Conjecture is discussed.     

Hopf模代数的反单根

设Ｈ为域上Ｈｏｐｆ代数．本文定义了Ｈ－模代数Ａ的反单Ｈ－根Ａ_ｓ（Ａ）,证明了Ａ_ｓ（－）为特殊Ｈ－根且给出反单Ｈ－模代数的各种刻画     

HOPF代数的右伴随作用构造的上循环模(英文)

本文研究了上循环模,对于特征为O的域k上满足S~2=id_H的Hopf代数H,和左H-模代数A,利用日的右伴随作用以及H在A上的模作用,构造了上循环模(C)_H~#(A),并且证明了由H的右伴随作用和左伴随作用分别诱导的上循环模(C)_H~(#)(A)和(C)_H~(#)(A)足同构的.     

Quantum doubles in monoidal categories

Let H be a Hopf algebra in a rigid symmetric monoidal category C then the evaluation map τis a convolution-invertible skew pairing. In the previous paper, we constructed a Hopf algebra D(H)=H ? _r H ^?cop in C. In this paper, we first show that D(H) is a quasitriangular Hopf algebra in C. Next, let H be an ordinary triangular finite-dimensional Hopf algebra. Then one can form quasitriangular Hopf algebras B(H,H) and B(H,D(H)) (in a rigid braided monoidal category) by Majid’s method associated to the ordinary Hopf algebra maps H →H and i_H H → D(H), where D(H) is the Drin-fePd quantum double. We show that D (B(H,H)) and B(H,D(H)) are isomorphic Hopf algebras in the braided monoidal category.     

Fullness of connes spectra and the connes hopf kernel

Let H be a finite dimensional, semisimple Hopf algebra over a field K and let A be an H- module algebra. Assume K is a splitting field for H and that H is strongly semiprime. If A is H- semiprime, we show the Connes spectrum of H acting on A consists of all of the irreducible representations of H is equivalent to every nonzero annihilator ideal of the smash product meets A nontrivially. If H is also cocommutative, we let I^′ be the intersection of the annihilators of the modules in the Connes spectrum. We find some of the information encoded in the Hopf kernel of the natural map from H to H/I^′.     

代数A在子代数A^H上投射的若干充分条件

假设Ｈ是域ｋ上的有限维Ｈｏｐｆ代数,Ａ是Ｈ－模代数,本文刻画了Ａ＾ＨＡ的投射性并给出了Ａ＾ＨＡ是投射的若干充分条件,其中Ａ＾Ｈ是Ａ的Ｈ－不变子代数。     

H-separable Hopf Galois Extensions and Azumaya Algebra

1 IntroductionLet A/R be a ring extension with the common identity 1. A/R is said to be separable if theA-bimodule homomorphism of A @R A onto A defined by a @ 5-a6 splits. A separableextension over a non-commutative ring generalizes that over a commutative ring which wasdiscussed in [1]. Hirata introduced anOther kind of separable extensions called H-separabeones (see [2]). A/R is said to be H-separable if A @R A is isomorphic as an A-bimoduleto a direct sumrnand of A". riom {2, Theor…     

单的模代数及其稳定化子

研究了有限维Hopf代数H与其单的模代数A的smash积的结构.通过给出A的反代数与其极小左理想的稳定化子的结构,证明了H与A的smash积与某个代数上的全矩阵代数是代数同构的,推广了以往的结果.     

半单弱Hopf代数的作用

令H是半单弱Hopf代数, A是左H-模代数.我们证明了正则A-模的内射维数, A#H-模A的内射维数和正则A#H-模的内射维数三者是相等的. 而且,利用H在A上的不动点代数我们给出了A是Gorenstein代数的充要条件.     

Generalized braided Hopf algebras

The concept of （f, σ）-pair （B, H）is introduced, where B and H are Hopf algebras. A braided tensor category which is a tensor subcategory of the category ^HM of left H-comodules through an （f, σ）-pair is constructed. In particularly, a Yang-Baxter equation is got. A Hopf algebra is constructed as well in the Yetter-Drinfel＇d category H^HYD by twisting the multiplication of B.