On the elliptic genus of generalised Kummer varieties (Q706601)

The main result of the paper is a formula for the elliptic genus of generalized Kummer varietes conjectured by \textit{T. Kawai} and \textit{K. Yoshioka} in their paper [Adv. Theor. Math. Phys. 4, No. 2, 397--485 (2000; Zbl 1013.81043)]. In order to give a more detailed presentation of the result let us recall some definitions. First, by the complex genus \(\phi\) with values in an algebra \(R\) is meant a homomorphism \(\phi:\Omega\to R\) (where \(\Omega)\) is the rational complex cobordism ring). Then, generalizing the Hirzebruch \(\chi_y\)-genus, the author defines for any compact complex manifold \(X\) an elliptic genus \(\text{Ell}(X,z,\tau)\in Q[[e^{2\pi i\tau}]][e^{\pi iz}]\) as the Euler characteristic of a virtual bundle \(E_X(z,\tau)\in K^0(X)[[e^{2\pi i\tau}]][e^{\pi iz}]\) over \(X\) (defined in terms of exterior and symmetric powers of the tangent bundle \(TX\)). Let us also recall the definition of generalized Kummer variety due to Beauville. Let \(A\) be an abelian surface, \(A^{[n]}\) -- the Hilbert scheme of zero-dimensional subschemes of \(A\) of length \(n> 0\), and let \(A^{(n)}\) be the \(n\)-fold symmetric product of \(A\). Then the \(n\)th generalized Kummer variety \(A^{[[n]]}\) is defined to be the fiber over \(0\in A\) of the composition of the Hilbert-Chow morphism \(\rho: ^{[n]}\to A^{(n)}\) with the summation morphism \(A^{(n)}\to A\). Then the main formula of the paper (in a slightly simplified form) reads as follows: \(\text{Ell}(A^{[[n]]})= n^4\psi^{-2}(\psi^2|_{-2} V(n))\) (here \(\psi= \psi(z,\tau)= 2\pi i\vartheta(-z, \tau)/\vartheta'(0,\tau)\) where \(\vartheta\) is the Jacobi theta function, and \(V(n)\) is a Hecke operator).