🔬 physics

Synthetic geometry of differential equations: I. Jets and comonad structure

This paper presents an abstract formulation of the formal theory of partial differential equations within synthetic differential geometry, designed to generalize traditional methods to advanced contexts like super-geometry and higher stacky geometry to ultimately facilitate the covariant geometric pre-quantization of locally variational field theories.

Original authors: Igor Khavkine, Urs Schreiber

Published 2026-10-20

📖 4 min read☕ Coffee break read

CC BY 4.0

Original authors: Igor Khavkine, Urs Schreiber

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

In the vast landscape of modern physics, the behavior of fields—whether they are the electromagnetic waves that carry radio signals or the quantum fields that make up matter—is governed by a specific type of mathematical rule known as a partial differential equation. These equations describe how a system changes from one point in space to the next and from one moment in time to the next. For centuries, scientists have relied on a powerful tool called the "jet bundle" to study these equations. You can think of a jet bundle as a way of organizing all the possible values of a field and all its rates of change at every single point, creating a massive, multi-layered map of the system's potential behavior. While this tool works beautifully for the smooth, familiar shapes of everyday geometry, it has historically struggled when physicists try to apply it to more exotic, complex, or "singular" spaces, such as those involving quantum particles or higher-dimensional structures. The challenge has been to find a way to describe these equations that is flexible enough to handle these strange new geometries without losing the rigorous logic that makes the mathematics work.

Two mathematicians, Igor Khavkine and Urs Schreiber, have now provided a new, highly abstract framework that solves this problem. They have reformulated the entire theory of these differential equations using a branch of mathematics called synthetic differential geometry. Instead of building their theory on the traditional, rigid foundations of smooth manifolds, they constructed it within a broader, more flexible mathematical universe known as a topos. In this new setting, they discovered that the process of creating jet bundles is not just a random construction but follows a deep, inherent logical pattern called a comonad structure. This structure acts like a universal machine that takes a geometric object and systematically generates its associated jet bundle, complete with all the necessary rules for how the pieces fit together. By identifying this pattern, the authors showed that the category of formally integrable partial differential equations—those equations that can be consistently solved step-by-step—is mathematically identical to the category of coalgebras over this jet bundle machine.

This finding is significant because it unifies the traditional theory with a wide range of advanced contexts. The authors proved that their new definition perfectly matches the classical definitions used by physicists when applied to ordinary, smooth spaces, ensuring that no existing knowledge is lost. However, the power of their approach lies in its ability to extend seamlessly to spaces that were previously difficult to handle, such as those involving "super-geometry" (which includes fermions, the particles that make up matter) or "higher geometry" (involving complex, stack-like structures). They demonstrated that in these generalized settings, the category of these equations behaves just as well as it does in the familiar world, possessing all the necessary properties to allow for limits and products. This means that the complex machinery required to study the symmetries and solutions of these fields can now be applied to a much wider array of physical theories, including those that combine different types of fields in ways that were previously mathematically unwieldy.

The researchers also observed a particularly elegant feature of their new framework: under certain natural conditions, the entire category of these generalized equations can be viewed simply as a slice of a larger, more fundamental category. This simplification offers a new, convenient way to present and study these equations, effectively turning a complex, abstract problem into a more manageable geometric one. By establishing that the theory of partial differential equations is fundamentally a theory of coalgebras over a specific comonad, Khavkine and Schreiber have laid a precise and flexible foundation. This work does not just offer a new way to write down old equations; it provides a robust, general language that can accommodate the future needs of theoretical physics, particularly in the quest to understand the geometric pre-quantization of field theories that include both matter and force fields. The result is a clearer, more unified picture of how the mathematical rules of the universe can be described, regardless of how strange or complex the underlying space may be.

Technical Summary: Synthetic Geometry of Differential Equations I: Jets and Comonad Structure

Problem Statement

The formal theory of partial differential equations (PDEs) is traditionally formulated using jet bundles and local coordinates. While effective for many purposes, this approach often obscures global topological aspects of the spaces of dependent and independent variables and struggles with infinite-dimensional structures (such as infinite jet bundles). Furthermore, generalizing this framework to contexts like super-geometry, higher (stacky) differential geometry, or combinations thereof requires a robust, flexible technical foundation that avoids the intricacies of coordinate-dependent formulas.

The specific open problem motivating this work is the covariant geometric pre-quantization of locally variational field theories, which may include fermions and higher gauge fields. Solving this requires a unified, abstract formulation of PDEs that seamlessly generalizes the traditional theory to these enhanced contexts.

Methodology

The authors employ Synthetic Differential Geometry (SDG), specifically within the framework of differentially cohesive toposes. Rather than defining objects by their points, the theory prescribes the categorical properties of the ambient category (the topos) and the behavior of specific functors acting upon it.

Key methodological components include:

The Cahiers Topos: The primary model used is the category of sheaves on formal Cartesian spaces (Cartesian spaces potentially "thickened" by infinitesimal directions). This category, denoted as $\mathcal{H}$ , fully faithfully includes ordinary smooth manifolds, diffeological spaces, and smooth locally pro-manifolds (including infinite-dimensional Fréchet manifolds).
Differential Cohesion: The theory relies on the existence of an adjoint quadruple of functors $(\Re \dashv \Im \dashv \text{Et})$ $(ℜ ⊣ ℑ ⊣ Et)$ on the topos $\mathcal{H}$ $H$ .
- $\Re$ : The "reduction" functor, which removes infinitesimal thickenings.
- $\Im$ : The "infinitesimal shape" (or de Rham shape) monad, which captures the formal infinitesimal neighborhood structure.
- $\text{Et}$ : The "infinitesimal shape" comonad (related to étale morphisms).
Comonadic Structure: The central insight is that the construction of infinite jet bundles is not merely a geometric operation but a categorical one: it is the base change comonad along the unit of the infinitesimal shape monad $\Im$ .

Key Contributions and Results

1. Synthetic Definition of Jet Bundles

The paper defines the infinite jet bundle functor $J^\infty_\Sigma$ for any object $\Sigma$ in a differentially cohesive topos $\mathcal{H}$ as the right adjoint to the formal disk bundle functor $T^\infty_\Sigma$ .

Construction: $J^\infty_\Sigma$ is identified as the base change comonad along the unit $\eta_\Sigma: \Sigma \to \Im \Sigma$ of the monad $\Im$ .
Recovery of Classical Theory: When restricted to ordinary smooth manifolds (specifically fibered manifolds over $\Sigma$ ), this synthetic definition is proven to be isomorphic to the classical infinite jet bundle construction. Crucially, the synthetic comonad structure coincides exactly with the comonad structure on jet bundles previously observed by Marvan [23].

2. Characterization of Differential Operators

The authors establish that the category of differential operators (including non-linear ones) between sections of bundles over $\Sigma$ is equivalent to the co-Kleisli category of the jet comonad $J^\infty_\Sigma$ .

Result: $\text{DiffOp}_{\downarrow\Sigma}(\text{LocProMfd}) \simeq \text{Kl}(J^\infty_\Sigma | \text{LocProMfd}_{\downarrow\Sigma})$ .
This provides a purely categorical definition of differential operators without recourse to local coordinate formulas.

3. Synthetic Definition of PDEs and Formal Integrability

The paper introduces a new, intrinsic definition of Partial Differential Equations and formally integrable PDEs within the topos $\mathcal{H}$ .

Generalized PDEs: A PDE is defined as a monomorphism $E \hookrightarrow J^\infty_\Sigma Y$ in the slice topos $\mathcal{H}/\Sigma$ .
Formal Solutions: Using the flexibility of SDG, formal solutions are defined as morphisms from infinitesimal disk bundles, allowing for direct manipulation of formal Taylor series without heuristic arguments.
Formal Integrability: A PDE is formally integrable if its prolongation (defined via a pullback involving the comonad coproduct) is an isomorphism.
Main Theorem (Theorem 3.52): The category of formally integrable generalized PDEs, denoted $\text{PDE}_{/\Sigma}(\mathcal{H})$ , is equivalent to the Eilenberg-Moore category of coalgebras over the jet comonad $J^\infty_\Sigma$ .
$\text{PDE}_{/\Sigma}(\mathcal{H}) \simeq \text{EM}(J^\infty_\Sigma)$
Consistency: When restricted to the category of fibered locally pro-manifolds, this equivalence recovers Vinogradov's classical category of PDEs (via Marvan's result), confirming that the synthetic definition is a valid generalization.

4. Structural Properties and Site Presentation

Finite Limits: The category of formally integrable PDEs admits all finite limits (products and equalizers), which are computed as limits in the ambient slice topos. This is crucial for defining variational structures (e.g., Euler-Lagrange equations as kernels of morphisms).
Slice Topos Equivalence: If the unit $\eta_\Sigma: \Sigma \to \Im \Sigma$ is an epimorphism (which holds in the Cahiers topos), the category of formally integrable PDEs is equivalent to the slice topos over the infinitesimal shape:
$\text{PDE}_{/\Sigma}(\mathcal{H}) \simeq \mathcal{H}/\Im \Sigma$
Sheaf Presentation: The paper demonstrates that the category of generalized PDEs can be presented as the category of sheaves over the category of "ordinary" PDEs (those in locally pro-manifolds). This establishes that generalized PDEs are colimits of ordinary PDEs.

Significance and Claims

The authors claim that this work provides a precise and flexible categorical framework for the formal theory of PDEs that:

Unifies Contexts: It seamlessly generalizes the theory to super-geometry, higher geometry, and infinite-dimensional settings (locally pro-manifolds) without requiring ad-hoc modifications.
Clarifies Structure: By identifying PDEs as coalgebras over a comonad, the theory reveals the intrinsic categorical structure of differential equations, separating the geometric essence from coordinate-dependent representations.
Facilitates Generalization: The synthetic formulation allows for the mechanical extension of PDE theory to $\infty$ -toposes of $\infty$ -stacks and combinations thereof, which is essential for the eventual goal of covariant geometric pre-quantization of field theories involving fermions and higher gauge fields.
Resolves Technical Ambiguities: It provides a rigorous setting for "formal solutions" and infinitesimal neighborhoods, which are often treated heuristically in classical literature, thereby enabling precise definitions of integrability and variational complexes.

The paper explicitly states that these results lay the groundwork for a follow-up work that will apply this synthetic formalism to the variational bicomplex and the Euler-Lagrange complex, identifying them as moduli stacks within the category of generalized PDEs.