Operadic Formal Moduli Problems

• Operadic formal moduli problems are a framework for studying deformations by indexing Artin objects in algebras over an operad, generalizing classical dg Lie algebra formulations.
• They leverage Koszul duality by replacing the (Com, Lie) pair with a (P, P!) pair, unifying deformation theories for associative, commutative, and Eₙ-algebras under one model.
• Explicit bar-cobar constructions and tangent complex computations provide practical chain-level tools for handling obstructions and deformation calculations in a homotopy-invariant setting.

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 (Calaque et al., 2019, Ramachandra, 2022).

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$,

$(\mathcal P,\mathcal P^!)$0

with a dg Lie algebra $(\mathcal P,\mathcal P^!)$1 corresponding to the functor

$(\mathcal P,\mathcal P^!)$2

where $(\mathcal P,\mathcal P^!)$3 is the linear dual of the Harrison complex of $(\mathcal P,\mathcal P^!)$4 (Calaque et al., 2019).

A more abstract formulation replaces commutative Artin algebras by a deformation context $(\mathcal P,\mathcal P^!)$5, where $(\mathcal P,\mathcal P^!)$6 is a presentable $(\mathcal P,\mathcal P^!)$7-category equipped with first-order objects $(\mathcal P,\mathcal P^!)$8. 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 (Campos et al., 2023). 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 $(\mathcal P,\mathcal P^!)$9 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$0 rather than by commutative algebra alone (Ramachandra, 2022).

2. Operadic Artin objects and Schlessinger conditions

Fix a coloured dg-category $\mathcal P$1 and an augmented $\mathcal P$2-operad $\mathcal P$3. The corresponding Artin $\mathcal P$4-algebras form the smallest full sub-$\mathcal P$5-category

$\mathcal P$6

containing the trivial $\mathcal P$7-algebras $\mathcal P$8 and closed under homotopy pullback along maps $\mathcal P$9, where $E_n$0 denotes one generator of colour $E_n$1 in degree $E_n$2. Equivalently, $E_n$3 consists, up to quasi-isomorphism, of those $E_n$4-algebras $E_n$5 whose homology $E_n$6 is finite total in nonpositive degrees and whose $E_n$7 is nilpotent over the $E_n$8-algebra $E_n$9 (Calaque et al., 2019).

In a parallel point-set formulation, one starts from an augmented dg-operad $F:\Art^{\mathrm{comm}}_k\to \mathrm{Spaces}$0 over a field $F:\Art^{\mathrm{comm}}_k\to \mathrm{Spaces}$1 and defines $F:\Art^{\mathrm{comm}}_k\to \mathrm{Spaces}$2 as the full sub-$F:\Art^{\mathrm{comm}}_k\to \mathrm{Spaces}$3-category of dg $F:\Art^{\mathrm{comm}}_k\to \mathrm{Spaces}$4-algebras generated under homotopy pullbacks along

$F:\Art^{\mathrm{comm}}_k\to \mathrm{Spaces}$5

where $F:\Art^{\mathrm{comm}}_k\to \mathrm{Spaces}$6 carries the trivial $F:\Art^{\mathrm{comm}}_k\to \mathrm{Spaces}$7-structure (Grignou et al., 2023). The two presentations use different models for the elementary square-zero extensions, but both isolate the infinitesimal test algebras relevant for deformation theory.

A $F:\Art^{\mathrm{comm}}_k\to \mathrm{Spaces}$8-algebraic formal moduli problem is then a functor

$F:\Art^{\mathrm{comm}}_k\to \mathrm{Spaces}$9

such that $k$0 and such that every pullback square

$k$1

with $k$2 is sent to a homotopy cartesian square of spaces (Calaque et al., 2019). The values $k$3 are the obstruction spaces for lifting deformations along square-zero extensions by $k$4. In the operadic formulation, the Schlessinger test is therefore internal to the algebraic geometry of $k$5-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 $k$6 be a connected, $k$7-reduced dg-operad that is Koszul in the sense that the bar-cobar counit

$k$8

is a quasi-isomorphism. Its Koszul dual operad $k$9 is, up to shift, the linear dual of $F(0)\simeq *$0. More generally, for a binary quadratic operad generated by an $F(0)\simeq *$1-module $F(0)\simeq *$2 with relations $F(0)\simeq *$3, the Koszul dual cooperad is

$F(0)\simeq *$4

and the Koszul dual operad is

$F(0)\simeq *$5

The canonical twisting morphism $F(0)\simeq *$6 satisfies the Maurer–Cartan equation in the convolution dg Lie algebra $F(0)\simeq *$7, and $F(0)\simeq *$8 is Koszul precisely when the natural map $F(0)\simeq *$9 is a quasi-isomorphism (Ramachandra, 2022).

For such $\infty$0, stable homotopy methods yield an adjoint pair

$\infty$1

where

$\infty$2

is the dual of the operadic bar construction and

$\infty$3

is given by derived derivations. The main theorem states that $\infty$4 induces an equivalence

$\infty$5

with inverse given by the tangent complex $\infty$6. Concretely,

$\infty$7

defines the formal moduli problem associated to a $\infty$8-algebra $\infty$9 (Calaque et al., 2019).

A closely related formulation, emphasized in expository and survey treatments, is the canonical equivalence

$\infty$0

or, with the conventional suspension absorbed into the operad, an equivalence with algebras over $\infty$1. Under this equivalence the tangent complex functor lifts to a $\infty$2-algebra structure on $\infty$3, and the inverse sends a good $\infty$4-algebra $\infty$5 to the Maurer–Cartan functor $\infty$6 (Ramachandra, 2022, Campos et al., 2023).

The proof uses the same formal pattern as the classical Lurie–Pridham theorem. One checks that for Artin $\infty$7, the unit $\infty$8 is an equivalence, that $\infty$9, and that $k$0 sends Artin pullbacks to pushouts of $k$1-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 (Calaque et al., 2019, Ramachandra, 2022).

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 $k$2, one defines the tangent spectrum by

$k$3

This forms an $k$4-spectrum and carries a module structure over the operad $k$5 acting on each colour. For a $k$6-algebraic formal moduli problem, $k$7 is the corresponding $k$8-algebra, up to the conventional shift. If $k$9, then

$(\mathcal P,\mathcal P^!)$00

Obstructions to lifting along a morphism $(\mathcal P,\mathcal P^!)$01 with kernel $(\mathcal P,\mathcal P^!)$02 lie in

$(\mathcal P,\mathcal P^!)$03

which in the classical Lie case reduces to Chevalley–Eilenberg cohomology obstruction classes (Calaque et al., 2019).

The tangent algebra admits an explicit operadic model. If $(\mathcal P,\mathcal P^!)$04 is a $(\mathcal P,\mathcal P^!)$05-algebra structure on a complex $(\mathcal P,\mathcal P^!)$06, its deformation complex is the operadic convolution Lie algebra

$(\mathcal P,\mathcal P^!)$07

with bracket induced by the pre-Lie grafting of trees. Maurer–Cartan elements in $(\mathcal P,\mathcal P^!)$08 are exactly $(\mathcal P,\mathcal P^!)$09-structures on $(\mathcal P,\mathcal P^!)$10. Equivalently,

$(\mathcal P,\mathcal P^!)$11

so the tangent object is simultaneously a derived derivation complex and a convolution Lie algebra (Campos et al., 2023).

This explicit description is fundamental for concrete deformation theory. Invariantly, coderivations of the cofree $(\mathcal P,\mathcal P^!)$12-coalgebra $(\mathcal P,\mathcal P^!)$13 identify with $(\mathcal P,\mathcal P^!)$14, and the resulting $(\mathcal P,\mathcal P^!)$15-structure packages higher deformation operations. When one passes from the tangent algebra to the corresponding formal moduli problem, the Deligne $(\mathcal P,\mathcal P^!)$16-groupoid

$(\mathcal P,\mathcal P^!)$17

provides the associated deformation space, and filtered quasi-isomorphisms of $(\mathcal P,\mathcal P^!)$18-algebras induce equivalences of formal moduli problems (Campos et al., 2023).

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.

$(\mathcal P,\mathcal P^!)$19	Koszul dual $(\mathcal P,\mathcal P^!)$20	Resulting equivalence
$(\mathcal P,\mathcal P^!)$21	$(\mathcal P,\mathcal P^!)$22	$(\mathcal P,\mathcal P^!)$23
$(\mathcal P,\mathcal P^!)$24	$(\mathcal P,\mathcal P^!)$25	$(\mathcal P,\mathcal P^!)$26
$(\mathcal P,\mathcal P^!)$27	$(\mathcal P,\mathcal P^!)$28	$(\mathcal P,\mathcal P^!)$29
$(\mathcal P,\mathcal P^!)$30	self-dual up to shift	$(\mathcal P,\mathcal P^!)$31
$(\mathcal P,\mathcal P^!)$32	self-dual	$(\mathcal P,\mathcal P^!)$33

For $(\mathcal P,\mathcal P^!)$34, 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 $(\mathcal P,\mathcal P^!)$35 gives the functor

$(\mathcal P,\mathcal P^!)$36

where $(\mathcal P,\mathcal P^!)$37 is the maximal ideal of the augmented cdga $(\mathcal P,\mathcal P^!)$38 (Ramachandra, 2022).

For $(\mathcal P,\mathcal P^!)$39, the Koszul dual is again $(\mathcal P,\mathcal P^!)$40, and every $(\mathcal P,\mathcal P^!)$41-algebra arises as the tangent of some associative formal moduli problem. The corresponding deformation functor is

$(\mathcal P,\mathcal P^!)$42

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 (Ramachandra, 2022, Campos et al., 2023).

For $(\mathcal P,\mathcal P^!)$43, the defining axiom is

$(\mathcal P,\mathcal P^!)$44

and the Koszul dual is the operad $(\mathcal P,\mathcal P^!)$45. Hence

$(\mathcal P,\mathcal P^!)$46

A pre-Lie algebra $(\mathcal P,\mathcal P^!)$47 satisfies

$(\mathcal P,\mathcal P^!)$48

This identifies permutative deformation theory with tangent objects governed by pre-Lie operations (Calaque et al., 2019).

For $(\mathcal P,\mathcal P^!)$49, each $(\mathcal P,\mathcal P^!)$50 is Koszul self-dual up to shift, so one obtains

$(\mathcal P,\mathcal P^!)$51

In particular, for $(\mathcal P,\mathcal P^!)$52, tangent complexes are $(\mathcal P,\mathcal P^!)$53-algebras, which appear in deformation quantization of Poisson structures (Ramachandra, 2022).

A structurally distinctive example is the operad of augmented operads themselves. Let $(\mathcal P,\mathcal P^!)$54 be the unital-augmentation-ideal operad of symmetric operads. It is Koszul self-dual, and therefore

$(\mathcal P,\mathcal P^!)$55

For a nonunital operad $(\mathcal P,\mathcal P^!)$56,

$(\mathcal P,\mathcal P^!)$57

describes deformations of the trivial map $(\mathcal P,\mathcal P^!)$58. 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 (Calaque et al., 2019).

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,\mathcal P^!)$59, they obtain

$(\mathcal P,\mathcal P^!)$60

with

$(\mathcal P,\mathcal P^!)$61

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

$(\mathcal P,\mathcal P^!)$62

is a quasi-isomorphism for finite-dimensional $(\mathcal P,\mathcal P^!)$63 in degrees $(\mathcal P,\mathcal P^!)$64. This holds when the cooperad $(\mathcal P,\mathcal P^!)$65 is tempered in the sense that

$(\mathcal P,\mathcal P^!)$66

Under this hypothesis one gets

$(\mathcal P,\mathcal P^!)$67

which reproves the Lurie–Pridham theorem for $(\mathcal P,\mathcal P^!)$68 because $(\mathcal P,\mathcal P^!)$69 is tempered (Grignou et al., 2023).

The same work emphasizes that these constructions admit point-set realizations by honest Quillen adjunctions rather than only abstract $(\mathcal P,\mathcal P^!)$70-categorical existence statements. This yields explicit models for the algebras controlling infinitesimal deformation problems and provides a direct route to examples such as $(\mathcal P,\mathcal P^!)$71-algebras, partition Lie algebras in positive characteristic, and permutative formal moduli problems (Grignou et al., 2023).

At the same time, the ambient homotopy theory has limitations that are easy to overlook. Ramachandra records that the $(\mathcal P,\mathcal P^!)$72-category $(\mathcal P,\mathcal P^!)$73 is not stable: its homotopy category fails to be triangulated because suspension and loop do not become inverse equivalences inside Artin $(\mathcal P,\mathcal P^!)$74-algebras. This is one reason the stable world of spectra and $(\mathcal P,\mathcal P^!)$75-operads is indispensable in the theory rather than a matter of formal convenience (Ramachandra, 2022).

Recent work also connects operadic formal moduli problems to $(\mathcal P,\mathcal P^!)$76-operadic centers. For $(\mathcal P,\mathcal P^!)$77, the deformation problem $(\mathcal P,\mathcal P^!)$78 and its automorphism or gauge problem $(\mathcal P,\mathcal P^!)$79 are related by the statement that $(\mathcal P,\mathcal P^!)$80 lifts to a $(\mathcal P,\mathcal P^!)$81-operadic formal moduli problem represented by the center of $(\mathcal P,\mathcal P^!)$82 in the $(\mathcal P,\mathcal P^!)$83-category of $(\mathcal P,\mathcal P^!)$84-algebras, equivalently by the center of the pair $(\mathcal P,\mathcal P^!)$85. Under the equivalence $(\mathcal P,\mathcal P^!)$86, the $(\mathcal P,\mathcal P^!)$87-algebra $(\mathcal P,\mathcal P^!)$88 controls the $(\mathcal P,\mathcal P^!)$89-deformation theory of the module category of $(\mathcal P,\mathcal P^!)$90, and gauge transformations are recovered as Maurer–Cartan elements in $(\mathcal P,\mathcal P^!)$91 (Farr, 5 Jul 2026).

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 (Ramachandra, 2022).