synthetic differential geometry
Introductions
from point-set topology to differentiable manifolds
geometry of physics: coordinate systems, smooth spaces, manifolds, smooth homotopy types, supergeometry
Differentials
Tangency
The magic algebraic facts
Theorems
Axiomatics
(shape modality $\dashv$ flat modality $\dashv$ sharp modality)
$(ʃ \dashv \flat \dashv \sharp )$
dR-shape modality$\dashv$ dR-flat modality
$ʃ_{dR} \dashv \flat_{dR}$
(reduction modality $\dashv$ infinitesimal shape modality $\dashv$ infinitesimal flat modality)
$(\Re \dashv \Im \dashv \&)$
fermionic modality$\dashv$ bosonic modality $\dashv$ rheonomy modality
$(\rightrightarrows \dashv \rightsquigarrow \dashv Rh)$
Models
Models for Smooth Infinitesimal Analysis
smooth algebra ($C^\infty$-ring)
differential equations, variational calculus
Euler-Lagrange equation, de Donder-Weyl formalism?,
Chern-Weil theory, ∞-Chern-Weil theory
Cartan geometry (super, higher)
The notion of jet space or jet bundle is a generalization of the notion of tangent spaces and tangent bundles, respectively. While a tangent vector is an equivalence class of germs of curves with order-$1$ tangency at a given point in the target, jet spaces are equivalence classes of germs of smooth maps with respect to (finite) order-$k$ tangency at some point in the target.
One version in algebraic geometry is jet scheme.
From the nPOV, the map from a bundle to its jet bundle can be understood in terms of the jet comonad.
Jet bundles were first introduced by Charles Ehresmann.
wikipedia: jet, jet bundle
Ivan Kolar, Jan Slovak, Peter Michor, Natural operations in differential geometry, book 1993, 1999, pdf, hyper-dvi, ps
G. Sardanashvily, Fibre bundles, jet manifolds and Lagrangian theory, Lectures for theoreticians, arXiv:0908.1886
D. J. Saunders, The geometry of jet bundles, London Mathematical Society Lecture Note Series 142, Cambridge Univ. Press 1989.
Arthemy Kiselev, The twelve lectures in the (non)commutative geometry of differential equations, preprint IHES M/12/13 pdf
Last revised on January 4, 2021 at 13:26:14. See the history of this page for a list of all contributions to it.