Definition
Calabi–Yau manifold
A compact connected Kähler manifold whose holomorphic canonical bundle is trivial.
Definition
In this knowl, a Calabi–Yau manifold is a connected compact Kähler manifold whose canonical bundle is holomorphically trivial. Equivalently, if , then admits a nowhere-vanishing holomorphic -form. The form, a Kähler metric, and a Kähler class are not included as chosen data. This convention is deliberately broad: it includes complex tori and compact Kähler holomorphic symplectic manifolds, as well as manifolds whose Ricci-flat metrics have full holonomy .
Ricci-flat metrics and holonomy
Triviality of implies that the real first Chern class vanishes. Yau's solution of the Calabi conjecture then gives, in each Kähler class, a unique Ricci-flat Kähler metric. A nowhere-vanishing holomorphic volume form is parallel for the corresponding normalized metric, so the restricted holonomy is contained in Joyce, Chapters 5–6.
Containment need not be equality. Flat complex tori have smaller holonomy, and holomorphic symplectic examples have holonomy contained in a symplectic subgroup. Extra hypotheses, such as simple connectedness and irreducibility of the Riemannian holonomy representation, are needed before one concludes full holonomy .
Examples
Every elliptic curve is Calabi–Yau under the convention above: its translation-invariant holomorphic -form has no zeros. More generally, every compact complex torus has a translation-invariant nowhere-vanishing holomorphic top form.
A smooth quintic hypersurface in complex projective -space is a Calabi–Yau threefold. The adjunction formula makes its canonical bundle trivial, while projectivity supplies a Kähler metric. This example belongs to the full- class rather than the torus class.
Conventions and scope
This definition concerns smooth complex manifolds. Singular Calabi–Yau varieties require separate choices concerning normality, singularities, and the meaning of the canonical sheaf.
References
- Dominic D. Joyce, Compact Manifolds with Special Holonomy, Oxford Mathematical Monographs, Oxford University Press, 2000. DOI record. Relevant: Chapter 5, the Calabi conjecture, and Chapter 6, Calabi–Yau manifolds and holonomy.
- Daniel Huybrechts, Complex Geometry: An Introduction, Springer, 2005. DOI record. Relevant: Appendix 4.B, Hermite–Einstein and Kähler–Einstein metrics.