Equivariant elliptic cohomology and rigidity

Equivariant elliptic cohomology with complex coefficients was defined axiomatically by Ginzburg, Kapranov and Vasserot and constructed by Grojnowski. We give an invariant definition of complex S¹-equivariant elliptic cohomology, and use it to give an entirely cohomological proof of the rigidity theorem of Witten for the elliptic genus. We also state and prove a rigidity theorem for families of elliptic genera.