MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Does anyone know a good reference for a proof of the fact that given a dga $A$, an $A_\infty$-structure on $HA$ is ''the same'' as coherent choices for all of the higher Massey products of $HA$? More concretely the fact I am looking for is something like the following.

When defining the Massey product $\langle x_1,\dots, x_n\rangle$ there are multiple non-canonical choices that need to be made, which in turn give multiple cycles that could be called the Massey product of $x_1,\dots, x_n$. If $M(x_1,\dots, x_n)$ is the set of all possible resulting Massey products of $x_1,\dots, x_n$, and $\mu_n$ is the $n$-th $A_\infty$ structure map (on $HA$), then $$\mu_n(x_1\otimes\cdots\otimes x_n)\in M(x_1,\dots, x_n)$$ for all $n$ and $x_i$.

share|cite|improve this question
up vote 13 down vote accepted

When $n=3$, this is in Stasheff's H-spaces from a homotopy point of view, Chapter 12. For general $n$, it is in a paper of mine with Lu, Wu, and Zhang, "$A_\infty$-structures in Ext algebras, J. Pure Appl. Alg. 213 (2009), 2017--2037 (Theorem 3.1 and Corollary A.5).

share|cite|improve this answer
@John: this is more or less the kind of result I was looking for. Do you know if we can say anything about $\mu_n(x_1,\dots,x_n)$ if the product $\langle x_1,\dots, x_n\rangle$ is not defined? For example, does this force $\mu_n(x_1,\dots,x_n)=0$? – Steve Mar 27 '12 at 15:44
I don't think I know of a result like that. You could look at our proof and see if you can get anything out of it. – John Palmieri Mar 27 '12 at 20:48

This is in Loday/Vallette's new book on operads, in particular sections 9.4.10 to 9.4.12.

share|cite|improve this answer
Alternatively see from item 1.4 on... – Peter Arndt Mar 26 '12 at 23:28
The Loday & Vallette results are strange, since they don't seem to deal with indeterminacies in the Massey products. But maybe I'm just reading it wrong. – John Palmieri Mar 27 '12 at 1:31
I agree it's confusing how they are sweeping this under the rug. In their definition of Massey product on top of p.282, <x,y,z> depends on choices of a,b which don't appear in the notation. Then lemma 9.4.11 talks about a particular choice of a,b which is made in the body of the proof. The actual statement of the lemma only can be deduced after reading the proof. It then says that for these particular choices of a,b the said equality holds. Steve's statement from the question above (with n=3) follows. – Peter Arndt Mar 28 '12 at 0:12

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.