Maurer-Cartan moduli and models for function spaces (Q1941152): Difference between revisions

Let \(X\) and \(Y\) be connected nilpotent rational CW-complexes of finite type. The goal of this paper is to prove that, under mild assumptions, the homotopy of the function space \(F(X,Y)\) and of the based function space \(F_*(X,Y)\) can be expressed in terms of the set of Maurer-Cartan elements in the Quillen model of the space \(Y\) with values in the Sullivan model of the space \(X\). To be more explicit, in the based case, he proves that \(\pi_0 F_*(X,Y)\) is in bijection with the set of equivalence classes of Maurer-Cartan elements in the Lie dg-algebra \(A(X)_+\otimes L(Y)\), where \(A(X)_+\) denotes the augmentation ideal of the Sullivan model of \(X\), and \(L(Y)\) denotes the Quillen model of \(Y\). Then he proves that the truncation of the twisted Lie algebra \((A(X)_+\otimes L(Y))^{\xi}\), where \(\xi\) denotes any such Maurer-Cartan element in \(A(X)_+\otimes L(Y)\), represents the Quillen model of the connected component of the map associated to \(\xi\) in the space \(F_*(X,Y)\). The results are similar in the unbased case. Note that the author deals with Quillen models of (possibly non-simply connected) spaces which he defines (after [\textit{J. Neisendorfer}, Pac. J. Math. 74, 429--460 (1978; Zbl 0386.55016)]) as the free Lie algebra on a (continuous) dual of the Sullivan model equipped with a suitable differential.