Jet Bundles as Higher-Order Polarised $k$-Contact Manifolds
We prove that the Cartan distribution $C^r_π$ on the jet bundle $J^rπ$, for $π:E\rightarrow Q$, is an $N^r_π$-contact distribution, where $N^r_π$ is the corank of $C^r_π$. In other words, $C^r_π$ has non-degenerate distributional curvature, and admits, locally, a complementary distribution spanned by $N^r_π$ commuting infinitesimal symmetries. Consequently, there exists around every point of $J^rπ$ an open $U\subset J^rπ$ and an $R^{N^r_π}$-valued one-form $η\inΩ^1(U,R^{N^r_π})$ such that $\kerη= C^r_π|_U$ and $\kerη\oplus\ker dη=TU$. This recovers the canonical structure of $J^rπ$, algebraic Spencer contractions, and other mathematical entities in a simple unifying manner while providing a local Hamiltonian structure and other advantages. We will call a manifold endowed with a k-contact distribution a k-contact manifold. New types of polarisations for k-contact distributions lead to our main recognition theorem, which shows that a polarised k-contact distribution is locally equivalent to a Cartan distribution precisely when its polarisation is of jet type. This characterises finite-order jet geometry as polarised $N_π^r$-contact geometry of jet type. Moreover, the highest-order vertical polarisation, holonomic submanifolds, characteristics for Lie symmetries and their brackets, and other structures are reconstructed and generalised via k-contact geometry. Solutions of PDEs become polarised Legendrian submanifolds, jet prolongations are polarised k-contact Legendrian prolongations, etc. Our k-contact formalism gives a common language for constructions that are awkward in a single jet presentation, and extends jet geometry to new problems. Our techniques provide new general reduction methods for PDEs retrieving standard and non-local reductions as particular cases, and are applied to PDEs.