---
title: A∞ Deformation Theory
url: https://www.emergentmind.com/topics/a-_-infty-deformation-theory
type: topic
---

# A∞ Deformation Theory

$A_\infty$ deformation theory encompasses the study of formal and infinitesimal deformations of $A_\infty$ (strongly homotopy associative) algebras and categories, with particular attention to the curved case, non-trivial gauge group actions, geometric and operadic moduli, derived enhancement, and applications to mathematical physics, representation theory, and geometry. Deformation theory for $A_\infty$-algebras generalizes classical deformation theory of associative or differential graded algebras by encoding higher multiplications $m_k$ subject to the Stasheff identities, controlled by solutions to suitable Maurer–Cartan equations in Hochschild-type (or operadic) deformation complexes. Obstructions, gauge equivalence, and derived moduli are governed by highly structured differential graded Lie (or $L_\infty$) algebras and pre-Lie integration, with broad implications in areas like mirror symmetry, higher categories, and quantization.

## 1. Foundations of $A_\infty$-Deformation Theory

An $A_\infty$-algebra over a field $\Bbbk$ is a graded vector space $A$ endowed with multilinear structure maps
\[
m_k : A^{\otimes k} \to A,\qquad \deg m_k = 2 - k,\quad k\ge 0
\]
satisfying the Stasheff $A_\infty$-relations:
\[
\sum_{i+j+k=n} (-1)^{i + jk} m_{i+1+k}(1^{\otimes i} \otimes m_j \otimes 1^{\otimes k}) = 0\qquad \forall n \ge 0
\]
The presence of $m_0$ yields a \textit{curved} $A_\infty$-algebra; if $m_0 = 0$ the algebra is uncurved.

Given such an algebra, deformations are parametrized as new families $\tilde{m}_k$ satisfying the same relations and reducing to $m_k$ modulo a deformation ideal, typically power series in parameters in Artinian local rings or nilpotent elements. The deformation theory crucially involves the completed Hochschild cochain complex and associated DGLA structures.

Any $A_\infty$-structure can be equivalently encoded via a degree-$+1$ coderivation $D$ on the completed tensor coalgebra $\widehat T^c(sA)$ (with desuspension $sA$), where $D^2=0$ is equivalent to the $A_\infty$-relations. The structure is often completed with respect to a filtration to control infinite sums, and leads to the concept of a complete curved $A_\infty$-algebra [1809.07743, 2308.08026].

## 2. The Maurer–Cartan Equation, Simplicial Sets, and Gauge Equivalence

Deformations are governed by Maurer–Cartan (MC) elements in the corresponding (completed) coderivation Lie algebra. For an $A_\infty$-algebra $(A, \{m_k\})$, a degree-1 element $\alpha \in A^1$ is a MC element if
\[
\sum_{k\ge 0} m_k(\alpha, \ldots, \alpha) = 0 \in A^2
\]
In coalgebra terms, MC elements correspond to group-like elements $e^{s\alpha}$ in $\widehat T^c(sA)$ satisfying $D(e^{s\alpha})=0$ [1809.07743].

These MC elements assemble into a simplicial set $\mathrm{MC}_\bullet(A)$, formed by taking MC elements in $A \otimes \Omega^*(\Delta^n)$ (or normalized cochains $N^*(\Delta^n)$), giving rise to a Kan complex structure; this underpins the derived moduli of deformations and implements the fundamental property that homotopically meaningful deformation theory is represented by simplicial (or $\infty$) groupoids of solutions modulo gauge [1809.07743].

Gauge equivalence of MC elements is realized through a group action of the exponential of degree-zero elements, which acts as
\[
\alpha \mapsto \alpha^g = \alpha + m_1(g) + m_2(g,\alpha) + m_2(\alpha, g) + \cdots
\]
Two MC elements are gauge equivalent if they are connected by a 1-simplex (path) in the Kan complex, i.e., are homotopy equivalent in the $\infty$-groupoid structure [1809.07743].

In practice, the deformation functor, often denoted $\mathrm{DEF}_A$, sends a local Artinian DG algebra $(R, \mathfrak{m})$ to the set of MC elements in $A \otimes \mathfrak{m}$ modulo gauge. The tangent space to the deformation functor at $R = \Bbbk[\varepsilon]/(\varepsilon^2)$ is $H^1(A; Q_1)$, and obstructions lie in $H^2$ [1809.07743].

## 3. Homotopical and Operadic Aspects: Pre-Lie Theory, Derived Moduli, and Transfer

Deformation theory is enhanced by the pre-Lie structure underlying the convolution algebra $\mathrm{Hom}_\Sigma(\mathrm{Ass}^c, \mathrm{End}(V))$, where Maurer–Cartan elements correspond to $A_\infty$-structures on $V$. The pre-Lie product induces a graded Lie bracket (Gerstenhaber bracket), such that the Maurer–Cartan equation $dm + \tfrac12[m,m]=0$ packages the entirety of the $A_\infty$-relations [1502.03280].

The geometry of the moduli space of $A_\infty$-structures is organized into a Deligne groupoid, where gauge transformations correspond to integration of pre-Lie algebra elements through explicit exponential or brace series. The resulting homotopy transfer theorem (HTT) is realized as an explicit gauge transformation of the original $A_\infty$-structure onto its minimal model constructed on homology, with operations given by explicit tree-sum formulas. This framework generalizes the classical $dd^c$-lemma to the $A_\infty$ setting, with gauge triviality corresponding to transfer to the trivial structure [1502.03280].

At the derived level, the full moduli space of $A_\infty$-deformations is identified as a formal moduli problem of algebraic structures, constructed as loop spaces of classifying stacks for algebraic structures modulo quasi-isomorphisms in suitable derived, $\infty$-categorical settings. The tangent complex to these derived stacks recovers the Hochschild complex $CH^{>1}(A)[1]$, and the deformation theory is controlled by an exact triangle (fiber sequence) relating the tangent Lie algebra of automorphisms, the deformation complex proper, and the endomorphism Lie algebra [1910.07255].

## 4. Explicit Deformation Constructions and Classification Results

Several methods for constructing and classifying $A_\infty$-deformations have been developed. The resolution method [1809.03386] builds a total $A_\infty$-algebra $(V, m'+d)$ resolving a given algebra $(W, m_W)$, deforms the total structure (exploiting the compatibility $[m', d]=0$), and transfers the deformation back to the minimal representative on $W$ via strong deformation retracts and the homological perturbation lemma.

Maurer–Cartan or bounding-cochain deformations correspond to twisting the original structure by a solution $b\in A^1$ to $m(e^b)=0$, with new operations $m^b_k$ defined by distributed insertions of $b$ [1310.3718]. Every such deformation is strictly (or almost strictly) equivalent, via an (almost) strict $A_\infty$-morphism, to an explicit pullback of the original structure.

Classification results for specific families, such as the extended Khovanov arc algebras $\mathrm K_m^n$, rely on detailed Hochschild cohomology computations: the existence of a unique nontrivial $m_{2mn-4}$ higher multiplication is controlled by a single generator in $\mathrm{HH}^2_{2mn-6}$, showing that these algebras are not intrinsically formal for $m,n\geq 2$ [2211.03354]. For the exterior algebra, all superfiltered $A_\infty$-deformations (over a commutative base) are classified up to equivalence by formal functions (the disc potential) on the underlying module $V$, mirroring the associative case's parameterization by quadratic forms (Clifford algebras) [1910.01096].

In geometric settings, deformation quantization in the $A_\infty$-direction is parametrized by degree-2 cohomology classes with coefficients in the (completed) base ring of deformation parameters, with higher $m_n$ expressed as polydifferential operators determined up to gauge by the chosen class [1702.06930].

## 5. Curved $A_\infty$-Deformations, Minimal Models, and Derived Categories

Curvature ($m_0 \neq 0$) is generically unavoidable in $A_\infty$ deformation theory: the process of perturbing arbitrary higher structure maps through the Maurer–Cartan mechanism almost always yields a non-zero $m_0$ term [2308.08026]. The curvature can be infinitesimal when deforming over nilpotent or $\mathfrak{m}$-adic bases, but its presence fundamentally changes the architecture of the derived and homotopy categories.

For curved deformations, the classical Kadeishvili minimal model construction must be modified: after homological splitting of the underlying complex, a sequence of gauge twists (curvature optimization) is required to ensure the curvature lands in the cohomology summand, and explicit tree-formulas define the minimal curved $A_\infty$-structure and associated quasi-isomorphism functor. The derived category for a curved deformation is thus defined as the minimal model of the twisted completion (i.e., complexes of the curved algebra equipped with an undeformed differential but deformed higher multiplications) [2308.08026].

These procedures apply at the categorical level: for a curved $A_\infty$-category, one can still form the additive and twisted completions, extend the deformation structure, and arrive at well-defined derived categories, albeit with possible nontrivial curvature on objects.

## 6. Applications and Interplay with Geometry, Physics, and Mirror Symmetry

$A_\infty$-deformation theory serves as a universal formalism in diverse domains:

- In symplectic geometry and homological mirror symmetry, the formal $A_\infty$-deformation classifies (superfiltered) deformations of the Lagrangian Floer algebra by formal disc potentials, with local mirror symmetry realized via equivalence to endomorphism DG algebras in the category of matrix factorisations [1910.01096]. The disc potential coincides with the formal expansion of the geometric superpotential at a critical point, showing a direct link between deformation theory and enumerative invariants.

- In higher-spin gravity, explicit resolution-based $A_\infty$-deformations encapsulate and organize the interactions and consistency conditions of classical higher-spin field equations by reconstructing the Moyal–Weyl star product as $m_2$ and the nontrivial higher-order vertices as $m_3, m_4, \dots$ [1809.03386].

- In categorical representation theory, the existence or vanishing of $A_\infty$-deformations for arc algebras and related Fukaya–Seidel categories has direct implications for questions of formality and intrinsic structure, as demonstrated by the disproof of Stroppel's conjecture in the generic $(m, n)$ case [2211.03354].

$A_\infty$-deformation theory thus unifies and extends the classical deformation theory of associative, DG, and Lie algebras to a fully homotopical, categorical, and operadic context, providing the algebraic and moduli-theoretic scaffolding for advanced problems in geometry, topology, representation theory, and mathematical physics.

Source: https://www.emergentmind.com/topics/a-_-infty-deformation-theory