On Siegel three-folds with a projective Calabi-Yau model (Q433007): Difference between revisions

This paper is the third in a series of articles by the authors on Siegel modular threefolds that admits a weak Calabi-Yau model [Ann. Sc. Norm. Super. Pisa, Cl. Sci. (5) 9, No. 4, 833--850 (2010; Zbl 1232.11058), Part II, Kyungpook Math. (to appear)]. However, not all of these Calabi-Yau threefolds admit a projective model. A weak Calabi-Yau threefold is projective, if and only if it admits a Kähler metric. The present article gives a criteria for the projectivity. Moreover, several examples of projective Calabi-Yau threefolds are constructed, some of which are new. In particular, a rigid Calabi-Yau threefold with Euler characteristic \(4\) is constructed. The starting Calabi-Yau threefold is the van Geemen-Nygaard example of a complete intersection \(\mathcal X\) of four quadrics in \({\mathbb{P}}^7\). There is a finite group \(\bar{\mathcal H}\subset \mathrm{GL}(8,\mathbb C)\) of order \(2^{12}3\) which acts faithfully on \(\mathcal X\), transitively on the nodes and, leaves the holomorphic \(3\)-form invariant. For any subgroup \(G\) of \(\bar{\mathcal H}\), the orbifold \(X/G\) has a desingularization which is a weak Calabi-Yau threefold, in fact, a Siegel modular threefold. The main result of this paper is the following theorem. Let \(A\) and \(B\) be the two classes of nodes on \({\mathcal{X}}\) that satisfy certain respective conditions. Let \(Cl(\mathcal X)\) be the divisor class group. Theorem: Let \(G\) be a subgroup of \(\bar{\mathcal{H}}\) such that \(A\cup B\) is the set of all nodes. Suppose that for each node \(a\in B,\, a\not\in A\), the map \((Cl(\mathcal X)\otimes_{\mathbb Z} \mathbb Q)^G\to Cl(\mathcal X,a)\otimes_{\mathbb Z}\mathbb Q\) is not the zero map. Then there is a projective resolution \(\tilde{\mathcal X}\to\mathcal X\) such that the action of \(G\) extends to a group of biholomorphic transformations of \(\tilde{\mathcal X}\) and such that \(G\)-\text{{Hilb}}(\(\tilde{\mathcal{X}}\)) is a resolution of \(\mathcal X/G\) in the form of a projective Calabi-Yau threefold. A rigid Calabi-Yau threefold with \(e=4\) and \(h^{1,1}=2\) is constructed by taking a specific group \(G\) of order \(16\) acting freely on \(\mathcal X\). With various choices for \(G\), several more examples of projective Calabi-Yau threefolds are constructed.