A∞ Deformation Theory

• A∞ Deformation Theory is the study of formal and infinitesimal deformations of A∞-algebras, characterized by higher multiplications mₖ satisfying Stasheff identities.
• It generalizes classical deformation theory by incorporating curved structures and solutions to Maurer–Cartan equations in Hochschild-type complexes, with applications in mirror symmetry, representation theory, and mathematical physics.
• Key methods such as gauge equivalence, pre-Lie integration, and derived moduli spaces enable the explicit construction, classification, and minimal model transfer of deformed algebraic structures.

$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$0-relations: $A_\infty$1 The presence of $A_\infty$2 yields a \textit{curved} $A_\infty$3-algebra; if $A_\infty$4 the algebra is uncurved.

Given such an algebra, deformations are parametrized as new families $A_\infty$5 satisfying the same relations and reducing to $A_\infty$6 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$7-structure can be equivalently encoded via a degree-$A_\infty$8 coderivation $A_\infty$9 on the completed tensor coalgebra $A_\infty$0 (with desuspension $A_\infty$1), where $A_\infty$2 is equivalent to the $A_\infty$3-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$4-algebra (Kleijn et al., 2018, Kreeke, 2023).

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$5-algebra $A_\infty$6, a degree-1 element $A_\infty$7 is a MC element if

$A_\infty$8

In coalgebra terms, MC elements correspond to group-like elements $A_\infty$9 in $m_k$0 satisfying $m_k$1 (Kleijn et al., 2018).

These MC elements assemble into a simplicial set $m_k$2, formed by taking MC elements in $m_k$3 (or normalized cochains $m_k$4), 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 $m_k$5) groupoids of solutions modulo gauge (Kleijn et al., 2018).

Gauge equivalence of MC elements is realized through a group action of the exponential of degree-zero elements, which acts as

$m_k$6

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 $m_k$7-groupoid structure (Kleijn et al., 2018).

In practice, the deformation functor, often denoted $m_k$8, sends a local Artinian DG algebra $m_k$9 to the set of MC elements in $L_\infty$0 modulo gauge. The tangent space to the deformation functor at $L_\infty$1 is $L_\infty$2, and obstructions lie in $L_\infty$3 (Kleijn et al., 2018).

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 $L_\infty$4, where Maurer–Cartan elements correspond to $L_\infty$5-structures on $L_\infty$6. The pre-Lie product induces a graded Lie bracket (Gerstenhaber bracket), such that the Maurer–Cartan equation $L_\infty$7 packages the entirety of the $L_\infty$8-relations (Dotsenko et al., 2015).

The geometry of the moduli space of $L_\infty$9-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$0-structure onto its minimal model constructed on homology, with operations given by explicit tree-sum formulas. This framework generalizes the classical $A_\infty$1-lemma to the $A_\infty$2 setting, with gauge triviality corresponding to transfer to the trivial structure (Dotsenko et al., 2015).

At the derived level, the full moduli space of $A_\infty$3-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, $A_\infty$4-categorical settings. The tangent complex to these derived stacks recovers the Hochschild complex $A_\infty$5, 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 (Ginot et al., 2019).

4. Explicit Deformation Constructions and Classification Results

Several methods for constructing and classifying $A_\infty$6-deformations have been developed. The resolution method (Sharapov et al., 2018) builds a total $A_\infty$7-algebra $A_\infty$8 resolving a given algebra $A_\infty$9, deforms the total structure (exploiting the compatibility $A_\infty$0), and transfers the deformation back to the minimal representative on $A_\infty$1 via strong deformation retracts and the homological perturbation lemma.

Maurer–Cartan or bounding-cochain deformations correspond to twisting the original structure by a solution $A_\infty$2 to $A_\infty$3, with new operations $A_\infty$4 defined by distributed insertions of $A_\infty$5 (Zhao, 2013). Every such deformation is strictly (or almost strictly) equivalent, via an (almost) strict $A_\infty$6-morphism, to an explicit pullback of the original structure.

Classification results for specific families, such as the extended Khovanov arc algebras $A_\infty$7, rely on detailed Hochschild cohomology computations: the existence of a unique nontrivial $A_\infty$8 higher multiplication is controlled by a single generator in $A_\infty$9, showing that these algebras are not intrinsically formal for $\Bbbk$0 (Barmeier et al., 2022). For the exterior algebra, all superfiltered $\Bbbk$1-deformations (over a commutative base) are classified up to equivalence by formal functions (the disc potential) on the underlying module $\Bbbk$2, mirroring the associative case's parameterization by quadratic forms (Clifford algebras) (Smith, 2019).

In geometric settings, deformation quantization in the $\Bbbk$3-direction is parametrized by degree-2 cohomology classes with coefficients in the (completed) base ring of deformation parameters, with higher $\Bbbk$4 expressed as polydifferential operators determined up to gauge by the chosen class (Altinay-Ozaslan et al., 2017).

5. Curved $\Bbbk$5-Deformations, Minimal Models, and Derived Categories

Curvature ($\Bbbk$6) is generically unavoidable in $\Bbbk$7 deformation theory: the process of perturbing arbitrary higher structure maps through the Maurer–Cartan mechanism almost always yields a non-zero $\Bbbk$8 term (Kreeke, 2023). The curvature can be infinitesimal when deforming over nilpotent or $\Bbbk$9-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$0-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) (Kreeke, 2023).

These procedures apply at the categorical level: for a curved $A$1-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$2-deformation theory serves as a universal formalism in diverse domains:

• In symplectic geometry and homological mirror symmetry, the formal $A$3-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 (Smith, 2019). 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$4-deformations encapsulate and organize the interactions and consistency conditions of classical higher-spin field equations by reconstructing the Moyal–Weyl star product as $A$5 and the nontrivial higher-order vertices as $A$6 (Sharapov et al., 2018).
• In categorical representation theory, the existence or vanishing of $A$7-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 $A$8 case (Barmeier et al., 2022).

$A$9-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.