Loop homology of some global quotient orbifolds (Q679801)

As usual, the free loop space of a topological space \(X\) is denoted \(LX\). Assume that \(M\) is a closed smooth oriented manifold of dimension \(n\) and \(G\) a finite group acting smoothly on \(X\). \textit{E. Lupercio, B. Uribe} and \textit{M. A. Xicotencatl} [Geom. Topol. 12, No. 4, 2203--2247 (2008; Zbl 1149.55005)] constructed an explicit Thom-Pontryagin map for the free loop space \(L([M/G])\), where \([M/G]\) denotes a global quotient orbifold and thus defined, for any field \({\Bbbk}\) whose characteristic is coprime to \(G\), a loop product \[ H_p(L[M/G];{\Bbbk})\otimes H_q (([M/G];{\Bbbk})\to\mathbb{H}_{p+q-n}(L[M/G];{\Bbbk}) \] which coincides with the ordinary loop product when \(G\) is the trivial group. Starting from this result and using the usual change of grading in string topology, \(\mathbb{H}_k= H_{k+n}\), the author proves, under an additionnal hypothesis on \(G\), that there exists an isomomorphism of graded \({\Bbbk}\)-algebras \[ \mathbb{H}(L[M/G];{\Bbbk})\cong\mathbb{H}[(LM;{\Bbbk})\otimes Z({\Bbbk}(G)), \] where \(Z({\Bbbk}(G))\) denotes the center of the group ring \({\Bbbk}(G)\). Corollary 5.1 is not proved, since it is based on a conjecture stated by Chas-Sullivan in 1999 which is still open.