Fact-checked by Grok 2 weeks ago

Jet bundle

In differential geometry, a jet bundle is a fiber bundle structure that encodes the higher-order infinitesimal behavior of sections of another fiber bundle, generalizing the concept of tangent bundles to capture derivatives of arbitrary order.^[1] For a smooth fiber bundle \pi: E \to M over a manifold M, the k-th jet bundle J^k(\pi) is defined as the disjoint union over points p \in M of equivalence classes of k-jets at p, where two local sections \sigma, \tau: U \to E (with U an open neighborhood of p) belong to the same equivalence class if they agree, along with all their partial derivatives up to order k, when pulled back to coordinates on M.^[1] This construction, introduced by Charles Ehresmann in 1951, provides a coordinate-free way to represent Taylor expansions of sections as geometric objects.^[1] Jet bundles form a tower J^0(\pi) = E \to J^1(\pi) \to \cdots \to J^k(\pi) \to J^{k-1}(\pi) \to \cdots \to [M](/page/M), where each projection \pi_{k,k-1}: J^k(\pi) \to J^{k-1}(\pi) is a smooth affine bundle of rank equal to the dimension of the fiber times the number of partial derivatives of order k.^[2] For the first-order case, J^1(\pi) extends the tangent bundle by considering equivalence classes of maps from neighborhoods of points in M to E that match in value and first derivatives, making it an affine bundle over E modeled on the vertical tangent bundle.^[2] Higher-order jet bundles similarly affine-model on bundles of symmetric powers of cotangent spaces tensored with vertical bundles.^[3] The primary applications of jet bundles lie in the geometric theory of partial differential equations (PDEs) and variational calculus, where sections of jet bundles correspond to solutions satisfying differential constraints, and infinite jet bundles formalize the prolongation of PDE systems.^[4] They also appear in algebraic geometry for enumerative problems, such as computing invariants via degeneracy loci of jet bundle maps, and in physics for effective field theories by incorporating all orders of spacetime and field derivatives.^[3]^[5] In synthetic differential geometry, jet bundles can be constructed via comonads, providing a foundation for infinitesimal reasoning without coordinates.^[6]

Foundational Concepts

Jets

In differential geometry, the notion of jets formalizes the local approximation of sections of a fiber bundle by capturing their behavior up to a specified order of derivatives at a point. Introduced by Charles Ehresmann in his work on prolongations of differentiable varieties, jets extend the idea of tangent vectors to higher orders, providing a coordinate-free framework for analyzing infinitesimal structure.^[7] Given a fiber bundle \pi: E \to M and a section \sigma \in \Gamma(E), the r-jet of \sigma at a point x \in M, denoted j^r_x(\sigma), is the equivalence class of all sections that agree with \sigma up to order r at x. Two sections \sigma and \tau belong to the same equivalence class if \sigma(x) = \tau(x) and all partial derivatives of \sigma and \tau up to order r coincide at x, ensuring that their graphs are tangent to order r in suitable local coordinates.^[8] The formal construction of jets relies on Taylor expansions: locally, a section near x can be expanded as a formal power series, and the r-jet corresponds to the truncation of this series up to terms of degree r, modulo higher-order terms. The collection of all such r-jets over points in M forms the set J^r(\pi), where the equivalence relation is defined pointwise. This approach, detailed in foundational treatments of jet theory, ensures that jets encode precisely the derivative information needed for local analysis without reference to global properties.^[7] Jets are distinguished by their order r \in \mathbb{N}. A 0-jet j^0_x(\sigma) captures only the value \sigma(x) in the fiber \pi^{-1}(x), equivalent to the section's evaluation at the point. The 1-jet j^1_x(\sigma) includes the value and first-order derivatives, generalizing the tangent space to bundle sections. For r \geq 2, higher r-jets incorporate successively more derivative data, such as second partials for r=2, enabling finer approximations essential for applications like differential equations. As building blocks, jets underpin subsequent geometric constructions by abstracting local differential agreement.^[8]

Jet manifolds

The set of r-jets, denoted J^r(\pi) for a smooth fiber bundle \pi: E \to M, is endowed with a natural smooth manifold structure induced by the smooth atlases on E and M. This structure arises from local fibered charts on E, which allow the definition of compatible charts on J^r(\pi), confirming that J^r(\pi) is a smooth manifold.^[9] The dimension of this manifold is \dim J^r(\pi) = n + m \sum_{k=0}^r \binom{n + k - 1}{k}, where F denotes the typical fiber of \pi with \dim F = m and \dim M = n = \dim M, reflecting the base dimension plus the contributions from all jet coordinates up to order r.^[10] Natural smooth projections equip J^r(\pi) with additional structure, including the maps \pi^r_k: J^r(\pi) \to J^k(\pi) for $0 \leq k < r, which project an r-jet onto its underlying k-jet by discarding higher-order information. In particular, \pi^r_0: J^r(\pi) \to M is the base projection, and these maps collectively form a tower of smooth fiber bundles J^r(\pi) \to J^{r-1}(\pi) \to \cdots \to J^1(\pi) \to J^0(\pi) = E \to M.^[9] These projections are submersions and preserve the smooth structure across the tower.^[10] Local coordinates on J^r(\pi) are derived from adapted coordinates on the bundle: (x^i) on an open set in M and (x^i, u^\alpha) on the corresponding trivialization of E, where i = 1, \dots, n and \alpha = 1, \dots, m. The induced jet coordinates are then (x^i, u^\alpha_I), with I ranging over all multi-indices of order at most r (i.e., |I| \leq r), where u^\alpha_I encode the partial derivatives \partial_I u^\alpha of the fiber coordinates up to order r.^[9] Coordinate changes between overlapping charts preserve this form, ensuring the smoothness of the atlas.^[10] As an illustrative example, consider the $1-jet manifold of the trivial line bundle \mathbb{R}^n \times \mathbb{R} \to \mathbb{R}^n. Here, M = \mathbb{R}^n, F = \mathbb{R}, and J^1(\pi)

consists of &#36;1

-jets of smooth functions u: \mathbb{R}^n \to \mathbb{R}, which has coordinates (x^i, u, u_i), where u_i = \partial u / \partial x^i, forming a manifold of dimension $2n+1. This structure generalizes the tangent bundle by including the function value u alongside its first derivatives u_i.^[9]^[10]

Construction and Formalism

Jet bundles

In differential geometry, given a smooth fiber bundle \pi: E \to M with base manifold M, the r-th jet bundle J^r(\pi) is defined as a fiber bundle over M whose fiber over each point x \in M consists of all r-jets of local sections of \pi based at x, where an r-jet at x is the equivalence class of sections that agree with a given section up to their r-th order partial derivatives at x.^[11] This construction extends the notion of jets, which capture the local Taylor expansion of sections to order r, to a global bundle structure.^[11] A fundamental aspect of J^r(\pi) is its universal property with respect to sections: for any section \sigma of \pi, there is a canonical r-jet prolongation j^r \sigma: M \to J^r(\pi), which is a section of the projection \pi^r_0: J^r(\pi) \to M, and this map embeds the space of local sections of \pi into the space of local sections of J^r(\pi) over M.^[11] Locally, every section of J^r(\pi) arises as the prolongation of a unique section of \pi, ensuring that J^r(\pi) encodes all r-th order information about sections of the original bundle in a coordinate-free manner.^[11] The jet bundle J^r(\pi) admits natural bundle morphisms that highlight its structure. There is a canonical inclusion i_0: E \hookrightarrow J^r(\pi) via the 0-jet embedding, which maps each point e \in E_x (with x = \pi(e)) to the 0-jet at x represented by the constant section with value e.^[11] Additionally, the bundle structure is given by the source projection \pi^r_0: J^r(\pi) \to M, which assigns to each r-jet its base point x \in M, making J^r(\pi) a smooth manifold fibered over M with fibers diffeomorphic to Euclidean spaces of dimension determined by the ranks of \pi and r.^[11] The r-th order tangent bundle T^r M can be realized as the space of r-jets of smooth curves \gamma: \mathbb{R} \to M at t=0, i.e., equivalence classes where curves agree up to their r-th derivatives at the base point p = \gamma(0); its fibers have dimension r \cdot \dim M.^[12] The formalism of jet bundles was introduced by Charles Ehresmann in the early 1950s, building on his earlier work in fiber bundle theory to develop tools for local differential geometry and the study of higher-order structures.^[13]

Algebro-geometric perspective

In the algebro-geometric framework, jet bundles arise naturally from sheaf theory on schemes, providing a generalization of the differential geometric construction to arbitrary algebraic varieties, including singular ones. For a line bundle L on a scheme Y (assumed Cohen-Macaulay for simplicity), the n-th jet bundle J_n L is defined as the pushforward sheaf \pi_{1*} \left( \mathcal{O}_{Y \times Y} / \mathcal{I}_{n+1}^\Delta \otimes \pi_2^* L \right), where \Delta \subset Y \times Y is the diagonal, \mathcal{I}_\Delta its ideal sheaf, \pi_1, \pi_2: Y \times Y \to Y the projections, and \mathcal{I}_{n+1}^\Delta the (n+1)-th power of the ideal.^[3] This construction interprets jets as sections encoding n-th order infinitesimal neighborhoods of the diagonal, capturing higher-order Taylor expansions of sections of L in a coordinate-free manner. A key structural result is the short exact sequence $0 \to L \otimes \Sym^n \Omega_Y \to J_n L \to J_{n-1} L \to 0, where \Omega_Y denotes the cotangent sheaf of Y, which iterates to give J_n L \cong L \otimes \bigoplus_{k=0}^n \Sym^k \Omega_Y.^[3] This sheaf-theoretic approach relates directly to formal power series via the infinite jet sheaf J_\infty L = \varprojlim J_n L, whose sections at a point correspond to formal power series expansions in the completion of the local ring, modulo higher-order terms. More abstractly, jets can be viewed as elements of modules over rings of the form k[] / t^{r+1}, where k is the residue field, generalizing to relative settings over a base scheme S by considering morphisms from \Spec(k[] / t^{r+1}) to the total space of the bundle.^[14] In the relative case, for a morphism f: E \to S and quasi-coherent sheaf \mathcal{O}_E on E, the r-th jet sheaf J^r(\mathcal{O}_E / S) represents the functor sending an S-scheme Z to \Hom_S(Z \times \Spec(k/t^{r+1}), E), functorially encoding truncated arcs.^[14] The primary advantage of this perspective is its extension beyond smooth manifolds to singular or non-reduced schemes, where the classical differential definition fails, while preserving compatibility with smooth cases via étale-local triviality.^[3] It integrates seamlessly with Grothendieck's formal geometry, as developed in the Éléments de géométrie algébrique (EGA), by leveraging completions along the diagonal and Hasse-Schmidt derivations to handle formal deformations and moduli problems in arbitrary characteristics.^[14] For instance, on affine space \mathbb{A}^n_k over a field k, the jet bundle J^r \mathcal{O}_{\mathbb{A}^n} decomposes as \bigoplus_{p=0}^r \Sym^p \Omega^1_{\mathbb{A}^n / k}, reflecting the polynomial nature of sections and the free module structure of the cotangent sheaf generated by differentials dx_i.^[3]

Coordinate representations

In local coordinates adapted to a fiber bundle \pi: E \to M, where M has coordinates x^i and the fibers have coordinates u^\alpha, the r-th order jet bundle J^r\pi admits local coordinates (x^i, u^\alpha, u^\alpha_I), with i = 1, \dots, m, \alpha = 1, \dots, n, and I a multi-index of length at most r such that |I| \leq r. Here, u^\alpha_I = \partial_I u^\alpha encodes the partial derivatives of a section \sigma: M \to E, where \partial_I = \frac{\partial^{|I|} u^\alpha}{\partial x^{i_1} \cdots \partial x^{i_{|I|}}} represents the total partial derivative with respect to the multi-index I = (i_1, \dots, i_{|I|}). An r-jet j^r_x(\sigma) at x \in M is then represented by the tuple (x, u^\alpha(x), \partial_I u^\alpha(x)) for all |I| \leq r, capturing the equivalence class of sections agreeing up to order r at x. Under a change of coordinates on the base M, given by x'^i = x'^i(x), and on the total space E, given by u'^\alpha = u'^\alpha(x, u^\beta), the jet coordinates transform via the multivariable chain rule to preserve the equivalence relation. The transformation of higher-order jet coordinates follows from Faà di Bruno's formula for the composition of multivariable functions, incorporating higher derivatives of both the base and fiber coordinate changes. For the specific case of 2-jets of scalar functions u: \mathbb{R}^n \to \mathbb{R} (assuming trivial fiber change u' = u), the coordinates simplify to (x^i, u, u_i, u_{ij}) for i, j = 1, \dots, n, where u_i = \frac{\partial u}{\partial x^i} and u_{ij} = \frac{\partial^2 u}{\partial x^i \partial x^j}, with u_{ij} = u_{ji} due to the symmetry of mixed partials. Under a coordinate change x'^k = x'^k(x), the second-order terms transform as

\begin{aligned} u'_{kl} &= \frac{\partial x^i}{\partial x'^k} \frac{\partial x^j}{\partial x'^l} u_{ij} + u_m \frac{\partial^2 x^m}{\partial x'^k \partial x'^l}. \end{aligned}

This reflects the affine nature of the jet bundle over lower-order jets. These coordinate representations facilitate explicit computations in symbolic algebra systems, where prolongation formulas for vector fields or Lagrangians on jet bundles are derived using multi-index calculus; for instance, the Maple DifferentialGeometry package employs such coordinates to compute higher Euler-Lagrange operators and jet prolongations symbolically.^[15]

Geometric Properties

Contact structure

The jet bundle J^r(\pi), where \pi: E \to M is a fiber bundle with base manifold M of dimension n and typical fiber of dimension m, carries a canonical contact structure defined by the Cartan distribution. This distribution is a horizontal subbundle H \subset T J^r(\pi) of rank n, consisting of tangent vectors that are tangent to the graphs of local sections of \pi. The Cartan distribution is the kernel of the basic contact 1-forms on J^r(\pi). For the first-order case r = 1, these forms are given by \theta^\alpha = du^\alpha - \sum_{i=1}^n u^\alpha_i \, dx^i for \alpha = 1, \dots, m, where (x^i, u^\alpha, u^\alpha_i) are adapted jet coordinates. For higher orders r > 1, the contact forms generalize to include higher-order partial derivatives, such as \theta^\alpha_J = d u^\alpha_J - \sum_{i=1}^n u^\alpha_{J,i} \, dx^i for multi-indices J with |J| \leq r-1. The differentials of these forms, for instance d\theta^\alpha = -\sum_{i=1}^n du^\alpha_i \wedge dx^i in the first-order case, generate the algebraic structure underlying the contact geometry by spanning the relevant 2-forms that measure the non-triviality of the distribution.^[16] This contact structure is non-holonomic, meaning the Cartan distribution is non-integrable for r \geq 1. By the Frobenius theorem, integrability fails because the distribution is not involutive: the Lie brackets of its generating vector fields do not lie within the distribution itself, as evidenced by the non-zero curvature forms derived from the d\theta^\alpha. This non-integrability encodes the higher-order differential relations intrinsic to sections of \pi, distinguishing the geometry of finite-order jet bundles from the integrable case in infinite jet spaces.^[17] A representative example occurs on the 1-jet bundle of the trivial line bundle over \mathbb{R}, where J^1(\mathbb{R}, \mathbb{R}) \cong \mathbb{R}^3 with coordinates (x, u, p) and the standard contact form \theta = du - p \, dx. The associated distribution H = \ker \theta has rank 2, spanned by the vector fields \partial_x + p \partial_u and \partial_p, and is maximally non-integrable, serving as the prototypical contact structure in three dimensions.

Vector fields and total derivatives

In the context of jet bundles J^r(\pi) associated to a fiber bundle \pi: E \to M, vector fields on the base manifold M lift to the jet bundle via total derivative operators, which generate the horizontal subspace tangent to the bundle projections. The total derivative operator D_i with respect to a base coordinate x^i is defined in local jet coordinates (x^i, u^\alpha_I), where u^\alpha_I denote the partial derivatives of fiber coordinates u^\alpha along multi-indices I, as

D_i = \frac{\partial}{\partial x^i} + \sum_{\alpha, I} u^\alpha_{I+(i)} \frac{\partial}{\partial u^\alpha_I},

where I+(i) appends the index i to the multi-index I.^[18]^[17] These operators extend the usual partial derivatives to act on differential functions on the jet space, ensuring compatibility with the contact structure by directing lifts along the fibers.^[18] A vector field X on the base M prolongs to a vector field \mathrm{pr}^r X on the r-th order jet bundle J^r(\pi), preserving the bundle structure and acting as an infinitesimal symmetry generator. Locally, if X = \sum \xi^i \frac{\partial}{\partial x^i}, the prolongation takes the form

\mathrm{pr}^r X = X + \sum_{\alpha, \#I \leq r} \phi^\alpha_I \frac{\partial}{\partial u^\alpha_I},

where the coefficients \phi^\alpha_I are determined recursively by \phi^\alpha_I = D_I Q^\alpha + \sum_j \xi^j u^\alpha_{I+(j)}, with Q^\alpha the characteristic function of X (often zero for base fields) and D_I the total derivative along multi-index I.^[18] This lift ensures \mathrm{pr}^r X is tangent to the prolonged sections of \pi, facilitating the analysis of infinitesimal symmetries on higher-order derivatives.^[18]^[17] Evolutionary representatives provide a canonical form for prolonged vector fields, particularly those tangent to the prolongations of local sections of \pi. An evolutionary vector field v_Q = \sum_\alpha Q^\alpha \frac{\partial}{\partial u^\alpha}, with characteristic Q = (Q^\alpha), prolongs to

\mathrm{pr}^r v_Q = \sum_{\alpha, \#I \leq r} D_I Q^\alpha \frac{\partial}{\partial u^\alpha_I},

where the coefficients are purely the total derivatives of Q, independent of base components.^[18] This representation is essential for studying Lie symmetries of differential equations, as it isolates the vertical action on fiber variables while commuting with total derivatives.^[18] For a concrete illustration, consider the trivial bundle \mathbb{R} \times \mathbb{R} \to \mathbb{R} with coordinates (x, u), and the base vector field X = \frac{\partial}{\partial x}. Its second prolongation to J^2(\pi), with jet coordinates (x, u, u_x, u_{xx}), is

\mathrm{pr}^2 X = \frac{\partial}{\partial x} + u_x \frac{\partial}{\partial u} + u_{xx} \frac{\partial}{\partial u_x},

reflecting the chain rule extension of translations to higher derivatives.^[18]

Applications to Differential Equations

Partial differential equations

In the geometric theory of partial differential equations (PDEs), a k-th order scalar PDE on sections of a fiber bundle \pi: E \to M is formulated as a subbundle E_k \subset J^k(\pi), where J^k(\pi) denotes the k-th order jet bundle over the base manifold M.^[19] This representation encodes the PDE intrinsically, with solutions corresponding to integral submanifolds of the contact distribution on E_k; these are n-dimensional submanifolds (where \dim M = n) that are everywhere tangent to the contact hyperplane distribution, ensuring the submanifold lifts consistently from lower to higher jet orders.^[19] The contact structure on the jet bundle provides the necessary integrability conditions for such submanifolds to represent genuine solutions.^[19] The principal symbol of the PDE is defined as the highest-order homogeneous polynomial component of its defining equation, typically a section of the bundle of homogeneous polynomials on the cotangent spaces.^[20] This symbol determines the characteristic variety, the zero locus of the symbol in the projectivized cotangent bundle P(T^*M), which classifies the PDE's type (e.g., elliptic, hyperbolic) by identifying directions where Cauchy problems may lose uniqueness or well-posedness.^[20] For instance, in second-order scalar PDEs F(x, u, Du, D^2u) = 0, the principal symbol S(F) is the quadratic form \frac{\partial F}{\partial u_{ij}} \xi^i \xi^j = 0, whose degeneracy loci define the characteristics.^[20] Formal integrability of the PDE system, essential for local solvability, requires the symbol and derived systems to satisfy involutivity conditions analyzed through Cartan-Kähler theory; this involves verifying that the exterior differential system generated by the PDE on the jet bundle has no new integrability obstructions upon prolongation, guaranteeing the existence of integral manifolds via the Cartan-Kähler theorem.^[19] The geometric approach originated with Émile Vessiot's work in the 1920s, which addressed the equivalence problem for PDEs via vector field distributions on jet spaces, establishing involutivity for formal solutions.^[21] This was extended by Élie Cartan in the 1930s, who integrated exterior differential systems with jet geometry to provide a comprehensive framework for overdetermined PDEs.^[19] Post-1980s developments have applied jet bundles to general relativity, formulating covariant field equations like the vacuum Einstein equations as submanifolds in jet spaces of Lorentzian metrics, enabling the classification of generalized symmetries and the identification of unique symplectic structures without non-trivial local conservation laws beyond topological invariants.^[22]

Jet prolongation

In the context of jet bundles associated to a fiber bundle \pi: E \to M, the prolongation of a section \sigma: M \to E to higher jet orders provides a systematic way to encode higher-order derivatives while preserving the geometric structure. The (r+1)-th jet prolongation j^{r+1}\sigma of a section \sigma of \pi^r: J^r\pi \to M is defined pointwise as j^{r+1}\sigma(x) = \lim_{y \to x} j^r_y(\sigma), where the limit is taken with y approaching x along the image of \sigma, ensuring that the prolongation captures the infinitesimal behavior of \sigma up to order r+1. This construction can be formalized using total derivatives, which extend partial derivatives to the jet bundle coordinates; for a local coordinate section u^\alpha = \sigma^\alpha(x^i), the components of j^{r+1}\sigma are given by u^\alpha_J = D_J \sigma^\alpha(x), where D_J denotes the total derivative with respect to the multi-index J of order up to r+1. Such prolongations are essential for lifting local solutions to global ones in differential geometry. For partial differential equations (PDEs) defined as subbundles E_k \subset J^k\pi, prolongation extends the system to higher orders while maintaining consistency with the original constraints. The (k+1)-th prolongation E_{k+1} is the induced subbundle given by E_{k+1} = (\pi^{k+1}_k)^{-1}(E_k) \cap \{ z \in J^{k+1}\pi \mid (D_J F_\nu)(x, u^{(k+1)}) = 0 \ \forall |J| \leq 1, \ \nu \}, where F_\nu = 0 are the defining equations of E_k and D_J are total derivatives applied to these equations. This intersection enforces that points in E_{k+1} project onto E_k and satisfy the first-order differential consequences derived from total differentiation of the original PDE.^[23] Compatibility conditions require that E_k admits such a prolongation without inconsistencies, meaning the projected subbundle (\pi^{k+1}_k)^{-1}(E_k) must contain all necessary higher-order constraints implied by the total derivatives; otherwise, the system imposes additional differential consequences that refine E_k itself. A concrete example illustrates this process for the Laplace equation \Delta u = u_{xx} + u_{yy} = 0 in two spatial variables, which defines a second-order PDE subbundle E_2 \subset J^2\pi over \mathbb{R}^2 \times \mathbb{R}. Prolonging to order 3 yields E_3 = (\pi^3_2)^{-1}(E_2) \cap \{ z \in J^3\pi \mid D_x(\Delta u) = 0, \ D_y(\Delta u) = 0 \}, where D_x(\Delta u) = u_{xxx} + u_{yyx} and D_y(\Delta u) = u_{xxy} + u_{yyy}, resulting in the mixed partial derivative constraints u_{xxx} + u_{x yy} = 0 and u_{xxy} + u_{yyy} = 0. These new equations ensure that any third-order jet in E_3 is compatible with solutions of the original elliptic PDE, reflecting the equality of mixed partials in smooth functions. In the theory of formal integrability, repeated prolongation of a PDE system plays a central role by generating the full differentially closed ideal until the symbol—a linear approximation of the PDE at each point—stabilizes, indicating that no further independent constraints arise.^[23] This stabilization confirms the system's involutivity, allowing for a local coordinate system where solutions can be parameterized by arbitrary functions up to the order of the Cartan-Kähler theorem.

Infinite jet spaces

The infinite jet bundle J^\infty(\pi) associated to a fiber bundle \pi: E \to M is constructed as the projective limit J^\infty(\pi) = \projlim_{r \to \infty} J^r(\pi), where the finite-order jet bundles J^r(\pi) form a directed system under the natural projection maps \pi_{r,s}: J^r(\pi) \to J^s(\pi) for r \geq s.^[24] The projections \pi^\infty_r: J^\infty(\pi) \to J^r(\pi) are defined such that for any element j \in J^\infty(\pi), the images \pi^\infty_r(j) are compatible, meaning \pi_{r,s} \circ \pi^\infty_r = \pi^\infty_s for r \geq s.^[24] This inverse limit topology endows J^\infty(\pi) with the structure of a Fréchet manifold, modeled on the projective limit of the Euclidean spaces underlying the fibers of the finite jet bundles.^[24] Locally, the infinite jet manifold J^\infty(\pi) admits coordinates (x^i, u^\alpha_I), where x^i are base coordinates on M, u^\alpha are fiber coordinates on E, and I runs over all multi-indices with |I| \geq 0, representing all orders of partial derivatives. The Cartan distribution on J^\infty(\pi), denoted C^\infty, is the union over r of the finite-order Cartan distributions C^r, consisting of vector fields that are tangent to the images of jet prolongations and thus preserve the formal series structure.^[24] Sections of the bundle J^\infty(\pi) \to M over an open subset of M correspond bijectively to families of formal Taylor series expansions at points of that subset, where each such section assigns to a point x \in M the infinite jet j^\infty_x(s) of a local section s of \pi, encoded as a formal power series s(x + h) = \sum_{|I| \geq 0} u^\alpha_I(x) \frac{h^I}{I!}. These formal series provide a framework for analyzing local behavior without convergence concerns, facilitating the study of asymptotic solutions to differential equations.^[24] As a Fréchet manifold, J^\infty(\pi) is Hausdorff and paracompact, but its infinite dimensionality introduces challenges in global analysis, such as non-compactness of coordinate charts.^[24] In the context of formal integrability of overdetermined systems, obstructions to extending formal solutions are captured by Spencer cohomology groups, which are computed on the infinite jet bundle using the de Rham complex of its Cartan forms and measure the intrinsic solvability beyond finite-order approximations.^[25] Despite these theoretical advantages, direct computations on J^\infty(\pi) face practical limitations due to the infinite order, often requiring finite truncations; modern symbolic computation tools, such as the Jets package in Maple for jet calculus manipulations or the ReLie package in REDUCE for symmetry analysis on jet prolongations, enable approximations by handling high-order jets efficiently.^[26]^[27]

Formal solutions of PDEs

Formal solutions to partial differential equations (PDEs) are constructed using infinite jet bundles, where a solution corresponds to an infinite jet j^\infty_\sigma(\phi) at a point that lies in the infinite prolongation E_\infty \subset J^\infty(\pi) of the PDE system E \subset J^k(\pi).^[28] These jets represent formal power series expansions of the form u^\alpha = \sum_{|J|=0}^\infty u^\alpha_J (x - x_0)^J / J!, where the coefficients u^\alpha_J are determined order by order to satisfy the infinitely prolonged PDE, ensuring consistency at each derivative level.^[28] For formally integrable systems, this recursive process yields a unique formal solution given initial jet data at x_0.^[28] Under analyticity assumptions on the coefficients and data, the Cauchy-Kovalevskaya theorem guarantees the convergence of such formal power series to a unique local analytic solution in a neighborhood of the initial point. This theorem, adapted to the jet bundle framework, links the formal integrability in the infinite jet space to the existence of genuine solutions, provided the system is analytic and non-characteristic. Obstructions to the formal integrability and prolongation of solutions are captured by the Spencer δ-cohomology groups H^{k+1}(E_k, \Theta(E_k)^\perp), where \Theta(E_k)^\perp denotes horizontal forms on the k-th jet prolongation; vanishing of these groups ensures the system can be completed to an involutive form admitting formal solutions. Non-vanishing cohomology elements, such as curvature or torsion forms, indicate incompatibilities that prevent unique extension of jets beyond certain orders. A representative example is the heat equation u_t = u_{xx} on \mathbb{[R](/page/R)} \times \mathbb{[R](/page/R)}, viewed as a first-order PDE in the jet bundle J^1(\pi) over the trivial bundle \mathbb{[R](/page/R)} \to \mathbb{[R](/page/R)}. Given analytic initial data u(0,x) = f(x), the formal solution is the power series u(t,x) = \sum_{n=0}^\infty \frac{t^n}{n!} \partial_x^{2n} f(x), where each term arises from successive prolongation in the infinite jet space, satisfying the PDE order by order.^[29] Recent developments since 2000 have extended numerical methods for formal integration to nonlinear PDEs in physics, particularly integrable systems like the Korteweg-de Vries equation, using algorithmic jet geometry to compute high-order formal series and analyze convergence via involutivity criteria.^[29] These approaches facilitate symbolic computation of obstructions and series solutions for applications in soliton theory and quantum field models. More recent work (2020s) has applied infinite jet bundles to weak gauge PDEs and presymplectic structures in the Batalin-Vilkovisky formalism, providing geometric formulations for gauge theories in quantum field theory.^[30]^[31]

References

[1]
[PDF] Jets or, how to geometrize the differential calculus
The idea of a "jet" was introduced by Charles Ehresmann in 1951 as an equivalence class of maps, all defined in some neighbourhood.
[2]
First-order Jet Bundles (Chapter 4) - Cambridge University Press
In basic differential geometry, a tangent vector to a manifold may be defined as an equivalence class of curves passing through a given point, ...
[3]
[PDF] A Beginner's Guide to Jet Bundles from the Point of View of ...
Aug 25, 1998 · This short note is intended to provide a functional introduction to jet bundles from the point of view of enumerative algebraic geometry.
[4]
Synthetic Differential Geometry of Jet Bundles - Project Euclid
The theory of infinite jet bundles provides the very foundation for the geometric theory of nonlinear partial differential equations, but it is hard to say ...
[5]
Effective Field Theories on the Jet Bundle | Phys. Rev. Lett.
The jet bundle generalizes the field space manifold by incorporating spacetime and field derivative coordinates of all orders. It therefore contains all degrees ...<|control11|><|separator|>
[6]
[math-ph/0612068] Evolution of Ehresmann's jet theory - arXiv
Dec 20, 2006 · Jets of mappings introduced by Ehresmann are still the most useful objects for formulating geometric frameworks of physical theories.Missing: seminal | Show results with:seminal
[7]
[PDF] differential geometry and pdes - DipMat
JkE is the k-jet space, or k-jet bundle, of E. In practice, points in JkE are Taylor polynomials of sections of E at all possible points of M. There are ...<|control11|><|separator|>
[8]
[PDF] Introduction to Global Variational Geometry
These mappings are called the canonical jet projections. The smooth structure of the fibered manifold Y induces a smooth structure on the set JrY. This is ...<|control11|><|separator|>
[9]
(PDF) Natural Operations in Differential Geometry - ResearchGate
Natural Operations in Differential Geometry Springer-Verlag. January 1993 · Jan Slovák ; Natural operations in differential geometry. Transl. from the English.Missing: Slovak | Show results with:Slovak
[10]
The Geometry of Jet Bundles
Cambridge Core - Differential and Integral Equations, Dynamical Systems and Control Theory - The Geometry of Jet Bundles.
[11]
The prolongations of a differentiable manifold I. Calculus of jets ...
The jet as fundamental element of differential geometry. Prolongations of order r of a differentiable manifold. Study of the fiber structure of prolongations.Missing: paper | Show results with:paper
[12]
[PDF] JETS VIA HASSE-SCHMIDT DERIVATIONS Paul Vojta University of ...
Mar 28, 2007 · This paper is intended to provide a general reference for jet spaces and jet differentials, valid in maximal generality (at the level of EGA).
[13]
http://www.neo-classical-physics.info/uploads/3/4/3/6/34363841/ehresmann_-_prolongations_i-v.pdf
[14]
HigherEulerOperators - Maple Help
### Summary on Jet Bundles in Symbolic Computation for Prolongation Formulas
[15]
http://www.maplesoft.com/support/help/maple/view.aspx?path=DifferentialGeometry%2FJetCalculus%2FHigherEulerOperators
[16]
[PDF] Jets and the variational calculus - HAL
May 11, 2022 · We describe different types of jet manifold, different types of variational problem and different cohomological structures associated with such ...
[17]
[PDF] Jets and Differential Invariants
Nov 8, 2012 · This chapter is devoted to a detailed study of the proper geometric context for these purposes —the so-called “jet spaces” or. “jet bundles”, ...Missing: law | Show results with:law
[18]
[PDF] Cartan for Beginners: Differential Geometry via Moving Frames and ...
ferential systems, and explain how to express a system of partial differential equations as an exterior differential system using jet bundles. 1. Page 14. 2. 1 ...
[19]
[PDF] arXiv:1703.03944v2 [math.DG] 6 Jul 2017
Jul 6, 2017 · In the geometric framework for (nonlinear) PDEs described below, characteristic hyperplanes3 are precisely the tangent spaces to the ...
[20]
[PDF] On Vessiot's theory of partial differential equations - KOBRA
We now introduce differential equations as fibred submanifolds of suitably sized jet bundles ... of Jet Spaces and Nonlinear Partial Differential Equations.
[21]
[PDF] Spinors, Jets, and the Einstein Equations - DigitalCommons@USU
Aug 1, 1995 · Modern results from the calculus on jet bundles can be combined with a powerful spinor parametrization of the jet space of Einstein metrics to ...Missing: post- | Show results with:post-
[22]
[PDF] arXiv:math/0106090v1 [math.AP] 12 Jun 2001
where J runs over all multi-indices up to order k. Differential equations may be projected along the fibers onto lower order jet bundles. In general, this is a ...
[23]
Infinite Jet Bundles (Chapter 7) - The Geometry of Jet Bundles
>The Geometry of Jet Bundles; >Infinite Jet Bundles. You have Access. 7 ... spaces and continuous linear maps. Information. Type: Chapter. Information. The ...
[24]
SOME HOMOLOGICAL PROPERTIES OF SPENCER'S ...
These accomplishments are made possible by the introduction of differential module structures on jet bundles which is exploited for the first time in a.
[25]
(PDF) Jets. A MAPLE-package for formal differential geometry
The Maple-package jets was first designed to be an extension of the package desolv. In the current stage it became an independent package going beyond ...Missing: challenges | Show results with:challenges
[26]
[PDF] a Reduce program for Lie group analysis of differential equations
May 7, 2021 · ReLie is a program written in Reduce for Lie symmetry analysis of differential equations, automating the needed computations.
[27]
Jet Bundles and the Formal Theory of Partial Differential Equations
Jun 12, 2001 · This paper introduces jet bundles, a formal theory for partial differential equations, focusing on completing systems to equivalent involutive ...Missing: formulation | Show results with:formulation
[28]
[PDF] New Progress in Numerical Jet Geometry - IIS Windows Server
Motivated by realistic problems, a trend from pure symbolic computation to symbolic- numerical computation has occurred. I am mainly concerned with adapting ...<|control11|><|separator|>