---
title: Operadic Formal Moduli Problems
url: https://www.emergentmind.com/topics/operadic-formal-moduli-problems
type: topic
---

# Operadic Formal Moduli Problems

Operadic formal moduli problems are formal deformation problems indexed not merely by commutative Artin algebras, but by Artin objects in the category of algebras over an operad. In characteristic zero, the classical theorem of Lurie and Pridham identifies formal moduli problems with dg Lie algebras. The operadic extension replaces the pair \((\mathrm{Com},\mathrm{Lie})\) by a Koszul-dual pair \((\mathcal P,\mathcal P^!)\), and identifies \(\mathcal P\)-parametrized formal moduli problems with algebras over the Koszul dual operad. This places classical deformation theory, associative and commutative deformation theory, permutative and pre-Lie structures, \(E_n\)-algebras, and even deformation theory of operads themselves in a single Koszul-dual framework [1912.13495][2211.09652].

## 1. Classical deformation-theoretic background

The classical setting studies formal moduli problems
\[
F:\Art^{\mathrm{comm}}_k\to \mathrm{Spaces}
\]
on connective commutative Artin local dg-algebras over a field \(k\) of characteristic zero. The Schlessinger conditions require \(F(0)\simeq *\) and preservation of pullbacks along square-zero extensions. Lurie and Pridham prove that the resulting \(\infty\)-category of formal moduli problems is canonically equivalent to the \(\infty\)-category of dg Lie algebras over \(k\),
\[
\mathrm{FMP}_k \simeq \mathrm{LieAlg}_k,
\]
with a dg Lie algebra \(\mathfrak g\) corresponding to the functor
\[
A\longmapsto \Map_{\mathrm{Lie}}(D(A),\mathfrak g),
\qquad
D(A)=\Bar_{\mathrm{Comm}}(A)^\vee,
\]
where \(D(A)\) is the linear dual of the Harrison complex of \(A\) [1912.13495].

A more abstract formulation replaces commutative Artin algebras by a deformation context \((\mathcal A,E)\), where \(\mathcal A\) is a presentable \(\infty\)-category equipped with first-order objects \(E=\{E_n\}_{n\ge 0}\subset \mathrm{Stab}(\mathcal A)\). Artinian objects are those obtained from the terminal object by finitely many pullbacks along the associated small extensions, and a formal moduli problem is a functor from the full subcategory of Artinian objects to spaces that sends the terminal object to a point and carries small pullbacks to pullbacks [2307.11187]. In this language, the classical commutative theory is one instance of a broader deformation-theoretic pattern.

The interpretation of the axioms is standard but structurally important. The condition \(F(0)\simeq *\) expresses uniqueness of the trivial deformation, while the pullback condition packages infinitesimal lifting and obstruction theory into a single homotopy-theoretic statement. In the operadic setting, these two features persist unchanged, but the test objects and tangent structures are determined by the operad \(\mathcal P\) rather than by commutative algebra alone [2211.09652].

## 2. Operadic Artin objects and Schlessinger conditions

Fix a coloured dg-category \(\mathcal A\) and an augmented \(\mathcal A\)-operad \(P\). The corresponding Artin \(P\)-algebras form the smallest full sub-\(\infty\)-category
\[
\Art_P \subset \Alg_P
\]
containing the trivial \(P\)-algebras \(c[n]\) and closed under homotopy pullback along maps \(c[n]\to 0\), where \(c[n]\) denotes one generator of colour \(c\) in degree \(-n\). Equivalently, \(\Art_P\) consists, up to quasi-isomorphism, of those \(P\)-algebras \(A\) whose homology \(H^*(A)\) is finite total in nonpositive degrees and whose \(H^0(A)\) is nilpotent over the \(H^0(P)\)-algebra \(H^0(A)\) [1912.13495].

In a parallel point-set formulation, one starts from an augmented dg-operad \(\mathcal P\) over a field \(\Bbbk\) and defines \(\Art_{\mathcal P}\) as the full sub-\(\infty\)-category of dg \(\mathcal P\)-algebras generated under homotopy pullbacks along
\[
0\longrightarrow S^n \qquad (n\ge 1),
\]
where \(S^n=\Bbbk[n]\) carries the trivial \(\mathcal P\)-structure [2306.07227]. The two presentations use different models for the elementary square-zero extensions, but both isolate the infinitesimal test algebras relevant for deformation theory.

A \(P\)-algebraic formal moduli problem is then a functor
\[
F:\Art_P\to \mathrm{Spaces}
\]
such that \(F(0)\simeq *\) and such that every pullback square
\[
\begin{tikzcd}
A' \ar[r] \ar[d] & 0 \ar[d] \\
A \ar[r] & c[n]
\end{tikzcd}
\]
with \(n\ge 1\) is sent to a homotopy cartesian square of spaces [1912.13495]. The values \(F(c[n])\) are the obstruction spaces for lifting deformations along square-zero extensions by \(c[n-1]\). In the operadic formulation, the Schlessinger test is therefore internal to the algebraic geometry of \(P\)-algebras rather than imposed externally.

This construction is flexible enough to accommodate coloured operads, which is essential for deformation theories of algebraic structures involving several interacting colours, such as modules over algebras or operads with auxiliary objects. A plausible implication is that the coloured formalism is not an optional generalization but a structural necessity for many derived deformation problems already present in practice.

## 3. Koszul duality and the main equivalence

The central input is operadic Koszul duality. Let \(P\) be a connected, \(0\)-reduced dg-operad that is Koszul in the sense that the bar-cobar counit
\[
\Omega B P \simeq P
\]
is a quasi-isomorphism. Its Koszul dual operad \(P^!\) is, up to shift, the linear dual of \(BP\). More generally, for a binary quadratic operad generated by an \(\mathbb S\)-module \(E\) with relations \(R\), the Koszul dual cooperad is
\[
P^{\ac}=(E[1],R[2])\subseteq T^c(E[1]),
\]
and the Koszul dual operad is
\[
P^!=(P^{\ac})^\vee[1],
\qquad
P^!(n)=\Hom(P^{\ac}(n),\mathbb Q)[1-n].
\]
The canonical twisting morphism \(\kappa:P^{\ac}\to P\) satisfies the Maurer–Cartan equation in the convolution dg Lie algebra \(\Hom_{\mathbb S\mathrm{mod}}(P^{\ac},P)\), and \(P\) is Koszul precisely when the natural map \(\Omega P^{\ac}\to P\) is a quasi-isomorphism [2211.09652].

For such \(P\), stable homotopy methods yield an adjoint pair
\[
D:\Alg_P\to \Alg_{P^!}^{op},
\qquad
D':\Alg_{P^!}^{op}\to \Alg_P,
\]
where
\[
D(A)=B_P(A)^\vee
\]
is the dual of the operadic bar construction and
\[
D'(\mathfrak g)=R\,\Der_{P^!}(\mathfrak g,\mathcal A^{op})
\]
is given by derived derivations. The main theorem states that \(D\) induces an equivalence
\[
\mathrm{MC}:\Alg_{P^!}\xrightarrow{\;\simeq\;} \mathrm{FMP}_P,
\]
with inverse given by the tangent complex \(F\mapsto T(F)\). Concretely,
\[
\mathrm{MC}_{\mathfrak g}(A)=\Map_{P^!}(D(A),\mathfrak g)
\]
defines the formal moduli problem associated to a \(P^!\)-algebra \(\mathfrak g\) [1912.13495].

A closely related formulation, emphasized in expository and survey treatments, is the canonical equivalence
\[
\mathrm{FMP}_P \simeq \Alg_{P^!},
\]
or, with the conventional suspension absorbed into the operad, an equivalence with algebras over \((P^!)^{\langle -1\rangle}\). Under this equivalence the tangent complex functor lifts to a \(P^!\)-algebra structure on \(T_F[-1]\), and the inverse sends a good \(P^!\)-algebra \(\mathfrak g\) to the Maurer–Cartan functor \(A\mapsto \mathrm{MC}(A\otimes_k\mathfrak g)\) [2211.09652][2307.11187].

The proof uses the same formal pattern as the classical Lurie–Pridham theorem. One checks that for Artin \(A\), the unit \(A\to D'D(A)\) is an equivalence, that \(D(c[n])\simeq \mathrm{Free}_{P^!}(c[-n])\), and that \(D\) sends Artin pullbacks to pushouts of \(P^!\)-algebras. In the expository account of Ramachandra, the argument is also phrased via the bar-cobar Quillen adjunction, identification of the relevant monad, and invariance of Maurer–Cartan spaces under quasi-isomorphisms through the Dolgushev–Rogers and Hinich–Getzler Goldman–Millson theorem [1912.13495][2211.09652].

## 4. Tangent complexes, Maurer–Cartan spaces, and obstructions

Every operadic formal moduli problem has a tangent object built from its values on the elementary Artin algebras. For \(F:\Art_P\to\mathrm{Spaces}\), one defines the tangent spectrum by
\[
T(F)_c=\{F(c[n])\}_n.
\]
This forms an \(\Omega\)-spectrum and carries a module structure over the operad \(H^*(P)^!\) acting on each colour. For a \(P\)-algebraic formal moduli problem, \(T(F)\) is the corresponding \(P^!\)-algebra, up to the conventional shift. If \(F=\mathrm{MC}_{\mathfrak g}\), then
\[
T_x\,\mathrm{MC}_{\mathfrak g}=\mathfrak g.
\]
Obstructions to lifting along a morphism \(A\to A'\) with kernel \(c[n-1]\) lie in
\[
\pi_0F(c[n])\simeq H^0(T(F)_c[n]),
\]
which in the classical Lie case reduces to Chevalley–Eilenberg cohomology obstruction classes [1912.13495].

The tangent algebra admits an explicit operadic model. If \(\phi\) is a \(P\)-algebra structure on a complex \(V\), its deformation complex is the operadic convolution Lie algebra
\[
\mathfrak g
=
\operatorname{Tot}\!\bigl(\Conv(P^!,\End_V)\bigr)
=
\prod_{n\ge 1}\Hom_{\Sigma_n}\bigl(P^!(n),\End_V(n)\bigr)[-1],
\]
with bracket induced by the pre-Lie grafting of trees. Maurer–Cartan elements in \(\mathfrak g\) are exactly \(P_\infty\)-structures on \(V\). Equivalently,
\[
T_V^P \simeq \Der_P(\Omega B(V),\Omega B(V)) \simeq \mathfrak g,
\]
so the tangent object is simultaneously a derived derivation complex and a convolution Lie algebra [2307.11187].

This explicit description is fundamental for concrete deformation theory. Invariantly, coderivations of the cofree \(P^!\)-coalgebra \(P^!(V)\) identify with \(\Hom(P^!(V),V)\), and the resulting \(L_\infty\)-structure packages higher deformation operations. When one passes from the tangent algebra to the corresponding formal moduli problem, the Deligne \(\infty\)-groupoid
\[
\mathrm{Delwig}(\mathfrak g)=\mathrm{MC}\bigl(\mathfrak g\widehat\otimes \Omega[\Delta^\bullet]\bigr)
\]
provides the associated deformation space, and filtered quasi-isomorphisms of \(L_\infty\)-algebras induce equivalences of formal moduli problems [2307.11187].

The obstruction-theoretic meaning of the tangent spectrum and the explicit Maurer–Cartan model together show that operadic formal moduli theory is not merely a categorical generalization. It also retains a workable chain-level control theory for infinitesimal deformations.

## 5. Principal examples

The general theorem specializes to a range of standard and nonstandard operads.

| \(P\) | Koszul dual \(P^!\) | Resulting equivalence |
|---|---|---|
| \(\mathrm{Com}\) | \(\mathrm{Lie}\) | \(\mathrm{FMP}_k\simeq \mathrm{LieAlg}_k\) |
| \(\mathrm{Ass}\) | \(\mathrm{Ass}\) | \(\mathrm{FMP}_{\mathrm{Ass}}\simeq \Alg_{\mathrm{Ass}}\) |
| \(\mathrm{Perm}\) | \(\mathrm{preLie}\) | \(\mathrm{FMP}_{\mathrm{Perm}}\simeq \Alg_{\mathrm{preLie}}\) |
| \(E_n\) | self-dual up to shift | \(\mathrm{FMP}_{E_n}\simeq \Alg_{E_n}\) |
| \(\mathrm{Op}^{nu}\) | self-dual | \(\mathrm{FMP}_{\mathrm{Op}^{nu}}\simeq \Alg_{\mathrm{Op}^{nu}}\) |

For \(P=\mathrm{Com}\), one recovers the classical correspondence between formal moduli problems on commutative Artin algebras and dg Lie algebras. In one standard model, a dg Lie algebra \(L\) gives the functor
\[
A\longmapsto \mathrm{MC}(L\otimes m_A)/\text{gauge},
\]
where \(m_A\) is the maximal ideal of the augmented cdga \(A\) [2211.09652].

For \(P=\mathrm{Ass}\), the Koszul dual is again \(\mathrm{Ass}\), and every \(A_\infty\)-algebra arises as the tangent of some associative formal moduli problem. The corresponding deformation functor is
\[
\mathrm{Spf}_{\mathrm{Ass}}(A):B\mapsto \mathrm{MC}(A\otimes m_B),
\]
recovering classical deformation theory of associative algebra structures. On the chain level, the tangent Lie algebra is the Hochschild cochain complex with the Gerstenhaber bracket [2211.09652][2307.11187].

For \(P=\mathrm{Perm}\), the defining axiom is
\[
x\cdot (y\cdot z)=x\cdot (z\cdot y),
\]
and the Koszul dual is the operad \(\mathrm{preLie}\). Hence
\[
\mathrm{FMP}_{\mathrm{Perm}}\simeq \Alg_{\mathrm{preLie}}.
\]
A pre-Lie algebra \((V,\{-,-\})\) satisfies
\[
\{\{u,v\},w\}-\{u,\{v,w\}\}
=
\{\{u,w\},v\}-\{u,\{w,v\}\}.
\]
This identifies permutative deformation theory with tangent objects governed by pre-Lie operations [1912.13495].

For \(P=E_n\), each \(E_n\) is Koszul self-dual up to shift, so one obtains
\[
\mathrm{FMP}_{E_n}\simeq \Alg_{E_n}.
\]
In particular, for \(n=2\), tangent complexes are \(E_2\)-algebras, which appear in deformation quantization of Poisson structures [2211.09652].

A structurally distinctive example is the operad of augmented operads themselves. Let \(\mathrm{Op}^{nu}\) be the unital-augmentation-ideal operad of symmetric operads. It is Koszul self-dual, and therefore
\[
\mathrm{FMP}_{\mathrm{Op}^{nu}}\simeq \Alg_{\mathrm{Op}^{nu}}.
\]
For a nonunital operad \(R\),
\[
\mathrm{MC}_R(S)=\Map_{\mathrm{Op}^{nu}}(D(R),S)
\]
describes deformations of the trivial map \(\mathrm{Op}^{nu}\to S\). This example shows that operadic formal moduli theory applies not only to algebras over operads but also to operads as deformation-theoretic objects in their own right [1912.13495].

## 6. Extensions, limitations, and relations to operadic centers

A significant extension is the operadic framework of Le Grignou and Roca i Lucio, which constructs an adjunction in any characteristic. After choosing a cofibrant replacement \(\mathcal P\simeq \Omega C\), they obtain
\[
\Phi:\FMP_{\Omega C}\rightleftarrows \mathrm{dg}(C^*)\text{-}\mathrm{alg}:\Psi,
\]
with
\[
\Psi(A)(R)=\Map_{\mathrm{dg}(C^*)\text{-}\mathrm{alg}}\bigl(\Res\,\widehat\Omega(R),A\bigr).
\]
This adjunction is not automatically an equivalence. The criterion is homotopy-completeness: on cellular algebras, the adjunction is an equivalence precisely when the relevant unit maps are quasi-isomorphisms, equivalently when the canonical inclusion
\[
\bigoplus_{n\ge 0}(C(n)^*\otimes V^{\otimes n})^{\mathbb S_n}
\longrightarrow
\prod_{n\ge 0}(C(n)^*\otimes V^{\otimes n})^{\mathbb S_n}
\]
is a quasi-isomorphism for finite-dimensional \(V\) in degrees \(\le 0\). This holds when the cooperad \(C\) is tempered in the sense that
\[
\forall\,k,\ \exists\,N\ \text{such that}\ H_i(C(n))=0
\quad (i\le k,\ n\ge N).
\]
Under this hypothesis one gets
\[
\FMP_{\Omega C}\simeq \mathrm{dg}\,C^*\text{-}\mathrm{alg},
\]
which reproves the Lurie–Pridham theorem for \(\mathrm{Com}\) because \(B(\mathrm{Com})\) is tempered [2306.07227].

The same work emphasizes that these constructions admit point-set realizations by honest Quillen adjunctions rather than only abstract \(\infty\)-categorical existence statements. This yields explicit models for the algebras controlling infinitesimal deformation problems and provides a direct route to examples such as \(E_k\)-algebras, partition Lie algebras in positive characteristic, and permutative formal moduli problems [2306.07227].

At the same time, the ambient homotopy theory has limitations that are easy to overlook. Ramachandra records that the \(\infty\)-category \(\Fun(P\text{-Artin}^{op},\mathcal S)\) is not stable: its homotopy category fails to be triangulated because suspension and loop do not become inverse equivalences inside Artin \(P\)-algebras. This is one reason the stable world of spectra and \(\infty\)-operads is indispensable in the theory rather than a matter of formal convenience [2211.09652].

Recent work also connects operadic formal moduli problems to \(\infty\)-operadic centers. For \(A\in \Alg_P(k)\), the deformation problem \(\Def_A\) and its automorphism or gauge problem \(\Aut_A\) are related by the statement that \(\Aut_A\) lifts to a \(P^!\)-operadic formal moduli problem represented by the center of \(A\) in the \(\infty\)-category of \(P\)-algebras, equivalently by the center of the pair \((\mathrm{Mod}_A,A)\). Under the equivalence \(\mathrm{FMP}_P\simeq \Alg_{P^!}\), the \(P^!\)-algebra \(Z(A)\) controls the \(P\)-deformation theory of the module category of \(A\), and gauge transformations are recovered as Maurer–Cartan elements in \(Z(A)[-1]\) [2607.05455].

These developments suggest a broad conceptual picture. Operadic formal moduli problems organize deformation theory by the Koszul-dual algebraic structure carried by the tangent complex; explicit bar-cobar and convolution models make this structure calculable; and the same formalism interfaces naturally with higher centers, Hochschild cochains, deformation quantization, and moduli of algebraic structures with symmetries. Open directions recorded in the literature include non-Koszul and non-quadratic operads, global rather than purely formal moduli, and interactions with shifted symplectic and Poisson structures [2211.09652].

Source: https://www.emergentmind.com/topics/operadic-formal-moduli-problems