On the mapping space homotopy groups and the free loop space homology groups (Q640317)

Let \(X\) and \(Y\) be simply connected closed manifold with finite type homology over a field \(k\). For two continuous maps \(f_1,f_2:X\rightarrow Y\), let \(P(Y;f_1,f_2)\) denote the space of paths in \(Y\) with end points of the form \(f(x_1)\) and \(f(x_2)\). More precisely it is defined by the pull-back diagram \[ \begin{tikzcd} P(Y;f_1,f_2) \dar\rar & map([0,1],Y) \dar["-{(p_0,p_1)}"]\\ X \rar["-{(f_1,f_2)}" '] & Y\times Y\end{tikzcd} \] where the \(p_0\) and \(p_1\) are the projections corresponding to the source and end points of paths. The main theorem of the article is an isomorphism \(HH_*(S^*(Y,k),S^*(X,k))\simeq H^*(P(Y;f_1,f_2),k)\) using Chen's idea, i.e. iterated integrals. Here \(S^*(X,k)\) is considered as a \(S^*(Y,k)\)-bimodule using \(f_1^*\) and \(f_2^*\). In the case of \(f_1=f_2=f\), there is a map, \(\Gamma: map(x,y;f)\times X\rightarrow L_fY\), given by \(\Gamma (\gamma,x)(t)=\gamma(t)(x)\), where \(f\) is considered as the base point of \( map(x,y;f)\). The author studies also the composite map \begin{multline*} \Gamma_1: \pi_n( map(x,y);f))\otimes k \overset{\simeq}{\rightarrow} \pi_{n-1}( \Omega( map(x,y); f))\otimes k\\ \overset{h}{\rightarrow} H_{n-1}(\Omega( map(x,y); f), k) \overset{\Gamma}{\rightarrow} H_{n+d-1}(L_fY;k)\end{multline*} where \(L_fY=P(Y;f,f)\) and \(\Gamma (a):=g_*(a\otimes [X])\). Here \([X]\) is the fundamental class of \(X\) and \(g_*\) is the induced map in homology. As an application of the main theorem, the author proves that for \(k=\mathbb{Q}\), \(\Gamma\) is injective, by which he proves that the algebra \(H_*(L_fY, \mathbb{Q})\) [\textit{K. Gruher} and \textit{P. Salvatore}, ``Generalized string topology operations'', Proc. Lond. Math. Soc. (3) 96, No. 1, 78-106 (2008; Zbl 1143.57012)] is not commutative.