Filtered Hirsch algebras

Abstract

Motivated by the cohomology theory of loop spaces, we consider a special class of higher order homotopy commutative differential graded algebras and construct the filtered Hirsch model for such an algebra A. When x∈H(A) with Z coefficients and x2=0, the symmetric Massey products 〈x〉n with n≥3 have a finite order (whenever defined). However, if k is a field of characteristic zero, 〈x〉n is defined and vanishes in H(A⊗k) for all n. If p is an odd prime, the Kraines formula 〈x〉p=−βP1(x) lifts to H∗(A⊗Zp). Applications of the existence of polynomial generators in the loop homology and the Hochschild cohomology with a G-algebra structure are given.