Rational homotopy types of mapping spaces via cohomology algebras (Q2099116): Difference between revisions

Let \(f:X\rightarrow Y\) be a map between simply connected CW-complexes of finite type. Denote by \(\operatorname{map}(X,Y;f)\) the path component of \(f\) in the space of continuous mappings from \(X\) to \(Y\). The study of the rational homotopy type of mapping spaces started with Thom in the case where the codomain is an Eilenberg-MacLane space [\textit{R. Thom}, in: Centre Belge Rech. Math., Colloque de Topologie Algébrique, Louvain les 11, 12 et 13 juin 1956, 29--39 (1957; Zbl 0077.36301)]. The first description of a Sullivan model of function spaces is due to \textit{A. Haefliger} [Trans. Am. Math. Soc. 273, 609--620 (1982; Zbl 0508.55019)]. Recently, the rational homotopy type of mapping spaces seems to be well determined in terms of the theory of \(L_{\infty}\)-algebras. Inspired by the work of \textit{U. Buijs} and \textit{J. J. Gutiérrez} [J. Homotopy Relat. Struct. 11, No. 2, 309--332 (2016; Zbl 1361.55014)], the authors of this paper show that, for a finite CW-complex \(X\) and a pure space \(Y\), the rational homotopy type of \(\operatorname{map}(X,Y)\) is determined by the cohomology algebra of \(H^{\ast}(X,\mathbb{Q})\) and the rational homotopy of \(Y\). This result is due to \textit{J. M. Møller} and \textit{M. Raussen} [Trans. Am. Math. Soc. 292, 721--732 (1985; Zbl 0605.55008)] for the case \(X=S^{n}\). The authors also show that \(\operatorname{map}(X,Y;f)\simeq \operatorname{map}(X,Y,f^{\prime})\) if the corresponding Maurer-Cartan elements are connected by an algebra automorphism of \(H^{\ast}(X,\mathbb{Q})\).