Applications of Eilenberg-Moore spectral sequences Higher-dimensional manifolds mathematics