Connected Hopf Algebras

• Connected Hopf algebras are Hopf algebras whose coradical is one-dimensional, ensuring a tractable algebraic structure linked to primitive elements.
• They combine free and cofree constructions to achieve self-duality and allow classification through Poincaré–Hilbert series and universal polynomials.
• Their graded and filtered structures create deep connections with Lie theory and support applications in quasi-shuffle and operadic Hopf algebras.

A connected Hopf algebra is a Hopf algebra whose coradical, the sum of all simple subcoalgebras, is one-dimensional, i.e., $H_0 = k$ for base field $k$. Connectedness ensures the structure is both algebraically tractable and intimately linked to the combinatorics of primitive elements, filtered and graded structures, and extension theory. The study of connected Hopf algebras reveals deep relationships between free and cofree constructions, self-duality, growth and classification via the Poincaré–Hilbert series, and connections to Lie theory and noncommutative algebra.

1. Definitions and Basic Constructions

Let $H = \bigoplus_{n\ge0} H_n$ be a graded vector space over a field $K$, with $H_0 \cong K$ and $H_n = 0$ for $n < 0$. $H$ is a graded, connected Hopf algebra if it is equipped with homogeneous product $m$, unit $\eta$, coproduct $k$0, counit $k$1, and antipode $k$2 such that $k$3 is a Hopf algebra and $k$4 (Foissy, 2010). The augmentation ideal is $k$5.

Free Hopf algebra: $k$6 is free as an algebra if $k$7 for some graded subspace $k$8; in this case, $k$9 with $H = \bigoplus_{n\ge0} H_n$0 the subspace of decomposables.

Cofree Hopf algebra: $H = \bigoplus_{n\ge0} H_n$1 is cofree as a coalgebra if $H = \bigoplus_{n\ge0} H_n$2 with the deconcatenation coproduct for some graded $H = \bigoplus_{n\ge0} H_n$3. Here, $H = \bigoplus_{n\ge0} H_n$4.

Primitive elements and associated Lie algebra: The set of primitive elements,

$H = \bigoplus_{n\ge0} H_n$5

has a natural graded Lie algebra structure.

2. Self-Duality and Structural Theorems

For graded, connected, free and cofree Hopf algebras over a base field of characteristic zero, a canonical nondegenerate, symmetric Hopf pairing exists:

$H = \bigoplus_{n\ge0} H_n$6

which is extended from a nondegenerate symmetric bilinear form on $H = \bigoplus_{n\ge0} H_n$7 degree by degree to all of $H = \bigoplus_{n\ge0} H_n$8, satisfying the Hopf pairing axioms: $H = \bigoplus_{n\ge0} H_n$9 with nondegeneracy maintained at each stage. Associativity and coassociativity are preserved, guaranteeing $K$0 as graded Hopf algebras. Thus, every graded, connected, free and cofree Hopf algebra in characteristic zero is self-dual (Foissy, 2010).

3. Poincaré–Hilbert Series and Growth Conditions

For such $K$1, define the generating functions: $K$2 There exist structural identities: $K$3 where $K$4. Additionally, for $K$5, there are universal polynomials $K$6 with rational coefficients such that

$K$7

Hence, the dimension sequence $K$8 arises from a free–cofree Hopf algebra exactly when $K$9 are nonnegative integers (Foissy, 2010).

4. The Free Lie Algebra of Primitives

Let $H_0 \cong K$0 with $H_0 \cong K$1. There exists a graded subspace $H_0 \cong K$2 such that $H_0 \cong K$3. The following hold:

• $H_0 \cong K$4 freely generates $H_0 \cong K$5 as a Lie algebra, so $H_0 \cong K$6, the free Lie algebra on $H_0 \cong K$7.
• $H_0 \cong K$8 is a free Hopf subalgebra, and $H_0 \cong K$9. The Poincaré–Hilbert series of $H_n = 0$0 (the generator space) coincides with $H_n = 0$1, i.e.,

$H_n = 0$2

This provides an explicit connection between the generators of the free Lie algebra of primitives and the structure of $H_n = 0$3 (Foissy, 2010).

5. Isomorphism and Classification

Let $H_n = 0$4, $H_n = 0$5 be two graded, connected, free and cofree Hopf algebras over a field of characteristic zero. The following are equivalent:

• $H_n = 0$6 as graded Hopf algebras,
• $H_n = 0$7 and $H_n = 0$8 have the same Poincaré–Hilbert series $H_n = 0$9,
• $n < 0$0 as graded vector spaces, equivalently $n < 0$1.

In particular, $n < 0$2 and $n < 0$3 are isomorphic as Hopf algebras (even ungraded) if and only if their Lie algebras of primitive elements have the same number of generators in each degree. This results in a complete classification: all graded, connected, free and cofree Hopf algebras (in characteristic zero) form a family parametrized by the Poincaré–Hilbert series $n < 0$4, or, equivalently, by the dimensions of the generator spaces for their free Lie algebras of primitives (Foissy, 2010).

6. Growth, Filtration, and Further Applications

The links between the algebraic structure and growth conditions are manifest in the interplay between the combinatorics of primitives, graded decompositions, and arbitrary choices of complements. The filtration by coradical degree and the associated graded constructions ensure that the full algebraic data—coalgebra, algebra, and antipode—are uniquely determined by the series $n < 0$5 and the free Lie structure on primitives.

These results are foundational for the structure theory of combinatorial, quasi-shuffle, and operadic Hopf algebras, as well as for applications where explicit computations of Hilbert series and module structures are relevant. The universal polynomials $n < 0$6 encode all obstructions to realizability of a sequence as the graded multiplicities in a free and cofree Hopf algebra (Foissy, 2010).

Summary Table: Fundamental Identities for Free & Cofree Connected Hopf Algebras

Symbol	Definition / Role	Identity
$n < 0$7	Poincaré–Hilbert series of $n < 0$8 (dimensions of $n < 0$9)	$H$0
$H$1	Series for $H$2	$H$3
$H$4	Series for decomposables in $H$5	$H$6
$H$7	Dim. of $H$8	$H$9 (universal polynomial, $m$0)

All such invariants reduce the classification problem to combinatorics of graded Lie algebras and their associated algebraic series. In characteristic zero, these structural results uniquely characterize and distinguish the free and cofree connected Hopf algebras by elementary, algebraic, and combinatorial data (Foissy, 2010).