This article was accepted into the corpus but its outbound wikilinks were never NER-processed — typical at the deepest BFS hop or when the run's entity cap was reached. No expansion funnel to show.
| A∞-category | |
|---|---|
| Name | A∞-category |
| Field | Homological algebra, Category theory, Algebraic topology |
| Introduced | 1960s |
| Introduced by | Jim Stasheff |
A∞-category
An A∞-category is a structure in Homological algebra and Category theory generalizing categories by weakening associativity up to a coherent system of higher homotopies introduced by Jim Stasheff. It appears across Algebraic topology, Symplectic geometry, Derived category theory and String theory, providing a flexible language for describing compositions controlled by operations parametrized by Stasheff polytopes (associahedra) and related combinatorial devices.
An A∞-category comprises a class of objects together with graded morphism complexes between objects and a family of multilinear composition maps m_n for n ≥ 1 satisfying the Stasheff identities governed by associahedra. The identities ensure that m_1 is a differential, m_2 induces a product associative up to homotopy given by m_3, and higher m_n supply coherences analogous to those studied in Homotopy theory and Operad theory. Foundational formalizations relate A∞-categories to Differential graded algebras, Infinity-category notions, and model categories in work influenced by Daniel Quillen, Maxim Kontsevich, and Boardman–Vogt style operadic techniques.
Basic examples include A∞-algebras viewed as one-object A∞-categories, differential graded categories such as those constructed by Bernhard Keller and DG enhancements of Derived categorys of Algebraic geometry objects like coherent sheaves on a Calabi–Yau manifold used by Maxim Kontsevich in homological mirror symmetry. The Fukaya category of a symplectic manifold, developed by Kenji Fukaya, Paul Seidel, and collaborators, provides central geometric examples where Lagrangian intersections produce Floer complexes with A∞-operations. Other sources of examples come from Representation theory via A∞-structures on Ext-algebras studied by Maurice Auslander, Idun Reiten, and Bernhard Keller, and from Rational homotopy theory following constructions of Dennis Sullivan.
Morphisms between A∞-categories are realized by A∞-functors consisting of collections of maps compatible with m_n operations up to coherent homotopy; these generalize strict functors between categories and DG-functors used by Amnon Neeman and Raphaël Rouquier. Natural transformations between A∞-functors lead to notions of quasi-equivalence and homotopy equivalence akin to quasi-isomorphism in Chain complex theory and are central in comparisons such as Morita equivalences explored by Keller and Boris Tsygan. Homotopy categories obtained by passing to cohomology of Hom-complexes connect with triangulated categories studied by Jean-Louis Verdier and enhancements of Derived categorys appearing in work of Alexander Beilinson and Joseph Bernstein.
A∞-structures play a key role in constructing enhancements of derived categories and in describing deformation theory via Hochschild cohomology developed by Gerald Hochschild and extended in contexts involving Kontsevich's formality theorems. The bar and cobar constructions, originally explored by Henri Cartan and Samuel Eilenberg, produce A∞-structures on Ext and Tor groups; these connect to Koszul duality results and to derived Morita theory addressed by Bernhard Keller and Konstantin A. Brown. Applications to t-structures and recollement interact with techniques from Beilinson–Bernstein–Deligne theory and influence computations in Motivic cohomology and Topological Hochschild homology.
Minimal models for A∞-categories, analogous to Sullivan minimal models in Rational homotopy theory, give simplified quasi-isomorphic A∞-structures with vanishing differential m_1. The homotopy transfer theorem, influenced by work of Jim Stasheff and formalized in operadic contexts by Victor Ginzburg and Markl, produces induced A∞-structures on cohomology via homotopy retracts; this technique underlies proofs of formality used by Maxim Kontsevich in deformation quantization and by Deligne-style conjectures addressed using operadic methods championed by Murray Gerstenhaber and Jim Stasheff.
A∞-categories appear in homological mirror symmetry conjectures formulated by Maxim Kontsevich, relating Fukaya categories of symplectic manifolds to derived categories of coherent sheaves studied by Alexander Grothendieck and Jean-Pierre Serre. They play roles in the categorification programs of Edward Witten-inspired Topological quantum field theory, in string field theory developed by Barton Zwiebach, and in categorical approaches to Donaldson–Thomas invariants and Gromov–Witten invariants analyzed by Richard Thomas and Yongbin Ruan. Interactions with Noncommutative geometry initiated by Alain Connes, and with Cluster algebra phenomena explored by Sergey Fomin and Andrei Zelevinsky, further illustrate broad applicability.
The concept originated in Jim Stasheff's 1960s study of A_n-spaces and associahedra, later adapted to algebraic settings by researchers including Henri Cartan collaborators and evolved through contributions from Dennis Sullivan, Jim Stasheff, Maxim Kontsevich, Kenji Fukaya, Paul Seidel, and Bernhard Keller. Key results include existence of minimal models, homological perturbation lemmas formalized by Shih-Chih Shih-style techniques, formality theorems by Kontsevich for Poisson manifolds, and demonstration of equivalences between Fukaya categories and derived categories in concrete mirror symmetry instances by Paul Seidel and collaborators. Ongoing advances involve higher-categorical refinements linked to work by Jacob Lurie on Higher topos theory and developments in Derived algebraic geometry advocated by Bertrand Toën and Gabriele Vezzosi.