Gauss–Manin connection

Gauss–Manin connection
Name	Gauss–Manin connection
Field	Algebraic geometry

Gauss–Manin connection.

The Gauss–Manin connection is a structure associating a flat connection on the cohomology bundle of a family of algebraic varieties, linking monodromy phenomena with deformation theory and arithmetic. It plays a central role in the work of Grothendieck on crystalline cohomology and in Deligne's study of regular singularities, and it connects methods from de Rham cohomology, étale cohomology, and Hodge theory in the study of families of varieties.

Introduction

The construction of the Gauss–Manin connection arose in the context of attempts by Alexander Grothendieck and contemporaries to understand how cohomology groups vary in algebraic families, building on ideas from Bernhard Riemann and Hermann Weyl and later formalized in the work of Kurt Gödel's contemporaries in algebraic geometry such as Jean-Pierre Serre and Alexander Grothendieck. It formalizes how de Rham cohomology classes of fibers of a smooth proper morphism vary analytically with parameters, and it underpins results by Pierre Deligne on regular singular points and by Nick Katz on p-adic differential equations. The connection interfaces with monodromy representations studied by André Weil, Henri Poincaré, and Émile Picard.

Construction and definitions

Given a smooth proper morphism f: X → S between schemes as in the work of Alexander Grothendieck and Jean-Pierre Serre, one forms the higher direct image sheaves R^i f_* Ω^•_{X/S} in algebraic de Rham cohomology following constructions in Grothendieck's FGA-style foundations and in Pierre Deligne's theory of connections. The Gauss–Manin connection is the flat connection ∇: R^i f_* Ω^•_{X/S} → Ω^1_S ⊗ R^i f_* Ω^•_{X/S} constructed via the spectral sequence for the relative de Rham complex and by functorial properties explored by Alexander Grothendieck and Jean-Louis Verdier. In the analytic category the same construction appears in the work of Henri Poincaré and L. E. J. Brouwer-era developments and was systematized by Wilhelm Magnus and Pierre Deligne. For étale cohomology one obtains a parallel monodromy action studied by André Weil and Alexander Grothendieck in the development of the Grothendieck–Murre formalism.

Properties and functoriality

The Gauss–Manin connection is integrable (flat) and compatible with base change properties proven in foundational texts by Alexander Grothendieck and formalized by Jean-Pierre Serre and Alexander Grothendieck's school, yielding a representation of the fundamental group of S as in works by Poincaré and Évariste Galois. It respects cup product structures linked to the work of Hermann Weyl on characteristic classes and ties to Chern class calculations explored by Shiing-Shen Chern. Functoriality under pullback and pushforward was articulated by Alexander Grothendieck and later clarified by Pierre Deligne and Joseph Bernstein, and its behavior under degeneration is central to the study of singularities investigated by Bernard Malgrange and Kyoji Saito.

Examples and computations

Classical computations include the case of families of elliptic curves as studied by André Weil and Niels Henrik Abel, where the Gauss–Manin connection recovers the Picard–Fuchs equation earlier discovered in the work of Sophie Germain and systematized by Félix Picard. For hypersurfaces in projective space calculations follow methods introduced by David Hilbert and refined in Hodge-theoretic work of W. V. D. Hodge and Phillip Griffiths, yielding explicit Picard–Fuchs systems computed by P. Deligne and Nicholas Katz. Hypergeometric families studied by Carl Friedrich Gauss and generalized by Ernst Kummer provide explicit monodromy matrices also analyzed by Felix Klein and Bernhard Riemann in their studies of differential equations. Computational approaches in the algebraic setting draw on algorithms from Wolfgang Gröbner-related theory and on period computations pursued by Pierre Deligne and Don Zagier.

Applications in algebraic geometry and number theory

The Gauss–Manin connection underlies the study of period maps central to the work of W. V. D. Hodge, Phillip Griffiths, and Pierre Deligne, and it is a key tool in the theory of motives developed in programs by Alexander Grothendieck and later contributors such as Yves André and James Milne. In arithmetic geometry it appears in the study of p-adic cohomology theories developed by Jean-Marc Fontaine, Nicholas Katz, and Pierre Berthelot, and in understanding L-functions and modularity conjectures influenced by Andrew Wiles and Gerd Faltings. It is instrumental in the proof strategies for theorems about rational points that involve comparison between de Rham and étale realizations explored by Alexander Grothendieck and Pierre Deligne.

Relation to Hodge theory and variations of Hodge structure

The Gauss–Manin connection is fundamental to variations of Hodge structure introduced by W. V. D. Hodge and developed by Phillip Griffiths and Pierre Deligne, providing the flat connection whose horizontal sections define the period map studied in the Torelli problems investigated by André Weil and David Mumford. It satisfies Griffiths transversality as articulated in Griffiths's foundational work and interacts with the Hodge filtration central to Deligne's mixed Hodge theory and to later generalizations by Morihiko Saito and Richard Hain. Degeneration behavior linking singularity theory studied by Eduard Brieskorn and monodromy theorems of Pierre Deligne is analyzed via the nilpotent orbit theorem in the lineage of results by Wilfried Schmid and Kawamata.

Category:Algebraic geometry