ConceptComplete

Hodge Theory and Periods - Key Properties

The period integrals of Calabi-Yau manifolds satisfy remarkable differential equations and geometric constraints. These properties make periods powerful tools for studying the geometry and topology of Calabi-Yau moduli spaces.

Picard-Fuchs Equations

As the complex structure varies in a family of Calabi-Yau manifolds, the period integrals satisfy linear differential equations called Picard-Fuchs equations.

DefinitionPicard-Fuchs Differential Equation

Let {Xt}t∈M\{X_t\}_{t \in \mathcal{M}} be a family of Calabi-Yau nn-folds with holomorphic nn-form Ωt\Omega_t. The periods Πi(t)=∫γiΩt\Pi_i(t) = \int_{\gamma_i} \Omega_t satisfy a system of linear ODEs: LiΠ(t)=0\mathcal{L}_i \Pi(t) = 0

where Li\mathcal{L}_i are differential operators in the variables parametrizing M\mathcal{M}.

For a one-parameter family with coordinate zz, the Picard-Fuchs equation typically takes the form: [ΞΈn+1βˆ’z∏i=1n+1(ΞΈ+ai)]Ξ (z)=0\left[\theta^{n+1} - z \prod_{i=1}^{n+1}(\theta + a_i)\right]\Pi(z) = 0

where ΞΈ=zddz\theta = z\frac{d}{dz} is the logarithmic derivative operator and aia_i are rational numbers.

ExampleQuintic Mirror Family

The mirror family to the quintic threefold has Picard-Fuchs equation: [ΞΈ4βˆ’5z(5ΞΈ+1)(5ΞΈ+2)(5ΞΈ+3)(5ΞΈ+4)]Ξ (z)=0[\theta^4 - 5z(5\theta+1)(5\theta+2)(5\theta+3)(5\theta+4)]\Pi(z) = 0

This fourth-order equation has solutions expressible in terms of hypergeometric functions.

Yukawa Coupling and Special Geometry

The third derivatives of the period integrals define the Yukawa coupling, a fundamental quantity in the geometry of moduli spaces.

DefinitionYukawa Coupling

For a Calabi-Yau threefold XX, the Yukawa coupling in complex structure moduli space is: Cijk=∫XΞ©βˆ§βˆ‚3Ξ©βˆ‚tiβˆ‚tjβˆ‚tkC_{ijk} = \int_X \Omega \wedge \frac{\partial^3 \Omega}{\partial t^i \partial t^j \partial t^k}

where tit^i are local coordinates on the moduli space Mc\mathcal{M}_c.

The Yukawa coupling is totally symmetric and satisfies special polynomial relations. It determines a special KΓ€hler metric on Mc\mathcal{M}_c called the Weil-Petersson metric.

Remark

The special geometry structure on the complex structure moduli space Mc\mathcal{M}_c is mirror to the quantum corrected KΓ€hler geometry on MK\mathcal{M}_K of the mirror manifold. This exchange is at the heart of mirror symmetry.

Monodromy and the Monodromy Weight Filtration

As we traverse loops in the moduli space, the periods undergo monodromy transformations. Near singular points in moduli space, the monodromy exhibits specific behavior.

The monodromy weight filtration Wβˆ™W_\bullet on Hn(X,Z)H^n(X,\mathbb{Z}) satisfies: WkβŠ‚Wk+1,N(Wk)βŠ‚Wkβˆ’2W_k \subset W_{k+1}, \quad N(W_k) \subset W_{k-2}

where N=log⁑TN = \log T is the logarithm of the monodromy operator TT around the singular locus. This filtration reflects the degeneration of the Hodge structure.

DefinitionLimiting Mixed Hodge Structure

At a boundary point of moduli space (corresponding to a degenerate Calabi-Yau), the Hodge structure degenerates to a limiting mixed Hodge structure. The weights are shifted according to the monodromy weight filtration: GrkWHn≅Hn(Xˉ0)\text{Gr}^W_k H^n \cong H^n(\bar{X}_0)

where Xˉ0\bar{X}_0 is a compactification of the central fiber.

Near the large complex structure limit (a distinguished point in moduli space), the periods have expansions: Ξ (z)=βˆ‘n=0∞cnzn\Pi(z) = \sum_{n=0}^\infty c_n z^n

The coefficients cnc_n encode geometric information, and in mirror symmetry, they are related to Gromov-Witten invariants.

Intersection Form and Polarization

The periods respect the intersection pairing on homology. For Calabi-Yau threefolds, the intersection form on H3(X,Z)H_3(X,\mathbb{Z}) is given by: Q(γ1,γ2)=∫Xα1∧α2Q(\gamma_1, \gamma_2) = \int_{X} \alpha_1 \wedge \alpha_2

where Ξ±i\alpha_i are 3-forms PoincarΓ© dual to Ξ³i\gamma_i. This form has signature (h2,1+1,h2,1+1)(h^{2,1}+1, h^{2,1}+1) and provides a polarization of the Hodge structure. The periods satisfy: ∫XΞ©βˆ§Ξ©Λ‰>0\int_X \Omega \wedge \bar{\Omega} > 0

ensuring positivity properties essential for the geometric interpretation.