Jet Bundles in Modern Geometry

• Jet bundles are defined as fiber bundles encoding equivalence classes of local sections that agree up to a specified derivative order.
• They provide a universal framework for expressing differential operators and symbol maps, crucial for the analysis of PDEs and gauge theories.
• Jet bundles underpin advanced studies in algebraic geometry and variational calculus through exact sequences, curvature formulas, and graded structures.

Jet bundles are geometric objects central to the interface of modern differential geometry, algebraic geometry, and the geometric analysis of partial differential equations. They encode the infinitesimal behavior of sections of vector (or more general) bundles, providing a universal language for expressing and analyzing higher-order derivatives, differential operators, and symmetry structures of geometric and analytic problems. Jet bundles appear in the geometric theory of PDEs, the study of moduli and deformation problems, representation theory, and areas as diverse as gauge field theory and synthetic differential geometry.

1. Definitions and Core Constructions

Let $E\to M$ be a smooth vector bundle (or, more generally, a locally free sheaf on a variety or a graded manifold). The $k$-th order jet bundle $J^kE$ is, roughly, the bundle whose fiber over $x\in M$ parametrizes equivalence classes of local sections of $E$ agreeing to order $k$ at $x$. More precisely, local sections $s, s'$ are $k$-equivalent at $x$ if, in any local trivialization, all partial derivatives of their coefficient functions up to order $k$0 coincide at $k$1.

A standard algebro-geometric realization for $k$2 is via the sheaf of principal parts: for $k$3 a smooth variety and $k$4 a vector bundle, $k$5 is defined as the pushforward along the first projection $k$6 of $k$7, where $k$8 is the second projection and $k$9 is the $J^kE$0-th order infinitesimal neighborhood of the diagonal in $J^kE$1 (Maakestad, 2010, Gatto et al., 2018).

For smooth manifolds, $J^kE$2 is a vector bundle over $J^kE$3 with fiber dimension $J^kE$4. In local coordinates $J^kE$5 on $J^kE$6 and frame $J^kE$7 on $J^kE$8, the jet coordinates incorporate the values of $J^kE$9, $x\in M$0 for $x\in M$1.

Infinite jet bundles $x\in M$2 are defined as projective limits $x\in M$3, forming Fréchet manifolds in the smooth case. In the synthetic differential geometry framework—e.g., the Cahiers topos—the projective limit commutes with the embedding functor from the category of manifolds to that of formal smooth sets, ensuring coherence between classical and “synthetic” jets (Giotopoulos et al., 22 Jan 2026, Vecchi, 2017).

2. Structure Sheaves, Exact Sequences, and Algebraic Properties

Jet bundles enjoy a universal exact sequence structure reflecting their role as "universal receptacles" for higher derivatives and differential operators. On smooth varieties or complex manifolds, there are natural exact sequences: $x\in M$4 where $x\in M$5 is the $x\in M$6-th symmetric power of the cotangent bundle. Such sequences iterate for all $x\in M$7, with $x\in M$8, and describe the inductive construction of jets from symmetric powers of the cotangent bundle (Maakestad, 2010, Gatto et al., 2018, Maakestad, 2012).

On projective space, the left and right $x\in M$9-module structures of $E$0 can differ when $E$1, as evidenced by the nonvanishing of suitable Atiyah classes. Nevertheless, their classes agree in $E$2-theory, as deduced from the exactness of the associated sequences (Maakestad, 2012).

For graded (e.g., $E$3-graded) vector bundles over graded manifolds, the construction is parallel, but graded signs and indices must be tracked; see (Vysoky, 2023) for the graded theory, including functoriality under pullbacks and Hom, and the explicit construction of local jet coordinates obeying graded commutation relations.

3. Jet Bundles, Differential Operators, and Symbol Maps

There is a canonical duality between jets and differential operators: sections of $E$4 universally encode the evaluation of all linear differential operators of order $E$5 acting on $E$6. For sheaves, this is reflected in the isomorphism $E$7, where $E$8 is the sheaf of linear differential operators of order $E$9.

For each $k$0, there is an exact sequence: $k$1 where $k$2 is the principal symbol map sending a differential operator to its leading term, symmetric in $k$3 vector fields. This underpins the geometric meaning of the “symbol calculus” in the theory of PDEs and representation theory (Vysoky, 2023).

Particularly important is the case $k$4, where the subsheaf $k$5 of $k$6 with symbols coming from vector fields gives the Atiyah algebroid of $k$7—encoding all first-order differential operators whose principal symbol comes from a lifted vector field. This forms a transitive Lie algebroid: $k$8 generalizing in the graded setting as well (Vysoky, 2023).

4. Jet Bundles in Algebraic Geometry and Representation Theory

In algebraic geometry, jet bundles play a central role in the theory of principal parts, inflection points, and moduli. On Gorenstein curves, naive sheaves of principal parts may fail to be locally free at singularities, but various equivalently functorial replacements exist: analytic (via dualizing sheaves), universal algebraic (using derivations), and reflexive hulls (biduals) all coincide on Gorenstein loci (Gatto et al., 2018). The associated exact sequences facilitate calculations of Chern classes and ramification formulas critical in enumerative geometry and the theory of Weierstrass points.

On projective spaces and homogeneous varieties, jet bundles inherit natural $k$9-linearizations (notably for $x$0), and their graded-structure is reflected in the canonical filtrations of their global section modules. Specifically, for $x$1 on $x$2, there is a splitting $x$3, and higher canonical filtrations are indexed by the enveloping algebra $x$4 and its action on highest-weight vectors (Maakestad, 2010).

Jet bundles underlie locally free resolutions of discriminants (incidence schemes) via Koszul complexes and support explicit Chern class computations; these play a key role in moduli theory and the study of stability conditions.

5. Curvature, Hermitian Metrics, and Holomorphic Sections

Jet bundles on complex manifolds equipped with Hermitian metrics have explicit curvature formulas, crucial for applications in analysis, geometry, and mathematical physics. The curvature of $x$5, for a Hermitian holomorphic vector bundle $x$6, depends combinatorially on the curvatures and their covariant derivatives, as encapsulated in trace formulas: $x$7 where $x$8 is the curvature of the $x$9-th jet bundle, and $s, s'$0 denotes the $s, s'$1-th covariant derivative (Keshari, 2013).

On line bundles, the jet curvature is a complete invariant; for higher rank, the sequence of such invariants controls local equivalence classes of jet bundles (Keshari, 2013).

In the analytic setting, the theory of holomorphic sections of jet bundles is related to extension theorems, $s, s'$2-estimates, and positivity of curvature. Strongly Nakano- or Griffiths-nef vector bundles admit powerful extension theorems for jet sections, an essential tool for deriving rigidity and classification results for compact Kähler and Fano manifolds (Yang, 2014).

Moreover, on Kähler manifolds with holonomy $s, s'$3, the space of holomorphic vector fields on the $s, s'$4-th jet scheme $s, s'$5 is $s, s'$6-dimensional, with explicit generators constructed via current-algebra invariants (Song, 2016).

6. Jet Bundles in PDE Theory and Mathematical Physics

Jet bundles provide the natural geometric setting for the modern, coordinate-free theory of PDEs. The infinite jet bundle $s, s'$7 over $s, s'$8 carries the contact (Cartan) distribution, encoding all possible formal Taylor expansions, and supporting the prolongation of differential operators and Lie symmetries. The geometric theory of diffieties and secondary calculus is grounded upon such structures (Vecchi, 2017).

In mathematical physics, especially gauge theory and the Batalin–Vilkovisky (BV) formalism, jet bundles furnish the geometric background for defining extended phase spaces, symplectic and presymplectic forms, and locality structures. The symplectic reduction of the super-jet bundle realizes the covariant BV phase space, with the master equation formulated in jet-coordinates. The formalism extends to accommodate both infinite jet and finite-dimensional (AKSZ-type) field theories (Grigoriev, 2022).

Synthetic differential geometry provides a comonadic formulation of jet bundles and solutions to PDEs, with equivalence between classical and synthetic (topos) pictures by preservation of projective limits (Giotopoulos et al., 22 Jan 2026).

7. Special and Advanced Topics

• Graded Jet Bundles: For $s, s'$9-graded manifolds, jet bundles of graded vector bundles and the corresponding graded differential operators and Lie algebroids provide the foundational framework for supergeometry and graded field theories. The graded Atiyah sequence generalizes transitive Lie algebroids to the graded setting, preserving geometric relationships (Vysoky, 2023).
• Double Jet Bundles and Higher Order Structures: The study of jet bundles with multiple vector bundle structures (double jet bundles), including the existence of canonical involutions interchanging primary and secondary bundle structures, connects with higher tangent bundles and double Lie algebroids, providing the geometric arena for higher-order variational calculus (Kadioglu, 2016).
• Invariant Jet Differentials and Hyperbolicity: Combined with Morse-theoretical estimates, the theory of invariant jet differentials on Green–Griffiths and Semple jet bundles gives quantitative obstructions to the existence of nontrivial entire curves on general type varieties, contributing to the proof of algebraic degeneracy in the Green–Griffiths–Lang conjecture (Rahmati, 2020, Rahmati, 2016).

---

Jet bundles thus form a fundamental organizing principle in contemporary geometry and analysis, bridging local differential and global geometric viewpoints and supporting advanced structural analysis in several interconnected areas of mathematics and mathematical physics (Vysoky, 2023, Gatto et al., 2018, Maakestad, 2010, Maakestad, 2012, Vecchi, 2017, Yang, 2014, Keshari, 2013, Grigoriev, 2022, Kadioglu, 2016, Giotopoulos et al., 22 Jan 2026, Rahmati, 2016, Rahmati, 2020, Song, 2016).