Rational \(S^1\)-equivariant elliptic cohomology (Q2568998)

The first \(S^1\)-equivariant elliptic cohomology was introduced by \textit{I. Grojnowski} in [Delocalized Elliptic Cohomology, Yale University, preprint, 1994]. It was defined on finite complexes only and took values in complex analytic sheaves over elliptic curves. The author gives a rational version which applies to general \(S^1\)-spaces and even constructs an \(S^1\)-ring spectrum \(EA_{S^1}\) for every elliptic curve \(A\) over a rational algebra which comes with a coordinate. The construction is compatible with base change. He also establishes an equivalence between sheaves over the elliptic curve and module spectra over \(EA_{S^1}\). Grojnowskis original theory is then obtained as the sheaf associated to the function spectrum \(F(X,EA_{S^ 1}).\) The idea is that an even periodic theory \(E\) determines a one-dimensional commutative formal group \(\hat G\) such that \(E^0 (BS^1)\) is the ring of functions on \(\hat G\). An \(S^1\)-equivariant version \(E_{S^1}\) of \(E\) should come with a completion map \[ E^0_{S^1} (*) \longrightarrow E^0 (BS^1) =H^0 (\hat G ,O) \] A good candidate hence is \[ E^*_{S^1} (*) = H^* ( G, O) \text{ for } i= 0,1. \] and, more generally, the value on the one point compactification \(S^W\) of a complex representation \(W\) with \(W^{S^1} =0\) is the sheaf cohomology of the line bundle \(O(-D(W))\) on \(A\). Here, \(D(W)\) is the divisor \(\sum_n a_n A[n]\) if \(W=\sum_n a_n z^n\) with \(z\) being the canonical representation of \(S^1\) on the complex numbers. In order to actually construct \(EA_{S^ 1}\), this process is reversed by simply defining the value of \(EA_{S^ 1}\) this way and then by applying the machinery of {the author's paper [Mem. Am. Math. Soc. 661, 1--287 (1999; Zbl 0921.55001)]. Finally, its properties are discussed. The paper is well written and provides a modern approach to equivariant elliptic cohomology. Its main perspective is adopted by other constructors of integral versions of elliptic cohomology theories and topological modular forms.}