Definition

In this knowl, a Calabi–Yau manifold is a connected compact XX whose KXK_X is holomorphically trivial. Equivalently, if n=dimCXn=\dim_{\mathbb C}X, then XX admits a nowhere-vanishing holomorphic nn-form. The form, a , and a are not included as chosen data. This convention is deliberately broad: it includes complex tori and compact Kähler , as well as manifolds whose Ricci-flat metrics have full holonomy SU(n)SU(n).

Ricci-flat metrics and holonomy

Triviality of KXK_X implies that the real first Chern class vanishes. Yau's 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 SU(n)SU(n) 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 , are needed before one concludes full holonomy SU(n)SU(n).

Examples

Every elliptic curve is Calabi–Yau under the convention above: its translation-invariant holomorphic 11-form has no zeros. More generally, every compact has a translation-invariant nowhere-vanishing holomorphic top form.

A smooth quintic hypersurface in 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-SU(3)SU(3) class rather than the torus class.

Conventions and scope

This definition concerns smooth . Singular Calabi–Yau varieties require separate choices concerning normality, singularities, and the meaning of the canonical sheaf.

References
  1. 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.
  2. Daniel Huybrechts, Complex Geometry: An Introduction, Springer, 2005. DOI record. Relevant: Appendix 4.B, Hermite–Einstein and Kähler–Einstein metrics.