Quotient Hopf algebras of the free bialgebra with PBW bases and GK-dimensions

DOI10.36045/J.BBMS.230408arXiv2304.07755MaRDI QIDQ6203877FDOQ6203877

Authors: Huan Jia, Naihong Hu, Rongchuan Xiong, Yinhuo Zhang 

Publication date: 8 April 2024

Published in: Bulletin of the Belgian Mathematical Society - Simon Stevin (Search for Journal in Brave)

Abstract: Let $mathbbK$ be a field. We study the free bialgebra $mathcalT$ generated by the coalgebra $C=mathbbKgoplusmathbbKh$ and its quotient bialgebras (or Hopf algebras) over $mathbbK$. We show that the free noncommutative Fa`a di Bruno bialgebra is a sub-bialgebra of $mathcalT$, and the quotient bialgebra $overlinemathcalT:=mathcalT/(E_{alpha}|alpha(g)ge2)$ is an Ore extension of the well-known Fa`a di Bruno bialgebra. The image of the free noncommutative Fa`a di Bruno bialgebra in the quotient $overlinemathcalT$ gives a more reasonable non-commutative version of the commutative Fa`a di Bruno bialgebra from the PBW basis point view. If char $mathbbK=p>0$, we obtain a chain of quotient Hopf algebras of $overlinemathcalT$: $overlinemathcalTwoheadrightarrowoverline{mathcalT}_{n}woheadrightarrowoverline{m^{\prime }athcalT}_n(p)woheadrightarrowoverline{mathcalT}_n(p)woheadrightarrowoverline{mathcalT}_n(p;d_1)woheadrightarrowldotswoheadrightarrowoverline{mathcalT}_n(p;d_j,d_{j-1},ldots,d_1)woheadrightarrowldotswoheadrightarrowoverline{mathcalT}_n(p;d_{p-2},d_{p-3},ldots,d_1)$ with finite GK-dimensions. Furthermore, we study the homological properties and the coradical filtrations of those quotient Hopf algebras.

Full work available at URL: https://arxiv.org/abs/2304.07755

zbMATH Keywords

pointed Hopf algebrasGK-dimensionFaà di Bruno Hopf algebraLyndon-Shirshov basisshuffle type polynomials

Mathematics Subject Classification ID

Homological dimension in associative algebras (16E10) Associative rings determined by universal properties (free algebras, coproducts, adjunction of inverses, etc.) (16S10) Hopf algebras and their applications (16T05) Bialgebras (16T10)

Cites Work

• Exponential polynomials
• The diamond lemma for ring theory
• Connected Hopf algebras and iterated Ore extensions.
• Hopf algebras.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Dualising complexes and twisted Hochschild (co)homology for Noetherian Hopf algebras.
• A natural ring basis for the shuffle algebra and an application to group schemes
• Coalgebras and Bialgebras in Combinatorics
• Noetherian PI Hopf algebras are Gorenstein
• Free differential calculus. IV: The quotient groups of the lower central series
• Free Hopf algebras generated by coalgebras
• Five interpretations of Faà di Bruno's formula
• COMBINATORIAL HOPF ALGEBRAS IN QUANTUM FIELD THEORY I
• Non-commutative Hopf algebra of formal diffeomorphisms.
• Operators on Hopf Algebras
• Hopf quivers and Nichols algebras in positive characteristic
• Title not available (Why is that?)
• Noncommutative Bell polynomials, quasideterminants and incidence Hopf algebras.
• On finite GK-dimensional Nichols algebras over abelian groups
• Universal Enveloping Algebras with Subexponential but not Polynomially Bounded Growth
• A classification result on prime Hopf algebras of GK-dimension one
• A Hopf algebra arising from the lattice of partitions of a set
• Examples of finite-dimensional pointed Hopf algebras in positive characteristic
• Title not available (Why is that?)

This page was built for publication: Quotient Hopf algebras of the free bialgebra with PBW bases and GK-dimensions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6203877)