In the language of ∞-Lie theory it is a morphism from the infinitesimal path ∞-groupoid? of a suitable space (a scheme in algebraic geometry or, more generally, a space in synthetic differential geometry) to some Lie ∞-groupoid :
This was originally considered by Grothendieck for schemes in the context of algebraic geometry for the case that is a 1-groupoid – but the generalization to ∞-groupoids in synthetic differential geometry is immediate.
In his study of crystalline cohomology, Grothendieck has noticed that flat connections correspond to the descent data for deRham descent; he called them the costratification of the -th order if one considers the -the infinitesimal neighborhoods.
Already in EGA, Grothendieck has introduced a notion of regular differential operator and of jet-spaces, which were later by Malgrange and Spencer transferred into the study of differential equations and analytic deformation theory.
corresponding to . Usually one assumes that is a smooth scheme of finite type over . By separatedness the diagonal is a closed immersion of schemes. Let then be the corresponding defining ideal sheaf (locally it is generated by the elements of the form , cf. Kähler differential). The definining ideal defines for the -th infinitesimal neighborhood and the diagonal subscheme ; there is a series of inclusions
where is the completion (the corresponding formal scheme). Let be a Grothendieck fibration over the category of schemes (or the subcategory of the category of schemes containing all schemes in our consideration) classified under the Grothendieck construction by some pseudofunctor . A typical examples would be the stack of quasicoherent sheaves of -modules.
Consider now the projections . Then
A Grothendieck connection on an object is a descent datum of the form where is an isomorphism satisfying the cocycle (and the normalization) condition and such that the restriction (pullback along inclusion) on the diagonal is the identity.
More recently, some partial generalizations were found in the purely algebraic framework. One could take any coring (or even an additive comonad) with a grouplike element and define corresponding connections and descent data and generalize the correspondence found by Grothendieck (see semi-free dga and Menini-Stefan reference below).
A. Grothendieck, Crystals and the de Rham cohomology of schemes, p. 306–358 of Dix exposes sur la cohomologie des schemas, North Holland 1968, Dix exp. pdf
P. Berthelot, A. Ogus, Notes on crystalline cohomology, Princeton Univ. Press 1978. vi+243, ISBN0-691-08218-9
N. Katz, Nilpotent connections and the monodromy theorem : applications of a result of Turrittin, Publications Mathématiques de l’IHÉS, 39 (1970), p. 175-232 numdam
A. Grothendieck, (EGA IV.16) Éléments de géométrie algébrique (rédigés avec la collaboration de Jean Dieudonné) : IV. Étude locale des schémas et des morphismes de schémas, Quatrième partie. Publications Mathématiques de l’IHÉS, 32 (1967), p. 5-361 numdam
SGA III, vol. 1, Expose VIIa (P. Gabriel) ETUDE INFINITESIMALE DES SCHEMAS EN GROUPES, 409-473
wikipedia: Grothendieck connection
B. Osserman, Connections, curvature and -curvature, pdf (expositional preprint)
A. Beilinson, I. N. Bernstein, A proof of Jantzen conjecture, Adv. in Soviet Math. 16, Part 1 (1993), 1-50. MR95a:22022
C. Menini, D. Ştefan, Descent theory and Amitsur cohomology of triples, J. Algebra 266 (2003), no. 1, 261–304 (doi).
T. Brzeziński, R. Wisbauer, Corings and comodules, London Math. Soc. Lec. Note Series 309, Cambridge 2003.
L. Breen, Messing, Combinatorial differential forms, arxiv:math/0005087
Notes in Gaitsgory’s grad student seminar pdf