The first question appearsAs the example by Tom Goodwillie shows, the restriction to havefixed points does not generally induce an affirmative answer in Corollary 1isomorphism 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 Exotic Twisted Equivariant Cohomology of Loop Spaces, Twisted Bismut–Chern Character and T-Duality by Fei HanThe fixed point theorem in equivariant cohomology. The following extract from their Introduction beautifully explains what they do:
"Now let $X$ be a smooth, connected, finite dimensional manifold and Varghese Mathailet $LX$ be the space of all smooth loops in $X$ with its $C^\infty$ topology. HoweverThe 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 seems to conflict withaction is precisley the answer by Tommanifold X, considered as the space of constant loops. According to Goodwillie [10], $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 I am not yet ableintegration on $LX$. Our solution to exactly see what is causing this discrepancy. My guessdifficulty is that actually two different versionsto construct a new form of equivariant cohomology, denoted $LM$ as$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 topological space/infinitesimple and natural modification of one definition of periodic equivariant cohomology. If $Y$ is finite dimensional manifold occurthen $h^\bullet_T(Y)=u^{-1} H^\bullet_T(Y)$ but in a large class of infinite dimensional examples, including the two articles so that both statementscase $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 true relativediscussed in §3. In §4 we show how to construct an inverse, at the versionlevel of differential forms, for the restriction homomorphism $LM$ they assume. But$i^\ast$ and following [3, 6, 4, and 7] explain how this leads to integration formulas. The most important ingredient is justthe construction of an equivariant form $\tau$, essentially the form $\exp( -( \omega + E))$ of [2, 6], which defines a quick guessclass 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]."