Rational formality of mapping spaces
arXiv:1003.5491
Abstract
Let X and Y be finite nilpotent CW complexes with dimension of X less than the connectivity of Y. Generalizing results of Vigué-Poirrier and Yamaguchi, we prove that the mapping space Map(X,Y) is rationally formal if and only if Y has the rational homotopy type of a finite product of odd dimensional spheres.