Calabi-Yau threefold 2026-10-05
Here a Calabi-Yau threefold is a compact complex three-dimensional Kähler manifold with trivial canonical bundle and . The Hodge decomposition theorem for compact Kähler manifolds gives , and Serre duality for compact complex manifolds then gives . This supplies a positive integral Kähler class and hence a projective embedding.
Evaluation is surjective as a sheaf morphism: near , any prescribed value is supplied by a constant holomorphic function. We therefore have a short exact sequence of sheaves
where is the point ideal sheaf and the sheaf of holomorphic functions. By part (c), the skyscraper sheaf is flasque, so and for .
On the connected compact elliptic curve, the maximum modulus principle makes every global holomorphic function constant. Consequently , and evaluation on global sections is an isomorphism. Also : by Serre duality for compact complex manifolds, its dual is , generated by the nowhere-zero form descended from . Higher cohomology of vanishes by the Dolbeault theorem in complex dimension one.
The long exact sequence in sheaf cohomology thus begins
It follows that
Apply Serre duality for compact complex manifolds to , where is the canonical bundle:
We can show the group on the right vanishes directly from the embedding. Since , the tautological bundle inclusion gives an inclusion of holomorphic vector bundles
A global holomorphic section of consequently determines global holomorphic functions on . Compactness and the maximum modulus principle make these functions constant on every connected component. On such a component the section is therefore a constant vector lying in the tautological line for every .
If , all the points equal . This contradicts the fact that is an embedding of a component of positive dimension . Hence on every component, and . Duality proves
For the Calabi-Yau threefold in the stated convention, the Hodge decomposition theorem for compact Kähler manifolds gives
In particular, the Dolbeault theorem yields . By Serre duality for compact complex manifolds in dimension three,
The canonical bundle is trivial, so the group on the right equals . Thus , and part (c) gives