Rational homotopy types of mapping spaces via cohomology algebras (Q2099116): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W4306168778 / rank | |||
Normal rank |
Revision as of 00:19, 20 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Rational homotopy types of mapping spaces via cohomology algebras |
scientific article |
Statements
Rational homotopy types of mapping spaces via cohomology algebras (English)
0 references
23 November 2022
0 references
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})\).
0 references
rational homotopy type
0 references
mapping spaces
0 references
\(L_\infty \)-algebras
0 references
\(H\)-spaces
0 references