Remark 50.12.2. In Lemma 50.12.1 consider the cohomology sheaves

If $f$ is proper in addition to being smooth and $S$ is a scheme over $\mathbf{Q}$ then $\mathcal{H}^ q_{dR}(X/Y)$ is finite locally free (insert future reference here). If we only assume $\mathcal{H}^ q_{dR}(X/Y)$ are flat $\mathcal{O}_ Y$-modules, then we obtain (tiny argument omitted)

and the differentials in the spectral sequence are maps

In particular, for $p = 0$ we obtain a map $d_1^{0, q} : \mathcal{H}^ q_{dR}(X/Y) \to \Omega ^1_{Y/S} \otimes _{\mathcal{O}_ Y} \mathcal{H}^ q_{dR}(X/Y)$ which turns out to be an integrable connection $\nabla $ (insert future reference here) and the complex

with differentials given by $d_1^{\bullet , q}$ is the de Rham complex of $\nabla $. The connection $\nabla $ is known as the *Gauss-Manin connection*.

## Comments (2)

Comment #8805 by Yuto Masamura on

Comment #9282 by Stacks project on

There are also: