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.
Let be a smooth family of compact KΓ€hler manifolds and be the cohomology sheaf with Hodge filtration .
Step 1: Gauss-Manin Connection
The Gauss-Manin connection is defined by differentiating cohomology classes. For a class :
where is a tangent vector to and we choose a representative of the cohomology class.
Step 2: Hodge Decomposition and Differential
On each fiber , we have the Hodge decomposition:
Let be a harmonic representative. The key observation is that under differentiation:
for some forms of appropriate types.
Step 3: Type Analysis
Decomposing into types, we get components:
The cohomology class has contributions from , , and .
Step 4: Harmonic Projection
The Gauss-Manin connection applied to gives:
But we need to show it lands in , i.e., no component.
Step 5: KΓ€hler Identities
Using KΓ€hler identities and the fact that is harmonic:
The derivative can be written as:
where is the KΓ€hler metric.
Step 6: Infinitesimal Period Relation
The infinitesimal period relation states:
For , we have:
This follows from:
where is the Kodaira-Spencer class and .
Step 7: General Transversality
For general , the same analysis shows:
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:
which is Griffiths transversality.
Griffiths transversality is equivalent to the period map taking values in the period domain . 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.