Hopf monads

We introduce and study Hopf monads on autonomous categories (i.e., monoidal categories with duals). Hopf monads generalize Hopf algebras to a non-braided (and non-linear) setting. In particular, any monoidal adjunction between autonomous categories gives rise to a Hopf monad. We extend many fundamental results of the theory of Hopf algebras (such as the decomposition of Hopf modules, the existence of integrals, Maschke's criterium of semisimplicity, etc.) to Hopf monads. We also introduce and study quasitriangular and ribbon Hopf monads (again defined in a non-braided setting).     

辫子Hopf代数的积分

本文引进了无限维辫子Hopf代数日的忠实拟对偶H~d和严格拟对偶H~(d′)．证明了每个严格拟对偶H~(d′)是一个H-Hopf模．发现了H~d的极大有理H~d-子模H~(drat)与积分的关系,即：H~(drat)≌∫_(H~d)~l■H．给出了在Yetter-Drinfeld范畴(_B~ByD,C)中的辫子Hopf代数的积分的存在性和唯—性．     

辫子Hopf代数的积分(英)

本文引进了无限维辫子Hopf代数$H$的忠实拟对偶$H^d$和严格拟对偶$H^{d'}$.证明了每个严格拟对偶$H^{d'}$是一个$H$-Hopf 模. 发现了$H^{d}$的极大有理$H^{d}$-子模$H^{d {\rm rat} }$ 与积分的关系, 即: $H^{d {\rm rat}}\cong \int ^l_{H^d} \otimes H$.给出了在Yetter-Drinfeld范畴$(^B_B{\cal YD},C)$中的辫子Hopf代数的积分的存在性和唯一性.     

The wedderburn-malcev theorem for comodule algebras

Let H be a Hopf algebra over a field k. Under some assumptions on H we state and prove a generalization of the Wedderburn-Malcev theorem for i7-comodule algebras. We show that our version of this theorem holds for a large enough class of Hopf algebras, such as coordinate rings of completely reducible affine algebraic groups, finite dimensional Hopf algebras over fields of characteristic 0 and group algebras. Some dual results are also included.     

相关Hopf模的对偶

本文的目的就是给出相关Hopf模的对偶性质.在第一部分,证明了相关Hopf模的对偶模仍是相关Hopf模.特别地,Hopf模的对偶仍是Hopf模.在第二、第三两部分,分别给出相关Hopf模的对偶相关Hopf模的基本结构定理及Maschke定理.     

Semi-infinite homological algebra

Summary The paper provides a homological algebraic foundation for semi-infinite cohomology. It is proved that semi-infinite cohomology of infinite dimensional Lie algebras is a two-sided derived functor of a functor that is intermediate between the functors of invariants and coinvariants. The theory of two-sided derived functors is developed. A family of modules including a module generalizing the universal enveloping algebra appropriate to the setting of two sided derived functors is introduced. A vanishing theorem for such modules is proved.Oblatum 28-IX-1992 & 11-I-1993Research supported in part by NSF grant DMS-8505550     

Hopf algebras and invariants of 3-manifolds

This paper studies invariants of 3-manifolds derived from finite dimensional Hopf algebras. The invariants are based on right integrals for the Hopf algebras. In fact, it is shown that the defining property of the right integral is an algebraic translation of a necessary condition for invariance under handle slides in the Kirby calculus. The resulting class of invariants is distinct from the class of Witten-Reshetikhin-Turaev invariants.     

Hopf代数的二重Ore扩张

本文的目的是定义Hopf二重Ore扩张,讨论这种扩张的基本性质并研究Hopf 代数的分次与Hopf二重Ore扩张之间的关系.作者还研究了连通分次Hopf代数的结构及其Hopf二重Ore扩张的同调性质.     

A proof that commutative artinian rings are noetherian

Abstract

Integrals in Hopf algebras are an essential tool in studying finite dimensional Hopf algebras and their action on rings. Over fields it has been shown by Sweedler that the existence of integrals in a Hopf algebra is equivalent to the Hopf algebra being finite dimensional. In this paper we examine how much of this is true Hopf algebras over rings. We show that over any commutative ring R that is not a field there exists a Hopf algebra H over R containing a non-zero integral but not being finitely generated as R-module. On the contrary we show that Sweedler's equivalence is still valid for free Hopf algebras or projective Hopf algebras over integral domains. Analogously for a left H-module algebra A we study the influence of non-zero left A#H-linear maps from A to A#H on H being finitely generated as R-module. Examples and application to separability are given.     

广义路代数与点Hopf代数

Most of pointed Hopf algebras of dimension p^m with large coradtical are shown to be generalized path algebras. By the theory of generalized path algebras, the representations, homological dimensions and radicals of these Hopf algebras are obtained. The relations between the radicals of path algebras and connectivity of directed graphs are given.     

Representations of polyadic-like equality algebras

Assuming the usual finite axiom schema of polyadic equality algebras, axiom (P10) is changed to a stronger version. It is proved that infinite dimensional, polyadic equality algebras satisfying the resulting system of axioms are representable. The foregoing stronger axiom is not given with a first order schema. The latter is to be expected knowing the negative results for the Halmos schema axiomatizability of the representable, infinite dimensional, polyadic equality algebras. Furthermore, Halmos’ well-known classical theorem that “locally finite polyadic equality algebras of infinite dimension α are representable” is generalized for locally-\({\mathfrak{m}}\) polyadic equality algebras, where \({\mathfrak{m}}\) is an arbitrary infinite cardinal and \({\mathfrak{m}}\) < α. Also, a neat embedding theorem is proved for the foregoing classes of polyadic-like equality algebras (a neat embedding theorem does not exists for polyadic equality algebras).     

Semidirect products of weak multiplier Hopf algebras: Smash products and smash coproducts

In this paper, we will develop the smash product of weak multiplier Hopf algebras unifying the cases of Hopf algebras, weak Hopf algebras and multiplier Hopf algebras. We will show that the smash product R#A has a regular weak multiplier Hopf algebra structure if R and A are regular weak multiplier Hopf algebras. We shall investigate integrals on R#A. We also consider the result in the ?-situation and new examples. Dually, we consider the smash coproduct of weak multiplier Hopf algebras under an appropriate form and integrals on the smash coproduct and we obtain results in the ?-situation.     

Maschke定理的一点应用

给出了Maschke定理的两种无限变体,并应用于带子群极小条件的Abel群,深化了Berkovich的有关结果．     

The Center Manifold Reduction Method for Hopf Bifurcation Theorem

In this paper we apply the center manifold reduction method to prove a Hopf bifurcation theorem for infinite dimensional problem. The asymptolic expression of bifurcation formulae and stability condition are given. The Hopf bifurcation problem for a system of parabolic equations is considered.     

The structure theorem and duality theorem for endomorphism algebras of weak Hopf algebras

With an aim of exploring homological algebra for weak Hopf modules, this paper investigates the HOM-functor and presents the structure theorem for endomorphism algebras of weak two-sided (A,H)-Hopf modules, and gives the duality theorem for weak “big” smash products.     

n-representation infinite algebras

From the viewpoint of higher dimensional Auslander–Reiten theory, we introduce a new class of finite dimensional algebras of global dimension n, which we call n-representation infinite. They are a certain analog of representation infinite hereditary algebras, and we study three important classes of modules: n-preprojective, n-preinjective and n  -regular modules. We observe that their homological behaviour is quite interesting. For instance they provide first examples of algebras having infinite Ext¹${\mathrm{Ext}}^1$-orthogonal families of modules. Moreover we give general constructions of n-representation infinite algebras.     

相关Yetter-Drinfel'd Hopf代数上的相关Hopf模结构定理

主要证明了相关Yetter-Drinfel'd Hopf代数上的相关Hopf模结构定理,不仅推广了Yetter-Drinfel'd Hopf代数上的Hopf模结构定理,而且推广了相关Hopf模结构定理.同时,给出相关Yetter-Drinfel'd Hopf代数上的Maschke定理.     

代数的张量积的同调满同态的构造

利用已知的代数的同调满同态来构造其张量积代数的同调满同态.设A,B,C,D是域k上的有限维代数,如果环同态f:A→C和g:B→D是环的同调满同态,则fg:AB→CD也是环的同调满同态.     

Derivations of Tensor Product Algebras

It is known that under certain finite dimensionality condition the derivation algebra of tensor product of two algebras can be obtained in terms of the derivation algebras and the centroids of the involved algebras. We extend this theorem to infinite dimensional case and as an application, we determine the derivation algebra of the fixed point algebra of the tensor product of two algebras, with respect to the tensor product of two finite order automorphisms. These provide the framework for calculating the derivations of some infinite dimensional Lie algebras.     

Pairing and Quantum Double of Multiplier Hopf Algebras

We define and investigate pairings of multiplier Hopf (*-)algebras which are nonunital generalizations of Hopf algebras. Dual pairs of multiplier Hopf algebras arise naturally from any multiplier Hopf algebra A with integral and its dual Â. Pairings of multiplier Hopf algebras play a basic rôle, e.g., in the study of actions and coactions, and, in particular, in the relation between them. This aspect of the theory is treated elsewhere. In this paper we consider the quantum double construction out of a dual pair of multiplier Hopf algebras. We show that two dually paired regular multiplier Hopf (*-)algebras A and B yield a quantum double which is again a regular multiplier Hopf (*-)algebra. If A and B have integrals, then the quantum double also has an integral. If A and B are Hopf algebras, then the quantum double multiplier Hopf algebra is the usual quantum double. The quantum double construction for dually paired multiplier Hopf (*-)algebras yields new nontrivial examples of multiplier Hopf (*-)algebras.