Why the Universal Enveloping Algebra–Commutator Adjunction Exists1. Lawvere Theories and Their Models2. Morphisms of Theories and the Pullback Functor3. Left Kan Extension as Left Adjoint4. Concrete Construction of the Universal Enveloping AlgebraUniversal Property5. Hopf Algebra Structure on $U(L)$6. Why This Adjunction Exists in General7. Summary

 

Why the Universal Enveloping Algebra–Commutator Adjunction Exists

1. Lawvere Theories and Their Models

A Lawvere theory $T$$T$ is a small category with objects $0,1,2,\dots$$0,1,2,\dots$ such that each $n$$n$ is the $n$$n$-fold product $1^n$$1^n$. A model (or algebra) of $T$$T$ is a finite-product-preserving functor $M:T\to \mathbf{Set}$$M : T \to \mathbf{Set}$. All models form the functor category $\mathrm{Mod}(T)=[T,\mathbf{Set}{]}_{\times }$$\mathrm{Mod}(T) = [T,\mathbf{Set}]_{\times}$.

Examples

• Semigroups: one binary morphism $m:2\to 1$$m:2\to 1$ satisfying associativity.

• Associative $k$$k$-algebras: multiplication $\mu :2\to 1$$\mu:2\to 1$ plus additive and scalar operations.

• Lie algebras over $k$$k$: a bracket $[-,-]:2\to 1$$[-,-] : 2\to 1$ satisfying antisymmetry and Jacobi.

2. Morphisms of Theories and the Pullback Functor

Let $f:T_1\to T_2$$f: T_1 \to T_2$ be a finite-product-preserving functor (a theory morphism). It interprets every $T_1$$T_1$-operation as a derived operation in $T_2$$T_2$.

Key example: $T_1$$T_1$ = Lie algebra theory, $T_2$$T_2$ = associative algebra theory. Define $f$$f$ by sending the Lie bracket to the commutator in $T_2$$T_2$:

$$f([-,-{]}_{\text{Lie}})=\mu \circ ⟨{\pi }_1,{\pi }_2⟩-\mu \circ ⟨{\pi }_2,{\pi }_1⟩,$$

where $\mu :2\to 1$$\mu:2\to 1$ is multiplication and ${\pi }_i$$\pi_i$ are projections. This $f$$f$ respects the axioms (antisymmetry, Jacobi) hence is a valid theory morphism.

Every theory morphism $f$$f$ induces a pullback functor (forgetful/commutator functor)

$$f^{\ast }:\mathrm{Mod}(T_2)⟶\mathrm{Mod}(T_1),f^{\ast }(M)=M\circ f.$$

For an associative algebra $A$$A$ (a $T_2$$T_2$-model), $f^{\ast }(A)$$f^*(A)$ is the Lie algebra with bracket $[a,b]=ab-ba$$[a,b] = ab-ba$. Thus $f^{\ast }$$f^*$ is exactly the commutator functor $\mathrm{Lie}:{\mathrm{Alg}}_k\to {\mathrm{Lie}}_k$$\mathrm{Lie} : \mathrm{Alg}_k \to \mathrm{Lie}_k$.

3. Left Kan Extension as Left Adjoint

The category $\mathrm{Mod}(T)$$\mathrm{Mod}(T)$ is complete and cocomplete (because $\mathbf{Set}$$\mathbf{Set}$ is). The functor $f^{\ast }$$f^*$ preserves all limits. By the adjoint functor theorem (or direct construction), it has a left adjoint

$$f_{!}:\mathrm{Mod}(T_1)⟶\mathrm{Mod}(T_2).$$

This left adjoint is given by the left Kan extension along $f$$f$: for a $T_1$$T_1$-model $N$$N$,

$$f_{!}(N)(n)={\mathrm{colim}}_{(f(m)\to n)\in (f\downarrow n)}N(m),$$

where $n\in T_2$$n \in T_2$. When restricted to product‑preserving functors, this colimit again preserves finite products, so $f_{!}$$f_!$ lands in models.

The adjunction is

$${\mathrm{Hom}}_{\mathrm{Mod}(T_2)}(f_{!}(N),M)\cong {\mathrm{Hom}}_{\mathrm{Mod}(T_1)}(N,f^{\ast }(M)).$$

For $T_1$$T_1$ = Lie, $T_2$$T_2$ = associative algebras, $f_{!}$$f_!$ sends a Lie algebra $L$$L$ to an associative algebra $U(L)$$U(L)$, the universal enveloping algebra. The adjunction becomes the classic universal property:

$${\mathrm{Hom}}_{\mathrm{Alg}}(U(L),A)\cong {\mathrm{Hom}}_{\mathrm{Lie}}(L,\mathrm{Lie}(A)).$$

4. Concrete Construction of the Universal Enveloping Algebra

Let $L$$L$ be a Lie algebra over a field $k$$k$. Define the tensor algebra

$$T(L)=\underset{n\ge 0}{⨁}{L}^{\otimes n},\text{with product given by tensor product}.$$

Let $I$$I$ be the two‑sided ideal generated by all elements of the form

$$x\otimes y-y\otimes x-[x,y],x,y\in L.$$

Then the universal enveloping algebra is

$$U(L)=T(L)/I.$$

Universal Property

For any associative algebra $A$$A$ and any Lie algebra homomorphism $\phi :L\to \mathrm{Lie}(A)$$\varphi : L \to \mathrm{Lie}(A)$, there exists a unique associative algebra homomorphism $\tilde{\phi }:U(L)\to A$$\widetilde{\varphi} : U(L) \to A$ such that $\tilde{\phi }(x+I)=\phi (x)$$\widetilde{\varphi}(x + I) = \varphi(x)$ for all $x\in L$$x\in L$. In diagram form:

$$L\iota \phi U(L)\tilde{\phi }A$$

where $\iota :L\to U(L)$$\iota : L \to U(L)$ is the canonical injection (in fact a Lie algebra homomorphism).

5. Hopf Algebra Structure on $U(L)$$U(L)$

The universal enveloping algebra carries a natural Hopf algebra structure:

• Coproduct $\mathrm{\Delta }:U(L)\to U(L)\otimes U(L)$$\Delta : U(L) \to U(L) \otimes U(L)$ defined on generators by $\mathrm{\Delta }(x)=x\otimes 1+1\otimes x$$\Delta(x) = x\otimes 1 + 1\otimes x$ for $x\in L$$x\in L$, and extended as an algebra homomorphism.

• Counit $\epsilon :U(L)\to k$$\varepsilon : U(L) \to k$ defined by $\epsilon (x)=0$$\varepsilon(x) = 0$ for $x\in L$$x\in L$ and $\epsilon (1)=1$$\varepsilon(1) = 1$.

• Antipode $S:U(L)\to U(L{)}^{\mathrm{op}}$$S : U(L) \to U(L)^{\mathrm{op}}$ defined by $S(x)=-x$$S(x) = -x$ on generators and extended as an anti‑algebra homomorphism.

These maps are well‑defined because they respect the defining ideal $I$$I$. The Hopf algebra structure is crucial for representation theory: modules over $U(L)$$U(L)$ are precisely Lie algebra representations of $L$$L$, and the coproduct makes the tensor product of representations a representation.

6. Why This Adjunction Exists in General

The existence is a categorical inevitability:

• Any theory morphism $f:T_1\to T_2$$f : T_1 \to T_2$ gives a pullback $f^{\ast }:\mathrm{Mod}(T_2)\to \mathrm{Mod}(T_1)$$f^* : \mathrm{Mod}(T_2) \to \mathrm{Mod}(T_1)$.

• The functor category $[T,\mathbf{Set}]$$[T,\mathbf{Set}]$ is locally presentable, so $f^{\ast }$$f^*$ (which preserves limits) has a left adjoint $f_{!}$$f_!$.

• Restriction to product‑preserving functors preserves adjunction because the left Kan extension of a product‑preserving functor along a product‑preserving functor again preserves products.

Therefore the free-forgetful adjunction is a special case (take $T_1$$T_1$ = trivial theory, $T_2$$T_2$ = any theory).
The universal enveloping algebra is simply the instance where $T_1$$T_1$ = Lie theory, $T_2$$T_2$ = associative algebra theory, and the morphism $f$$f$ sends bracket to commutator.

7. Summary

• The commutator functor $\mathrm{Lie}:{\mathrm{Alg}}_k\to {\mathrm{Lie}}_k$$\mathrm{Lie} : \mathrm{Alg}_k \to \mathrm{Lie}_k$ is the pullback $f^{\ast }$$f^*$ induced by the theory morphism $f$$f$ (bracket → commutator).

• Its left adjoint $f_{!}$$f_!$ is the universal enveloping algebra functor $U:{\mathrm{Lie}}_k\to {\mathrm{Alg}}_k$$U : \mathrm{Lie}_k \to \mathrm{Alg}_k$.

• This adjunction $f_{!}⊣f^{\ast }$$f_! \dashv f^*$ exists for every theory morphism; it is the general categorical reason behind all “free–forgetful” and “universal enveloping” constructions.

• Moreover, $U(L)$$U(L)$ is a Hopf algebra, providing a bridge between Lie algebras and quantum groups.

Thus the universal enveloping algebra–commutator adjunction is not a coincidence but a special case of the left Kan extension–pullback adjunction coming from a morphism of Lawvere theories.