Synthetic geometry of differential equations: I. Jets and comonad structure
From MaRDI portal
Publication:6282239
arXiv1701.06238MaRDI QIDQ6282239FDOQ6282239
Authors: Igor Khavkine, Urs Schreiber 
Publication date: 22 January 2017
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)
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)
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)
