On the homotopy transfer of $A_\infty$ structures

Abstract: The present article is devoted to the study of transfers for $A_\infty$ structures, their maps and homotopies, as developed in \cite{Markl06}. In particular, we supply the proofs of claims formulated therein and provide their extension by comparing them with the former approach based on the homological perturbation lemma.

• The paper demonstrates explicit homotopy transfer formulas that systematically construct an A∞-structure on a homotopy equivalent chain complex.
• It establishes the equivalence between the coalgebraic codifferential approach and classical A∞ relations using detailed p-kernel and q-kernel formulas.
• The work integrates the homological perturbation lemma to validate the transfer methods, offering robust tools for applications in topology and mathematical physics.

Homotopy Transfer of $A_\infty$ Structures: A Technical Analysis

Introduction

This essay provides a comprehensive analysis of the paper "On the homotopy transfer of $A_\infty$ structures" (1704.01857), which addresses explicit homotopy transfer formulas for $A_\infty$-algebra structures. Given the centrality of $A_\infty$-algebras in algebraic topology, homological algebra, and mathematical physics, the explicit construction and transfer of such structures along chain homotopy equivalences are foundational problems. This work supplies detailed proofs of transfer results previously formulated but not fully proven in [Markl, 2006], systematizes their relation with the homological perturbation lemma (HPL), and explicitly analyzes the mechanics of kernels (p-kernels, q-kernels) that realize this transfer.

$A_\infty$-Structures and Coderivations

The paper recasts $A_\infty$-algebras in the language of codifferentials on reduced tensor coalgebras. Given a $\mathbb{Z}$-graded module $V$, the reduced tensor coalgebra $T(V)$ admits a natural coassociative coproduct and is cogenerated by $V$. $A_\infty$-algebra structures correspond to codifferentials (i.e., degree $-1$ coderivations squaring to zero) on $T(V)$, with higher multiplications $m_n$ encoded as coderivation components satisfying defining $A_\infty$-relations via the Koszul sign rule.

The author systematically establishes the equivalence between the classical definition (structure of graded multilinear operations satisfying quadratic relations) and the coalgebraic codifferential definition, employing suspension and desuspension to clarify degree conventions.

Morphisms and Homotopies in the Coalgebraic Formulation

A rigorous treatment of $A_\infty$-morphisms and $A_\infty$-homotopies is given by specifying families of maps indexed by $n$ and encoding them in morphisms between coalgebras that respect the codifferential structure. Lemmas provide explicit conditions for morphisms/homotopies—essential for later transfer results—ensuring that all structure maps are compatible with the coderivation formalism. This approach allows for clear compositional and homotopical algebra structures at the level of tensors.

Explicit Homotopy Transfer Formulas

The heart of the article is the explicit homotopy transfer of $A_\infty$-structures along a homotopy equivalence of chain complexes:

• Let $(V,d_V)$ and $(W,d_W)$ be chain complexes, $f: V \to W$, $g: W \to V$ chain maps with $g \circ f \sim \mathrm{id}_V$ via $h$, and $(V,d_V,M)$ an $A_\infty$-algebra.
• The aim is to construct an $A_\infty$-structure on $W$, transfer morphisms, and a homotopy, all expressed explicitly in terms of the original data.

This is achieved via the recursive notions of p-kernels and q-kernels. The p-kernels iterate the higher multiplications of $V$, the chain homotopy $h$, and the projection/inclusion maps in a manner combinatorially indexed by planar trees and multisets, yielding explicit formulas for the higher multiplications on $W$ and for the transferred $A_\infty$-morphisms. Each term corresponds to a certain configuration of insertions of the homotopy $h$ and is weighted by precise (Koszul) signs.

A main technical point is the demonstration that, after reduction to the tensor coalgebra, these explicit transfer formulas satisfy the quadratic relations that define $A_\infty$-algebra, morphism, and homotopy structures. This involves complex sign management and combinatorics, meticulously executed in the proofs.

Relation to the Homological Perturbation Lemma

The article places the explicit transfer formulas within the general framework of the HPL, which gives functorial methods to transfer algebraic structures under perturbations of differential data. The author rigorously verifies that, upon satisfying additional conditions (i.e., annihilations and splittings among the chain maps), the explicit combinatorial formulas for the transferred structure coincide with those arising from recursive applications of the HPL. The recursive definitions via kernels match the iteration of the HPL, ensuring compatibility with the model category intuition underpinning the existence of $A_\infty$-structure transfer.

Technical Highlights and Results

Key technical results include:

• Derivation and proof of p-kernel and q-kernel recursive formulas for transfer, expressed in terms of iterated compositions of homotopies and higher multiplications.
• Equivalences between coalgebraic coderivation identities and classical $A_\infty$-relations, giving a clear algebraic characterization of the transferred structures.
• Systematic treatment of morphisms and homotopies at the level of coderivations, supporting the utility of the coalgebraic framework for explicit computations.
• Verification that the combinatorial transfer formulas given, when the projection $f$ is an epimorphism, satisfy the $A_\infty$-algebra relations on $W$ and the requisite morphism/homotopy properties.
• Precise matching (under additional technical assumptions—annihilation and idempotence conditions on the homotopy data) with the output of the homological perturbation lemma.

Implications and Prospects

On the theoretical side, this work substantiates the foundations of homotopical algebra for $A_\infty$-algebras by providing explicit transfer formulas and complete proofs, filling gaps in prior literature. The explicit nature of the formulas not only facilitates hand and machine calculations but also clarifies the combinatorial and homotopical underpinnings of transferred structures, which is crucial for the study of deformation theory, cyclic homology, and homotopy theory of ring spectra.

Practically, these formulas underpin algorithms for constructing minimal models and for computations in derived categories or deformation quantization, central to applications ranging from topology (e.g., bar and cobar constructions, rational homotopy theory) to mathematical physics (notably string field theory and mirror symmetry).

As $A_\infty$-algebras and related infinity structures (e.g., $L_\infty$-algebras) proliferate throughout contemporary mathematics and theoretical physics, the formalization and proof of fully explicit transfer methods have immediate relevance for computational techniques, constructive homotopy theory, and categorical approaches to quantization.

Conclusion

This work rigorously systematizes and proves explicit transfer formulas for $A_\infty$-algebras along homotopy equivalences, framing them within the tensor coalgebra/codifferential formalism and connecting them precisely to the homological perturbation lemma. The analysis closes foundational technical gaps, provides robust tools for further research, and strengthens the computational and theoretical toolkit available for applications of homotopy algebra in mathematics and mathematical physics.