12
$\begingroup$

Let $\pi : X \to B$ be a family of compact Kähler manifolds over a smooth base $B$. We then have a local system $\mathcal R^k \pi_* \mathbb Z$ (for your favorite $k$) of abelian groups over $B$, whose fiber over a point $b$ is the cohomology group $H^k(X_b, \mathbb Z)$.

We can tensor this system by $\mathcal O_B$ and obtain a holomorphic vector bundle $E^k \to B$. This bundle is equipped with a flat connection $\nabla$, that is induced by the exterior derivative $d$ in local coordinates. This connection is called the Gauss-Manin connection of the bundle $E^k$.

Now: Why do we call this the Gauss-Manin connection, when it seems that nothing that Gauss could have worked on relates to it?

$\endgroup$
4
  • 3
    $\begingroup$ I thought Gauss did differential geometry before it became popular. Did he not do stuff tantamount to connections and exterior differentiation? Gerhard "Ask Me About System Design" Paseman, 2012.11.16 $\endgroup$ Nov 17, 2012 at 1:03
  • 1
    $\begingroup$ I remember asked this to a professor, and the answer was like Gauss considered the case Spec$\mathbb{C}((t))$ or something. $\endgroup$
    – 36min
    Nov 17, 2012 at 1:16
  • 1
    $\begingroup$ @Gerard: Sure, Gauss was a hipster of differential geometry, but it seems a long way between theorema egorium and flat connections on bundles arising from local systems. :) $\endgroup$ Nov 17, 2012 at 8:29
  • 3
    $\begingroup$ Commenta egregia! :) @Gunnar Magnusson: egregium $\endgroup$
    – user9072
    Nov 17, 2012 at 13:18

2 Answers 2

19
$\begingroup$

The short answer is we call it the Gauss–Manin connection because that's what Grothendieck called it. The name is attributed to Grothendieck in two early, seminal pieces: namely, Katz's thesis and a subsequent article of his ("On the differentiation of De Rham cohomology classes with respect to parameters", Katz & Oda).

If you can read (some) French, look through Yves Andre's chapter in "Geometric Aspects of Dwork Theory". If not, check through the start of this arXiv paper (through the first couple paragraphs of 1.2).

The slightly less short answer is the one Gerhard Paseman alluded to above; quoting from the aforelinked arXiv paper ("Towards a nonlinear Schwarz’s list", Philip Boalch):

One reason hypergeometric equations are interesting is that they provide the simplest explicit examples of Gauss–Manin connections. Indeed this is one reason Gauss was interested in them: he observed that the periods of a family of elliptic curves satisfy a (Gauss) hypergeometric equation. (The modern interpretation of this is as the explicit form of the natural flat connection on the vector bundle of first cohomologies over the base of the family of elliptic curves, written with respect to the basis given by the holomorphic one forms—and their derivatives—on the fibres.) Nowadays there is still much interest in such linear differential equations “coming from geometry”.

Thus the nonlinear analogue of the Gauss hypergeometric equation should be the explicit form of the simplest nonabelian Gauss–Manin connection (i.e the explicit form of the natural connection on the bundle of first nonabelian cohomologies of some family of varieties). The simplest interesting case corresponds to taking the universal family of four punctured spheres and taking cohomology with coefficients in $\mathrm{SL}_2(\mathbb{C})$ (one needs a non-trivial family of varieties with nonabelian fundamental groups).

$\endgroup$
19
$\begingroup$

I've heard from a reliable source that Grothendieck decided on this name because he wanted to include the first person who discovered the thing and the last person who made an important contribution:-) (Of course, Grothendieck knew that there were many in between).

However, as it frequently happens, this attribution of the first discovery is not correct. The fact that periods of an elliptic integral satisfy a hypergeometric equation was discovered by Legendre. Actually several important discoveries of Legendre are attributed to Gauss, (for example, quadratic reciprocity law, and the method of least squares) and Legendre bitterly complained about this himself.

Also the discovery of the arithmetic geometric mean is universally credited to Gauss, while Lagrange discovered it and published 6 years earlier, and Legendre used it to compute elliptic integrals.

$\endgroup$
3
  • 6
    $\begingroup$ Quadratic reciprocity law ? I thought Legendre's proof was incomplete. And that it was conjectured by Euler before him... $\endgroup$
    – Joël
    Nov 17, 2012 at 6:42
  • $\begingroup$ Ah, so the story about Gauss inventing the least squares method to compute orbital parameters of asteroids is bogus? $\endgroup$ Nov 17, 2012 at 14:48
  • 3
    $\begingroup$ Not necessarily. But Legendre published it before Gauss, and Gauss in his publication did not properly acknowledge this. $\endgroup$ Nov 21, 2012 at 3:45

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.