pith. sign in

arxiv: 2606.09263 · v1 · pith:EH636JRRnew · submitted 2026-06-08 · 🧮 math.DG · math-ph· math.MP

Jet Bundles as Higher-Order Polarised k-Contact Manifolds

Javier de Lucas This is my paper

Pith reviewed 2026-06-27 15:15 UTC · model grok-4.3

classification 🧮 math.DG math-phmath.MP
keywords jet bundlesk-contact manifoldsCartan distributionpolarisationsrecognition theoremdifferential equationsLie symmetriesHamiltonian structures
0
0 comments X

The pith

Polarised k-contact manifolds are locally jet bundles with Cartan distributions precisely when their polarisation is of jet type.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper shows that the Cartan distribution on the r-th jet bundle J^r π of a fibred manifold is an N^r_π-contact distribution, with N^r_π = m times binomial(n + r - 1, r - 1), by exhibiting a natural local contact form that recovers the canonical structure and Spencer contractions. It defines new polarisations for k-contact distributions and proves a recognition theorem: a polarised k-contact manifold is locally equivalent to such a jet bundle if and only if the polarisation is of jet type. This characterises finite-order jet geometry inside polarised N_π^r-contact geometry and reconstructs vertical polarisations, symbol spaces, holonomic submanifolds, initial conditions, and PDE solutions as k-contact objects, while supplying uniform language for Bäcklund transformations and reduction methods for PDEs.

Core claim

The Cartan distribution C^r_π on J^r π is an N^r_π-contact distribution via a natural local N^r_π-contact form. New classes of polarisations are introduced for k-contact distributions, and the main recognition theorem states that a polarised k-contact manifold is locally equivalent to a finite-order jet bundle with its Cartan distribution precisely when its polarisation is of jet type. This characterises jet geometry as polarised N_π^r-contact geometry of jet type. The highest-order vertical polarisation, symbol spaces, vertical and horizontal differentials, holonomic submanifolds, and initial conditions for differential equations are recovered inside k-contact geometry, with adapted coordin

What carries the argument

Polarisation of jet type on a k-contact distribution, which selects those manifolds locally equivalent to jet bundles equipped with their Cartan distributions.

If this is right

  • Solutions of PDEs are treated as polarised Legendrian submanifolds in the k-contact setting.
  • Jet prolongations are recovered as polarised Legendrian prolongations.
  • Adapted coordinates on jet bundles become k-contact Darboux coordinates.
  • General reduction methods for PDEs with Lie symmetries of the Cartan distribution become available.
  • Bäcklund transformations receive a uniform intrinsic description independent of a fixed jet presentation.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The k-contact language may extend jet constructions to settings without a fixed finite order, such as certain infinite-dimensional or non-holonomic problems.
  • The recovered Hamiltonian structure on jet bundles could produce new first integrals for PDEs arising in mathematical physics.
  • Reduction techniques developed here might apply directly to systems whose symmetries are described only abstractly in contact terms rather than jet coordinates.

Load-bearing premise

The local natural construction of an N^r_π-contact form on J^r π exists and the notion of polarisation of jet type is well-defined and exactly matches the Cartan distribution structure on jet bundles.

What would settle it

Exhibit a polarised k-contact manifold whose polarisation is of jet type but which fails to be locally equivalent to any J^r π with its Cartan distribution, or show that the explicit local N^r_π-contact form construction on J^r π does not exist for some choice of r, n, m.

read the original abstract

Let $\pi:E\to Q$ be a fibred manifold, with $\dim Q=n$ and rank $m$. We prove that the Cartan distribution $C^r_\pi$ on $J^r\pi$ is an $N^r_\pi$-contact distribution, where $N^r_\pi=m\binom{n+r-1}{r-1}$, by giving a natural local construction of an $N^r_\pi$-contact form. This recovers the canonical structure of $J^r\pi$ and the Spencer contractions, among other structures. It also yields a natural local Hamiltonian structure on $J^r\pi$, recovering and extending the standard theory of characteristics to general Lie symmetries of the Cartan distribution. We introduce new classes of polarisations for $k$-contact distributions. This leads to our main recognition theorem, which shows that a polarised $k$-contact manifold is locally equivalent to a finite-order jet bundle with its Cartan distribution precisely when its polarisation is of jet type. This characterises finite-order jet geometry as polarised $N_\pi^r$-contact geometry of jet type. Moreover, the highest-order vertical polarisation, the symbol spaces, the vertical and horizontal differentials, holonomic submanifolds, and initial conditions for differential equations are reconstructed via $k$-contact geometry. For instance, adapted coordinates become $k$-contact Darboux coordinates, solutions of PDEs are treated as polarised Legendrian submanifolds, jet prolongations are recovered as polarised Legendrian prolongations, and so on. The resulting formalism gives a deeper geometric understanding of several parts of jet geometry, provides a uniform intrinsic language for constructions that are awkward in a single fixed jet presentation, such as B\"acklund transformations, and allows jet theory to be extended to new problems. In particular, our techniques provide very general reduction methods for PDEs. The results are applied to PDEs with mathematical and physical relevance.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper constructs a natural local N^r_π-contact form on the r-jet bundle J^r π of a fibred manifold π: E → Q (with dim Q = n, rank m), proving that the Cartan distribution C^r_π is an N^r_π-contact distribution where N^r_π = m inom{n+r-1}{r-1}. It recovers the canonical jet structure, Spencer contractions, and a natural Hamiltonian structure on J^r π. New classes of polarisations for k-contact distributions are introduced, leading to a recognition theorem: a polarised k-contact manifold is locally equivalent to (J^r π, C^r_π) precisely when its polarisation is of jet type. This characterises finite-order jet geometry as polarised N^r_π-contact geometry of jet type, reconstructs symbol spaces, vertical/horizontal differentials, holonomic submanifolds, and initial conditions, and yields applications to PDE reduction and Bäcklund transformations.

Significance. If the recognition theorem supplies a non-tautological intrinsic characterisation, the work unifies jet geometry with higher-order k-contact geometry and supplies a uniform intrinsic language for awkward constructions in jet presentations. The natural local construction of the N^r_π-contact form, which recovers Spencer contractions and extends the theory of characteristics to general Lie symmetries, is a concrete strength. The resulting formalism for treating solutions as polarised Legendrian submanifolds and jet prolongations as polarised Legendrian prolongations could enable new reduction methods for PDEs of mathematical and physical interest.

major comments (2)
  1. [recognition theorem section] Recognition theorem section: the definition of 'polarisation of jet type' must be stated as an intrinsic, coordinate-free condition (e.g., vanishing of a k-contact curvature tensor or integrability of certain distributions) rather than via the existence of adapted coordinates in which the polarisation reproduces the standard vertical symbol spaces and Cartan splitting. If the latter, the 'only if' direction reduces to a tautology and the theorem adds little beyond the contact-form construction.
  2. [contact form construction section] Section presenting the N^r_π-contact form construction: the local construction must be shown to be natural (independent of choices beyond the fibration π) and to recover the Spencer contractions explicitly; the abstract asserts this, but the derivation details are load-bearing for the claim that the Cartan distribution is N^r_π-contact.
minor comments (2)
  1. [abstract / introduction] Notation for N^r_π should be introduced with an explicit formula and dimension count at first use.
  2. [Hamiltonian structure paragraph] Clarify whether the Hamiltonian structure on J^r π is new or recovers/extends an existing one; add a reference to prior work on characteristics if the latter.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful and constructive review. The comments highlight important points for strengthening the intrinsic character of the results. We address each major comment below and will revise the manuscript accordingly.

read point-by-point responses

  1. Referee: [recognition theorem section] Recognition theorem section: the definition of 'polarisation of jet type' must be stated as an intrinsic, coordinate-free condition (e.g., vanishing of a k-contact curvature tensor or integrability of certain distributions) rather than via the existence of adapted coordinates in which the polarisation reproduces the standard vertical symbol spaces and Cartan splitting. If the latter, the 'only if' direction reduces to a tautology and the theorem adds little beyond the contact-form construction.

    Authors: We agree that the definition of polarisation of jet type should be formulated intrinsically to ensure the recognition theorem is non-tautological. In the revision we will replace the coordinate-based definition with an equivalent intrinsic condition, for example by requiring the vanishing of a suitable k-contact curvature tensor (or the integrability of the associated horizontal and vertical distributions) that forces the polarisation to reproduce the jet-type splitting. This will make the 'only if' direction substantive and allow the theorem to genuinely characterise jet geometry within polarised k-contact geometry. revision: yes

  2. Referee: [contact form construction section] Section presenting the N^r_π-contact form construction: the local construction must be shown to be natural (independent of choices beyond the fibration π) and to recover the Spencer contractions explicitly; the abstract asserts this, but the derivation details are load-bearing for the claim that the Cartan distribution is N^r_π-contact.

    Authors: We accept that the current presentation of the N^r_π-contact form requires additional detail to establish naturality and the explicit recovery of Spencer contractions. In the revised manuscript we will expand the relevant section with a coordinate-free argument showing independence from all choices except the underlying fibration π, followed by direct computations that recover the Spencer contractions from the contact form. These additions will substantiate the abstract claim and confirm that the Cartan distribution is indeed N^r_π-contact. revision: yes

Circularity Check

0 steps flagged

No circularity; constructions and recognition theorem are independent

full rationale

The paper gives an explicit natural local construction of the N^r_π-contact form on J^r π that recovers the Cartan distribution, Spencer contractions, and Hamiltonian structure. The recognition theorem then characterises polarised k-contact manifolds as jet bundles precisely when the polarisation is of jet type. No quoted step reduces the central claim to a self-definition, a fitted parameter renamed as prediction, or a load-bearing self-citation chain. The work is self-contained differential geometry with no data-fitting or tautological renaming of inputs as outputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The paper relies on standard axioms of differential geometry for fibred manifolds and jet bundles; it introduces the new notion of jet-type polarisation whose independent status is not established outside the construction.

axioms (1)
  • standard math Standard properties of fibred manifolds π: E → Q and their jet bundles J^r π, including the Cartan distribution
    Invoked at the outset to define the setting for the N-contact form construction.
invented entities (1)
  • N^r_π-contact distribution and jet-type polarisation no independent evidence
    purpose: To generalize contact structures on jet bundles and enable the recognition theorem
    Newly defined in the paper; no independent evidence outside the local construction is provided in the abstract.

pith-pipeline@v0.9.1-grok · 5886 in / 1364 out tokens · 24560 ms · 2026-06-27T15:15:37.234081+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

33 extracted references · 27 canonical work pages

  1. [1]

    Hodograph transformations

    A. Ainsaar. “Hodograph transformations”. In:Proceedings of the Academy of Sciences of the Estonian SSR. Physics. Mathematics35.4 (1986), pp. 345–356.doi:10.3176/phys.math. 1986.4.01

    work page doi:10.3176/phys.math 1986

  2. [2]

    Introduction to the Variational Bicomplex

    I. M. Anderson. “Introduction to the Variational Bicomplex”. In:Mathematical Aspects of Classical Field Theory. Ed. by M. J. Gotay, J. E. Marsden, and V. Moncrief. Vol. 132. Contemporary Mathematics. Providence, RI: American Mathematical Society, 1992, pp. 51– 73.doi:10.1090/conm/132/1188434

    work page doi:10.1090/conm/132/1188434 1992

  3. [3]

    L. S. Barth.A geometric framework to compare classical field theories and to transfer solutions between PDEs. 2019.doi:10.48550/arXiv.1910.08614

    work page doi:10.48550/arxiv.1910.08614 2019

  4. [4]

    A. V. Bocharov, V. N. Chetverikov, S. V. Duzhin, N. G. Khor’kova, I. S. Krasil’shchik, A. V. Samokhin, Y. N. Torkhov, A. M. Verbovetsky, and A. M. Vinogradov.Symmetries and Conservation Laws for Differential Equations of Mathematical Physics. Ed. by I. S. Krasil’shchik and A. M. Vinogradov. Vol. 182. Translations of Mathematical Monographs. Providence, RI...

    work page doi:10.1090/mmono/182 1999

  5. [5]

    Geometric Methods in Classical Field Theory and Continuous Media

    C. M. Campos. “Geometric Methods in Classical Field Theory and Continuous Media”. PhD thesis. Madrid: Universidad Autónoma de Madrid, 2010

    2010

  6. [6]

    Bi-Legendrian Connections

    B. Cappelletti Montano. “Bi-Legendrian Connections”. In:Annales Polonici Mathematici 86.1 (2005), pp. 79–95.doi:10.4064/ap86-1-8

    work page doi:10.4064/ap86-1-8 2005

  7. [7]

    FromPDEstoPfaffianfibrations

    F.Cattafi,M.Crainic,andM.A.Salazar.“FromPDEstoPfaffianfibrations”.In:L’Enseignement Mathématique66.1/2 (2020), pp. 187–250.doi:10.4171/LEM/66-1/2-10

    work page doi:10.4171/lem/66-1/2-10 2020

  8. [8]

    Hodograph transformations of linearizable partial differential equations

    P. A. Clarkson, A. S. Fokas, and M. J. Ablowitz. “Hodograph transformations of linearizable partial differential equations”. In:SIAM Journal on Applied Mathematics49.4 (1989), pp. 1188–1209.doi:10.1137/0149071

    work page doi:10.1137/0149071 1989

  9. [9]

    Hodograph transformations for a Camassa–Holm hierarchy in2 + 1dimensions

    P. G. Estévez and J. Prada. “Hodograph transformations for a Camassa–Holm hierarchy in2 + 1dimensions”. In:J Phys. A38.6 (2005), pp. 1287–1297.doi: 10 . 1088 / 0305 - 4470/38/6/008

    2005

  10. [10]

    Existence and Construction of Vessiot Connections

    D. Fesser and W. M. Seiler. “Existence and Construction of Vessiot Connections”. In:SIGMA 5 (2009), p. 092.doi:10.3842/SIGMA.2009.092

    work page doi:10.3842/sigma.2009.092 2009

  11. [11]

    A contact geometry framework for field theories with dissipation

    J. Gaset, X. Gràcia, M. C. Muñoz-Lecanda, X. Rivas, and N. Román-Roy. “A contact geometry framework for field theories with dissipation”. In:Ann. Phys.414 (2020), p. 168092. doi:10.1016/j.aop.2020.168092

    work page doi:10.1016/j.aop.2020.168092 2020

  12. [12]

    Ak-contact Lagrangian formulation for nonconservative field theories

    J. Gaset, X. Gràcia, M. C. Muñoz-Lecanda, X. Rivas, and N. Román-Roy. “Ak-contact Lagrangian formulation for nonconservative field theories”. In:Rep. Math. Phys.87.3 (2021), pp. 347–368.doi:10.1016/S0034-4877(21)00041-0

    work page doi:10.1016/s0034-4877(21)00041-0 2021

  13. [13]

    Geiges.An Introduction to Contact Topology

    H. Geiges.An Introduction to Contact Topology. Vol. 109. Cambridge Studies in Ad- vanced Mathematics. Cambridge: Cambridge University Press, 2009.doi: 10 . 1017 / CBO9780511611438

    2009

  14. [14]

    On Darboux theorems for geometric structures induced by closed forms

    X. Gràcia, J. de Lucas, X. Rivas, and N. Román-Roy. “On Darboux theorems for geometric structures induced by closed forms”. In:RACSAM118.131 (2024).doi:10.1007/s13398- 024-01632-w

    work page doi:10.1007/s13398- 2024

  15. [15]

    Multiple Riemann wave solutions of the general form of quasilinear hyperbolic systems

    A. Grundland and J. de Lucas. “Multiple Riemann wave solutions of the general form of quasilinear hyperbolic systems”. In:Adv. Diff. Eq.28.1-2 (2023), pp. 73–112.doi: 10.57262/ade028-0102-73

    work page doi:10.57262/ade028-0102-73 2023

  16. [16]

    G. S. Krishnaswami and T. R. Vishnu.An introduction to Lax pairs and the zero curvature representation. 2020.doi:10.48550/arXiv.2004.05791. 60 J. de Lucas

    work page doi:10.48550/arxiv.2004.05791 2020

  17. [17]

    Geometry of Differential Equations

    B. Kruglikov and V. Lychagin. “Geometry of Differential Equations”. In:Handbook of Global Analysis. Ed. by D. Krupka and D. Saunders. Preprint IHES/M/07/04. Amsterdam: Elsevier, 2008, pp. 725–771.doi:10.1016/B978-044452833-9.50015-2

    work page doi:10.1016/b978-044452833-9.50015-2 2008

  18. [18]

    Unified Lagrangian– Hamiltonian formalism for contact systems

    M. de León, J. Gaset, M. Lainz-Valcázar, X. Rivas, and N. Román-Roy. “Unified Lagrangian– Hamiltonian formalism for contact systems”. In:Fortschr. Phys.68.8 (2020), p. 2000045. doi:10.1002/prop.202000045

    work page doi:10.1002/prop.202000045 2020

  19. [19]

    Infinitesimal symmetries in contact Hamiltonian systems

    M. de León and M. Lainz-Valcázar. “Infinitesimal symmetries in contact Hamiltonian systems”. In:J. Geom. Phys.153 (2020), p. 103651.doi: 10.1016/j.geomphys.2020. 103651

    work page doi:10.1016/j.geomphys.2020 2020

  20. [20]

    de Lucas, X

    J. de Lucas, X. Rivas, and T. Sobczak.Foundations onk-contact geometry. 2024.doi: 10.48550/arXiv.2409.11001

    work page doi:10.48550/arxiv.2409.11001 2024

  21. [21]

    k-contact Lie systems: theory and applications

    J. de Lucas, X. Rivas, and T. Sobczak. “k-contact Lie systems: theory and applications”. In: Geom. Mech.(2026).doi:10.1142/S2972458926400022

    work page doi:10.1142/s2972458926400022 2026

  22. [22]

    On the spectral parameter problem

    M. Marvan. “On the spectral parameter problem”. In:Acta Appl. Mathematicae109.1 (2010), pp. 239–255.doi:10.1007/s10440-009-9450-4

    work page doi:10.1007/s10440-009-9450-4 2010

  23. [23]

    P. J. Olver.Applications of Lie Groups to Differential Equations. Vol. 107. Graduate Texts in Mathematics. Springer, 1993.doi:10.1007/978-1-4612-4350-2

    work page doi:10.1007/978-1-4612-4350-2 1993

  24. [24]

    P. J. Olver.Equivalence, Invariants, and Symmetry. Cambridge: Cambridge University Press, 1995, pp. xvi+525.isbn: 9780521478113.doi:10.1017/CBO9780511609565

    work page doi:10.1017/cbo9780511609565 1995

  25. [25]

    Moving Frames for Lie Pseudo-Groups

    P. J. Olver and J. Pohjanpelto. “Moving Frames for Lie Pseudo-Groups”. In:Can. J. Math. 60.6 (2008), pp. 1336–1386.doi:10.4153/CJM-2008-057-0

    work page doi:10.4153/cjm-2008-057-0 2008

  26. [26]

    F. A. E. Pirani, D. C. Robinson, and W. F. Shadwick.Local Jet Bundle Formulation of Bäcklund Transformations: With Applications to Non-Linear Evolution Equations. Vol. 1. Mathematical Physics Studies. Dordrecht: D. Reidel Publishing Company, 1979.doi: 10.1007/978-94-009-9511-6

    work page doi:10.1007/978-94-009-9511-6 1979

  27. [27]

    Nonautonomousk-contact field theories

    X. Rivas. “Nonautonomousk-contact field theories”. In:J. Math. Phys.64.3 (2023), p. 033507. doi:10.1063/5.0131110

    work page doi:10.1063/5.0131110 2023

  28. [28]

    Geometrical aspects of contact mechanical systems and field theories

    X. Rivas Guijarro. “Geometrical aspects of contact mechanical systems and field theories”. PhD thesis. Universitat Politècnica de Catalunya, 2021.doi:10.48550/arXiv.2204.11537

    work page doi:10.48550/arxiv.2204.11537 2021

  29. [29]

    Rogers and W

    C. Rogers and W. F. Shadwick.Bäcklund Transformations and Their Applications. Vol. 161. Mathematics in Science and Engineering. New York: Academic Press, 1982

    1982

  30. [30]

    D. J. Saunders.The Geometry of Jet Bundles. Vol. 142. London Mathematical Soci- ety Lecture Note Series. Cambridge: Cambridge University Press, 1989.doi:10.1017/ CBO9780511526411

    1989

  31. [31]

    Spencer Cohomology, Differential Equations, and Pommaret Bases

    W. M. Seiler. “Spencer Cohomology, Differential Equations, and Pommaret Bases”. In: Gröbner Bases in Symbolic Analysis. Ed. by M. Rosenkranz and D. Wang. Radon Series on Computational and Applied Mathematics. Berlin: Walter de Gruyter, 2007, pp. 169–216. doi:10.1515/9783110922752.169

    work page doi:10.1515/9783110922752.169 2007

  32. [32]

    Novel Pathways ink-Contact Geometry

    T. Sobczak and T. Frelik. “Novel Pathways ink-Contact Geometry”. In:Geometric Science of Information. Ed. by F. Nielsen and F. Barbaresco. Vol. 16035. Lecture Notes in Computer Science. Cham: Springer Nature Switzerland, 2026, pp. 337–345.doi:10.1007/978-3-032- 03924-8_35

    work page doi:10.1007/978-3-032- 2026

  33. [33]

    Vitagliano.Differential geometry and PDEs

    L. Vitagliano.Differential geometry and PDEs. Lecture notes. 2017.url:https://www. dipmat2.unisa.it/people/vitagliano/www/DG_PDEs.pdf. 61

    2017