A-infinity algebra

A-infinity algebra
Name	A-infinity algebra
Field	Algebraic topology; Homological algebra
Introduced	1960s

A-infinity algebra is a homotopy-coherent algebraic structure generalizing associative algebras by encoding associativity up to an infinite hierarchy of higher homotopies. Originating in the study of loop spaces and higher category theory, it appears across Princeton University, École normale supérieure, Harvard University, Massachusetts Institute of Technology, and other institutions in research on homotopy theory, symplectic geometry, and mathematical physics.

Definition

An A-infinity algebra is a graded vector space equipped with a collection of multilinear maps m1, m2, m3, ... satisfying the Stasheff identities (also called A-infinity relations) that express the vanishing of specific sums encoding higher associativity. The defining identities relate the structure maps in degrees tied to the Stasheff associahedron, whose combinatorics connect to work at University of Chicago, University of Cambridge, University of Oxford, and by mathematicians such as James Stasheff, Jim Stasheff, Boardman, Vogt, and collaborators. The maps include a differential m1 (relating to Hochschild cohomology), a multiplication m2 (generalizing associative product), and higher homotopies mn for n ≥ 3.

Historical background

The concept was introduced in the 1960s by James Stasheff in the context of loop space multiplications and the study of Poincaré conjecture-related structures on CW complexs and H-spaces. Developments in the 1970s and 1980s connected A-infinity algebras to Hochschild cohomology, Deligne conjecture, and operad theory advanced by researchers at Institut des Hautes Études Scientifiques and Max Planck Institute for Mathematics. In the 1990s and 2000s, influences from Kontsevich, Seidel, Fukaya, and teams at University of California, Berkeley and ETH Zurich linked A-infinity structures to Mirror Symmetry and Floer homology.

Algebraic structure and operations

The structure maps mn: V^{⊗n} → V have degree 2−n and satisfy quadratic relations encoding homotopies; these relations can be organized via the geometry of the associahedron and the language of operads. The cohomology H*(V, m1) inherits a strictly associative product induced by m2 up to homotopy, a phenomenon studied in contexts including Gerstenhaber algebra structures on Hochschild cohomology and connections with the Deligne conjecture. Morphisms between A-infinity algebras are given by sequences of maps respecting the higher relations, yielding notions of quasi-isomorphism and homotopy equivalence used in comparisons across Derived category constructions and Triangulated category frameworks.

Examples and constructions

Standard examples arise from differential graded algebras at institutions like Stanford University and Yale University, where the dg-algebra with vanishing higher mn>2 yields an A-infinity algebra. The bar and cobar constructions produce A-infinity structures from coalgebraic data; models for loop spaces constructed by Adams, May, and others yield A-infinity multiplications on singular chains and cochains. Fukaya categories, developed by Fukaya, Oh, Ohta, and Ono with contributions from Kontsevich and Seidel, provide geometric A-infinity categories built from Lagrangian submanifolds in symplectic manifolds studied at University of Tokyo and Courant Institute.

Homotopy theory and category-theoretic aspects

A-infinity algebras form a homotopical category where quasi-isomorphisms invertible up to homotopy lead to A-infinity quasi-equivalence classes; this perspective is central to derived Morita theory explored at Columbia University and University of Michigan. The operadic formulation uses the A-infinity operad, related to homotopy algebras studied by Getzler, Jones, and Ginzburg, linking to model category structures and infinity-categories developed by researchers at Institute for Advanced Study and Mathematical Sciences Research Institute. Transfer theorems and homological perturbation lemmas allow one to transfer A-infinity structures along deformation retracts as in works by Kadeishvili and others.

Applications and connections

A-infinity algebras play roles in Mirror Symmetry conjectures pioneered by Kontsevich, in constructions of Fukaya category by Seidel, and in computations in Floer homology and string topology as explored by teams at CIMAT and Perimeter Institute. They appear in deformation quantization, where connections to M. Kontsevich's formality theorem and Hochschild–Kostant–Rosenberg theorem have been explored at University of Geneva and École Polytechnique. In representation theory and algebraic geometry, A-infinity enhancements of Derived category of coherent sheaves on varieties have been constructed in programs at University of California, San Diego and Max Planck Institute.

Computations and invariants

Invariants include A-infinity minimal models, Massey products, and A-infinity Massey-type operations computed in examples from knot theory via link homologies studied at Princeton University and Rutgers University. Hochschild cohomology and cyclic homology detect obstruction classes for extending partial A-infinity structures; computational techniques involve spectral sequences, homological perturbation, and explicit combinatorics of the associahedron employed in software and research groups at University of Warwick, University of Bonn, and Imperial College London.

Category:Algebraic topology