nLab jet group



Differential geometry

synthetic differential geometry


from point-set topology to differentiable manifolds

geometry of physics: coordinate systems, smooth spaces, manifolds, smooth homotopy types, supergeometry



smooth space


The magic algebraic facts




tangent cohesion

differential cohesion

graded differential cohesion

singular cohesion

id id fermionic bosonic bosonic Rh rheonomic reduced infinitesimal infinitesimal & étale cohesive ʃ discrete discrete continuous * \array{ && id &\dashv& id \\ && \vee && \vee \\ &\stackrel{fermionic}{}& \rightrightarrows &\dashv& \rightsquigarrow & \stackrel{bosonic}{} \\ && \bot && \bot \\ &\stackrel{bosonic}{} & \rightsquigarrow &\dashv& \mathrm{R}\!\!\mathrm{h} & \stackrel{rheonomic}{} \\ && \vee && \vee \\ &\stackrel{reduced}{} & \Re &\dashv& \Im & \stackrel{infinitesimal}{} \\ && \bot && \bot \\ &\stackrel{infinitesimal}{}& \Im &\dashv& \& & \stackrel{\text{étale}}{} \\ && \vee && \vee \\ &\stackrel{cohesive}{}& \esh &\dashv& \flat & \stackrel{discrete}{} \\ && \bot && \bot \\ &\stackrel{discrete}{}& \flat &\dashv& \sharp & \stackrel{continuous}{} \\ && \vee && \vee \\ && \emptyset &\dashv& \ast }


Lie theory, ∞-Lie theory

differential equations, variational calculus

Chern-Weil theory, ∞-Chern-Weil theory

Cartan geometry (super, higher)

Group Theory



The concept of jet group is the generalization of general linear group from first order to higher order jets.

In terms of synthetic differential geometry/differential cohesion a general linear group is the automorphism group of a first-order infinitesimal disk, while a jet group is the automorphism group of a higher order infinitesimal disk. See also at differential cohesion – Frame bundles.


Homotopy type

For all kk \in \mathbb{N}, the homotopy type of the orientation preserving jet group GL p k(n)GL^k_p(n) is that of the ordinary orientation-preserving general linear group GL(n)GL(n), and the canonical projection

GL + k(n)GL +(n) GL^k_+(n) \longrightarrow GL_+(n)

is, on the level of the underlying topological spaces, a homotopy equivalence, indeed it preserves the maximal compact subgroup, which is the special orthogonal group SO(n)SO(n) on both sides (recalled e.g. in Dartnell 94, section 1).

Group homology

The canonical projection GL + k(n)GL +(n)GL^k_+(n) \longrightarrow GL_+(n) also induces an isomorphism on group homology with constant integer coefficients

H grp(GL + k(n),)H grp(GL +(n),). H_\bullet^{grp}(GL^k_+(n), \mathbb{Z}) \stackrel{\simeq}{\longrightarrow} H_\bullet^{grp}(GL_+(n),\mathbb{Z}) \,.

(Dartnell 94, theorem 1.1)


Original discussion (in the context of integrability of G-structures) is due to

  • Victor Guillemin, section 3 of The integrability problem for GG-structures, Trans. Amer. Math. Soc. 116 (1965), 544–560. (JSTOR)

Textbook accounts and lecture notes include

See also

Discussion of the group homology of jet groups includes

  • Pablo Dartnell, On the homology of groups of jets, Journal of Pure and Applied Algebra Volume 92, Issue 2, 7 March 1994, Pages 109–121 (publisher)

  • Dror Farjoun, Jekel, Suciu, Homology of jet groups (pdf)

Last revised on January 16, 2015 at 20:09:28. See the history of this page for a list of all contributions to it.