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…)