Let ${k}$ be a field of characteristic zero. In the previous post, we introduced the category (i.e., ${\infty}$-category) ${\mathrm{Moduli}_k}$ of formal moduli problems over ${k}$. A formal moduli problem over ${k}$ is a moduli problem, taking values in spaces, that can be evaluated on the class of “derived” artinian ${k}$-algebras with residue field ${k}$: this was the category ${\mathrm{CAlg}_{sm}}$ introduced in the previous post.

In other words, a formal moduli problem was a functor

$\displaystyle F: \mathrm{CAlg}_{sm} \rightarrow \mathcal{S} \ (= \text{spaces}),$

which was required to send ${k}$ itself to a point, and satisfy a certain cohesiveness condition: ${F}$ respects certain pullbacks in ${\mathrm{CAlg}_{sm}}$ (which corresponded geometrically to pushouts of schemes).

The main goal of the series of posts was to sketch a proof of (and define everything in) the following result:

Theorem 7 (Lurie; Pridham) There is an equivalence of categories between ${\mathrm{Moduli}_k}$ and the ${\infty}$-category ${\mathrm{dgLie}}$ of DGLAs over ${k}$.

4. Overview

Here’s a rough sketch of the idea. Given a formal moduli problem ${F}$, we should think of ${F}$ as something like a small space, concentrated at a point but with lots of “infinitesimal” thickening. (Something like a ${\mathrm{Spf}}$.) Moreover, ${F}$ has a canonical basepoint corresponding to the “trivial deformation.” That is, we can think of ${F}$ as taking values in pointed spaces rather than spaces.

It follows that we can form the loop space ${\Omega F = \ast \times_F \ast}$ of ${F}$, which is a new formal moduli problem. However, ${\Omega F}$ has more structure: it’s a group object in the category of formal moduli problems — that is, it’s some sort of derived formal Lie group. Moreover, knowledge of the original ${F}$ is equivalent to knowledge of ${\Omega F}$ together with its group structure: we can recover ${F}$ as ${B \Omega F}$ (modulo connectivity issues that end up not being a problem). This relation between ordinary objects and group objects (via ${B, \Omega}$) is something very specific to the derived or homotopy world, and it’s what leads to phenomena such as Koszul duality. (more…)