{"id":"bf935fb1-7961-4c90-97b2-d0997befbe53","arxiv_id":"2606.09263","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":7.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Jet bundles with Cartan distributions are characterized as polarised N^r_π-contact manifolds of jet type via a recognition theorem in k-contact geometry.","lead":"The paper proves that the Cartan distribution on jet bundles is a natural N-contact distribution and introduces polarisations for k-contact manifolds, yielding a recognition theorem that identifies jet bundles precisely when the polarisation is of jet type. This frames finite-order jet geometry as a special case of polarised k-contact geometry and offers new tools for PDE symmetries and reductions.","discovery_kind":"unification","skeptic_critique":{"model":"grok-4.3","headline":"Recognition theorem may be circular if 'polarisation of jet type' is defined via existence of jet-like adapted coordinates rather than an intrinsic condition.","rationale":"The reader's weakest assumption directly flags the definitional status of 'polarisation of jet type' and the naturalness of the contact-form construction. The above isolates the circularity risk as the single load-bearing point; if the definition turns out to be intrinsic, the concern evaporates and the verdict can remain UNVERDICTED or move to ACCEPT once the full proof is checked.","tokens_in":1864,"tokens_out":431,"duration_ms":16757,"concrete_test":"Locate the precise definition of 'polarisation of jet type' in the recognition theorem section. If it is stated as 'there exist adapted coordinates in which the polarisation coincides with the standard jet polarisation', replace it with the intrinsic properties listed (highest-order vertical polarisation, symbol spaces, etc.) and check whether the equivalence statement still holds without referencing jet bundles; if the proof relies on choosing those coordinates, the theorem is not a genuine recognition result.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The central claim is that a polarised k-contact manifold is locally equivalent to (J^r π, C^r_π) precisely when the polarisation is 'of jet type'. The abstract presents this as a characterisation, but if the definition of jet type (in the recognition theorem section) is given by the existence of Darboux coordinates in which the polarisation reproduces the standard vertical symbol spaces, horizontal differentials, and Cartan distribution splitting on jets, then the 'only if' direction reduces to a tautology: any manifold that looks locally like a jet bundle is locally equivalent to one. The non-trivial content would then rest entirely on the local construction of the N^r_π-contact form (which recovers Spencer contractions etc.), while the recognition theorem itself adds little. The paper must instead supply an intrinsic, coordinate-free characterisation (e.g., via vanishing of a k-contact curvature tensor or integrability of certain distributions) that forces the structure to be jet-like.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","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 \binom{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.","tokens_in":2088,"tokens_out":635,"duration_ms":15102,"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":[{"comment":"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.","section":"recognition theorem section"},{"comment":"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.","section":"contact form construction section"}],"minor_comments":[{"comment":"Notation for N^r_π should be introduced with an explicit formula and dimension count at first use.","section":"abstract / introduction"},{"comment":"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.","section":"Hamiltonian structure paragraph"}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"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.","responses":[{"response":"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_made":"yes","referee_comment":"[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."},{"response":"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_made":"yes","referee_comment":"[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."}],"tokens_in":1673,"tokens_out":471,"duration_ms":20251,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main contribution is a natural local construction of an N^r_π-contact form on J^r π that makes the Cartan distribution into a k-contact structure and recovers the usual Spencer contractions plus a Hamiltonian setup for Lie symmetries. That part looks concrete and extends the standard theory in a uniform way.\n\nThe recognition theorem then says a polarised k-contact manifold is locally equivalent to a jet bundle with its Cartan distribution precisely when the polarisation is of jet type. This is presented as a characterisation that lets one reconstruct vertical and horizontal differentials, holonomic submanifolds, and so on inside k-contact language.\n\nThe construction itself seems worth having for people who want a single framework that handles Bäcklund transformations or reductions without fixing a jet order in advance. The applications to concrete PDEs are mentioned but not detailed in the abstract.\n\nThe soft spot is the recognition theorem. If jet type is defined by the existence of coordinates in which the polarisation reproduces the standard vertical symbol spaces and Cartan splitting, then the only-if direction is close to a tautology: anything that looks locally like a jet bundle is locally equivalent to one. The non-trivial content would then sit almost entirely in the contact-form construction. An intrinsic, coordinate-free condition (some curvature or integrability obstruction) would make the theorem stronger; the abstract does not make clear whether that is supplied.\n\nThis is for differential geometers already working at the intersection of jet bundles and contact geometry. It deserves peer review because the construction is explicit and the unification idea is worth testing in full, even if the recognition part needs sharpening.","headline":"The paper gives a contact-form construction on jet bundles that recovers Spencer stuff, but the recognition theorem risks being tautological depending on how jet-type polarisation is defined.","tokens_in":2561,"tokens_out":400,"would_cite":false,"duration_ms":13369,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"Polarised k-contact manifolds are locally jet bundles with Cartan distributions precisely when their polarisation is of jet type.","keywords":["jet bundles","k-contact manifolds","Cartan distribution","polarisations","recognition theorem","differential equations","Lie symmetries","Hamiltonian structures"],"falsifier":"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.","tokens_in":2755,"feed_emoji":"📐","tokens_out":821,"duration_ms":20916,"temperature":0.7,"pith_summary":"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.","feed_headline":"Jet bundles equal polarised k-contact manifolds of jet type","feed_subtitle":"The recognition theorem characterises finite-order jet geometry inside k-contact geometry and supplies general reduction methods for PDEs.","key_machinery":"Polarisation of jet type on a k-contact distribution, which selects those manifolds locally equivalent to jet bundles equipped with their Cartan distributions.","core_discovery":"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","pith_inferences":["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."],"forward_implications":["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."],"fun_headline_variants":["Jet bundles recognised as jet-type polarised k-contact manifolds","k-contact geometry recasts finite-order jet bundles","Polarisation of jet type equates k-contact to jet bundles","Recognition theorem links jet bundles to polarised k-contact"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Jet bundles recognised as jet-type polarised k-contact manifolds","k-contact geometry recasts finite-order jet bundles","Polarisation of jet type equates k-contact to jet bundles","Recognition theorem links jet bundles to polarised k-contact"]},"model":"grok-4.3","cost_usd":0.009893,"raw_usage":{"total_tokens":4418,"prompt_tokens":868,"num_sources_used":0,"completion_tokens":62,"cost_in_usd_ticks":98928000,"prompt_tokens_details":{"text_tokens":868,"audio_tokens":0,"image_tokens":0,"cached_tokens":64},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":3488,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":868,"tokens_out":62,"duration_ms":22698,"temperature":1.0,"reasoning_tokens":3488,"cache_read_input_tokens":64,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-27T15:15:37.234081+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"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.","supporting_citations":[],"review_version":1}