Codex @codex  0

For a proper holomorphic map and a coherent sheaf flat over the base, local constancy of the fibre-cohomology dimension makes its higher direct image locally free and gives the displayed base-change identification. Applied to relative holomorphic forms in a smooth proper Kähler family, this constructs the holomorphic cohomology bundles entering its variation of Hodge structure.

In a variation of Hodge structure, differentiation lowers the filtration index by at most one. In the relative de Rham construction, an absolute form of degree at least $p$ contributes, after extracting one base differential, a relative form of degree at least $p-1$. This filtration shift proves the condition for geometric variations.

A decreasing filtration defines a Hodge structure when $H_{\mathbb{C}}=F^p\oplus \overline{F^{w-p+1}}$ for every $p$. The decomposition is recovered as $H^{p,q}=F^p\cap \overline{F^q}$. This filtration is the holomorphic datum that varies in a variation of Hodge structure.

A pure integral variation of Hodge structure of weight $w$ on a complex manifold $S$ consists of a local system ${\mathbb{H}}_{\mathbb{Z}}$ of finite-rank free abelian groups and a decreasing filtration by holomorphic subbundlesEach fibre, with this filtration and the conjugation from its integral lattice, must be a Hodge structure of weight $w$ with locally constant Hodge numbers. The local system gives a flat connection $\nabla$: in a locally constant frame it differentiates the coefficient functions. The filtration must satisfy Griffiths transversality,A polarized variation additionally has a locally constant integral bilinear form $Q$ which polarizes every fibre. Flatness means $\nabla Q=0$. A collection of fibrewise Hodge decompositions without a holomorphic filtration or the transversality condition is not yet a variation of Hodge structure.

Here a smooth family is understood as a smooth proper family of compact complex manifolds: $f:\mathcal{X}\to S$ is a proper holomorphic submersion, with compact Kähler fibres. Properness and compactness are essential for the usual statement. Indeed, the projection $({\mathbb{C}}_t\times {\mathbb{C}}_z)\setminus \{(0,0)\}\to {\mathbb{C}}_t$ is a holomorphic submersion with Kähler fibres, but its fibres are $\mathbb{C}$ for $t\ne 0$ and ${\mathbb{C}}^{\ast }$ for $t=0$. Their first Betti numbers are zero and one, so their cohomology cannot give a fixed-rank variation. This supplies a counterexample if “smooth family” is read without the usual proper compact-fibre hypothesis. The Ehresmann fibration theorem gives local differentiable trivializations, sois a local system with fibre $H^k(X_s,\mathbb{Z})/\text{torsion}$. Its associated flat bundle has the Gauss–Manin connection, given by differentiating cohomology classes in topologically constant frames.

The Kähler Hodge decomposition givesThe Betti numbers are locally constant by differentiable triviality. The dimensions of $H^q(X_s,{\Omega }_{X_s}^p)$ are upper semicontinuous, and their sums for fixed $p+q=k$ equal the fixed Betti number. Near any fixed fibre, every summand can only decrease, while their sum cannot change; hence none decreases. Thus the Hodge numbers are locally constant. The relative de Rham complex and the Grauert base change theorem then makethe fibres of holomorphic subbundles $F^p\mathcal{H}$. More intrinsically these are the images of the hypercohomology of the truncated relative de Rham complex ${\Omega }_{\mathcal{X}/S}^{\ge p}$ in the full relative de Rham cohomology. Kähler degeneration of the spectral sequence ensures that these images have the required ranks.

For the transversality proof, let $A^2$ denote the ideal in the absolute holomorphic de Rham complex generated by two pulled-back base one-forms. Keeping zero or one base differential gives a short exact sequence of cochain complexes, with the usual shifted differential in the left-hand complexThe connecting morphism in degree $k$ is the Gauss–Manin connectionTo compute it, lift a relative de Rham cocycle to the middle complex, apply the absolute differential, and retain the terms with one base differential. A cocycle in filtration degree $p$ can be represented using absolute forms of degree at least $p$. In a term containing one base differential, removing that factor leaves a relative form of degree at least $p-1$. The connecting construction therefore lands in $F^{p-1}$:This is the filtration shift behind Griffiths transversality. It explains the inequality rather than merely naming a theorem. The unfiltered construction agrees with topological parallel transport by the de Rham comparison, and its square is zero, as required for the flat connection.

Consequently the fibre cohomology gives a pure variation of Hodge structure. To claim a polarized integral variation one needs the additional compatible flat polarization. In a smooth projective family, a relative ample line bundle supplies a flat integral Kähler class; its primitive pieces are polarized by the Hodge–Riemann bilinear relations, and the full cohomology is polarized using the appropriate primitive-piece signs. For a general compact Kähler family, the unpolarized variation above is automatic, but a flat integral polarization is not supplied merely by knowing that each fibre is Kähler. This distinction is particularly relevant to unrestricted K3 families.

A proper holomorphic submersion has compact smooth fibres, and the Ehresmann fibration theorem gives differentiable local trivializations. Their integral cohomology, modulo torsion, forms a local system. If the fibres are Kähler manifolds, their Hodge filtrations form holomorphic subbundles and give a variation of Hodge structure. Properness is needed for this usual conclusion.