spelled out the definition at *formal adjoint differential operator*

started something at *propagation of singularities theorem*

With Igor Khavkine we finally have a polished version of what is now “Part I” of a theory of variational calculus in a differentially cohesive $\infty$-topos. It’s now called:

*Synthetic geometry of differential equations*

*Part I. Jets and comonad structure*

We keep our latest version of the file **here**.

Comments are most welcome.

**Abstract**:

We give an abstract (synthetic) formulation of the formal theory of partial differential equations (PDEs) in synthetic differential geometry, one that would seamlessly generalize the traditional theory to a range of enhanced contexts, such as super-geometry, higher (stacky) differential geometry, or even a combination of both. A motivation for such a level of generality is the eventual goal of solving the open problem of covariant geometric pre-quantization of locally variational field theories, which may include fermions and (higher) gauge fields.

A remarkable observation of Marvan 86 is that the jet bundle construction in ordinary differential geometry has the structure of a comonad, whose (Eilenberg-Moore) category of coalgebras is equivalent to Vinogradov’s category of PDEs. We give a synthetic generalization of the jet bundle construction and exhibit it as the base change comonad along the unit of the “infinitesimal shape” functor, the differential geometric analog of Simpson’s “de Rham shape” operation in algebraic geometry. This comonad structure coincides with Marvan’s on ordinary manifolds. This suggests to consider PDE theory in the more general context of any topos equipped with an “infinitesimal shape” monad (a “differentially cohesive” topos).

We give a new natural definition of a category of formally integrable PDEs at this level of generality and prove that it is always equivalent to the Eilenberg-Moore category over the synthetic jet comonad. When restricted to ordinary manifolds, Marvan’s result shows that our definition of the category of PDEs coincides with Vinogradov’s, meaning that it is a sensible generalization in the synthetic context.

Finally we observe that whenever the unit of the “infinitesimal shape” ℑ\Im operation is epimorphic, which it is in examples of interest, the category of formally integrable PDEs with independent variables ranging in Σ is also equivalent simply to the slice category over ℑΣ. This yields in particular a convenient site presentation of the categories of PDEs in general contexts.

]]>Am starting *Green hyperbolic differential equation* from

- Igor Khavkine,
*Covariant phase space, constraints, gauge and the Peierls formula*, Int. J. Mod. Phys. A, 29, 1430009 (2014) (arXiv:1402.1282)

So far I have the definition and then the statement of the first remarkable proposition from this article: here.

]]>I gave *diffiety* more of an Idea-section

some minimum at *bicharacteristic flow*

I need to be able to point to *linear differential equation*, and so I created a minimum entry for this.

Notice that at *D-module* is missing discussion that these model linear differential equations, but I don’t have the leisure now to do anything about this.

I had occation to link to “formally integrable PDE” from somewhere, and so I created a stub entry just so that the link works. Also created a stub for *integrable PDE* and cross-linked with *integrable system*.