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

Abstract: Let

m a t h b b K

be a field. We study the free bialgebra

m a t h c a l T

generated by the coalgebra

C = m a t h b b K g o p l u s m a t h b b K h

and its quotient bialgebras (or Hopf algebras) over

m a t h b b K

. We show that the free noncommutative Fa`a di Bruno bialgebra is a sub-bialgebra of

m a t h c a l T

, and the quotient bialgebra

o v e r l i n e m a t h c a l T := m a t h c a l T / (E_{a l p h a} | a l p h a (g) g e 2)

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

o v e r l i n e m a t h c a l T

gives a more reasonable non-commutative version of the commutative Fa`a di Bruno bialgebra from the PBW basis point view. If char

m a t h b b K = p > 0

, we obtain a chain of quotient Hopf algebras of

o v e r l i n e m a t h c a l T

:

o v e r l i n e m a t h c a l T w o h e a d r i g h t a r r o w o v e r l i n e {m a t h c a l T}_{n} w o h e a d r i g h t a r r o w o v e r l i n e {m^{'} a t h c a l T}_{n} (p) w o h e a d r i g h t a r r o w o v e r l i n e {m a t h c a l T}_{n} (p) w o h e a d r i g h t a r r o w o v e r l i n e {m a t h c a l T}_{n} (p; d_{1}) w o h e a d r i g h t a r r o w l d o t s w o h e a d r i g h t a r r o w o v e r l i n e {m a t h c a l T}_{n} (p; d_{j}, d_{j - 1}, l d o t s, d_{1}) w o h e a d r i g h t a r r o w l d o t s w o h e a d r i g h t a r r o w o v e r l i n e {m a t h c a l T}_{n} (p; d_{p - 2}, d_{p - 3}, l d o t s, d_{1})

with finite GK-dimensions. Furthermore, we study the homological properties and the coradical filtrations of those quotient Hopf algebras.

Recommendations

Cites work

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