Rational S1-equivariant elliptic cohomology

The construction extends to give an equivalence of categories between the homotopy category of module S1-spectra over the representing spectrum and a derived category of sheaves of modules over the structure sheaf of A.