Moduli Spaces - Main Theorem
The fundamental results about Calabi-Yau moduli spaces establish their smoothness, dimension, and geometric structure. These theorems provide the foundation for understanding deformations and constructing mirror pairs.
Let be a Calabi-Yau manifold of dimension . Then the complex structure moduli space is smooth at the point corresponding to , with dimension:
Moreover, the obstruction space vanishes, so all infinitesimal deformations are unobstructed.
This remarkable result contrasts sharply with general varieties, where obstructions can prevent infinitesimal deformations from integrating to actual deformations. The proof uses the Calabi-Yau condition in an essential way.
The BTT theorem applies to complex structure deformations. KΓ€hler deformations are automatically unobstructed since is a vector space with no obstructions. However, combined deformations mixing both types can have obstructions in some cases.
The smoothness of at each point allows construction of a versal family. Near any Calabi-Yau threefold , there exists a family with fiber over , such that and every nearby Calabi-Yau appears as a fiber.
For a Calabi-Yau threefold , the period map:
from the complex structure moduli space to the period domain is a local isomorphism. That is, the differential:
is an isomorphism.
This result shows that infinitesimal complex structure deformations are completely determined by their effect on period integrals. The Kodaira-Spencer class of a deformation equals the derivative of the period map, connecting deformation theory with Hodge theory.
For threefolds with , the global Torelli problem becomes whether the period map is injective globally. This holds for many examples but can fail when the manifold has large automorphism groups.
The complex structure moduli space carries a natural special KΓ€hler metric (the Weil-Petersson metric) with KΓ€hler potential:
The metric is:
This metric is Ricci-flat and has holonomy contained in .
The special KΓ€hler structure encodes the variation of Hodge structure. The connection is flat in special coordinates (related to periods), and the curvature is controlled by the Yukawa coupling.
For a one-parameter family with coordinate , the Weil-Petersson metric is:
where is a period. In the case of the mirror quintic, this can be computed explicitly from hypergeometric functions.
These structural theorems make Calabi-Yau moduli spaces tractable objects for both mathematical analysis and physical applications.