06.08.01 · riemann-surfaces / vhs

Gauss-Manin connection

shipped3 tiersLean: none

Anchor (Master): Manin 1958 *Rational points of algebraic curves over function fields* (originator); Katz-Oda 1968 *On the differentiation of de Rham cohomology classes with respect to parameters* (modern algebraic framework); Griffiths 1968 *Periods of integrals on algebraic manifolds I-III* (Hodge-theoretic interpretation); Voisin *Hodge Theory and Complex Algebraic Geometry* I+II §10; Cattani-Kaplan-Schmid 1986 (degenerations); Cox-Katz *Mirror Symmetry and Algebraic Geometry*

Intuition [Beginner]

Take a family of compact Riemann surfaces, parameterised by a small disc: one surface for each parameter value, each varying smoothly with the parameter. On every surface in the family the first cohomology has the same dimension $2 g$ , where $g$ is the common genus. Stacking these cohomology spaces over the parameter disc gives a vector bundle whose fibres are the cohomology of the surfaces — the cohomology bundle of the family.

The Gauss-Manin connection is the rule that says how to transport a cohomology class along a path in the parameter space. Pick a closed loop in one fibre, deform it continuously through the family to a closed loop in a nearby fibre, and the integral of any cohomology class against that deformed loop gives the value at the new parameter. This transport is flat: integration along two homotopic paths gives the same answer. Flatness is what lets you call the bundle locally constant — not constant in the sense of one fixed vector space, but constant up to a unique identification along every short path.

The Gauss-Manin connection turns the moving cohomology bundle into a single coherent object. It is the engine behind period integrals, the differential equations they satisfy, the variation of Hodge structure on a moduli space, and the modern dictionary between Calabi-Yau families and quantum cohomology.

Visual [Beginner]

A schematic of a one-parameter family of Riemann surfaces $X_{s}$ for $s$ in a base disc $S$ , with a horizontal cylinder along the base illustrating the family and small ovals representing fibres. A loop $γ_{0}$ on the central fibre is parallel-transported to loops $γ_{s}$ on neighbouring fibres along the base; an arrow labelled "Gauss-Manin connection" tracks the transport, while a second arrow integrates a holomorphic 1-form $ω$ against the loop to produce the period $Π (s)$ , the path-integral of $ω$ around $γ_{s}$ .

Worked example [Beginner]

Take the Legendre family of elliptic curves: for each complex number $λ$ different from $0$ and $1$ , the curve $X_{λ}$ is the smooth projective completion of the equation $y^{2} = x (x - 1) (x - λ)$ . Each $X_{λ}$ is a compact Riemann surface of genus $1$ , with cohomology bundle of fibre dimension $2$ .

A natural holomorphic 1-form on $X_{λ}$ is $ω_{λ} = d x / y$ . Pick a loop $γ$ in a reference fibre $X_{λ_{0}}$ encircling the segment from $0$ to $1$ on the $x$ -line. Parallel-transport gives a continuously-deforming family of loops $γ_{λ}$ in $X_{λ}$ for nearby $λ$ .

The period of $ω_{λ}$ along the deformed loop $γ_{λ}$ , written $Π (λ)$ , is the path-integral of $ω_{λ}$ around $γ_{λ}$ . After deforming the loop down to the real interval from $0$ to $1$ , this period is the complete elliptic integral of the first kind: a classical function studied since the 18th century. As a function of $λ$ , it satisfies the Gauss hypergeometric equation

λ (1 - λ) Π^{''} (λ) + (1 - 2 λ) Π^{'} (λ) - \frac{1}{4} Π (λ) = 0.

This is the Picard-Fuchs equation of the family, and its two linearly-independent solutions are exactly the periods of $ω_{λ}$ over the two loops generating the homology of $X_{λ}$ .

What this tells us: the Gauss-Manin connection on the rank- $2$ cohomology bundle of the Legendre family is encoded by a single second-order ODE on $λ$ . The cohomology moves as $λ$ varies, and the law of motion is a classical hypergeometric ODE Gauss already studied in 1812.

Check your understanding [Beginner]

Exercise (easy, multiple choice).

For a smooth proper family $π : X \to S$ of compact Kähler manifolds, the cohomology bundle $H^{k} = R^{k} π_{*} C_{X}$ is best described as:

A. A holomorphic vector bundle on $S$ with no canonical connection B. A local system of finite-rank complex vector spaces on $S$ C. A real vector bundle of rank equal to the dimension of $S$ D. A coherent sheaf with no flat structure

Hint

The fibre dimension is the first Betti number of $X_{s}$ , constant in a smooth proper family.

Answer

B. Feedback-correct: a smooth proper family produces a local system on $S$ whose fibre at $s$ is $H^{k} (X_{s}; C)$ , and the Gauss-Manin connection is the canonical flat connection of this local system. Feedback-wrong: A misses the canonical flat structure; C confuses topological invariance with rank; D ignores the local-system structure.

Formal definition [Intermediate+]

Let $π : X \to S$ be a smooth proper morphism of complex manifolds (or a smooth proper morphism of schemes over a field of characteristic zero), with $S$ smooth and connected. Each fibre $X_{s} = π^{- 1} (s)$ is a compact Kähler manifold of fixed diffeomorphism type. The cohomology bundle in degree $k$ is $$ \mathcal{H}^k := R^k \pi_* \mathbb{C}_{\mathcal{X}}, $$ a local system of finite-rank complex vector spaces on $S$ with fibre $H_{s}^{k} = H^{k} (X_{s}; C)$ . Equivalently, $H^{k}$ is a holomorphic vector bundle on $S$ together with a flat $C$ -linear connection.

Definition (Gauss-Manin connection). The Gauss-Manin connection in degree $k$ is the canonical flat connection $$ \nabla : \mathcal{H}^k \to \mathcal{H}^k \otimes_{\mathcal{O}S} \Omega^1_S $$ *on the cohomology bundle, characterised by the property that for every locally-constant section $σ$ of the underlying local system, $\nabla σ = 0$ . A section $σ$ is parallel along a path $γ$ in $S$ from $s_{0}$ to $s_{1}$ if and only if $\sigma(s_1) \in H^k(X{s_1}; \mathbb{C}) $i s t h e ima g eo f$ \sigma(s_0) \in H^k(X_{s_0}; \mathbb{C}) $u n d er t h e t o p o l o g i c a l i d e n t i f i c a t i o n p r o d u ce d b y p a r a l l e l t r an s p or t o f$ k $- cy c l es in f ib r es a l o n g$ \gamma$.*

Equivalent formulations.

Topological / Riemann-Hilbert. The local system $R^{k} π_{*} C_{X}$ corresponds under the Riemann-Hilbert correspondence to a flat vector bundle $(H^{k}, \nabla)$ on $S$ . The Gauss-Manin connection is precisely this flat structure.
Algebraic (Katz-Oda 1968). The relative de Rham cohomology $H_{dR}^{k} := R^{k} π_{*} Ω_{X / S}^{∙}$ is a coherent locally free $O_{S}$ -module. The filtration of $Ω_{X}^{∙}$ by powers of $π^{*} Ω_{S}^{1}$ , $Fil^{p} Ω_{X}^{∙} := image (π^{*} Ω_{S}^{p} \otimes Ω_{X / S}^{∙- p} \to Ω_{X}^{∙}),$ produces a spectral sequence whose first connecting morphism on $E_{1}^{p, q}$ for $p = 0, 1$ is the Gauss-Manin connection $\nabla : R^{k} π_{*} Ω_{X / S}^{∙} \to R^{k} π_{*} Ω_{X / S}^{∙} \otimes Ω_{S}^{1}$ .
Čech-cocycle level. Choose a Čech open cover ${U_{α}}$ of $X$ trivialising $π$ . A Čech cohomology class on $X / S$ has local representatives $ξ_{α_{0} \dots α_{q}}$ in $Ω_{X / S}^{∙}$ on intersections; lifting to $Ω_{X}^{∙}$ and applying the absolute differential $d_{X}$ produces a cocycle in $π^{*} Ω_{S}^{1} \otimes Ω_{X / S}^{∙}$ whose cohomology class is independent of the lift. This class is $\nabla [ξ]$ .

Period mapping. Fix a reference fibre $X_{s_{0}}$ and a homology basis $γ_{1}, \dots, γ_{m}$ for $H_{k} (X_{s_{0}}; Z)$ . For a holomorphic section $ω : S \to H_{dR}^{k}$ given by a relative de Rham class with local representatives $ω_{s} \in H^{k} (X_{s}; C)$ , parallel transport produces local-system-trivialisations $γ_{i} (s) \in H_{k} (X_{s}; Z)$ on simply-connected open subsets of $S$ , and the periods are $$ \Pi_i(s) := \int_{\gamma_i(s)} \omega_s. $$ The functions $Π_{i}$ are multivalued holomorphic on $S$ — the multivaluation is the monodromy representation $ρ : π_{1} (S, s_{0}) \to GL (H^{k} (X_{s_{0}}; C))$ of the local system.

Picard-Fuchs equations. Pick an algebraic relation among $ω, \nabla ω, \nabla^{2} ω, \dots$ in the rank- $m$ bundle $H^{k}$ . Such a relation is a linear ODE with algebraic coefficients on $S$ — the Picard-Fuchs equation of the section $ω$ . Its solution space is spanned by the periods $Π_{i}$ . The singularities of the ODE lie at the discriminant locus of $π$ (where the family degenerates) and are regular singularities in the sense of Fuchs (Griffiths 1968).

Variation of Hodge structure (VHS). Each fibre cohomology $H^{k} (X_{s}; C)$ carries a Hodge filtration $F^{p} H^{k} (X_{s}; C) = ⨁_{p^{'} \geq p} H^{p^{'}, k - p^{'}} (X_{s})$ depending holomorphically on $s$ . The collection $F^{p} H^{k} \subset H^{k}$ is a holomorphic subbundle. Griffiths transversality asserts $$ \nabla F^p \mathcal{H}^k \subseteq F^{p - 1} \mathcal{H}^k \otimes \Omega^1_S, $$ a substantive first-order differential constraint coupling the Hodge filtration to the Gauss-Manin connection. Griffiths transversality is the differential-geometric content of variation of Hodge structure.

Counterexamples to common slips.

The Hodge filtration is not a sub-local-system: $\nabla F^{p} \neq \subseteq F^{p} \otimes Ω_{S}^{1}$ in general, and the failure (down by exactly one step) is Griffiths transversality.
Periods are multivalued. Fixing a global single-valued branch is equivalent to lifting $S$ to its universal cover; on $S$ itself the periods are sections of a local system, not honest functions.
The cohomology bundle is locally constant as a local system but the underlying holomorphic bundle has a Hodge filtration that genuinely varies with $s$ . Local constancy refers to the flat $C$ -structure, not to the holomorphic structure on the Hodge subbundles.

Key theorem with proof [Intermediate+]

Theorem (Katz-Oda 1968 / Griffiths 1968, existence and flatness of the Gauss-Manin connection). Let $π : X \to S$ be a smooth proper morphism of complex manifolds with $S$ smooth and connected. Then there exists a unique $C$ -linear flat connection $$ \nabla : R^k \pi_* \Omega^\bullet_{\mathcal{X}/S} \to R^k \pi_* \Omega^\bullet_{\mathcal{X}/S} \otimes_{\mathcal{O}S} \Omega^1_S $$ *on the relative de Rham cohomology bundle, such that the horizontal sections are exactly the locally-constant sections of the topological local system $R^k \pi* \mathbb{C}_{\mathcal{X}} $. T h eco nn ec t i o n$ \nabla $i s f u n c t or ia l in$ \mathcal{X}/S$ and compatible with the Hodge filtration via Griffiths transversality.*

Proof. The argument has four steps: construct $\nabla$ via the Katz-Oda filtration, verify flatness $\nabla^{2} = 0$ , identify horizontal sections with the topological local system via the holomorphic Poincaré lemma, and derive Griffiths transversality from the bidegree count.

Step 1 — construction via filtration. Filter the absolute de Rham complex $Ω_{X}^{∙}$ by $$ \mathrm{Fil}^p \Omega^\bullet_{\mathcal{X}} := \mathrm{image}\bigl(\pi^* \Omega^p_S \otimes_{\mathcal{O}{\mathcal{X}}} \Omega^{\bullet - p}{\mathcal{X}/S} \to \Omega^\bullet_{\mathcal{X}}\bigr). $$ The associated graded is $Gr_{Fil}^{p} Ω_{X}^{∙} = π^{*} Ω_{S}^{p} \otimes Ω_{X / S}^{∙- p}$ . Apply $R π_{*}$ . The resulting spectral sequence has $E_{1}^{p, q} = Ω_{S}^{p} \otimes_{O_{S}} R^{q} π_{*} Ω_{X / S}^{∙}$ , and the differential $d_{1} : E_{1}^{0, k} \to E_{1}^{1, k}$ is a $C$ -linear map $$ \nabla : R^k \pi_* \Omega^\bullet_{\mathcal{X}/S} \to R^k \pi_* \Omega^\bullet_{\mathcal{X}/S} \otimes_{\mathcal{O}_S} \Omega^1_S $$ satisfying the Leibniz rule $\nabla (f ξ) = df \otimes ξ + f \nabla ξ$ for $f \in O_{S}$ — this is the verification that $d_{1}$ is a connection rather than an $O_{S}$ -linear morphism (the Leibniz failure of $O_{S}$ -linearity comes from the $f \mapsto df$ piece of the differential on $X$ acting on $π^{*} f$ ). Define $\nabla$ to be this $d_{1}$ .

Step 2 — flatness. The composition $\nabla^{2} : R^{k} π_{*} Ω_{X / S}^{∙} \to R^{k} π_{*} Ω_{X / S}^{∙} \otimes Ω_{S}^{2}$ corresponds in the spectral sequence to the composition $d_{1} \circ d_{1} : E_{1}^{0, k} \to E_{1}^{1, k} \to E_{1}^{2, k}$ . Since the spectral sequence comes from a filtered complex with $d^{2} = 0$ , the $d_{1}$ differential satisfies $d_{1}^{2} = 0$ at the $E_{1}$ -page, so $\nabla^{2} = 0$ . The Gauss-Manin connection is flat.

Step 3 — horizontal sections match the topological local system. The holomorphic Poincaré lemma, applied to the relative de Rham complex, gives a quasi-isomorphism $C_{X} \to Ω_{X}^{∙}$ on $X$ and $C_{X / S} \to Ω_{X / S}^{∙}$ on each fibre. Applying $R π_{*}$ to the absolute resolution gives $R^{k} π_{*} C_{X} = R^{k} π_{*} Ω_{X}^{∙}$ , and the filtration above identifies this with $R^{k} π_{*} Ω_{X / S}^{∙}$ at the $E_{\infty}$ -page (since $Ω_{X}^{∙}$ is filtered by relative versus absolute degree, and the spectral sequence degenerates at $E_{2}$ for smooth proper $π$ in characteristic zero, by the Hodge-to-de-Rham degeneration combined with the relative version of GAGA). The horizontal sections of $\nabla$ correspond under this identification to the locally-constant sections of $R^{k} π_{*} C_{X}$ — that is, to the topological local system. Functoriality follows from naturality of the Katz-Oda filtration.

Step 4 — Griffiths transversality. The Hodge filtration $F^{p} R^{k} π_{*} Ω_{X / S}^{∙}$ is induced by the stupid filtration $σ^{\geq p} Ω_{X / S}^{∙}$ of the relative de Rham complex. Differentiation in a base direction acts on a class represented by a relative form $ξ$ of pure type $Ω_{X / S}^{p}$ by lifting to $Ω_{X}^{p}$ and applying $d_{X}$ ; the result lies in $π^{*} Ω_{S}^{1} \otimes Ω_{X / S}^{p} + Ω_{X}^{p + 1}$ . After projection onto $π^{*} Ω_{S}^{1} \otimes Ω_{X / S}^{∙}$ and the Hodge-filtration step, the result lies in $F^{p - 1}$ but not in $F^{p}$ in general — the relative differential $d_{X / S}$ projects out under the spectral sequence. The bidegree count forces $\nabla F^{p} \subseteq F^{p - 1} \otimes Ω_{S}^{1}$ , which is Griffiths transversality. $□$

The four-step structure is faithful to Katz-Oda 1968 §3 and Voisin §10 ^{[Voisin Hodge Theory I]}; Griffiths 1968 frames the same content via the period mapping and reads transversality off the horizontality of the period domain.

Bridge. The Gauss-Manin connection proven here is the flat structure that organises the moving cohomology in a family of compact Kähler manifolds, and the four-step proof exhibits it on the relative de Rham complex via the Katz-Oda spectral sequence. For families of compact Riemann surfaces over a base $S$ , the relevant case is $k = 1$ : the rank- $2 g$ cohomology bundle has Hodge filtration $F^{1} H^{1} = π_{*} Ω_{X / S}^{1}$ with quotient $H^{1} / F^{1} H^{1} = R^{1} π_{*} O_{X}$ , both of rank $g$ by 06.04.03 Hodge decomposition; Serre duality on each fibre 06.04.04 gives the perfect pairing $H^{1} / F^{1} H^{1} ≅ (F^{1} H^{1})^{*}$ that promotes the Hodge filtration to a polarised structure varying holomorphically over $S$ . Griffiths transversality $\nabla F^{1} \subseteq F^{0} \otimes Ω_{S}^{1}$ becomes the differential-geometric content of the period mapping into the Siegel upper half space — the second-fundamental-form term of the variation of Hodge structure. Combined with the period integrals against locally-constant cycles, the Gauss-Manin connection produces the Picard-Fuchs equation governing those periods, and that ODE is the algebraic shadow of the entire transcendental structure of the family. Putting these together, the foundational insight is that the topological invariance of fibre cohomology promotes to a flat connection on a holomorphic bundle whose Hodge structure varies with the parameter, and that the bridge between this transcendental fact and computable algebra is the Picard-Fuchs equation.

Exercises [Intermediate+]

Exercise 3 (medium, symbolic).

For the Legendre family $y^{2} = x (x - 1) (x - λ)$ over $λ \in C ∖ {0, 1}$ , the period $$ \Pi(\lambda) = \int_0^1 \frac{dx}{\sqrt{x(1 - x)(1 - \lambda x)}} $$ is a solution of the Gauss hypergeometric equation. Identify the hypergeometric series representation of $Π (λ)$ near $λ = 0$ .

Hint

Expand $(1 - λ x)^{- 1/2}$ as a binomial series and integrate term-by-term against the beta-function kernel $x^{- 1/2} (1 - x)^{- 1/2}$ .

Answer

Expand $$ (1 - \lambda x)^{-1/2} = \sum_{n \geq 0} \binom{-1/2}{n} (-\lambda x)^n = \sum_{n \geq 0} \frac{(1/2)_n}{n!} \lambda^n x^n, $$ where $(a)_{n}$ is the Pochhammer symbol. Integrate term-by-term: $$ \Pi(\lambda) = \sum_{n \geq 0} \frac{(1/2)n}{n!} \lambda^n \int_0^1 x^{n - 1/2} (1 - x)^{-1/2} , dx = \sum{n \geq 0} \frac{(1/2)_n}{n!} \lambda^n B(n + 1/2, 1/2), $$ and the beta function evaluates as $B (n + 1/2, 1/2) = Γ (n + 1/2) Γ (1/2) /Γ (n + 1) = π (1/2)_{n} / n!$ . Hence $$ \Pi(\lambda) = \pi \sum_{n \geq 0} \frac{((1/2)_n)^2}{(n!)^2} \lambda^n = \pi \cdot {}_2 F_1\bigl(\tfrac{1}{2}, \tfrac{1}{2}; 1; \lambda\bigr). $$ The Gauss hypergeometric function $_{2} F_{1} (1/2, 1/2; 1; λ)$ satisfies $λ (1 - λ) f^{''} + (1 - 2 λ) f^{'} - \frac{1}{4} f = 0$ , the Picard-Fuchs equation of the Legendre family. Rubric: full credit for the $_{2} F_{1}$ -identification with the hypergeometric-equation derivation.

Exercise 4 (medium, short-answer).

State Griffiths transversality and verify it for the Hodge filtration $F^{1} H^{1} \subset H^{1}$ on the cohomology bundle of a family of compact Riemann surfaces. Give the bidegree-counting argument for the curve case explicitly.

Hint

A relative holomorphic 1-form has bidegree $(1, 0)$ ; differentiating in the base produces a $(1, 0)$ -form on the total space $X$ , decomposable into bidegrees on the relative side.

Answer

Griffiths transversality states $\nabla F^{p} H^{k} \subseteq F^{p - 1} H^{k} \otimes Ω_{S}^{1}$ . For curves $k = 1$ and $p = 1$ , this reads $\nabla F^{1} H^{1} \subseteq F^{0} H^{1} \otimes Ω_{S}^{1} = H^{1} \otimes Ω_{S}^{1}$ , automatic from $F^{0} = H^{1}$ .

The substantive content is $\nabla F^{1} \neq \subseteq F^{1} \otimes Ω_{S}^{1}$ : differentiating a section of $F^{1}$ in a base direction produces a section of $H^{1}$ that need not lie in $F^{1}$ . Bidegree count: a local section of $F^{1} H^{1}$ is represented by a relative holomorphic 1-form $ω \in Ω_{X / S}^{1}$ on $X$ ; lifting to an absolute 1-form $\tilde{ω} \in Ω_{X}^{1}$ and applying $d_{X}$ produces a 2-form whose bidegree decomposition includes a $π^{*} Ω_{S}^{1} \otimes A_{X / S}^{0, 1}$ part. The latter, projected to the spectral-sequence $E_{1}$ -page, lands in $R^{1} π_{*} O_{X} \otimes Ω_{S}^{1} = (H^{1} / F^{1} H^{1}) \otimes Ω_{S}^{1}$ , not in $F^{1} \otimes Ω_{S}^{1}$ . This is the failure of $F^{1}$ -preservation; the result lies in $F^{0} \otimes Ω_{S}^{1}$ by inclusion. Rubric: full credit for the $F^{p}$ -failure-by-one-step formulation and the bidegree-counting derivation.

Exercise 5 (medium, short-answer).

Show that the Gauss-Manin connection is flat by deriving $\nabla^{2} = 0$ from the Katz-Oda spectral-sequence construction.

Hint

The Gauss-Manin connection is the $d_{1}$ differential of a spectral sequence coming from a filtered complex; spectral-sequence differentials square to zero on each page.

Answer

The Katz-Oda construction produces the Gauss-Manin connection as the differential $d_{1} : E_{1}^{0, k} \to E_{1}^{1, k}$ of the spectral sequence associated to the filtration $Fil^{p} Ω_{X}^{∙} = π^{*} Ω_{S}^{p} \otimes Ω_{X / S}^{∙- p}$ on the absolute de Rham complex. The composition $d_{1} \circ d_{1} : E_{1}^{0, k} \to E_{1}^{1, k} \to E_{1}^{2, k}$ is the spectral-sequence-level avatar of $d_{X} \circ d_{X} = 0$ on $Ω_{X}^{∙}$ . Specifically, for a section $ξ \in R^{k} π_{*} Ω_{X / S}^{∙}$ lifted to a local representative $\tilde{ξ} \in Ω_{X}^{∙}$ , $\nabla ξ$ is the projection of $d_{X} \tilde{ξ}$ onto $π^{*} Ω_{S}^{1} \otimes Ω_{X / S}^{∙}$ , and $\nabla^{2} ξ$ is the projection of $d_{X}^{2} \tilde{ξ} = 0$ onto $π^{*} Ω_{S}^{2} \otimes Ω_{X / S}^{∙}$ . Hence $\nabla^{2} = 0$ , and the Gauss-Manin connection is flat. Rubric: full credit for identifying $\nabla = d_{1}$ in the spectral sequence and deducing flatness from $d^{2} = 0$ on the absolute complex.

Exercise 6 (hard, short-answer).

For the Legendre family of elliptic curves $X_{λ} : y^{2} = x (x - 1) (x - λ)$ with periods $Π_{1} (λ) = \int_{a} d x / y$ and $Π_{2} (λ) = \int_{b} d x / y$ over a symplectic homology basis, derive the Picard-Fuchs ODE $$ \lambda (1 - \lambda) , \Pi'' + (1 - 2\lambda) , \Pi' - \tfrac{1}{4} , \Pi = 0. $$

Hint

The cohomology bundle has rank $2$ ; since $ω = d x / y$ , $\nabla ω$ , $\nabla^{2} ω$ live in a rank- $2$ space, they are $O_{S}$ -linearly dependent. Compute the differentials of $ω$ on the algebraic side using the relation $y^{2} = x (x - 1) (x - λ)$ and integrate by parts.

Answer

The cohomology bundle $H^{1}$ has rank $2$ , so any three sections are linearly dependent. The class $ω = d x / y$ is a section of $F^{1} H^{1}$ (a holomorphic 1-form on each fibre). Differentiate in $λ$ at the level of the algebraic representative: $$ \partial_\lambda \omega = \partial_\lambda \frac{dx}{y} = \frac{x , dx}{2 y^3}, $$ using $\partial_{λ} y = - x / (2 y)$ from $y^{2} = x (x - 1) (x - λ)$ . To express $x d x / y^{3}$ as a combination of $ω$ and $\nabla ω$ on the cohomology bundle, use the integration-by-parts (exactness on each fibre) identity: the relative differential of $f / y$ for $f$ a polynomial in $x$ produces relations among the classes of $x^{k} d x / y^{2 j + 1}$ in $H^{1} (X_{λ}; C)$ . After applying $\partial_{λ}$ a second time and reducing modulo exact terms via the cubic equation $y^{2} = x (x - 1) (x - λ)$ , one obtains the Picard-Fuchs ODE $$ \lambda (1 - \lambda) \Pi'' + (1 - 2\lambda) \Pi' - \tfrac{1}{4} \Pi = 0. $$ This is the Legendre form of the Gauss hypergeometric equation with parameters $a = b = 1/2$ , $c = 1$ , whose two linearly-independent solutions are $Π_{1} (λ) =_{2} F_{1} (\frac{1}{2}, \frac{1}{2}; 1; λ)$ and $Π_{2} (λ) =_{2} F_{1} (\frac{1}{2}, \frac{1}{2}; 1; 1 - λ)$ , related to the periods over the $a$ - and $b$ -cycles. Rubric: full credit for the algebraic differentiation, integration-by-parts reduction, and identification of the Picard-Fuchs ODE.

Exercise 7 (hard, short-answer).

Define the period mapping of a polarised variation of Hodge structure of weight $k = 1$ on a base $S$ , and show that Griffiths transversality forces the period mapping to land in the horizontal distribution of the period domain $D$ .

Hint

The period domain $D$ is the space of Hodge filtrations on a fixed reference vector space subject to Hodge symmetry and the polarisation condition; the horizontal distribution at a point $F^{∙} \in D$ is the subspace of $T_{F^{∙}} D$ where the differential of $F^{p}$ lies in $F^{p - 1} / F^{p}$ .

Answer

A polarised variation of Hodge structure of weight $k$ on $S$ consists of (i) a local system $V_{Z}$ on $S$ of finite rank with a polarisation form $Q$ (alternating for odd $k$ , symmetric for even $k$ ), (ii) a Hodge filtration $F^{∙} V$ on the holomorphic bundle $V = V_{Z} \otimes_{Z} O_{S}$ varying holomorphically with $s$ , satisfying Hodge symmetry $V_{s} = F^{p} \oplus \overline{F^{k - p + 1}}$ at each point and the polarisation conditions, and (iii) flatness of $\nabla = d \otimes 1$ on $V_{Z} \otimes O_{S}$ — the Gauss-Manin connection.

The period domain $D$ is the quotient of the space of all Hodge filtrations on a fixed reference fibre satisfying Hodge symmetry and polarisation, by the action of the polarisation-preserving group; equivalently, $D$ is a complex homogeneous space $G_{R} / V$ where $V$ is the isotropy group of a reference filtration. The period mapping $P : \tilde{S} \to D$ from the universal cover sends $\tilde{s} \mapsto F^{∙} V_{s}$ , and descends to $P : S \to D /Γ$ for $Γ$ the monodromy group.

The tangent space $T_{F^{∙}} D$ decomposes as $⨁_{p} Hom (F^{p} / F^{p + 1}, V / F^{p})$ ; the horizontal distribution is the subspace where the differential takes $F^{p}$ to $F^{p - 1}$ rather than to all of $V / F^{p}$ . Griffiths transversality $\nabla F^{p} \subseteq F^{p - 1} \otimes Ω_{S}^{1}$ asserts that the differential of $P$ at every point lies in the horizontal distribution. Hence $P$ is a horizontal holomorphic mapping. Rubric: full credit for the definition of the period domain, the period mapping, and the identification of Griffiths transversality with horizontality.

Lean formalization [Intermediate+]

Mathlib does not currently formalise the Gauss-Manin connection on the relative de Rham cohomology of a smooth proper morphism, the Katz-Oda spectral-sequence construction, the local-system structure on $R^{k} π_{*} C_{X}$ , the Hodge filtration on the cohomology bundle, or Griffiths transversality. A proposed signature, in Lean 4 / Mathlib syntax, sketching the target statement:

[object Promise]

The proof depends on names that do not currently exist in Mathlib (the relative de Rham complex of a smooth proper morphism, the Katz-Oda construction of the Gauss-Manin connection via the spectral sequence of a filtered complex, the holomorphic Poincaré lemma, the Hodge filtration on the cohomology bundle, Griffiths transversality). Each is a candidate Mathlib contribution; until then this unit ships with lean_status: none.

Advanced results [Master]

The Gauss-Manin connection is the canonical flat structure on the cohomology bundle of any smooth proper morphism, and the dimension-one fibre case treated above is the core curve setting; the theory generalises in three directions, each with its own structural theorems.

Variation of Hodge structure (Griffiths 1968-70). For a polarised variation of Hodge structure $(V_{Z}, Q, F^{∙})$ of weight $k$ on a smooth base $S$ , Griffiths transversality $\nabla F^{p} \subseteq F^{p - 1} \otimes Ω_{S}^{1}$ promotes to the infinitesimal period relations: the period mapping $P : \tilde{S} \to D$ to the period domain is a horizontal holomorphic mapping, and conversely every horizontal holomorphic mapping into $D$ comes from a variation of Hodge structure. The period domain $D = G_{R} / V$ is a complex homogeneous space with a $G_{R}$ -invariant horizontal distribution; the horizontal tangent bundle is integrable only on the Hermitian symmetric sub-domains, which classifies the cases (Shimura varieties, Hermitian-symmetric VHS) where the period mapping is unobstructed.

Degeneration and limit mixed Hodge structure (Cattani-Kaplan-Schmid 1986). When the family $π : X \to S$ extends to a degeneration over a divisor at infinity $D \subset \overline{S}$ with normal-crossings boundary, the Gauss-Manin connection has regular singularities along $D$ , and the residue of $\nabla$ along each component of $D$ acts unipotently on the local-system fibre (the monodromy theorem, due to Borel). The limit mixed Hodge structure of Schmid 1973 / Cattani-Kaplan-Schmid 1986 ^{[Cattani-Kaplan-Schmid 1986]} is the canonical mixed Hodge structure on the nearby fibre, controlling the asymptotic behaviour of periods near $D$ via the nilpotent-orbit theorem and the SL $_{2}$ -orbit theorem. The asymptotic period $Π (s) \sim lo g (s)^{k} \cdot (holomorphic)$ as $s \to 0$ in a one-parameter degeneration is governed by the unipotent monodromy and the limit Hodge filtration.

Mirror symmetry and quantum cohomology (Givental-Kontsevich). For the Calabi-Yau quintic threefold $X_{ψ} : \sum_{i = 1}^{5} z_{i}^{5} = 5 ψ z_{1} \dots z_{5}$ as $ψ$ varies in $C$ , the Picard-Fuchs equation of the holomorphic 3-form $ω_{ψ}$ over a vanishing cycle is the quintic Picard-Fuchs equation (Candelas-de la Ossa-Green-Parkes 1991 ^{[Candelas-de la Ossa-Green-Parkes 1991]}): a fourth-order ODE $$ \bigl[\theta^4 - 5 \psi \cdot (5 \theta + 1)(5 \theta + 2)(5 \theta + 3)(5 \theta + 4)\bigr] f = 0, \qquad \theta = \psi , d/d\psi. $$ The mirror conjecture, in Givental's and Kontsevich's formulations ^{[Cox-Katz Mirror Symmetry]}, identifies the Gauss-Manin connection on the rank- $4$ middle cohomology bundle of the family of $X_{ψ}$ with the quantum cohomology connection of the mirror Calabi-Yau threefold $X$ . The mirror-side quantum cohomology connection encodes Gromov-Witten invariants — counts of holomorphic curves in $X$ — and the identification with the Gauss-Manin connection of $X_{ψ}$ recovers Gromov-Witten invariants from period integrals. The mirror map $z (ψ) = exp (Π_{2} (ψ) / Π_{1} (ψ))$ converts the algebraic Picard-Fuchs solution to the canonical coordinate on the quantum side. Givental's theorem (1996) and the Lian-Liu-Yau / Givental proofs of the mirror conjecture are precise statements about the Gauss-Manin connection on the quintic family.

$p$ -adic and arithmetic Gauss-Manin (Katz, Faltings, Berthelot-Ogus). For a smooth proper morphism over a $p$ -adic ring of integers, the Katz-Oda construction produces an algebraic Gauss-Manin connection on the relative algebraic de Rham cohomology; the Berthelot-Ogus comparison theorem (1978) and Faltings's $p$ -adic Hodge theory (1987-88) compare this connection with the Frobenius isocrystal on crystalline cohomology, identifying horizontal sections with Frobenius-fixed vectors and providing the $p$ -adic analogue of monodromy. The framework underlies Kim-Faltings non-abelian $p$ -adic Hodge theory and the Tate-Sen-Fontaine theory of $p$ -adic Galois representations.

Frobenius manifolds (Dubrovin 1996). A Frobenius manifold is a complex manifold $M$ together with a flat metric, a commutative associative product on each tangent space depending on the point, and compatibility axioms (potentiality, scaling). Dubrovin's framework makes the Gauss-Manin connection on the cohomology of a family the central structural object: the connection on $T M$ is twisted by the multiplication, and the resulting flat second structure recovers the WDVV equations. Frobenius manifolds arise from Calabi-Yau Gauss-Manin (B-side mirror symmetry), from quantum cohomology of a Fano variety (A-side), and from Saito's primitive form theory on isolated hypersurface singularities; the unifying claim is that all three carry the same structure.

Shimura varieties. The Gauss-Manin connection on the universal abelian-variety family over a Shimura variety $Sh_{K} (G, X)$ governs the de Rham realisation of the corresponding automorphic local system. The combination of Gauss-Manin with the action of the Hecke algebra on cohomology produces the automorphic comparison, which is the bridge from arithmetic geometry to automorphic forms via Deligne's Langlands-Kottwitz reciprocity programme.

Synthesis. The Gauss-Manin connection turns the cohomology of a family of compact Kähler manifolds into a flat holomorphic bundle whose Hodge filtration varies holomorphically and whose periods satisfy algebraic ODEs. Read in the curve case, the bundle is rank $2 g$ with Hodge subbundle of rank $g$ , the connection encodes the variation of the period matrix $Π (s) \in H_{g}$ on the moduli of curves, and Griffiths transversality is the differential-geometric content of the period mapping into the Siegel upper half space. Read in the Calabi-Yau case, the connection encodes the Picard-Fuchs equation whose solutions count holomorphic curves on the mirror manifold via the mirror map. Read in the arithmetic case, the connection becomes the de Rham realisation of a Galois representation, and horizontal sections are Frobenius eigenvectors. Read in the Frobenius-manifold case, the connection is the structural input for the WDVV equations governing genus-zero Gromov-Witten theory, primitive forms, and integrable hierarchies. Putting these together, the cohomology of every smooth proper family of varieties over a base $S$ comes equipped with a single canonical flat connection whose properties — flatness, Griffiths transversality, regular-singular monodromy, $p$ -adic Frobenius compatibility — are the exact data needed to translate transcendental period geometry into algebraic differential equations and arithmetic Galois representations; the dimension-one curve case generalises to the variation-of-Hodge-structure framework that organises the cohomology of every smooth proper family.

Full proof set [Master]

Lemma (relative holomorphic Poincaré lemma). Let $π : X \to S$ be a smooth morphism of complex manifolds. Then the natural map $π^{- 1} O_{S} \to Ω_{X / S}^{∙}$ is a quasi-isomorphism, and consequently $R^k \pi_ \Omega^\bullet_{\mathcal{X}/S}$ computes the topological cohomology of fibres in the proper case.*

Proof. Locally on $X$ the morphism $π$ is a projection $C^{n + d} \to C^{d}$ in suitable coordinates, with $Ω_{X / S}^{1}$ generated by differentials of the fibre coordinates. The relative de Rham complex is then the tensor product of $O_{S}$ with the absolute de Rham complex of the fibre, and the holomorphic Poincaré lemma on the polydisc gives exactness in degrees $\geq 1$ and $ker (d^{0}) = π^{- 1} O_{S}$ . The properness assumption gives finite-dimensional $R^{k} π_{*}$ via Grauert's theorem, and the spectral-sequence comparison yields $R^{k} π_{*} Ω_{X / S}^{∙} ≅ R^{k} π_{*} C_{X}$ at the topological level. $□$

Lemma (Katz-Oda construction). For $π : X \to S$ smooth proper of complex manifolds, the filtration $\mathrm{Fil}^p \Omega^\bullet_{\mathcal{X}} = \pi^ \Omega^p_S \otimes \Omega^{\bullet - p}{\mathcal{X}/S} $o n t h e ab so l u t e d e R ham co m pl e x in d u ces a s p ec t r a l se q u e n ce w i t h$ E_1^{p, q} = \Omega^p_S \otimes{\mathcal{O}S} R^q \pi* \Omega^\bullet_{\mathcal{X}/S} $, an d t h e d i f f er e n t ia l$ d_1 : E_1^{0, k} \to E_1^{1, k} $i s a$ \mathbb{C} $- l in e a r co nn ec t i o n$ \nabla $o n$ R^k \pi_* \Omega^\bullet_{\mathcal{X}/S}$ satisfying the Leibniz rule.*

Proof. The filtration $Fil^{p}$ is a decreasing filtration of $Ω_{X}^{∙}$ by sub-complexes, and $Gr_{Fil}^{p} Ω_{X}^{∙} = π^{*} Ω_{S}^{p} \otimes Ω_{X / S}^{∙- p}$ as a complex with differential induced from $d_{X / S}$ . Apply $R π_{*}$ and use the projection formula for $π^{*}$ : $R π_{*} (π^{*} Ω_{S}^{p} \otimes Ω_{X / S}^{∙- p}) = Ω_{S}^{p} \otimes R π_{*} Ω_{X / S}^{∙- p}$ . Hence $E_{1}^{p, q} = Ω_{S}^{p} \otimes_{O_{S}} R^{q} π_{*} Ω_{X / S}^{∙}$ . The differential $d_{1}$ on $E_{1}$ is induced by the connecting morphism of the short exact sequence $0 \to Fil^{p + 1} / Fil^{p + 2} \to Fil^{p} / Fil^{p + 2} \to Fil^{p} / Fil^{p + 1} \to 0$ in the derived category. For $p = 0$ this gives $\nabla : R^{k} π_{*} Ω_{X / S}^{∙} \to Ω_{S}^{1} \otimes R^{k} π_{*} Ω_{X / S}^{∙}$ . The Leibniz rule $\nabla (f ξ) = df \otimes ξ + f \nabla ξ$ for $f \in O_{S}$ holds because the absolute differential $d_{X}$ acts on $π^{*} f \cdot \tilde{ξ}$ by $d_{X} (π^{*} f) \cdot \tilde{ξ} + π^{*} f \cdot d_{X} \tilde{ξ}$ , and $d_{X} (π^{*} f) = π^{*} df$ projects to $df \otimes ξ$ in the $E_{1}$ -page. $□$

Lemma (Griffiths transversality). Under the same hypotheses, the Gauss-Manin connection satisfies $\nabla F^{p} \subseteq F^{p - 1} \otimes Ω_{S}^{1}$ , where $F^p R^k \pi_ \Omega^\bullet_{\mathcal{X}/S} $i s t h eH o d g e f i l t r a t i o nin d u ce df r o m t h es t u p i df i l t r a t i o n o f$ \Omega^\bullet_{\mathcal{X}/S}$.*

Proof. A local section of $F^{p} R^{k} π_{*} Ω_{X / S}^{∙}$ is represented by an element of $σ^{\geq p} Ω_{X / S}^{∙}$ — that is, by a cocycle of degree $k$ whose components in $Ω_{X / S}^{p}, Ω_{X / S}^{p + 1}, \dots$ are present and components in $Ω_{X / S}^{p^{'}}$ for $p^{'} < p$ vanish. Lifting to $Ω_{X}^{∙}$ and applying $d_{X}$ , the result lies in $σ^{\geq p} Ω_{X}^{∙}$ as a sum of two pieces: the relative differential $d_{X / S}$ (which preserves $σ^{\geq p}$ ) and the connecting morphism $θ \in π^{*} Ω_{S}^{1} \otimes σ^{\geq p - 1} Ω_{X / S}^{∙}$ that drops the relative bidegree by exactly one because the absolute differential of a relative-degree- $p$ form in a base direction produces a $π^{*} Ω_{S}^{1}$ -component tensored with a relative-degree- $(p - 1)$ form (the relative differential of the lift). Projecting to $E_{1}$ kills the $d_{X / S}$ part and retains the $θ$ part, which lies in $F^{p - 1} \otimes Ω_{S}^{1}$ exactly. Hence $\nabla F^{p} \subseteq F^{p - 1} \otimes Ω_{S}^{1}$ . $□$

Theorem (Gauss-Manin connection, full statement). Statement and proof as in the Intermediate-tier Key theorem section.

Proof. The Intermediate-tier proof goes through using the three lemmas above as packaged inputs: relative holomorphic Poincaré lemma (Lemma 1) identifies $R^{k} π_{*} Ω_{X / S}^{∙}$ with $R^{k} π_{*} C_{X}$ topologically; Katz-Oda spectral-sequence construction (Lemma 2) produces $\nabla$ as $d_{1}$ ; the bidegree count of Lemma 3 gives Griffiths transversality. Flatness $\nabla^{2} = 0$ follows from $d_{1}^{2} = 0$ on the $E_{1}$ -page. Horizontal sections match the locally-constant sections of the local system because both compute $ker (\nabla)$ on the absolute / relative complex comparison, and the holomorphic Poincaré lemma identifies the kernel with $π^{- 1} O_{S}$ , which under $R^{k} π_{*}$ becomes the local system $R^{k} π_{*} C_{X}$ . $□$

Corollary (regular singularities). Let $π : X \to S$ be a smooth proper morphism extending to a morphism $\overset{π}{ˉ} : \overline{X} \to \overline{S}$ with $\overline{S}$ a smooth compactification and the boundary $D = \overline{S} ∖ S$ a normal-crossings divisor over which $\overset{π}{ˉ}$ has at-worst semistable degeneration. Then the Gauss-Manin connection $\nabla$ on $R^k \pi_ \Omega^\bullet_{\mathcal{X}/S} $ha s * r e g u l a r s in g u l a r i t i es * a l o n g$ D$ in the sense of Deligne 1970.*

Proof. The relative log de Rham complex $Ω_{\overline{X} / \overline{S}}^{∙} (lo g E)$ along the boundary $E = \overset{π}{ˉ}^{- 1} (D)$ produces a coherent extension of $R^{k} π_{*} Ω_{X / S}^{∙}$ to all of $\overline{S}$ , and the Katz-Oda construction in the log setting produces a connection with regular singularities along $D$ . The monodromy theorem of Borel asserts that the local monodromy around each component of $D$ acts unipotently on the local-system fibre; quasi-unipotency is the Deligne regularity criterion. $□$

Corollary (Picard-Fuchs equation). Let $π : X \to S$ be a smooth proper morphism with $S$ a smooth quasi-projective curve and $\omega \in R^k \pi_ \Omega^\bullet_{\mathcal{X}/S} $a g l o ba l sec t i o n . T h e n$ \omega $s a t i s f i es a l in e a r O D E w i t ha l g e b r ai ccoe f f i c i e n t so n$ S $— t h e * P i c a r d - F u c h se q u a t i o n * — w h oseso l u t i o n s p a ce i s t h e p er i o d - f u n c t i o na l s p an o f$ \omega$.*

Proof. The cohomology bundle has finite rank $r$ , so the iterated derivatives $ω, \nabla ω, \nabla^{2} ω, \dots, \nabla^{r} ω$ are $r + 1$ sections of a rank- $r$ bundle and hence linearly dependent over the function field of $S$ . The dependence relation $$ a_r(s) \nabla^r \omega + a_{r - 1}(s) \nabla^{r - 1} \omega + \cdots + a_0(s) \omega = 0 $$ with $a_{i}$ algebraic functions on $S$ is the Picard-Fuchs equation. Periods $Π_{i} (s) = \int_{γ_{i} (s)} ω$ for locally-constant cycles $γ_{i}$ satisfy the same ODE because $\nabla$ is the canonical flat connection of the local system and integration over a horizontal cycle commutes with $\nabla$ . $□$

Connections [Master]

Hodge decomposition on a compact Riemann surface 06.04.03. The Hodge filtration $F^{1} H^{1} \subset H^{1}$ on the cohomology bundle of a family of compact Riemann surfaces is the family-version of the curve Hodge decomposition. Each fibre carries the $(g, g)$ -split of $H^{1} (X_{s}; C)$ ; varying with $s$ , the holomorphic subbundle $F^{1} H^{1} = π_{*} Ω_{X / S}^{1}$ has rank $g$ and the quotient $H^{1} / F^{1} = R^{1} π_{*} O_{X}$ has rank $g$ , recovering the curve Hodge identifications uniformly over $S$ . Griffiths transversality is the differential constraint that the family Hodge structure satisfies on top of the pointwise decomposition.
Serre duality on a curve 06.04.04. The polarisation on the cohomology bundle of a family of Riemann surfaces is the family-version of the Serre-duality pairing $H^{1} (X_{s}, O_{X_{s}}) ≅ H^{0} (X_{s}, Ω_{X_{s}}^{1})^{*}$ , promoted to a perfect pairing of holomorphic subbundles $F^{1} H^{1}$ and $H^{1} / F^{1} H^{1}$ over $S$ via the cup product with values in $R^{2} π_{*} C_{X} = C_{S}$ . Serre duality at the curve level supplies the structural pairing that makes the Gauss-Manin local system polarised in the sense of variation of Hodge structure.
Period matrix 06.06.02. For a family of Riemann surfaces, the period matrix $Π (s) \in H_{g}$ extracted at each fibre is the local manifestation of the period mapping $P : \tilde{S} \to H_{g}$ associated to the Gauss-Manin connection. The Riemann bilinear relations are pointwise constraints that hold uniformly along $P$ ; their preservation along $\nabla$ is the polarisation-compatibility of the Gauss-Manin connection.
Jacobian variety 06.06.03. The relative Jacobian $J (X / S) := F^{1} H^{1} \ H_{Z}^{1}$ is a smooth proper morphism over $S$ whose fibres are the Jacobians of the curves $X_{s}$ . The Gauss-Manin connection on $H^{1}$ produces the tangent-space identification $T_{0} J (X / S) ≅ R^{1} π_{*} O_{X}$ varying with $s$ ; the universal family of polarised abelian varieties over the moduli space of curves $M_{g}$ inherits its complex-analytic structure from this Gauss-Manin data.
Holomorphic 1-form 06.06.01. Sections of $F^{1} H^{1} = π_{*} Ω_{X / S}^{1}$ are families of holomorphic 1-forms on the fibres, varying holomorphically with $s$ . The Gauss-Manin derivative of such a section in a base direction produces a non-holomorphic-on-the-fibre class — the Kodaira-Spencer derivative — that is the structural content of Griffiths transversality at $p = 1$ .
Riemann-Roch theorem for compact Riemann surfaces 06.04.01. Riemann-Roch on each fibre of a smooth proper family of curves gives a fibrewise Euler characteristic; the Gauss-Manin connection promotes the Euler-characteristic decomposition into a family of perfect pairings via Serre duality, producing the variation-of-Hodge-structure refinement of pointwise Riemann-Roch.
Holomorphic line bundle on a Riemann surface 06.05.02. Relative line bundles on a family $π : X \to S$ produce variation-of-mixed-Hodge-structure on the cohomology of the line bundle, via the Gauss-Manin connection on $R^{k} π_{*} L$ for a relative line bundle $L$ on $X$ . This is the input data for the Kodaira-Spencer deformation theory of a polarised pair $(X_{s}, L_{s})$ over $S$ .
Sheaf cohomology 04.03.01. The Gauss-Manin connection is constructed via the Katz-Oda spectral sequence on the absolute de Rham complex, a structural application of sheaf cohomology to filtered complexes. The flatness $\nabla^{2} = 0$ and Griffiths transversality are spectral-sequence-level statements.
Hodge decomposition (general) 04.09.01. Variation of Hodge structure is the family-version of the compact-Kähler Hodge decomposition; the Gauss-Manin connection is the structural data that organises the fibrewise decompositions into a single coherent object on the base. The general theory specialises to the curve case at fibre dimension one.
Canonical sheaf and Riemann-Roch theorem for curves 04.04.01. The relative canonical sheaf $ω_{X / S}$ on a family of curves is the load-bearing object on the Hodge-filtration side of the Gauss-Manin connection: $F^{1} H^{1} = π_{*} ω_{X / S}$ . The Picard-Fuchs equation of a section of $ω_{X / S}$ is the algebraic ODE controlling the variation of holomorphic 1-forms on the fibres.

Historical & philosophical context [Master]

Yuri Manin gave the first explicit treatment of the Gauss-Manin connection in algebraic geometry in his 1958 paper Rational points of algebraic curves over function fields ^{[Manin 1958]} (Izv. Akad. Nauk SSSR Ser. Mat. 22, 737-756), constructing what is now called the Gauss-Manin connection on the relative cohomology of a family of curves over a function field and using it to deduce diophantine results about rational points. The classical version traces to two earlier sources: Gauss's 1812 work on the hypergeometric function and its differential equation, which is the Picard-Fuchs equation of the Legendre family of elliptic curves; and the Picard-Fuchs equations of Émile Picard 1889 and Lazarus Fuchs 1880-1890 governing periods of integrals on a one-parameter family of plane curves. The "Gauss" in the modern name commemorates Gauss's hypergeometric ODE; the "Manin" commemorates the algebraic-geometric reframing.

The modern algebraic framework was established by Nicholas Katz and Tadao Oda in 1968 in On the differentiation of de Rham cohomology classes with respect to parameters ^{[Katz-Oda 1968]} (J. Math. Kyoto Univ. 8, 199-213). The Katz-Oda construction produces the Gauss-Manin connection on the relative algebraic de Rham cohomology of a smooth proper morphism via the spectral sequence of the filtration of the absolute de Rham complex by powers of the pullback of the base differentials; this is the construction reproduced in the Key theorem section above. Katz subsequently extended the framework to crystalline cohomology and to the $p$ -adic setting (Katz 1970 Nilpotent connections and the monodromy theorem, Publ. Math. IHÉS 39); the algebraic Gauss-Manin connection is now standard in algebraic geometry.

The Hodge-theoretic interpretation is due to Phillip Griffiths in 1968-70 in the three-part series Periods of integrals on algebraic manifolds I-III ^{[Griffiths 1968]} (Amer. J. Math. 90, 568-626 and 805-865; Publ. Math. IHÉS 38, 125-180). Griffiths introduced the period mapping into the period domain $D$ , proved the infinitesimal period relations (Griffiths transversality), and developed the theory of polarised variation of Hodge structure. The transversality condition $\nabla F^{p} \subseteq F^{p - 1} \otimes Ω_{S}^{1}$ is the differential-geometric content that distinguishes a variation of Hodge structure from an arbitrary holomorphic family of filtrations.

The degeneration theory was completed by Wilfried Schmid in 1973 Variation of Hodge structure: the singularities of the period mapping (Invent. Math. 22, 211-319) and by Eduardo Cattani, Aroldo Kaplan, and Wilfried Schmid in 1986 Degeneration of Hodge structures ^{[Cattani-Kaplan-Schmid 1986]} (Ann. of Math. (2) 123, 457-535), with the nilpotent-orbit theorem and SL $_{2}$ -orbit theorem governing the asymptotic behaviour of periods near a degeneration. The mirror-symmetry application was opened by Philip Candelas, Xenia de la Ossa, Paul Green, and Linda Parkes in 1991 A pair of Calabi-Yau manifolds as an exactly soluble superconformal theory ^{[Candelas-de la Ossa-Green-Parkes 1991]} (Nuclear Phys. B 359, 21-74), where the Picard-Fuchs equation of the quintic-threefold family was used to predict Gromov-Witten invariants of the mirror; Maxim Kontsevich and Alexander Givental subsequently formulated and proved the mirror conjecture in the late 1990s.

Donaldson's Riemann Surfaces (Oxford GTM 22, 2011) §13 ^{[Donaldson Riemann Surfaces]} presents the curve case of the Gauss-Manin connection through the period mapping on Teichmüller space; Voisin's Hodge Theory and Complex Algebraic Geometry I+II (2002-2003) ^{[Voisin Hodge Theory I]} §10 develops the modern differential-geometric framework with the curve case as an extended example. Cox-Katz Mirror Symmetry and Algebraic Geometry ^{[Cox-Katz Mirror Symmetry]} is the standard reference for the Calabi-Yau Picard-Fuchs and mirror-symmetry calculations.

Bibliography [Master]

[object Promise]

Prerequisites

06.04.03
06.04.04

Tier anchors

beginner: Donaldson *Riemann Surfaces* §13 informal sections; Voisin *Hodge Theory and Complex Algebraic Geometry I* §10 informal
intermediate: Voisin *Hodge Theory and Complex Algebraic Geometry I* §10
master: Manin 1958 *Rational points of algebraic curves over function fields* (originator); Katz-Oda 1968 *On the differentiation of de Rham cohomology classes with respect to parameters* (modern algebraic framework); Griffiths 1968 *Periods of integrals on algebraic manifolds I-III* (Hodge-theoretic interpretation); Voisin *Hodge Theory and Complex Algebraic Geometry* I+II §10; Cattani-Kaplan-Schmid 1986 (degenerations); Cox-Katz *Mirror Symmetry and Algebraic Geometry*

References

TODO_REF
Manin 1958 — Rational points of algebraic curves over function fields · Izv. Akad. Nauk SSSR Ser. Mat. 22, 737-756 (originator paper for the algebraic Gauss-Manin connection)
TODO_REF
Katz-Oda 1968 — On the differentiation of de Rham cohomology classes with respect to parameters · J. Math. Kyoto Univ. 8, 199-213 (modern algebraic framework)
TODO_REF
Griffiths 1968 — Periods of integrals on algebraic manifolds I-III · Amer. J. Math. 90, 568-626 and 805-865; Publ. Math. IHÉS 38, 125-180 (Hodge-theoretic interpretation; Griffiths transversality)
TODO_REF
Voisin — Hodge Theory and Complex Algebraic Geometry I+II · Cambridge Studies in Advanced Mathematics 76 and 77, §10 (Gauss-Manin and variation of Hodge structure)
TODO_REF
Cattani-Kaplan-Schmid 1986 — Degeneration of Hodge structures · Ann. of Math. (2) 123, 457-535 (limit mixed Hodge structure at boundary divisors)
TODO_REF
Cox-Katz — Mirror Symmetry and Algebraic Geometry · AMS Mathematical Surveys and Monographs 68 (Picard-Fuchs equation of the quintic threefold and the mirror conjecture)
TODO_REF
Donaldson — Riemann Surfaces · Oxford Graduate Texts 22, §13 (period bundle and Gauss-Manin for curves)
TODO_REF
Candelas-de la Ossa-Green-Parkes 1991 — A pair of Calabi-Yau manifolds as an exactly soluble superconformal theory · Nuclear Phys. B 359, 21-74 (mirror-symmetry quintic Picard-Fuchs equation)

Reviewer

TBD

Estimated time

beginner: 14m
intermediate: 40m
master: 70m