As the example by Tom Goodwillie shows, the restriction to fixed points does not generally induce an isomorphism between localized equivariant cohomologies. Yet, as the question shows, there's good reason for willing this isomorphism to exist despite the evidence it does not. The question has been solved by Jones and Petrack in [The fixed point theorem in equivariant cohomology][1]. The following extract from their Introduction beautifully explains what they do: "Now let $X$ be a smooth, connected, finite dimensional manifold and let $LX$ be the space of all smooth loops in $X$ with its $C^\infty$ topology. The space $LX$ is an infinite dimensional manifold modelled on a Fr\'echet space. The circle acts smoothly on LX and the fixed point set of this action is precisley the manifold X, considered as the space of constant loops. According to Goodwillie [[10][2]], $u^{-1}H^\bullet_T(LX)$ depends only on $\pi_1(X)$ so that the fixed point theorem, as it stands, cannot be true for $LX$. This has been an obstacle to progress in the study of differential forms and integration on $LX$. Our solution to this difficulty is to construct a new form of equivariant cohomology, denoted $h^\bullet_T(Y)$, which will be used in place of $u^{-1} H^\bullet_T(Y)$. The groups $h^\bullet_T(Y)$ are defined by a simple and natural modification of one definition of periodic equivariant cohomology. If $Y$ is finite dimensional then $h^\bullet_T(Y)=u^{-1} H^\bullet_T(Y)$ but in a large class of infinite dimensional examples, including the case $Y = LX$ , the inclusion $i: F \to Y$ of the fixed point set induces an isomorphism $h^\bullet_T(Y) \to h^\bullet_T(F)$. This cohomology theory is constructed in §1 and the fixed point theorem is stated precisely in §2. Some alternative theories which also satisfy the fixed point theorem are discussed in §3. In §4 we show how to construct an inverse, at the level of differential forms, for the restriction homomorphism $i^\ast$ and following [[3][3], [6][4], [4][5], and [7][6]] explain how this leads to integration formulas. The most important ingredient is the construction of an equivariant form $\tau$, essentially the form $\exp( -( \omega + E))$ of [[2][7], [6]], which defines a class in $h^\bullet_T(Y)$ and has the key property that $i^\ast(\tau) = 1$. This form $\tau$ is essentially the equivariant Thom/Euler class of the normal bundle to the fixed point set. In §5 we show how the form $\tau$ on $LX$, is related to the $\hat{A}$ polynomial of $X$, compare [[2]]." [1]: https://www.ams.org/journals/tran/1990-322-01/S0002-9947-1990-1010411-X/S0002-9947-1990-1010411-X.pdf [2]: https://www.sciencedirect.com/science/article/pii/0040938385900552 [3]: https://www.sciencedirect.com/science/article/pii/0040938384900211?via%3Dihub [4]: https://projecteuclid.org/journals/communications-in-mathematical-physics/volume-103/issue-1/Localization-formulas-superconnections-and-the-index-theorem-for-families/cmp/1104114628.full [5]: https://projecteuclid.org/journals/duke-mathematical-journal/volume-50/issue-2/Zeros-dun-champ-de-vecteurs-et-classes-caracteristiques-equivariantes/10.1215/S0012-7094-83-05024-X.short [6]: https://link.springer.com/article/10.1007/BF01399506 [7]: http://www.numdam.org/article/AST_1985__131__43_0.pdf