1. The verification is standard since S^1 is compact and connected; one construct av^\ast: (\Omega^\ast(M), d^\ast) \to (\Omega_X^\ast, d^\ast) by S^1- averaging using the compacity of S^1. The homomorphism induced in cohomology by av^\ast is obviously surjective. To check it is injective one has to show that any closed k differential form \omega which becomes exact after applying av is already exact, precisely \int_c\omega=0 for any smooth k- cycle c. Indeed, since the connectivity of S^1 implies \int_c\omega= \int_{\mu(-\theta, c)}\omega , \ \theta \in S^1 one has:
\begin{aligned}
\int_c\omega= 1/2\pi \int_{S^1}(\int_c\omega)d\theta= \\
1/2\pi \int_{S^1}(\int_{\mu(-\theta, c)} \omega)d\theta
=1/2\pi \int_{S^1}(\int_c \mu_\theta^\ast (\omega))d\theta= \\
\int_c (1/2\pi \int_{S^1} \mu_\theta^\ast (\omega)d\theta)=
\int_c av^\ast(\omega)=0.
\end{aligned}
Here \mu_\theta denotes the diffeomorphism \mu(\theta, \cdot ): M\to M.
2. Looking at the definition in section r@SMCSMC one recognizes one of the most familiar definition of equivariant cohomology using invariant differential forms cf. cite AB.
3. The proof is a straightforward consequence of Proposition r@P1P1 in section r@SMCSMC and (2) above.
4. Let F be the smooth sub manifold of the fixed points of \mu. Clearly r^\ast : (\Omega^\ast_X(M), d^\ast, i^X_\ast) \to (\Omega^\ast (F), d^\ast_F, 0) is a morphism of mixed CDGA, hence of mixed complexes. If the smooth action is good then the above morphism induces an isomorphism in homology H_\ast (\Omega^\ast_X, i^X_\ast)\to H_\ast (\Omega^\ast (F), 0). To check this we have to show that (\ker r^\ast, i^X_\ast), with \ker r^\ast:= \{\omega\in \Omega_X ^\ast(M) | \omega|_F=0\}, is acyclic. This follows (by S^1-average) from the acyclicity of the chain complex (\Omega^\ast (M,F), i^X_\ast) which in turn can be derived using the linearity w.r. to functions of of i^X. Indeed, using a "partition of unity" argument it suffices to verify this acyclicity locally. For points outside F the acyclicity follows from the acyclicity of the complex
\cdots \Lambda^{\ast-1} (V) \overset {i^e}\to \Lambda^\ast(V)\overset{i^e}\to \Lambda ^{\ast-1}(V)\to \cdots , where V is a Frechet space , \Lambda^k (F) the space of skew symmetric k-linear maps from V to \kappa= \mathbb R, \mathbb C and e\in V\setminus 0. For points x\in F this follows from the fact that the linearization of the action at x is a good representation, as stated in Proposition r@P2P2.
5. If \tilde M is a finite dimensional smooth S^1-manifold we can equip M with an invariant Riemannian metric g and consider \star:\Omega^\ast(M)\to \Omega^{n-\ast}(M; \mathcal O_M) the Hodge star operator. Denote by \omega\in \Omega^1 (M) the 1-form corresponding to X w.r. to the metric g, by e_\omega:\Omega^\ast(M;\mathcal O_M)\to \Omega^{\ast +1}(M;\mathcal O_M) the exterior multiplication with \omega and by \partial_\ast: \Omega^\ast(M;\mathcal O_M)\to \Omega^{\ast-1}(M;\mathcal O_M) the formal adjoint of d^{\ast-1} w.r. to g i.e. \partial _\ast = \pm \star \cdot\ d ^{n-\ast}\cdot \ \star^{-1} . Note that e_\omega= \pm \star \cdot \ i^X \cdot \star^{-1} . All these operators leave \Omega_{X} invariant since g is invariant. Clearly (\Omega ^\ast_{X}(M;\mathcal O_M), e^\ast _\omega, \partial _\ast ) is a mixed cochain complex and we have
^-H^\ast _{i^X}(\Omega_X (M), d, i^X)= ^+H^\partial_{n-\ast} (\Omega_X (M;\mathcal O_M), e^\omega,\partial ).
The equivariant homology of \tilde M with coefficients in the orientation bundle can be calculated from the complex of invariant currents which, if M closed, contains the complex (\Omega^{n-\ast} _X(M, \mathcal O_M), \partial _{n-\ast}) as a quasi isomorphic sub complex. As a consequence we have
\begin{aligned}
H_{n-\ast}(\Omega_X(M;\mathcal O_M),\partial)= &H_\ast(M;\mathcal O_M)\\
^+H^{e_\omega}_{n-\ast}(\Omega_X(M;\mathcal O_M), e_\omega,\partial)= &H_\ast^{S^1}(M;\mathcal O_M)
\end{aligned}
(cf. section r@SMCSMC for notations).