scholarly journals Separable Functors and Formal Smoothness

2007 ◽  
Vol 1 (3) ◽  
pp. 535-582 ◽  
Author(s):  
Alessandro Ardizzoni
Keyword(s):  
Hopf Algebra ◽  
Hopf Algebras ◽  
Algebra Homomorphism ◽  
Monoidal Categories ◽  
Invariant Integrals ◽  
Finite Dimensional ◽  
Finite Dimensional Case ◽  
Algebra Theory ◽  
Formal Smoothness ◽  
Dual Case

AbstractThe natural problem we approach in the present paper is to show how the notion of formally smooth (co)algebra inside monoidal categories can substitute that of (co)separable (co)algebra in the study of splitting bialgebra homomorphisms. This is performed investigating the relation between formal smoothness and separability of certain functors and led to other results related to Hopf algebra theory. Between them we prove that the existence of ad-(co)invariant integrals for a Hopf algebra H is equivalent to the separability of some forgetful functors. In the finite dimensional case, this is also equivalent to the separability of the Drinfeld Double D(H) over H. Hopf algebras which are formally smooth as (co)algebras are characterized. We prove that if π : E → H is a bialgebra surjection with nilpotent kernel such that H is a Hopf algebra which is formally smooth as a K-algebra, then π has a section which is a right H-colinear algebra homomorphism. Moreover, if H is also endowed with an ad-invariant integral, then this section can be chosen to be H-bicolinear. We also deal with the dual case.

scholarly journals A CLASS OF QUASITRIANGULAR GROUP-COGRADED MULTIPLIER HOPF ALGEBRAS

2018 ◽  
Vol 62 (1) ◽  
pp. 43-57
Author(s):  
TAO YANG ◽  
XUAN ZHOU ◽  
HAIXING ZHU
Keyword(s):  
Hopf Algebra ◽  
Hopf Algebras ◽  
Finite Dimensional ◽  
Special Cases ◽  
Multiplier Hopf Algebras ◽  
Multiplier Hopf Algebra ◽  
Classical Construction

AbstractFor a multiplier Hopf algebra pairing 〈A,B〉, we construct a class of group-cograded multiplier Hopf algebras D(A,B), generalizing the classical construction of finite dimensional Hopf algebras introduced by Panaite and Staic Mihai [Isr. J. Math. 158 (2007), 349–365]. Furthermore, if the multiplier Hopf algebra pairing admits a canonical multiplier in M(B⊗A) we show the existence of quasitriangular structure on D(A,B). As an application, some special cases and examples are provided.

scholarly journals The Drinfel’d double versus the Heisenberg double for Hom-Hopf algebras

2016 ◽  
Vol 15 (04) ◽  
pp. 1650059 ◽  
Author(s):  
Daowei Lu ◽  
Shuanhong Wang
Keyword(s):  
Group Theory ◽  
Hopf Algebra ◽  
Quantum Group ◽  
Hopf Algebras ◽  
Duke Math ◽  
Dual Pairs ◽  
Cambridge University ◽  
Drinfel’D Double ◽  
Finite Dimensional ◽  
Heisenberg Double

Let ([Formula: see text], [Formula: see text]) be a finite-dimensional Hom-Hopf algebra. In this paper we mainly construct the Drinfel’d double [Formula: see text] in the setting of Hom-Hopf algebras by two ways, one of which generalizes Majid’s bicrossproduct for Hopf algebras (see [S. Majid, Foundations of Quantum Group Theory (Cambridge University Press, 1995)]) and another one is to introduce the notion of dual pairs of Hom-Hopf algebras. Then we study the relation between the Drinfel’d double [Formula: see text] and Heisenberg double [Formula: see text], generalizing the main result in [J. H. Lu, On the Drinfel’d double and the Heisenberg double of a Hopf algebra, Duke Math. J. 74 (1994) 763–776]. The examples given in the paper are especially, not obtained from the usual Hopf algebras.

scholarly journals A quantum double construction in Rel

2012 ◽  
Vol 22 (4) ◽  
pp. 618-650 ◽  
Author(s):  
MASAHITO HASEGAWA
Keyword(s):  
Hopf Algebra ◽  
Hopf Algebras ◽  
Linear Logic ◽  
Binary Relations ◽  
Monoidal Categories ◽  
Quantum Double ◽  
Closed Category ◽  
Category Of Modules ◽  
Extra Structure

We study bialgebras and Hopf algebras in the compact closed categoryRelof sets and binary relations. Various monoidal categories with extra structure arise as the categories of (co)modules of bialgebras and Hopf algebras inRel. In particular, for any groupG, we derive a ribbon category of crossedG-sets as the category of modules of a Hopf algebra inRelthat is obtained by the quantum double construction. This category of crossedG-sets serves as a model of the braided variant of propositional linear logic.

HOPF ALGEBRAS OF DIMENSION 30

2010 ◽  
Vol 09 (01) ◽  
pp. 11-15 ◽  
Author(s):  
DAIJIRO FUKUDA
Keyword(s):  
Hopf Algebra ◽  
Group Algebra ◽  
Hopf Algebras ◽  
Characteristic Zero ◽  
Closed Field ◽  
Algebraically Closed Field ◽  
Finite Dimensional

This paper contributes to the classification of finite dimensional Hopf algebras. It is shown that every Hopf algebra of dimension 30 over an algebraically closed field of characteristic zero is semisimple and thus isomorphic to a group algebra or the dual of a group algebra.

On the Hopf algebra dual of an enveloping algebra

1982 ◽  
Vol 91 (2) ◽  
pp. 215-224 ◽  
Author(s):  
Stephen Donkin
Keyword(s):  
Hopf Algebra ◽  
Hopf Algebras ◽  
Algebraic Groups ◽  
Field Extension ◽  
Smash Product ◽  
Enveloping Algebras ◽  
Enveloping Algebra ◽  
Finite Dimensional ◽  
Polycyclic Groups ◽  
Algebra Over A Field

In (1) it is claimed that the main results of that paper have applications to the representation theory of algebraic groups, of polycyclic groups and of Lie algebras. An application to algebraic groups is given in Corollary 6·4 of (1), the applications to polycyclic groups are given in (2), the purpose of this work is to deal with the outstanding case of enveloping algebras. To make use of the results of (1), in this context, we show that the Hopf algebra dual of the enveloping algebra of a finite dimensional Lie algebra over a field of characteristic zero is quasi-affine (see § 1·5). This is done by an easy field extension argument and a generalization, to the Hopf algebra dual of the smash product of Hopf algebras, of Proposition 1·6·3 of (2) on the dual of the group algebra of a semidirect product of groups. Since this paper is aimed at those readers interested in enveloping algebras, the Hopf theoretic aspects are dealt with at a fairly leisurely pace.

Hom-L-R-smash biproduct and the category of Hom–Yetter–Drinfel’d–Long bimodules

2018 ◽  
Vol 17 (07) ◽  
pp. 1850133 ◽  
Author(s):  
Daowei Lu ◽  
Xiaohui Zhang
Keyword(s):  
Hopf Algebra ◽  
Tensor Product ◽  
Monoidal Category ◽  
Admissible Pair ◽  
Smash Product ◽  
Monoidal Categories ◽  
Finite Dimensional

Let [Formula: see text] be a Hom-bialgebra. In this paper, we firstly introduce the notion of Hom-L-R smash coproduct [Formula: see text], where [Formula: see text] is a Hom-coalgebra. Then for a Hom-algebra and Hom-coalgebra [Formula: see text], we introduce the notion of Hom-L-R-admissible pair [Formula: see text]. We prove that [Formula: see text] becomes a Hom-bialgebra under Hom-L-R smash product and Hom-L-R smash coproduct. Next, we will introduce a prebraided monoidal category [Formula: see text] of Hom–Yetter–Drinfel’d–Long bimodules and show that Hom-L-R-admissible pair [Formula: see text] actually corresponds to a bialgebra in the category [Formula: see text], when [Formula: see text] and [Formula: see text] are involutions. Finally, we prove that when [Formula: see text] is finite dimensional Hom-Hopf algebra, [Formula: see text] is isomorphic to the Yetter–Drinfel’d category [Formula: see text] as braid monoidal categories where [Formula: see text] is the tensor product Hom–Hopf algebra.

On coideal subalgebras of abelian cocentral extensions and a generalization of Wall's conjecture

2014 ◽  
Vol 14 (02) ◽  
pp. 1550021
Author(s):  
Sebastian Burciu
Keyword(s):  
Hopf Algebra ◽  
Hopf Algebras ◽  
Abelian Extension ◽  
Cyclic Module ◽  
Finite Dimensional ◽  
Dual Hopf Algebra ◽  
Finite Dimensional Hopf Algebra

It is shown that any coideal subalgebra of a finite-dimensional Hopf algebra is a cyclic module over the dual Hopf algebra. Using this we describe all coideal subalgebras of a cocentral abelian extension of Hopf algebras extending some results from [R. Guralnick and F. Xu, On a subfactor generalization of Wall's conjecture, J. Algebra 332 (2011) 457–468].

scholarly journals Varieties of Null-Filiform Leibniz Algebras Under the Action of Hopf Algebras

2021 ◽  
Author(s):  
Lucio Centrone ◽  
Chia Zargeh
Keyword(s):  
Hopf Algebra ◽  
Free Algebra ◽  
Hopf Algebras ◽  
Leibniz Algebra ◽  
Module Structure ◽  
Leibniz Algebras ◽  
Finite Dimensional ◽  
Filiform Leibniz Algebra ◽  
Algebra Over A Field ◽  
Cocommutative Hopf Algebra

AbstractLet L be an n-dimensional null-filiform Leibniz algebra over a field K. We consider a finite dimensional cocommutative Hopf algebra or a Taft algebra H and we describe the H-actions on L. Moreover we provide the set of H-identities and the description of the Sn-module structure of the relatively free algebra of L.

Ideals of Finite-Dimensional Pointed Hopf Algebras of Rank One

2021 ◽  
Vol 28 (02) ◽  
pp. 351-360
Author(s):  
Yu Wang ◽  
Zhihua Wang ◽  
Libin Li
Keyword(s):  
Hopf Algebra ◽  
Hopf Algebras ◽  
Adjoint Action ◽  
Prime Ideals ◽  
Closed Field ◽  
Finite Dimensional ◽  
Maximal Ideals ◽  
Primitive Ideals ◽  
Rank One ◽  
Pointed Hopf Algebras

Let [Formula: see text] be a finite-dimensional pointed Hopf algebra of rank one over an algebraically closed field of characteristic zero. In this paper we show that any finite-dimensional indecomposable [Formula: see text]-module is generated by one element. In particular, any indecomposable submodule of [Formula: see text] under the adjoint action is generated by a special element of [Formula: see text]. Using this result, we show that the Hopf algebra [Formula: see text] is a principal ideal ring, i.e., any two-sided ideal of [Formula: see text] is generated by one element. As an application, we give explicitly the generators of ideals, primitive ideals, maximal ideals and completely prime ideals of the Taft algebras.

scholarly journals INVOLUTORY HOPF ALGEBRAS AND 3-MANIFOLD INVARIANTS

1991 ◽  
Vol 02 (01) ◽  
pp. 41-66 ◽  
Author(s):  
GREG KUPERBERG
Keyword(s):  
Hopf Algebra ◽  
Fundamental Group ◽  
Group Algebra ◽  
Hopf Algebras ◽  
Tensor Products ◽  
State Model ◽  
Formal Expression ◽  
Finite Dimensional ◽  
Heegaard Diagram ◽  
Structure Tensors

We establish a 3-manifold invariant for each finite-dimensional, involutory Hopf algebra. If the Hopf algebra is a group algebra G, the invariant counts homomorphisms from the fundamental group of the manifold to G. The invariant can be viewed as a state model on a Heegaard diagram or a triangulation of the manifold. The computation of the invariant involves tensor products and contractions of the structure tensors of the algebra. We show that every formal expression involving these tensors corresponds to a unique 3-manifold modulo a well-understood equivalence. This raises the possibility of an algorithm which can determine whether two given 3-manifolds are homeomorphic.

Sign in / Sign up

Export Citation Format

Share Document