Grothendieck connection

Grothendieck connection

In algebraic geometry and synthetic differential geometry, a Grothendieck connection is a way of viewing connections in terms of descent data from infinitesimal neighbourhoods of the diagonal.

Introduction and motivation

The Grothendieck connection is a generalization of the Gauss-Manin connection constructed in a manner analogous to that in which the Ehresmann connection generalizes the Koszul connection. The construction itself must satisfy a requirement of "geometric invariance", which may be regarded as the analog of covariance for a wider class of structures including the schemes of algebraic geometry. Thus the connection in a certain sense must live in a natural sheaf on a Grothendieck topology. In this section, we discuss how to describe an Ehresmann connection in sheaf-theoretic terms as a Grothendieck connection.

Let "M" be a manifold and π : "E" → "M" a surjective submersion, so that "E" is a manifold fibred over "M". Let J1("M","E") be the first-order jet bundle of sections of "E". This may be regarded as a bundle over "M" or a bundle over the total space of "E". With the latter interpretation, an Ehresmann connection is a section of the bundle (over "E") J1("M","E") → "E". The problem is thus to obtain an intrinsic description of the sheaf of sections of this vector bundle.

Grothendieck's solution is to consider the diagonal embedding Δ : "M" → "M" × "M". The sheaf "I" of ideals of Δ in "M" × "M" consists of functions on "M" × "M" which vanish along the diagonal. Much of the infinitesimal geometry of "M" can be realized in terms of "I". For instance, Δ* ("I"/"I"2) is the sheaf of sections of the cotangent bundle. One may define a "first-order infinitesimal neighborhood" "M"(2) of Δ in "M" × "M" to be the subscheme corresponding to the sheaf of ideals "I"2. (See below for a coordinate description.)

There are a pair of projections "p"1, "p"2 : "M" × "M" → "M" given by projection the respective factors of the Cartesian product, which restrict to give projections "p"1, "p"2 : "M"(2) → "M". One may now form the pullback of the fibre space "E" along one or the other of "p"1 or "p"2. In general, there is no canonical way to identify "p"1*"E" and "p"2*"E" with each other. A Grothendieck connection is a specified isomorphism between these two spaces.

References

# Osserman, B., "Connections, curvature, and p-curvature", "preprint".
# Katz, N., "Nilpotent connections and the monodromy theorem", "IHES Publ. Math." 39 (1970) 175-232.


Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • Connection (mathematics) — In geometry, the notion of a connection makes precise the idea of transporting data along a curve or family of curves in a parallel and consistent manner. There are a variety of kinds of connections in modern geometry, depending on what sort of… …   Wikipedia

  • Grothendieck's Galois theory — In mathematics, Grothendieck s Galois theory is a highly abstract approach to the Galois theory of fields, developed around 1960 to provide a way to study the fundamental group of algebraic topology in the setting of algebraic geometry. It… …   Wikipedia

  • Grothendieck–Katz p-curvature conjecture — In mathematics, the Grothendieck–Katz p curvature conjecture is a problem on linear ordinary differential equations, related to differential Galois theory and in a loose sense analogous to the result in the Chebotarev density theorem considered… …   Wikipedia

  • Alexander Grothendieck — User:Geometry guy/InfoboxAlexander Grothendieck (born March 28, 1928 in Berlin, Germany) is considered to be one of the greatest mathematicians of the 20th century. He made major contributions to: algebraic topology, algebraic geometry, number… …   Wikipedia

  • List of mathematics articles (G) — NOTOC G G₂ G delta space G networks Gδ set G structure G test G127 G2 manifold G2 structure Gabor atom Gabor filter Gabor transform Gabor Wigner transform Gabow s algorithm Gabriel graph Gabriel s Horn Gain graph Gain group Galerkin method… …   Wikipedia

  • Algebraic geometry — This Togliatti surface is an algebraic surface of degree five. Algebraic geometry is a branch of mathematics which combines techniques of abstract algebra, especially commutative algebra, with the language and the problems of geometry. It… …   Wikipedia

  • mathematics — /math euh mat iks/, n. 1. (used with a sing. v.) the systematic treatment of magnitude, relationships between figures and forms, and relations between quantities expressed symbolically. 2. (used with a sing. or pl. v.) mathematical procedures,… …   Universalium

  • Background and genesis of topos theory — This page gives some very general background to the mathematical idea of topos. This is an aspect of category theory, and has a reputation for being abstruse. The level of abstraction involved cannot be reduced beyond a certain point; but on the… …   Wikipedia

  • Chern class — In mathematics, in particular in algebraic topology and differential geometry, the Chern classes are characteristic classes associated to complex vector bundles. Chern classes were introduced by Shiing Shen Chern (1946). Contents 1 Basic… …   Wikipedia

  • Glossary of arithmetic and Diophantine geometry — This is a glossary of arithmetic and Diophantine geometry in mathematics, areas growing out of the traditional study of Diophantine equations to encompass large parts of number theory and algebraic geometry. Much of the theory is in the form of… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”