Equivariant elliptic homology and finite groups (Q1916868)

The author defines a \(G\)-equivariant elliptic cohomology theory for each finite group \(G\) of odd order. This theory is the equivariant analogue of the elliptic cohomology theory which was introduced by Landweber, Ravenel and Stong [\textit{P. S. Landweber}, Elliptic cohomology and modular forms, Lect. Notes Math. 1326, 55-68 (1988; Zbl 0649.57022)]. The author defines a twisted elliptic genus, which is a ring homomorphism \(\Phi_G: MSO^*_G\to Ell^*_G\) from the oriented \(G\)-equivariant cobordism ring \(MSO^*_G\) to \(Ell^*_G\). The ring \(Ell^*_G\) is roughly defined as the ring of holomorphic functions \(\vartheta: TG\times \hbar\to \mathbb{C}\) which satisfy the equality \[ \vartheta \left((g^d_1g^e_2,g^b_1g^a_2), {a\tau+b \over e\tau +d} \right)= (e\tau+d)^k \vartheta(g_1, g_2,\tau), \] where \(TG=\{(g_1,g_2)\in G\times G\mid g_1 g_2=g_2g_1\}\), \(\hbar= \{\tau\in\mathbb{C} \mid\text{im} \tau>0\}\) and \(\left(\begin{smallmatrix} a & b\\ c & d\end{smallmatrix} \right)\in \Gamma_0(2)\). The idea behind the definition of the twisted genus comes from Witten's description of the elliptic genus as the index of the \(S^1\)-equivariant Dirac operator on the loop space [\textit{E. Witten}, loc. cit. 161-181 (1988; Zbl 0679.58045)]. For any finite \(G\text{-CW}\) complex \(X\) the equivariant cohomology \(Ell^*_G (X)\) is defined as the graded tensor product \(Ell^*_G(X) =MSO^*_G(X) \otimes_{MS O^*_G} Ell^*_G\), where \(Ell^*_G\) is considered as a graded algebra over \(MSO^*_G\) via the twisted elliptic genus. It is proved that the functor \(X\to Ell^*_G(X)\) is a stable equivariant cohomology theory on the category of finite \(G\text{-CW}\) complexes. As an application the author studies the equivariant Euler number, and he proves a relation which was first conjectured by \textit{M. Atiyah} and \textit{G. Segal} [J. Geom. Phys. 6, 671-677 (1989; Zbl 0708.19004)].