A∞-algebra
Generated by GPT-5-miniExpansion Funnel Raw 78 → Dedup 0 → NER 0 → Enqueued 0
| A∞-algebra | |
|---|---|
| Name | A∞-algebra |
| Field | Homological algebra; Category theory; Algebraic topology |
| Introduced | 1960s |
| Introduced by | Jim Stasheff |
| Related | Differential graded algebra, Operad theory, Hochschild cohomology, Derived category |
A∞-algebra An A∞-algebra is a homotopy-coherent generalization of a Differential graded algebra introduced by Jim Stasheff in the 1960s in the context of Homotopy theory, Algebraic topology, and Operad theory. It encodes a sequence of higher multiplications satisfying Stasheff's coherence relations, connecting to notions in Category theory, Derived category techniques, and recent work in Mathematical physics such as String theory and Topological field theory. A∞-algebras serve as central objects in modern approaches to Mirror symmetry, Deformation theory, and the study of invariants arising in Symplectic geometry and Fukaya categories.
Definition and basic properties
An A∞-algebra is a graded vector space (or graded module) equipped with a family of degree-shifted operations m1, m2, m3, ... satisfying the Stasheff identities from Jim Stasheff's work on H-spaces, A∞-spaces, and Stasheff polytope combinatorics. The axioms generalize differential and associative law failures controlled by higher homotopies, relating to coherence in Category theory, Operad theory, and constructions used by Boardman–Vogt and Gerstenhaber in algebraic contexts. Basic properties include homotopy equivalence, existence of minimal models under suitable finiteness conditions, and interaction with Hochschild cohomology and Massey products. The structure maps are typically defined using bar and cobar constructions from work of Eilenberg–MacLane, Cartan–Eilenberg, and later formalized in the language of Quillen-style homotopical algebra.
Examples and constructions
Standard examples include associative Differential graded algebras where higher operations vanish, curved A∞-algebras appearing in Fukaya category constructions by Kenji Fukaya, and A∞-structures on cochain complexes modeled after operations in Singular cohomology and de Rham cohomology. Classical constructions arise from the bar construction of Hochschild cohomology and cobar constructions associated to Koszul duality studied by Priddy and Ginzburg; operadic approaches by Markl, Getzler, and Jones yield A∞-algebras from Gerstenhaber algebra contexts. Other sources include transfer of structure via homological perturbation lemmas from Huebschmann and Crainic, and explicit A∞-structures on Fukaya categories constructed by Paul Seidel and collaborators in studies of Mirror symmetry with input from Kontsevich.
Homotopy and morphisms of A∞-algebras
Morphisms between A∞-algebras are families of maps compatible with higher operations up to coherent homotopy; invertible morphisms up to homotopy define quasi-isomorphisms used in Derived category theory and comparisons of models in Rational homotopy theory. Homotopy equivalence classes of A∞-algebras are central in work by Loday, Vallette, and Keller on derived Morita theory, while obstruction theories for homotopies rely on computations in Hochschild cohomology and techniques from Deligne's and Drinfeld's deformation frameworks. Notions of twisted complexes and Yoneda embeddings by Bondal and Orlov utilize A∞-morphisms in categorical reconstruction statements found in Homological Mirror Symmetry conjectures by Maxim Kontsevich and implementations by Paul Seidel.
Minimal models and homological perturbation
Minimal models for A∞-algebras reduce to structures with vanishing m1 and capture homotopy types in analogy with Sullivan minimal models from Rational homotopy theory by Sullivan and Quillen. Existence and uniqueness results for minimal A∞-models use homological perturbation theory developed by Gugenheim, Lambe, Shih, Kadeishvili, and Huebschmann; Kadeishvili's theorem gives canonical minimal models on homology under projectivity hypotheses, connecting to constructions by Merkulov and methods in Perturbation theory applied to Derived functor computations. Techniques from Koszul duality and Bar–Cobar adjunctions by Loday and Vallette also provide explicit transferred A∞-structures on homology.
Cohomology, Massey products, and deformation theory
Cohomology theories for A∞-algebras generalize Hochschild cohomology and control deformations via a differential graded Lie algebra or L∞-algebra controlling formal moduli problems as in work of Deligne, Drinfeld, Kontsevich, and Hinich. Massey products in cohomology detect nontrivial higher m_n operations and appear in algebraic topology in analyses by Massey and applications to Linking number phenomena and obstructions central to Obstruction theory. Deformation theory of A∞-algebras is linked to formality theorems such as Kontsevich formality theorem and to classification results using Goldman–Millson techniques, while the deformation-obstruction calculus uses spectral sequences and operations studied by Gerstenhaber and Schack.
Applications in algebra, topology, and mathematical physics
A∞-algebras appear in constructions of Fukaya categorys central to Homological Mirror Symmetry by Kontsevich, in string field theory formulations by Zwiebach, and in derived categories of coherent sheaves studied by Bondal and Orlov. In Symplectic geometry, A∞-structures encode Floer cohomology operations developed by Floer, Oh, and Seidel; in Algebraic geometry they inform deformation quantization and derived deformation theory pursued by Kontsevich and Kaledin. Mathematical physics applications include closed and open string field theories influenced by Witten and algebraic structures in Topological quantum field theory studied by Atiyah and Segal. Further connections link to categorical representation theory explored by Keller, Rouquier, and Bridgeland in stability conditions and wall-crossing phenomena postulated in works by Kontsevich and Gaiotto.