Automorphism group of Batyrev Calabi-Yau threefolds (Q487171): Difference between revisions

Let \(\mathbb{P}_{\Delta} \) be a toric Fano 4-variety with only Gorenstein singularities defined by a lattice reflexive polytope \(\Delta \subset \mathbb{R}^{4}\). A generic anti-canonical divisor \(Z_{\Delta}\) is a Calabi-Yau threefold with only canonical singularities, and a crepant resolution \(\overline{Z}_{\Delta}\) of \(Z_{\Delta}\) is a smooth Calabi-Yau threefold. \(\overline{Z}_{\Delta}\) is called a Batyrev Calabi-Yau threefold, since \textit{V. V. Batyrev} studied such Calabi-Yau threefolds in [J. Algebr. Geom. 3, No. 3, 493--535 (1994; Zbl 0829.14023)] for constructing hypothetical mirror pairs of Calabi-Yau manifolds. This paper proves that the automorphism group of a Batyrev Calabi-Yau threefold is finite. Let \(\overline{Z}_{\Delta}\) be a Batyrev Calabi-Yau threefold, \(K\subset H^{1,1}(\overline{Z}_{\Delta}, \mathbb{R})\) be the Kähler cone, i.e., \(\alpha \in K\) iff \(\alpha\) can be represented by a Kähler metric, and \(\overline{K}\) be the nef cone, i.e., the closure of \(K\) in \( H^{1,1}(\overline{Z}_{\Delta}, \mathbb{R})\). The second Chern class \(c_{2}(\overline{Z}_{\Delta})\) can be regarded as a linear functional on \(H^{1,1}(\overline{Z}_{\Delta}, \mathbb{R})\) by \(c_{2}(\overline{Z}_{\Delta})\cdot \alpha\), and it is positive on \(K\) by the Miyaoka-Yau inequality. In this paper, the author proves that \(c_{2}(\overline{Z}_{\Delta})\) is furthermore strictly positive on the nef cone \(\overline{K}\), and as consequence, obtains the finiteness of the automorphism group. If one grants the Morrison conjecture, i.e., for any Calabi-Yau threefold \(Z\), there is a rational polyhedral cone \(\Pi\subset H^{2}(Z, \mathbb{R})\) such that \(\overline{K}=\mathrm{Aut}(Z)\cdot \Pi\), then a Batyrev Calabi-Yau threefold has a polyhedral nef cone.