On Kummer 3-folds (Q644556)

Let \(A\) be an elliptic curve. Consider a finite (non-cyclic) subgroup \(G<\mathrm{SL}(3,\mathbb{Z})\). Then \(G\) acts on \(A^3\cong\mathbb{Z}^3\otimes_{\mathbb{Z}}A\) by left multiplication on \(\mathbb{Z}^3\). Denote the orbit space from this action by \(Y=A^3/G\). Using the methods developed by \textit{M. Andreatta} and \textit{J. A. Wiśniewski} [Rev. Mat. Complut. 23, No. 1, 191--215 (2010; Zbl 1191.14049)], the author resolves the singularities of \(Y\) to obtain a projective variety \(\widetilde{Y}\) called a \textit{Kummer three-fold} (it is a \textit{crepant} resolution). The author notes that Kummer three-folds are \textit{Calabi-Yau}. In this paper the author classifies the Poincaré polynomials of all Kummer three-folds. The paper begins by reviewing the classification of conjugate equivalent finite (non-cyclic) subgroups of \(\mathrm{SL}(3,\mathbb{Z})\); there are 16 of them. Two conjugate subgroups result in isomorphic Kummer three-folds. In each of these 16 cases, the author computes the (virtual) Betti numbers of \(Y\) and \(\widetilde{Y}\). In the former case, this can be accomplished by determining the dimension of the spaces of \(G\)-invariant forms on \(A^3\). To determine the Poincaré polynomial of \(\widetilde{Y}\), the author determines the contribution of the singularities in \(Y\) to the Betti numbers in \(\widetilde{Y}\) (the smooth strata of \(Y\) and \(\widetilde{Y}\) agree). There are 2 singular strata to consider; determined by the isotropy of the action. By comparing the virtual Poincaré polynomials of the strata of \(Y\) and \(\widetilde{Y}\), and using the additivity property of virtual Poincaré polynomials, the author is able to determine the virtual Poincaré polynomials for \(\widetilde{Y}\). However, the virtual Poincaré polynomial is the same as the Poincaré polynomial in this case since \(\widetilde{Y}\) is smooth and projective. Some of the calculations are performed with the computer algebra system GAP. For example, there are 3 conjugation classes whose representatives are isomorphic to the symmetric group on four letters. In one such case, the Poincaré polynomial of \(Y\) is \(t^6+t^4+4t^3+t^2+1\) and the Poincaré polynomial of \(\widetilde{Y}\) is \(t^6+11t^4+8t^3+11t^2+1\). The other 15 cases are also presented.