Equivariant instanton homology

We define four versions of equivariant instanton Floer homology ($I^+, I^-, I^\infty$ and $\widetilde I$) for a class of 3-manifolds and $SO(3)$-bundles over them including all rational homology spheres. These versions are analogous to the four flavors of monopole and Heegaard Floer homology theories. This construction is functorial for a large class of 4-manifold cobordisms, and agrees with Donaldson's definition of equivariant instanton homology for integer homology spheres. Furthermore, one of our invariants is isomorphic to Floer's instanton homology for admissible bundles, and we calculate $I^\infty$ in all cases it is defined, away from characteristic 2. The appendix, possibly of independent interest, defines an algebraic construction of three equivariant homology theories for dg-modules over a dg-algebra, the equivariant homology $H^+(A,M)$, the coBorel homology $H^-(A,M)$, and the Tate homology $H^\infty(A,M)$. The constructions of the appendix are used to define our invariants.