Diffieties in Jet Bundles

• Diffieties are geometric structures that capture all formal solutions of PDEs within infinite jet bundles, ensuring formal integrability and involutivity.
• Jet bundles encode the equivalence classes of section derivatives up to order k, assembled as an inverse limit that features the Cartan distribution and contact ideals.
• Modern approaches bridge classical and synthetic differential geometry using categorical frameworks like the jet comonad, solidifying the theory of PDEs.

A diffiety inside a jet bundle provides the geometric incarnation of a formally integrable partial differential equation (PDE)—namely, as a submanifold in the inverse-limit (infinite) jet bundle determined by the vanishing of a system of equations and all their differential consequences. The modern interplay between the classical theory of jets and diffieties and the comonadic, synthetic approach in the Cahiers topos of formal smooth sets provides a powerful categorical and topos-theoretic foundation for this theory, while ensuring full compatibility with classical geometric constructions (Giotopoulos et al., 22 Jan 2026, Nishimura, 2011).

1. Jet Bundles and Infinite Jets

For a surjective submersion of finite-dimensional smooth manifolds $p \colon E \to \Sigma$, the $k$-th jet bundle $J^k_\Sigma E \rightarrow \Sigma$ encodes at each point $s \in \Sigma$ the equivalence classes of local sections of $E$ with agreement up to $k$-th order derivatives at $s$. There exists a natural tower of projections

$$\pi^k_{k-1}\colon J^k_\Sigma E \rightarrow J^{k-1}_\Sigma E$$

inducing the inverse-limit (projective limit) construction of the infinite jet bundle: $J^\infty_\Sigma E := \varprojlim_k J^k_\Sigma E$ This $J^\infty_\Sigma E$ possesses a canonical structure as a Fréchet manifold and supports rich geometric structures, such as the Cartan distribution and contact ideal, which are crucial in the theory of PDEs (Giotopoulos et al., 22 Jan 2026, Nishimura, 2011).

2. Diffieties: Geometric Characterization of Formal PDEs

A diffiety is, by definition, the geometric locus of all formal solutions to a PDE system. For a formally integrable system specified by a submanifold $R \subset J^r_\Sigma E$, its infinite prolongation is

$$R_\infty = \varprojlim_{k \geq r} (\pi^{k}_r)^{-1}(R) \subset J^\infty_\Sigma E$$

This $R_\infty$—the diffiety—can also be described as the subsheaf of smooth functions on $J^\infty_\Sigma E$ determined by the vanishing of the system and all its differential consequences.

Crucially, a diffiety is required to be (i) formally integrable (each finite prolongation $R^{k}$ smooth and of predicted codimension), and (ii) involutive, meaning the Cartan distribution is everywhere tangent to the submanifold. In coordinates, the distribution generated by total-derivative operators $D_i$ must be tangent to $\mathcal{R}$; equivalently, the ideal generated by the system's defining functions and contact forms must be closed under exterior differentiation (Nishimura, 2011).

3. Three Approaches to Jet Bundles and Diffieties

Nishimura introduces three systematically equivalent geometric approaches to jet bundles in the context of microlinear, Weil-exponentiable Frölicher spaces:

1. Nonholonomic–semiholonomic–holonomic approach: Jets as equivalence classes of iterated tangentials subject to affine linearity and symmetry; local coordinates correspond to Taylor expansions $(u^α_I)$, with projections $J^{k+1}\to J^k$ modelled on $S^{k+1}T^*_{\!x}M\otimes V_xE$.
2. $D^n$-pseudotangential approach: Points correspond to compatible maps $∇^n_x:(M\otimes W_{D^n})\to (E\otimes W_{D^n})$ satisfying basepoint and symmetry conditions (under $S_n$), defining $J^{(n)}(\pi)$ with similar local expressions.
3. $D_n$-pseudotangential approach: Using folded (symmetric) jets, maps $$∇^{[n]}_x: (M\otimes W_{D_n})\to (E\otimes W_{D_n})$$ encode genuinely symmetric Taylor polynomials, producing $J^{[n]}(\pi)$.

Each admits an intrinsic characterisation of diffieties as involutive, formally integrable, projection-preserving submanifolds in the respective infinite jet spaces, and these characterisations can be transferred between formalisms through explicit “transmogrification” maps (e.g., Taylor-expansion $\Phi_n$ and fold-sum $\Psi_n$). Local coordinate equivalence is established, ensuring all key geometric structures agree in all three models (Nishimura, 2011).

Approach	Jet Description	Key Symmetry/Structure
Nonholonomic/Holonomic	Iterated tangentials	Affine/symmetric conditions
$D^n$-pseudotangential	$D^n$-maps	$S_n$-invariance
$D_n$-pseudotangential	Folded $D^n$-maps	Symmetric polynomial structure

4. Synthetic Differential Geometry and the Comonadic Formulation

A categorical perspective emerges from embedding classical smooth manifolds into the Cahiers topos of formal smooth sets $\mathrm{FrmSmthSet}$. Here, the internal counterpart of the jet bundle is constructed via a jet comonad

$$(J^\infty, \delta, \varepsilon): \mathrm{FrmSmthSet}_{/\Sigma} \to \mathrm{FrmSmthSet}_{/\Sigma}$$

where $J^\infty_\Sigma X$ is the functor of infinitesimal paths over $\Sigma$—formally, $X^{\mathbb{D}^\infty_\Sigma}$.

A central result is the preservation of the projective limit by the embedding $$i_!: \mathrm{SmthSet} \rightarrow \mathrm{FrmSmthSet}$$: $$i_!\left(\varprojlim_k J^k_\Sigma E\right) \simeq \varprojlim_k (i_! J^k_\Sigma E) \simeq J^\infty_\Sigma(i_! E)$$ This establishes that synthetic infinite jet bundles are reduced objects: no new infinitesimal directions arise in the passage to $\mathrm{FrmSmthSet}$. Thus, the internal coalgebras for the jet comonad correspond precisely to classical diffieties. Morphisms from a synthetic infinite jet bundle to a finite-dimensional smooth target are exactly ordinary smooth differential operators of locally finite jet order (by Takens' theorem) (Giotopoulos et al., 22 Jan 2026).

5. Structural Theorems and Affine Bundle Structure

The projections in the tower of jet bundles and their synthetic counterparts are affine bundles modeled on $S^{n+1} T^* M \otimes VE$, as in the classical case. This structure is essential for the Cartan–Spencer resolution and the Vinogradov $\mathcal{C}$–spectral sequence. The direct sum

$$T J^k(\pi) = \mathcal{C}^{(k)} \oplus \ker(\pi^k_*)$$

is preserved in the generalized setting of microlinear Frölicher spaces and carries over to synthetically defined jet bundles in the topos. Coordinate-equivalence theorems guarantee that all classical calculations remain valid (Nishimura, 2011).

6. Implications and Consistency of Synthetic Diffiety Theory

The equivalence between the classical and synthetic approaches secures internal consistency for the comonadic formulation of systems of PDEs in Synthetic Differential Geometry. The passage to the Cahiers topos does not introduce extraneous nilpotent directions; every synthetic diffiety is realized as an embedded image of a classical diffiety.

A direct consequence is a fully faithful equivalence between classical $J$-coalgebras (diffieties in $J^\infty_\Sigma E$ as Fréchet manifolds) and synthetic $J$-coalgebras (internal comonad coalgebras in $\mathrm{FrmSmthSet}$). Thus, the full machinery of geometric theory of PDEs—Cartan distributions, contact forms, the prolongation tower, and the notion of diffiety—extends coherently to the setting of formal smooth sets (Giotopoulos et al., 22 Jan 2026).