Automorphism group of Batyrev Calabi-Yau threefolds (Q487171): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2088908399 / rank | |||
Normal rank |
Revision as of 00:13, 20 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Automorphism group of Batyrev Calabi-Yau threefolds |
scientific article |
Statements
Automorphism group of Batyrev Calabi-Yau threefolds (English)
0 references
19 January 2015
0 references
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.
0 references
Calabi-Yau manifolds
0 references