# The Milnor–Moore Theorem

This post is about the Milnor–Moore theorem, a powerful tool describing the structure of (co)commutative Hopf algebras. Like the Eckmann–Hilton argument, it shows that having multiple compatible operations on the same object can lead to unexpected results about the object. Briefly, the theorem says that as soon as the Hopf algebra is cocommutative and connected, then it is isomorphic to the universal enveloping algebra of a Lie algebra (and a similar dual statement is true for commutative Hopf algebras).

As the name indicates, the theorem is due to Milnor and Moore in the paper cited below. The details of this post will mostly be based on the Chapter 7 of the book of Fresse cited below, and if there’s no reference for a theorem or a proposition, you can find it there. As usual, I mostly wanted to write this post because I often find myself forgetting how the proof of the theorem goes, and hopefully writing for a general audience it will fix it in my mind.

## Hopf algebras

### Algebras and coalgebras

A Hopf algebra is the combination of two structures: associative algebra and coassociative coalgebra. Let’s recall what that means. From now on we assume that we are working over some field $k$; later, we will assume that this field has characteristic zero.

**Definition.** A (unital) associative algebra is a vector space $A$ equipped with a product $μ:A⊗A→A$ and a unit $η:k→A$ satisfying:

If we write $μ(a⊗b)=a⋅b$ and $η(1_{k})=1_{A}$, then these two axioms merely say that $(a⋅b)⋅c=a⋅(b⋅c)$ and $1_{A}⋅a=a=a⋅1_{A}$.

The definition of a coalgebra is more-or-less formally dual:

**Definition.** A coassociative coalgebra is a vector space $C$ equipped with a coproduct $Δ:C→C⊗C$ and a counit $ε:C→k$ satisfying:

We will use Sweedler’s notation: for $x∈C$, we write

The counitality axiom then becomes, for example, $∑_{(x)}ε(x_{1})x_{2}=x=∑_{(x)}x_{1}ε(x_{2})$.

We will immediately switch to the differential graded (dg) setting. A graded vector space is a vector space $V$ equipped with a decomposition $V=⨁_{n∈Z}V_{n}$. A differential on such a vector space is a linear map $d:V→V$ of degree $−1$ (i.e. $d(V_{n})⊂V_{n−1}$) that satisfies $d∘d=0$.

A **graded algebra** is a graded vector space equipped with the structure of an algebra compatible with the grading: $μ(A_{p}⊗A_{q})⊂A_{p+q}$. A derivation on a graded associative algebra $A$ is a map $d:A→A$ of degree $−1$ such that $d(ab)=(da)⋅b+(−1)_{∣b∣}a⋅(db)$ (this is the last time I’ll write an explicit sign, from now on I’ll use the Koszul rule of signs). A **dg-algebra** is, finally, a graded algebra equipped with a derivation $d$ satisfying $d∘d=0$. The definition of a **dg-coalgebra** is similar (just add “co-” in front of every word).

**Example.** The base field $k$ itself has both the structure of an algebra and a coalgebra, given by the canonical isomorphism $k≅k⊗k$, and the identity for the (co)unit.

### Bialgebras and Hopf algebras

**Definition.** A (dg-)**bialgebra** is a dg-vector space $H$ equipped with the structure of an algebra and the structure of a coalgebra such that the coproduct and the counit are morphisms of algebras, where $k$ is given its canonical algebra structure (or equivalently, the product and the unit are morphisms of coalgbras).

A **Hopf algebra** is a bialgebra $H$ equipped with a linear endomorphism $σ:H→H$ satisfying, for all $x∈H$:

This is a lot of structure! There’s a product, a unit, a coproduct, a counit, and an antipode, satisfying a whole bunch of relations. If it exists, the antipode is unique, but its existence is not guaranteed. Fortunately, most of the time the antipode comes for free:

**Theorem.** Let $H$ be a bialgebra, and suppose that $H$ is **connected**, i.e. $H_{i}=0$ for $i<0$ and $H_{0}=k$ (and the (co)unit are the identity). Then there exists an antipode making $H$ into a Hopf algebra.

### Examples

#### Tensor algebra

The tensor algebra $T(V)$ on some dg-module $V$ is given by:

with grading and differential induced by the grading and the differential of $V$ ($V_{⊗0}=k$ is put in degree 0 and has trivial differential). The product is given by concatenation of tensors:

and the unit is $η:k≅V_{⊗0}$. Then $T(V)$ is the free associative algebra on $V$: for all algebras $A$ and dg-linear morphism $f:V→A$, there exists a unique dg-algebra morphism $T(V)→A$ lifting $f$ (through the obvious inclusion $V=V_{⊗1}⊂T(V)$).

One can then define a Hopf algebra structure on $T(V)$: the counit $ε:T(V)→k$ lifts $0:V→k$, the coproduct lifts $V→T(V)⊗T(V)$, $v↦v⊗1+1⊗v$, and the antipode lifts $V→T(V)$, $v↦−v$. It’s possible to explicitly describe the coproduct using shuffles:

Note that the coproduct is cocommutative, but the product is not commutative.

#### Tensor coalgebra

The tensor coalgebra $T_{c}(V)$ on some dg-module $V$ is also given by:

The underlying dg-module is the same, but the Hopf algebra structure is different. Now it’s the coproduct that’s described more easily: it is given by deconcatenation of tensors,

The counit is again given by $ε(v_{1}⊗⋯⊗v_{n})=0$ if $n≥1$. Then $T_{c}(V)$ is the cofree *conilpotent* coassociative coalgebra on $V$: for every conilpotent coalgebra $C$ and every dg-linear morphism $f:C→V$, there exists a unique dg-coalgebra morphism $C→T_{c}(V)$ lifting $f$ through the obvious projection $T_{c}(V)→V$. (A fun exercise.)

The product and the unit are defined similarly as for $T(V)$, and the product is again described using shuffles; it is commutative.

#### Symmetric coalgebras

The symmetric algebra $S(V)$ is the quotient of the tensor algebra by the ideal generated by tensors of the forms $v⊗w−±w⊗v$. It is clearly graded commutative, and the coproduct factors through the quotient, giving a Hopf algebra structure that is at the same time commutative and cocommutative.

The symmetric coalgebra $S_{c}(V)⊂T_{c}(V)$ is, on the other hand, given by invariants: $S_{n}(V)=(V_{⊗n})_{Σ_{n}}$ is the module of tensors invariant by the action of the symmetric groups. The product and coproduct factor through the inclusion, and moreover the coproduct becomes cocommutative when restricted to $S_{c}(V)$: it is also a commutative and cocommutative Hopf algebra. In characteristic zero, $S(V)$ and $S_{c}(V)$ are in fact isomorphic using the trace map.

## Structure of Hopf algebras

### Primitive elements and indecomposable

From now on, we let $H$ be some Hopf algebra.

**Definition.** An element $x∈H$ is said to be **primitive** if $ε(x)=0$ and $Δ(x)=x⊗1+1⊗x$. The set of primitive elements is $PH$.

**Proposition.** The set of primitive elements $PH$ is a Lie algebra, with bracket given by the commutator $[x,y]=xy−±yx$.

This is not very hard to check. The functor $P$ of primitive elements is in fact right adjoint to the functor $U$ of universal enveloping algebras.

**Proposition.** The inclusion $V⊂S(V)$ induces isomorphism $V≅PS(V)$, where $V$ is endowed with the abelian Lie algebra structure. The inclusion $V⊂T(V)$ induces an isomorphism between $L(V)$, the free Lie algebra on $V$, and $PT(V)$.

This gives a concrete way of defining the free Lie algebra.

We can do a dual construction with indecomposables. The augmentation ideal of $H$ is $Hˉ=kerε$ (more generally, this is defined for an augmented algebra). The product of $H$ defines a map on the quotient $μˉ :Hˉ⊗Hˉ→Hˉ$, and we can define:

**Definition.** The module of **indecomposables** $QH$ is the quotient $Hˉ/im(μˉ )=:Hˉ/Hˉ_{2}$.

**Proposition.** The dg-module $QH$ is a Lie coalgebra, with cobracket $δ:QH→QH∧QH$ given by the antisymmetrisation of the coproduct of $H$.

The verification of this is formally dual to the proof of the proposition about primitive elements, and $Q$ is left adjoint to the functor $U_{c}$ of universal coenveloping coalgebras.

**Proposition.** The projection $S_{c}(V)→V$ induces an isomorphism $QS_{c}(V)→V$, where $V$ is endowed by the abelian Lie coalgebra structure. The projection $T_{c}(V)→V$ induces an isomorphism from $QT_{c}(V)$ to $L_{c}(V)$, the cofree Lie coalgebra on $V$.

### The theorem of Milnor–Moore

Let us now assume that the base field has characteristic zero. We will not state the Milnor–Moore theorem in full generality: I will assume the restrictive hypothesis that $H$ is connected and has finite type, but the theorem applies more generally to locally conilpotent Hopf algebras.

**Theorem [Milnor–Moore].** Let $H$ be a connected, cocommutative Hopf algebra of finite type. Then the inclusion $PH⊂H$ induces an isomorphism of Hopf algebras $U(PH)≅H$.

One also has the dual theorem:

**Theorem$_{∨}$ [Milnor–Moore].** Let $H$ be a connected, commutative Hopf algebra of finite type. Then the quotient map $H→QH$ induces an isomorphism of Hopf algebras $H≅U_{c}(QH)$.

Now the proof (of which I will just give a sketch) is rather nice. I’ll more-or-less follow the original proof of Milnor–Moore. It works by induction, which is easier to understand in the dual case. We will first prove that $H≅S_{c}(QH)$, then conclude by the Poincaré–Birkhoff–Witt theorem.

The first isomorphism is clear if the Hopf algebra only has a single generator (i.e. $QH$ is one-dimensional). Now if $QH=⟨x_{1},…,x_{n+1}⟩$, then one can quotient out by the sub-algebra $H_{′}$ generated by the first $n$ indecomposables to get $H_{′′}$. The quotient has a single generator, and the sub-algebra has $n$ generators, so it is enough to show that $H$ is isomorphic as an algebra to the tensor product of the subalgebra and the quotient.

The quotient map $π:H→H_{′′}$ has a linear section $f$ (which isn’t necessarily a morphism of Hopf algebras). This yields a map $H_{′}⊗H_{′′}→H$. And now the heart of the proof is in proving that this map is an isomorphism of algebras using the Hopf algebra structure. It is used to choose the section $f$ wisely enough so that the resulting map is an isomorphism of algebras.

Now the (dual) Poincaré–Birkhoff–Witt theorem says that $U_{c}QH≅S_{c}(QH)$ is an isomorphism of algebras. The isomorphism (which is explicit) fits in a commutative triangle with the isomorphism $S_{c}(QH)$ just constructed and the canonical morphism of Hopf algebras $H→U_{c}(QH)$. Using the 2-out-of-3 property of isomorphisms, this last map is thus an isomorphism (of Hopf algebras) $H≅U_{c}(QH)$.