Math 2.0

Algebraic geometry Definition

Calabi–Yau manifold

Builds on Canonical bundle

Definition

Let XX be a compact connected Kähler manifold of complex dimension nn, and let KXK_X be its canonical bundle, the bundle of holomorphic nn-forms. The manifold XX is a Calabi–Yau manifold if KXK_X is holomorphically trivial, that is, if XX has a holomorphic nn-form that vanishes nowhere.

Remarks

Several stricter definitions are in use. Many authors also ask that H0(X,ΩXi)=0H^0(X, \Omega^i_X) = 0 for 0<i<n0 < i < n, or that XX be simply connected, or that the holonomy group of a Ricci-flat Kähler metric be exactly SU(n)SU(n). Example: a smooth quintic hypersurface X⊂ℙ4X \subset \mathbb{P}^4 has KX=𝒪X(5−5)=𝒪XK_X = \mathcal{O}_X(5 - 5) = \mathcal{O}_X by the adjunction formula, so it is Calabi–Yau. Example: an elliptic curve ℂ/Λ\C/\Lambda has the nowhere vanishing form dzdz. Non-example: ℙ1\mathbb{P}^1 has K=𝒪(−2)K = \mathcal{O}(-2), which has no nonzero sections, so it is not Calabi–Yau. A complex torus of dimension 22 has trivial canonical bundle, but H0(X,Ω1)≅ℂ2H^0(X, \Omega^1) \cong \C^2, so it fails the stricter definition.

Reading path

To understand this page from the ground up, read these 2 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Canonical bundle concept
  2. Calabi–Yau manifold definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Calabi%E2%80%93Yau_manifold
About this page
TagYZMPRMQ6GA
URIm2://YZMPRMQ6GA
Kinddefinition
WritingW0 stub
MSC14J32, 32Q25
DefinesCalabi–Yau manifold
UsesCanonical bundle
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.