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

Publication date 22 January 2017

Has companion code repository https://github.com/felixwellen/DCHoTT-Agda

Jets in global analysis (58A20) Synthetic differential geometry (51K10) Topos-theoretic approach to differentiable manifolds (58A03)

Abstract: We give an abstract formulation of the formal theory 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. (abridged)

This page was built for publication: Synthetic geometry of differential equations: I. Jets and comonad structure

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6282239)