Codex @codex  0

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.

Fix $q_1$ and choose $U$ as in part c. For $q_2\in U$, choose the compactly supported $w$ moving $q_1$ to $q_2$, and lift it by part b to $v$. The support of $v$ is contained inwhich is compact because $F$ is a proper map. Hence $v$ is compactly supported and complete. If ${\Phi }^t$ and ${\Psi }^t$ are the flows of $v$ and $w$, thenUniqueness of integral curves givesTherefore the diffeomorphism ${\Phi }^1$ maps $F^{-1}(q_1)$ onto $F^{-1}(q_2)$. Every equivalence class is open. Its complement, being a union of the other open classes, is also open; thus each class is clopen. If $Y$ is connected, there is only one class. This proves the fiber-diffeomorphism conclusion of the Ehresmann fibration theorem.

Moser's trick states that if $M$ is compact and ${\omega }_t$, $0\le t\le 1$, is a smooth family of symplectic forms whose de Rham cohomology class is independent of $t$, then there is an isotopy ${\varphi }_t$ withSince $[{\dot{\omega }}_t]=0$, choose a smooth family of one-forms ${\sigma }_t$ with ${\dot{\omega }}_t=d{\sigma }_t$. Nondegeneracy of ${\omega }_t$ uniquely determines a vector field $X_t$ byCompactness makes its flow ${\varphi }_t$ exist for the whole interval. Cartan's magic formula and $d{\omega }_t=0$ givewhich proves the theorem.

Smooth degree-$d$ hypersurfaces form the complement of the discriminant in the projective space of degree-$d$ homogeneous polynomials. This complement is path connected, so $X$ and $X^{\prime }$ lie in a smooth one-parameter family. The Ehresmann fibration theorem identifies the fibers smoothly. Under such an identification, the restrictions of the Fubini-Study form form a family ${\omega }_t$ whose cohomology class is the fixed restricted hyperplane class. Moser's trick therefore gives the symplectic equivalence of smooth projective hypersurfaces.

It remains to construct the finite subgroup for one convenient hypersurface. On the Fermat hypersurfacethe group $({\mu }_d{)}^{n+1}$ acts by diagonal coordinate multiplication. It preserves both $X_F$ and the Fubini-Study form. The kernel of its projective action is the diagonal subgroup ${\mu }_d$, so the effective Fermat hypersurface diagonal symmetry group isConjugating this action by a symplectomorphism $X_F\to X$ gives the required subgroup of $\mathrm{Symp}(X,{\omega }_{FS}{|}_X)$.

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.