On the fundamental group and triple Massey's product

Abstract

Let us say that a map of arcwise connected topological spaces (having the homotopy type of CW-complexes) is a pseudo-homeomorphism if it induces an isomorphism of the first integer homology groups and an epimorphism of the second integer homology groups. We prove that any invariant of a topological space w.r.t. pseudo-homeomorphisms is an invariant of the fundamental group of this space. We also describe a necessary condition for the fundamental groups to be distinguished by such invariants. As an example we show that the invariant used in math.AG/9805056 to distinguish the fundamental groups of combinatorially equivalent arrangements is, in fact, a form of triple Massey's product on the first integer homology group.