Gauss–Manin connection

In mathematics, the Gauss–Manin connection is a connection on a certain vector bundle over a base space S of a family of algebraic varieties . The fibers of the vector bundle are the de Rham cohomology groups   of the fibers  of the family. It was introduced by  for curves S and by  in higher dimensions.

Flat sections of the bundle are described by differential equations; the best-known of these is the Picard–Fuchs equation, which arises when the family of varieties is taken to be the family of elliptic curves. In intuitive terms, when the family is locally trivial, cohomology classes can be moved from one fiber in the family to nearby fibers, providing the 'flat section' concept in purely topological terms. The existence of the connection is to be inferred from the flat sections.

Intuition
Consider a smooth morphism of schemes  over characteristic 0. If we consider these spaces as complex analytic spaces, then the Ehresmann fibration theorem tells us that each fiber  is a smooth manifold and each fiber is diffeomorphic. This tells us that the de-Rham cohomology groups  are all isomorphic. We can use this observation to ask what happens when we try to differentiate cohomology classes using vector fields from the base space .

Consider a cohomology class  such that  where  is the inclusion map. Then, if we consider the classes

eventually there will be a relation between them, called the Picard–Fuchs equation. The Gauss–Manin connection is a tool which encodes this information into a connection on the flat vector bundle on  constructed from the .

Example
A commonly cited example is the Dwork construction of the Picard–Fuchs equation. Let
 be the elliptic curve .

Here,  is a free parameter describing the curve; it is an element of the complex projective line (the family of hypersurfaces in  dimensions of degree n, defined analogously, has been intensively studied in recent years, in connection with the modularity theorem and its extensions). Thus, the base space of the bundle is taken to be the projective line. For a fixed  in the base space, consider an element  of the associated de Rham cohomology group

Each such element corresponds to a period of the elliptic curve. The cohomology is two-dimensional. The Gauss–Manin connection corresponds to the second-order differential equation

D-module explanation
In the more abstract setting of D-module theory, the existence of such equations is subsumed in a general discussion of the direct image.

Equations "arising from geometry"
The whole class of Gauss–Manin connections has been used to try to formulate the concept of differential equations that "arise from geometry". In connection with the Grothendieck p-curvature conjecture, Nicholas Katz proved that the class of Gauss–Manin connections with algebraic number coefficients satisfies the conjecture. This result is directly connected with the Siegel G-function concept of transcendental number theory, for meromorphic function solutions. The Bombieri–Dwork conjecture, also attributed to Yves André, which is given in more than one version, postulates a converse direction: solutions as G-functions, or p-curvature nilpotent mod p for almost all primes p, means an equation "arises from geometry".

See also 

 Mirror symmetry conjecture
 Mixed Hodge module
 Meromorphic connection

References

  (Gives and excellent introduction to Gauss–Manin connections)
  (Gives example of Gauss–Manin connections and their relation to D-module theory and the Riemmann-Hilbert correspondence)
  (Gives a quick sketch of main structure theorem of Gauss–Manin connections)
 
 

 English translation in 

Algebraic geometry
Connection (mathematics)