A jet can be thought of as the infinitesimal germ of a section of some bundle or of a map between spaces. Jets are a coordinate free version of Taylor-polynomials and Taylor series.
For a surjective submersion of smooth manifolds and , the bundle of - order jets of sections of is the bundle whose fiber over a point is the space of equivalence classes of germs of sections of , where two germs are considered equivalent if their first partial derivatives at coincide.
In the case when is a trivial bundle its sections are canonically in bijection with maps from to and two sections have the same partial derivatives iff the partial derivatives of the corresponding maps from to agree. So in this case the jet space is the space of jets of maps from to and commonly denoted with .
Let be the functor on bundles over sending a bundle to the bundle of first order jets of sections of . This functor is co-pointed: the natural projection forgets first order information. A -coalgebra is then by definition a bundle with a bundle map , which is the same as a connection on . With this, the infinite order jet bundle of sections of may be defined as the cofree -coalgebra on . By definition it comes with a bundle map (“forgetting all higher order information”) and a universal connection sometimes called the Cartan connection or infinite order contact structure on . Its universal property states that for any bundle with connection and bundle map , there exists a unique prolongation of denoted with commuting with all given maps: and .
In the particular case when is the identity with its canonical connection, a morphisms of bundles from to is the same as a section of and is traditionally called the infinite jet prolongation of the section .
When the the functor preserves sequential limits and the category of bundles over has equalizers, the cofree -coalgebra can be constructed as a sequential limit:
where is recursively defined as the equalizer between and , where the first arrow in is the standard projection and the second one is the previously obtained equalizer (starting the induction with the identity ), while the arrow is just the map obtained applying the functor to .
This sequantial limit construction should be a special case (and dual) to the one described in transfinite construction of free algebras.
We discuss a general abstract definition of jet bundles.
be a cohesive (∞,1)-topos
equipped with differential cohesion
and equipped with an (∞,2)-sheaf
For , write for the corresponding de Rham space object.
Notice that we have the canonical morphism
(“inclusion of constant paths into all infinitesimal paths”).
for the corresponding base change geometric morphism.
In the context of D-schemes this is (BeilinsonDrinfeld, 2.3.2). The abstract formulation as used here appears in (Lurie, prop. 0.9). See also (Paugam, section 2.3) for a review. There this is expressed dually in terms of algebras in D-modules. We indicate how the translation works
for the stable (∞,1)-category of D-modules.
Examples of sequences of infinitesimal and local structures
|first order infinitesimal||formal = arbitrary order infinitesimal||local = stalkwise||finite|
|derivative||Taylor series||germ||smooth function|
|tangent vector||jet||germ of curve||curve|
|square-0 ring extension||nilpotent ring extension||ring extension|
|Lie algebra||formal group||local Lie group||Lie group|
|Poisson manifold||formal deformation quantization||local strict deformation quantization||strict deformation quantization|
The abstract characterization of jet bundles as the direct images of base change along the de Rham space projection is noticed on p. 6 of
An exposition of this is in section 2.3 of
Standard textbook references include
G. Sardanashvily, Fibre bundles, jet manifolds and Lagrangian theory, Lectures for theoreticians, arXiv:0908.1886
Shihoko Ishii, Jet schemes, arc spaces and the Nash problem, arXiv:math.AG/0704.3327
D. J. Saunders, The geometry of jet bundles, London Mathematical Society Lecture Note Series 142, Cambridge Univ. Press 1989.
A discussion of jet bundles with an eye towards discussion of the variational bicomplex on them is in chapter 1, section A of
Discussion of jet-restriction of the Haefliger groupoid is in