Strong minimal model theorem and Massey products

TL;DR

This paper proves a stronger form of the minimal model theorem for dg algebras, showing minimal models are unique up to isotopy and clarifying their relationship with Massey products.

Contribution

It establishes the existence of minimal models unique up to isotopy and links higher Massey products directly to the $A_ abla$-structure of these models.

Findings

Triple Massey product is an invariant manifestation of $oldsymbol{}$.

Higher Massey products correspond to the set of all $oldsymbol{}$-products in minimal models.

The stronger uniqueness result aids in understanding the connection between minimal models and Massey products.

Abstract

Kadeishvili's minimal model theorem establishes the existence of an $A_\infty$-structure, unique up to isomorphism, on the cohomology of a dg associative algebra, which captures its homotopy type. In this note we prove the existence of minimal models that are unique up to isotopy, a stronger result obviously known to T. Kadeishvili and certainly to others, yet seemingly overlooked by mankind. We will explore how this stronger result can help in the study of Massey products. First, we show that the attempts to extract a local information from the ternary operation $\mu_3$ of our minimal model leads directly to the rediscovery of the triple Massey product. The motto is: "The triple Massey product is an invariant manifestation of $\mu_3$." We then prove that, under reasonable assumptions, the higher Massey product $\langle x_1,\ldots,x_n\rangle$ equals the set of all values $\mu_n(x_1,\ldots,x_n)$, where $\mu_n$ runs over the $n$-ary products of our minimal models. We believe that this note will help to elucidate the still somewhat enigmatic relationship between minimal models and Massey products.