A quasi-Hopf algebra freeness theorem

Peter Schauenburg

DOI: https://doi.org/10.1090/s0002-9939-03-07181-8

IF: 0.9709

2003-07-07

Proceedings of the American Mathematical Society

Abstract:We prove the quasi-Hopf algebra version of the Nichols-Zoeller theorem: A finite dimensional quasi-Hopf algebra is free over any quasi-Hopf subalgebra.

mathematics, applied

What problem does this paper attempt to address?

Hopf Algebras with Rigid Dualizing Complexes

D.-M. Lu,Q.-S. Wu,J. J. Zhang

DOI: https://doi.org/10.1007/s11856-009-0005-1

2008-01-01

Israel Journal of Mathematics

Abstract:Let H be a Hopf algebra over a base field. If H has an ℕ-filtration such that the associated graded ring is connected graded noetherian and has enough normal elements, then H is Gorenstein. This gives a partial solution to a question of Brown and Brown-Goodearl. As a consequence, every quotient Hopf algebra of a generic quantized coordinate ring of a connected semisimple Lie group is Auslander-Gorenstein and Cohen-Macaulay. The last statement answers a question of Goodearl-Zhang.
Quotients of Finite Quasi-Hopf Algebras

Peter Schauenburg

DOI: https://doi.org/10.1201/9780429187629-17

2019-05-07

Abstract:Let H be a finite-dimensional quasi-Hopf algebra. We show for each quotient quasibialgebra Q of H that Q is a quasi-Hopf algebra whose dimension divides the dimension of H. Quasi-Hopf algebras, introduced by V. Drinfeld, are a generalization of ordinary Hopf algebras that can be motivated most easily by looking at representation categories: The category of modules over a Hopf algebra is a monoidal category, with the module structure on the tensor product over the base field of two modules given by the diagonal action via comultiplication. One of the standard applications of the Nichols-Zoeller theorem is to investigate the structure of (semisimple) Hopf algebras by dimension counting: The dimension of a Hopf subalgebra has to divide the dimension of the large Hopf algebra, a version of the classical Lagrange theorem for finite groups. This can serve to narrow down the possible examples in classification attempts. The chapter shows that any quotient quasibialgebra of a finite-dimensional quasi-Hopf algebra is a quotient quasi-Hopf algebra itself.
Diagrams of Hopf Algebras with the Chevalley Property

Zhong-ping Fan,Di-ming Lu,Xiao-lan Yu

DOI: https://doi.org/10.1007/s11766-016-3403-2

2016-01-01

Abstract:In this paper, we study non-cosemisimple Hopf algebras through their underlying coalgebra structure. We introduce the concept of the maximal pointed subcoalgebra/Hopf subalgebra. For a non-cosemisimple Hopf algebra A with the Chevalley property, if its diagram is a Nichols algebra, then the diagram of its maximal pointed Hopf subalgebra is also a Nichols algebra. When A is of finite dimension, we provide a necessary and sufficient condition for A's diagram equaling the diagram of its maximal pointed Hopf subalgebra.
A Frobenius-Schur theorem for Hopf algebras

Vitaly Linchenko,Susan Montgomery

DOI: https://doi.org/10.48550/arXiv.math/0004097

2000-04-15

Abstract:In this note we prove a generalization of the Frobenius-Schur theorem for finite groups for the case of semisimple Hopf algebra over an algebraically closed field of characteristic 0. A similar result holds in characteristic $p > 2$ if the Hopf algebra is also cosemisimple. In fact we show a more general version for any finite-dimensional semisimple algebra with an involution.

Representation Theory,Rings and Algebras
Weak Hopf Quivers, Clifford Monoids and Weak Hopf Algebras

Munir Ahmed,Fang Li

DOI: https://doi.org/10.1007/s13369-011-0038-8

2011-01-01

Abstract:The purpose of this paper is to use Clifford monoids to define weak Hopf quivers and to construct the corresponding class of weak Hopf algebras, i.e., the semilattice of graded weak Hopf algebras which were found to be useful in obtaining a regular R-matrix of a quantum double without a quasi-triangular structure. We define weak Hopf quivers and classify the semilattice of graded weak Hopf algebra structures over path coalgebras using weak Hopf quivers. This gives, precisely, a generalization of the classification of the graded weak Hopf algebra structures over path coalgebras using such quivers.
On Quasi-Bicrossed Products of Weak Hopf Algebras

Fang Li

DOI: https://doi.org/10.1007/s10114-004-0325-3

2004-01-01

Acta Mathematica Sinica English Series

Abstract:The aim of this paper is to study quasi-bicrossed productsand a especially quantum quasi-doubles. Firstly, we constructone new kind of quasi-bicrossed products by weak Hopf algebrasand then devote a brief discussion to this matter. And, wediscuss the conditions for quasi-bicrossed products to possessthe structure of almost weak Hopf algebras, containing the caseof a special smash product. At the end, we give some propertieson the quantum quasi-double, respectively on the quasi-R-isomorphism, the representation-theoretic interpretation andthe regularity of the quasi-R-matrix.
A twisted Hopf algebra of finite topological quandles

Mohamed Ayadi,Dominique Manchon

2023-11-03

Abstract:This paper describes some algebraic properties of the species of finite topological quandles. We construct two twisted bialgebra structures on this species, one of the first kind and one of the second kind. The obstruction for the structure to match the double twisted bialgebra axioms is explicitly described.

Algebraic Topology
A note on quasi-elementary sub-Hopf algebras of the polynomial part of the odd primary Steenrod algebra

John H. Palmieri

2024-10-02

Abstract:We prove that every quasi-elementary sub-Hopf algebra of the polynomial part of the odd primary Steenrod algebra must lie in a certain sub-Hopf algebra called $D$.

Algebraic Topology
On the Notion of a Ribbon Quasi-Hopf Algebra

Yorck Sommerhaeuser

DOI: https://doi.org/10.48550/arXiv.0910.1638

2009-10-09

Rings and Algebras

Abstract:We show that two competing definitions of a ribbon quasi-Hopf algebra are actually equivalent. Along the way, we look at the Drinfel'd element from a new perspective and use this viewpoint to derive its fundamental properties.
Hopf algebra and the duality operation for $\mathfrak{gl}_n(\mathbb{F}_q)$

Zhe Chen

2024-08-13

Abstract:In this paper we study the space $C(\mathfrak{gl}_n(\mathbb{F}_q))$ of complex invariant functions on $\mathfrak{gl}_n(\mathbb{F}_q)$, through a Hopf algebra viewpoint. First, we consider a variant notion of Zelevinsky's PSH algebra defined over the real numbers $\mathbb{R}$. In particular, we show that two specific $\mathbb{R}$-lattices inside the complex Hopf algebra $\bigoplus_nC(\mathfrak{gl}_n(\mathbb{F}_q))$ are real PSH algebras, and that they do not descend to $\mathbb{Z}$. Then, among consequences, we prove that every element in $C(\mathfrak{gl}_n(\mathbb{F}_q))$ is a linear combination of Harish-Chandra inductions of Kawanaka's pre-cuspidal functions, and give a conceptual characterisation of duality operation for $\mathfrak{gl}_n(\mathbb{F}_q)$, which in turn allows us to give a new proof of a classical result of Kawanaka.

Representation Theory,Quantum Algebra,Rings and Algebras
On the finite generation of the cohomology of abelian extensions of Hopf algebras

Nicolás Andruskiewitsch,Sonia Natale

2024-07-08

Abstract:A finite-dimensional Hopf algebra is called quasi-split if it is Morita equivalent to a split abelian extension of Hopf algebras. Combining results of Schauenburg and Negron, it is shown that every quasi-split finite-dimensional Hopf algebra satisfies the finite generation cohomology conjecture of Etingof and Ostrik. This is applied to a family of pointed Hopf algebras in odd characteristic introduced by Angiono, Heckenberger and the first author, proving that they satisfy the aforementioned conjecture.

Quantum Algebra
On Quiver-Theoretic Description for Quasitriangularity of Hopf Algebras

Hua-Lin Huang,Gongxiang Liu

DOI: https://doi.org/10.1016/j.jalgebra.2010.02.041

IF: 0.908

2010-01-01

Journal of Algebra

Abstract:This paper is devoted to the study of the quasitriangularity of Hopf algebras via Hopf quiver approaches. We give a combinatorial description of the Hopf quivers whose path coalgebras give rise to coquasitriangular Hopf algebras. With a help of the quiver setting, we study general coquasitriangular pointed Hopf algebras and obtain a complete classification of the finite-dimensional ones over an algebraically closed field of characteristic 0.
Quasi-Frobenius algebras in finite tensor categories

Kenichi Shimizu

2024-02-05

Abstract:We introduce the notion of a quasi-Frobenius algebra in a finite tensor category $\mathcal{C}$ and give equivalent conditions for an algebra in $\mathcal{C}$ to be quasi-Frobenius. A quasi-Frobenius algebra in $\mathcal{C}$ is not necessarily Frobenius, however, we show that an algebra $A$ in $\mathcal{C}$ is quasi-Frobenius if and only if $A$ is Morita equivalent to a Frobenius algebra in $\mathcal{C}$. We also show that the class of symmetric Frobenius algebras in $\mathcal{C}$ is closed under the Morita equivalence provided that $\mathcal{C}$ is pivotal so that the symmetricity makes sense.

Quantum Algebra,Category Theory,Rings and Algebras
A class of finite-by-cocommutative Hopf algebras

Nicolás Andruskiewitsch,Sonia Natale,Blas Torrecillas

DOI: https://doi.org/10.48550/arXiv.2303.14037

2023-03-24

Abstract:We present a rich source of Hopf algebras starting from a cofinite central extension of a Noetherian Hopf algebra and a subgroup of the algebraic group of characters of the central Hopf subalgebra. The construction is transparent from a Tannakian perspective. We determine when the new Hopf algebras are co-Frobenius, or cosemisimple, or Noetherian, or regular, or have finite Gelfand-Kirillov dimension.

Quantum Algebra
The Quasi-Hopf Analogue of $\Mathrm{u}_q(\mathfrak{sl}_2)$

Gongxiang Liu

DOI: https://doi.org/10.4310/mrl.2014.v21.n3.a12

2014-01-01

Mathematical Research Letters

Abstract:In [9], some quasi-Hopf algebras of dimension n 3 , which can be understood as the quasi-Hopf analogues of Taft algebras, are constructed.Moreover, the quasi-Hopf analogues of generalized Taft algebras are considered in [12], where the language of the dual of a quasi-Hopf algebra is used.The Drinfeld doubles of such quasi-Hopf algebras are computed in this paper.The authors in [10] showed that the Drinfeld double of a quasi-Hopf algebra of dimension n 3 constructed in [9] is always twist equivalent to Lusztig small quantum group u q (sl 2 ) if n is odd.Based on computations and analysis, we show that this is not the case if n is even.That is, the quasi-Hopf analogue Q u q (sl 2 ) of u q (sl 2 ) is gotten.
A study of nil Hecke algebras via Hopf algebroids

Zbigniew Wojciechowski

2024-10-15

Abstract:Hopf algebroids are generalizations of Hopf algebras to less commutative settings. We show how the comultiplication defined by Kostant and Kumar turns the affine nil Hecke algebra associated to a Coxeter system into a Hopf algebroid without an antipode. The proof relies on mixed dihedral braid relations between Demazure operators and simple reflections. For researchers new to Hopf algebroids we include additional examples from ring theory, representation theory, and algebraic geometry.

Representation Theory,Combinatorics,Quantum Algebra,Rings and Algebras
Free and co-free constructions for Hopf categories

Paul Großkopf,Joost Vercruysse

2024-04-30

Abstract:We show that under mild conditions on the monoidal base category $\mathcal V$, the category ${\sf VHopf}$ of Hopf $\mathcal V$-categories is locally presentable and deduce the existence of free and cofree Hopf categories. We also provide an explicit description of the free and cofree Hopf categories over a semi-Hopf category. One of the conditions on the base category $\mathcal V$, states that endofunctors obtained by tensoring with a fixed object preserve jointly monic families, which leads us to the notion of ``very flat monoidal product'', which we investigate in particular for module categories.

Category Theory,Rings and Algebras
Finitely $C^\infty$-generated associative and Hopf algebras

Oleg Aristov

2024-10-02

Abstract:We introduce finitely $C^\infty$-generated algebras, which can be treated as `algebras of functions' on non-commutative $C^\infty$-differentiable spaces. Our approach is based on the category of algebras that are projective limits of real Banach algebras of polynomial growth. We prove the existence of some universal constructions in this and some similar categories. By analogy with holomorphically finitely generated algebras of Pirkovskii, a finitely $C^\infty$-generated algebra is defined as a quotient of a finite-rank algebra of `free $C^\infty$-functions'. The latter notion was introduced in a previous article of the author. We prove in a full generality a structure result for `free $C^\infty$-functions', which was announced in that article and proved in dimension at most $2$. The central result asserts that the projective tensor product of a finite tuple of finitely $C^\infty$-generated algebras is finitely $C^\infty$-generated. In particular, this makes it natural to consider $C^\infty$-finitely generated topological Hopf algebras. Furthermore, a construction called `envelope' provides a functor from the category of affine real Hopf algebras to the category of $C^\infty$-finitely generated Hopf algebras.

Functional Analysis
The Hopf algebras of type B quasisymmetric functions and peak functions

Samuel K. Hsiao,T. Kyle Petersen

DOI: https://doi.org/10.48550/arXiv.math/0610976

2006-11-01

Abstract:We show that with the appropriate choice of coproduct, the type B quasisymmetric functions form a Hopf algebra, and the recently introduced type B peak functions form a Hopf subalgebra.

Combinatorics,Rings and Algebras
The Cartier-Quillen-Milnor-Moore theorem in the Post-Hopf case

Pierre Catoire

2024-01-17

Abstract:We give the definition of left/right Post-Lie algebras and left/right Post-Hopf algebras and establish a link between those objects. We get a Cartier-Quillen-Milnor-Moore theorem for Post-Hopf algebras. We give another description for free Post-Lie algebras and a description for Post-Lie algebras obtained from an associative product.

Combinatorics,Rings and Algebras

A quasi-Hopf algebra freeness theorem

Hopf Algebras with Rigid Dualizing Complexes

Quotients of Finite Quasi-Hopf Algebras

Diagrams of Hopf Algebras with the Chevalley Property

A Frobenius-Schur theorem for Hopf algebras

Weak Hopf Quivers, Clifford Monoids and Weak Hopf Algebras

On Quasi-Bicrossed Products of Weak Hopf Algebras

A twisted Hopf algebra of finite topological quandles

A note on quasi-elementary sub-Hopf algebras of the polynomial part of the odd primary Steenrod algebra

On the Notion of a Ribbon Quasi-Hopf Algebra

Hopf algebra and the duality operation for $\mathfrak{gl}_n(\mathbb{F}_q)$

On the finite generation of the cohomology of abelian extensions of Hopf algebras

On Quiver-Theoretic Description for Quasitriangularity of Hopf Algebras

Quasi-Frobenius algebras in finite tensor categories

A class of finite-by-cocommutative Hopf algebras

The Quasi-Hopf Analogue of $\Mathrm{u}_q(\mathfrak{sl}_2)$

A study of nil Hecke algebras via Hopf algebroids

Free and co-free constructions for Hopf categories

Finitely $C^\infty$-generated associative and Hopf algebras

The Hopf algebras of type B quasisymmetric functions and peak functions

The Cartier-Quillen-Milnor-Moore theorem in the Post-Hopf case