## Lie algebras and homotopy theory

These are notes from a lecture by Jacob Lurie.

Definition. A Lie algebra is an abelian group $L$ with a bilinear operation satisfying skew-symmetry and the Jacobi identity

(Question: these equations look like a complete 2-cycle and a complete 3-cycle?)

Recall. If $G$ is a group, the group commutator is given by If $G$ is a Lie group, we can differentiate the commutator at the identity: to get a bilinear operator which endows the tangent space $T_{G,e}$ the structure of a Lie algebra.

The fundamental group of a space $X$ is where $\Omega X$ is the based loop space of $X$: This space has an operation, concatenation: which is not associative, but induces an associative operation on $\pi_0(\Omega X).$ There is also an inverse operation on $\Omega X$

This $\Omega X$ is not a group, but we can still form a "commutator": This induces maps for $a, b\ge 0.$ Note that $\pi_a(\Omega X) \simeq \pi_{a+1}(X)$. This gives the Whitehead bracket:

The higher homotopy groups of a space $X$ are These groups $\pi_a(X)$ are abelian for $a>1.$

Fact. The Whitehead bracket endows with the structure of a graded Lie algebra.

Definition. A graded Lie algebra is a graded abelian group $L_{\star}$ with a homogenous bilinear operation: satisfying skew-symmetry: and the Jacobi identity:

A homotopy operation of $n$ variables and arity $(a_1,...,a_n)\to b$ is a map natural in $X$.

Example. The Whitehead bracket gives a 2-variable homotopy operation of arity $(a+1, b+1)\to(a+b+1)$ for all $a,b\ge 0.$

Example. Let $f:S^n\to S^m$ be a pointed map. Then $f$ defines a homotopy operation of 1 variable: By general nonsense these are all of the homotopy operations of 1-variable. Note: homotopy groups of spheres are very complicated!

Theorem (Hilton-Milnor). Paraphrase: all homotopy operations can be built from 1-variable operations using the Whitehead bracket. All relations among homotopy operations can be explained using the fact that the Whitehead bracket satisfies the graded Lie algebra identities.

Try to simplify the story by studying rational homotopy groups of spheres.

Definition. A differential graded Lie algebra, or d.g. Lie algebra, is a pair $(L_{\star}, d)$ with $L_{\star}$ a graded Lie algebra, and $d$ a linear map $d : L_{\star} \to L_{(\star-1)}$ such that $d^2=0$ and satisfying the compatibility condition This compatibility condition means that the homology $H_{\star}(L_{\star}, d)$ inherits the structure of a graded Lie algebra.

Construction. (Quillen) There is a construction that takes a simply connected ponted space $(X,x)$ to a differential graded Lie algebra $L_{\star}(X)$ over $\Rational.$ such that and respecting the Lie bracket (on the right hand side the bracket is the Whitehead bracket).

Definition. A map $f:(X,x)\to (Y,y)$ between simply connected pointed spaces is a rational homotopy equivalence if it induces an isomorphism Equivalently, $f$ induces an isomorphism Equivalently, $f$ induces an isomorphism Equivalently, $f$ induces a quasi-isomorphism Recall that a map between chain complexes is a quasi-isomorphism if it induces an isomorphism on the homology.

Quillen's theorem is a converse of this.

A connected d.g. Lie algebra is a d.g. Lie algebra $L_{\star}$ with $L_{\star}=0$ for $\star\le 0.$

Theorem. (Quillen) The construction $(X,x) \mapsto L_{\star}(X)$ induces an equivalence:

This theorem has a "torsion-sensitive" generalization, see Heuts reference below.

Now we want to consider Lie algebras in a variety of contexts.

Let $A$ be a category such that (1) $A$ has a colimites (2) $A$ is additive (3) $A$ is symmetric monoidal with $\otimes$ preserving colimits. (Call these abelian tensor categories.)

Definition. A Lie algebra object internal to $A$ is an object $L\in A$ and a morphism $\mathrm{br}:L\otimes L\to L$ satisfying skew-symmetry (an equation in $\Hom_A(L\otimes L, L)$) and the Jacobi identity (an equation in $\Hom_A(L\otimes L\otimes L, L)$)

The category of Lie algebra objects in $A$ we denote $\Lie(A).$

Examples.

In words: a d.g. Lie algebra is a Lie algebra object internal to the (a?) category of chain complexes.

Claim. There exists a universal abelian tensor category $\Univ$ with a Lie algebra object By universality we mean that where functors $F\in \mathrm{Fun}_{\otimes}(\cdot, \cdot)$ preserve tensor product and colimits. This isomorphism sends $F$ to $F(L_u).$ By abstract nonsense, if $\Univ$ exists, then it is unique up to isomorphism. (Question: is $\Univ$ the walking Lie algebra?)

What does $\Univ$ look like? It has an object $L_u$ and tensor power objects $L_u^{\otimes n}$, colimit objects $\bigoplus_{\alpha} L_u^{\otimes n_{\alpha}}$ and cokernel objects $\mathrm{coker}( \bigoplus_{\alpha} L_u^{\otimes n_{\alpha}} \to \bigoplus_{\beta} L_u^{\otimes n_{\beta}}).$

So now we have:

Problem: we want to classify d.g. Lie algebras up to quasi-isomorphism.

Recall. If $A$ is an abelian category, we can consider $\Chain(A)$, the category of chain complexes with values in $A$. The derived category of $A$ is written $D(A)$ is $\Chain(A)$ with quasi-isomorphisms formally inverted:

Example. There is a construction that sends quasi-isomorphisms to $\otimes$-functor isomorphisms.

Warning. There can be inequivalent abelian categories $A, B$ such that $D(A)\simeq D(B).$

Definition. The category ${\mathcal E}'$ is a functor category: This is a tensor category with tensor product is given by

Claim. There is an equivalence of derived categories

## References

From a lecture "Lie algebras and homotopy theory", by Jacob Lurie. https://www.youtube.com/watch?v=LeaiPHAh0X0

"Lie algebra models for unstable homotopy theory" Gijs Heuts https://arxiv.org/abs/1907.13055