TheoremComplete

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.

TheoremBogomolov-Tian-Todorov Theorem

Let XX be a Calabi-Yau manifold of dimension nn. Then the complex structure moduli space Mc\mathcal{M}_c is smooth at the point corresponding to XX, with dimension: dim⁑Mc=hnβˆ’1,1(X)\dim\mathcal{M}_c = h^{n-1,1}(X)

Moreover, the obstruction space H2(X,TX)H^2(X,T_X) 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 KX≅OXK_X \cong \mathcal{O}_X in an essential way.

Remark

The BTT theorem applies to complex structure deformations. KΓ€hler deformations are automatically unobstructed since H1,1(X,R)H^{1,1}(X,\mathbb{R}) is a vector space with no obstructions. However, combined deformations mixing both types can have obstructions in some cases.

The smoothness of Mc\mathcal{M}_c at each point allows construction of a versal family. Near any Calabi-Yau threefold X0X_0, there exists a family Ο€:Xβ†’B\pi: \mathcal{X} \to B with fiber X0X_0 over 0∈B0 \in B, such that Bβ‰…Ch2,1B \cong \mathbb{C}^{h^{2,1}} and every nearby Calabi-Yau appears as a fiber.

TheoremLocal Torelli Theorem

For a Calabi-Yau threefold XX, the period map: Φ:Mc→D/Γ\Phi: \mathcal{M}_c \to \mathcal{D}/\Gamma

from the complex structure moduli space to the period domain is a local isomorphism. That is, the differential: dΦ:T[X]Mc→TΦ([X])D/Γd\Phi: T_{[X]}\mathcal{M}_c \to T_{\Phi([X])}\mathcal{D}/\Gamma

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 h2,1=1h^{2,1} = 1, 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.

TheoremSpecial KΓ€hler Structure

The complex structure moduli space Mc\mathcal{M}_c carries a natural special KΓ€hler metric (the Weil-Petersson metric) with KΓ€hler potential: K=βˆ’log⁑(i∫XΞ©βˆ§Ξ©Λ‰)K = -\log\left(i\int_X \Omega \wedge \bar{\Omega}\right)

The metric is: gijΛ‰=βˆ‚iβˆ‚jΛ‰Kg_{i\bar{j}} = \partial_i\partial_{\bar{j}}K

This metric is Ricci-flat and has holonomy contained in U(h2,1)\text{U}(h^{2,1}).

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.

ExampleOne-Parameter Case

For a one-parameter family with coordinate tt, the Weil-Petersson metric is: ds2=(βˆ‚tΟ‰)(βˆ‚tΛ‰Ο‰Λ‰)(ωωˉ)βˆ’(βˆ‚tΟ‰)(Ο‰βˆ‚tΛ‰Ο‰Λ‰)+(Ο‰Λ‰βˆ‚tΟ‰)(βˆ‚tΛ‰Ο‰Λ‰)(ωωˉ)2ds^2 = \frac{(\partial_t\omega)(\partial_{\bar{t}}\bar{\omega})}{(\omega\bar{\omega})} - \frac{(\partial_t\omega)(\omega\partial_{\bar{t}}\bar{\omega}) + (\bar{\omega}\partial_t\omega)(\partial_{\bar{t}}\bar{\omega})}{(\omega\bar{\omega})^2}

where Ο‰=∫γΩ\omega = \int_\gamma \Omega 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.