ProofComplete

The B-Model and Variations of Hodge Structure - Key Proof

We outline Griffiths' proof that variations of Hodge structure satisfy transversality, a fundamental result constraining how Hodge filtrations can vary. This theorem underpins the entire theory of period mappings.

ProofProof of Griffiths Transversality

Let Ο€:Xβ†’B\pi: \mathcal{X} \to B be a smooth family of compact KΓ€hler manifolds and V=RnΟ€βˆ—C\mathcal{V} = R^n\pi_*\mathbb{C} be the cohomology sheaf with Hodge filtration FpβŠ‚VF^p \subset \mathcal{V}.

Step 1: Gauss-Manin Connection

The Gauss-Manin connection βˆ‡:Vβ†’Ξ©B1βŠ—V\nabla: \mathcal{V} \to \Omega^1_B \otimes \mathcal{V} is defined by differentiating cohomology classes. For a class [Ξ±]∈Hn(Xt)[\alpha] \in H^n(X_t): βˆ‡v[Ξ±]=[βˆ‚Ξ±βˆ‚t]\nabla_v [\alpha] = \left[\frac{\partial\alpha}{\partial t}\right]

where v=βˆ‚/βˆ‚tv = \partial/\partial t is a tangent vector to BB and we choose a representative Ξ±\alpha of the cohomology class.

Step 2: Hodge Decomposition and Differential

On each fiber XtX_t, we have the Hodge decomposition: Hn(Xt,C)=⨁p+q=nHp,q(Xt)H^n(X_t, \mathbb{C}) = \bigoplus_{p+q=n} H^{p,q}(X_t)

Let α∈Hp,q(Xt)\alpha \in H^{p,q}(X_t) be a harmonic representative. The key observation is that under differentiation: βˆ‚Ξ±βˆ‚t=βˆ‚Ξ²+βˆ‚Λ‰Ξ³\frac{\partial \alpha}{\partial t} = \partial\beta + \bar{\partial}\gamma

for some forms Ξ²,Ξ³\beta, \gamma of appropriate types.

Step 3: Type Analysis

Decomposing βˆ‚Ξ±/βˆ‚t\partial\alpha/\partial t into types, we get components: βˆ‚Ξ±βˆ‚t=Ξ±p+1,qβˆ’1+Ξ±p,q+Ξ±pβˆ’1,q+1+β‹―\frac{\partial\alpha}{\partial t} = \alpha^{p+1,q-1} + \alpha^{p,q} + \alpha^{p-1,q+1} + \cdots

The cohomology class [βˆ‚Ξ±/βˆ‚t][\partial\alpha/\partial t] has contributions from Hp+1,qβˆ’1H^{p+1,q-1}, Hp,qH^{p,q}, and Hpβˆ’1,q+1H^{p-1,q+1}.

Step 4: Harmonic Projection

The Gauss-Manin connection applied to [Ξ±]∈Hp,q[\alpha] \in H^{p,q} gives: βˆ‡v[Ξ±]∈Hp+1,qβˆ’1βŠ•Hp,qβŠ•Hpβˆ’1,q+1\nabla_v[\alpha] \in H^{p+1,q-1} \oplus H^{p,q} \oplus H^{p-1,q+1}

But we need to show it lands in Hpβˆ’1,q+1βŠ•Hp,qβŠ•β‹―H^{p-1,q+1} \oplus H^{p,q} \oplus \cdots, i.e., no Hp+1,qβˆ’1H^{p+1,q-1} component.

Step 5: KΓ€hler Identities

Using KΓ€hler identities and the fact that Ξ±\alpha is harmonic: Δα=0β€…β€ŠβŸΉβ€…β€Šβˆ‚Ξ±=βˆ‚Λ‰Ξ±=0\Delta\alpha = 0 \implies \partial\alpha = \bar{\partial}\alpha = 0

The derivative βˆ‚Ξ±/βˆ‚t\partial\alpha/\partial t can be written as: βˆ‚Ξ±βˆ‚t=βˆ‚gijΛ‰βˆ‚tβ‹…(harmonicΒ correction)\frac{\partial\alpha}{\partial t} = \frac{\partial g_{i\bar{j}}}{\partial t} \cdot (\text{harmonic correction})

where gijˉg_{i\bar{j}} is the KÀhler metric.

Step 6: Infinitesimal Period Relation

The infinitesimal period relation states: βˆ‡Ξ©βˆˆFnβˆ’1βŠ—Ξ©B1\nabla\Omega \in F^{n-1} \otimes \Omega^1_B

For Ω∈Hn,0\Omega \in H^{n,0}, we have: βˆ‡vΩ∈Hnβˆ’1,1\nabla_v\Omega \in H^{n-1,1}

This follows from: βˆ‚Ξ©βˆ‚t=Ξ·βˆ§Ξ©β€²\frac{\partial\Omega}{\partial t} = \eta \wedge \Omega'

where η∈H1(TX)\eta \in H^1(T_X) is the Kodaira-Spencer class and Ξ©β€²βˆˆHnβˆ’1,1\Omega' \in H^{n-1,1}.

Step 7: General Transversality

For general pp, the same analysis shows: βˆ‡(Fp)βŠ‚Fpβˆ’1βŠ—Ξ©B1\nabla(F^p) \subset F^{p-1} \otimes \Omega^1_B

The lowering of Hodge type by one reflects the representation theory: differentiating multiplies by coordinates (lowering degree) in the period domain parametrization.

Step 8: Conclusion

Therefore: βˆ‡:FpVβ†’Ξ©B1βŠ—Fpβˆ’1V\nabla: F^p\mathcal{V} \to \Omega^1_B \otimes F^{p-1}\mathcal{V}

which is Griffiths transversality.

β– 
Remark

Griffiths transversality is equivalent to the period map taking values in the period domain D\mathcal{D}. It ensures that infinitesimal variations of Hodge structure remain Hodge structures, constraining the geometry of moduli spaces.

The proof uses the interplay between complex geometry (Hodge decomposition), differential geometry (KΓ€hler identities), and algebraic topology (cohomology) in an essential way, illustrating the rich structure of variations of Hodge structure.