Novel pathways in $k$-contact geometry

Tomasz Sobczak; Tymon Frelik

REVIEW 2 major objections 6 minor 20 references

Novel pathways in $k$-contact geometry

T0 review · 2 major / 6 minor · reviewed 2026-08-07 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read In dimensions four through six, every Goursat distribution is a Lie system, and Table 1 classifies which are k-contact.

desk verdict A useful and likely correct classification table for Goursat distributions on R4–R6, with a verification gap in the symbolic computations for classes 7 and 8. read the letter →

arxiv 2505.22294 v1 pith:3V7ZOYSC submitted 2025-05-28 math.DG nlin.SI

Tomasz Sobczak , Tymon Frelik This is my paper

classification math.DGnlin.SI MSC 53D1058A3034A26

keywords Goursatdistributionk-contactgeometryLiesystemVessiot–GuldbergalgebrasuperpositionruletrailerKumpera–RuiznormalformparabolicCartan

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper claims that every Goursat distribution on $\mathbb{R}^4$, $\mathbb{R}^5$, or $\mathbb{R}^6$ is generated by vector fields lying in a finite-dimensional Vessiot–Guldberg Lie algebra, so each one underlies a Lie system with a superposition rule. It also characterises which of these distributions are $k$-contact: classes 1 through 5 are two-, three-, or four-contact, class 6 is not $k$-contact, and classes 7 and 8 are four-contact only on a dense subset of $\mathbb{R}^6$. A reader should care because Goursat distributions model nonholonomic systems such as trailer robots, and the classification turns these into explicitly solvable Lie systems in dimensions where few such systems were known. The results also connect $k$-contact geometry, a generalisation of contact geometry, to parabolic Cartan geometries through explicit examples.

What carries the argument

The working object is the Goursat distribution, a rank-two distribution whose derived flag grows by exactly one dimension at each step. The machinery is the Kumpera–Ruiz normal-form classification of these distributions on manifolds of dimension four, five, and six, combined with the construction of Vessiot–Guldberg Lie algebras spanned by the two generators and their iterated brackets $\operatorname{ad}^k_{X_2}X_1$. The $k$-contact criterion is that the distribution be maximally non-integrable and admit $k$ commuting Lie symmetries spanning a complement; Table 1 realises this by explicit Reeb vector fields, and the Schouten–Nijenhuis bracket $[Y, X_1\wedge X_2] = f\, X_1\wedge X_2$ decides when no such symmetries can exist.

What would settle it

A direct symbolic check that the vector fields $X_1,\ldots,X_{12}$ of class 8 satisfy $[X_i,X_j]=\sum_k c^k_{ij}X_k$ with the listed structure constants, and that the proposed $S_1,\ldots,S_4$ commute, preserve the distribution, and span a complement to it at a generic point of $\mathbb{R}^6$, would settle the classification; any failed bracket identity or any point where the symmetries are not supplementary refutes the $k$-contact claim for that class.

Watch

Extended reading notes

Core claim

The central discovery is that the Kumpera–Ruiz normal forms for Goursat distributions on $\mathbb{R}^4$, $\mathbb{R}^5$, and $\mathbb{R}^6$, expressed as pairs $\langle X_1, X_2\rangle$, close under Lie bracket on finite-dimensional Lie algebras of vector fields, with structure constants listed in Table 1. Consequently each such distribution gives a locally automorphic Lie system, meaning its general solution can be written through a superposition rule. The same table records commuting Lie symmetries for each class: classes 1–5 admit global Reeb vector fields and are two-, three-, or four-contact; class 6 is shown not to be four-contact because its symmetries cannot span a complement to the distribution on the submanifold $x_5 = 0$; and classes 7 and 8 admit Reeb vector fields generated from the functions $A^i_\mu = x_1^{4-i}(x_1 x_3 - 3 x_2)^{i-1}$ for $i=1,\ldots,4$, valid on a dense subset, with extension to all of $\mathbb{R}^6$ left open.

Load-bearing premise

The classification in Table 1 depends on symbolic computations that are reported without derivation or reproducible code, and for classes 7 and 8 the Reeb vector fields are only shown to exist on a dense subset of $\mathbb{R}^6$, not on the whole manifold.

Editorial extensions

If this is right

Every Goursat control system on $\mathbb{R}^4$, $\mathbb{R}^5$, or $\mathbb{R}^6$ inherits a superposition rule from its Vessiot–Guldberg Lie algebra, so its general solution can be assembled from a generic family of particular solutions.
The zero-trailer system is a conservative contact Lie system invariant under the Euclidean group $\mathrm{ISO}(2)$, and its general solution is obtained by applying that group action to one particular solution.
The one-trailer system, a front-wheel-driven car with trailer, and the Martinet sphere recover and extend previously known Lie systems, now placed inside the Goursat classification of Table 1.
Flat parabolic Cartan geometries of types $(SO(3,4),P_1)$, $(G_2,P_1)$, and $(Sp(4,1),P)$ give rise to three-contact distributions, and the $(2,3,5)$ example shows flatness is not necessary for a Cartan-type distribution to be $k$-contact.
Class 6 Goursat distributions are not $k$-contact, so the $k$-contact condition is a genuine restriction inside the Goursat family.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The dense-subset Reeb vector fields in classes 7 and 8 hint that the $k$-contact structure may degenerate on an explicit singular locus; locating that locus would settle whether the open extension problem is solvable or genuinely obstructed.
The parametrisation of Reeb vector fields by arbitrary functions $A(x_1,x_2,x_3)$ suggests that other choices of $A$ could produce new $k$-contact structures on $\mathbb{R}^6$, possibly new Lie systems beyond the four-contact examples listed.
The same Schouten–Nijenhuis criterion used to rule out class 6 could be applied to Goursat distributions in dimension seven and higher, giving a route toward a full classification of higher-dimensional Goursat $k$-contact structures.
If the flat Cartan examples are representative, $k$-contact geometry may serve as a practical test for whether a distribution comes from a flat parabolic geometry, since all three flat models checked here are $k$-contact.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

First thing to know: this paper gives a complete classification table for Goursat distributions on R4–R6 as Lie systems and k-contact structures. The table is explicit and largely checkable by hand for classes 1–6, and the class-6 negative result is a clean rank argument. The soft spot is classes 7 and 8, where the proof rests on unshown symbolic computation.

What is actually new: Table 1, which lists explicit generators, structure constants, and Reeb vector fields for all Goursat classes on R4–R6, and the assertion that class 6 is not k-contact. The applications to trailer systems are concrete and give new examples of Lie systems. The authors honestly state that extending the Reeb fields for classes 7 and 8 to all of R6 is open.

Where it gets soft: the proof of Theorem 2 for classes 7 and 8 says 'long calculations performed with symbolic mathematical programs' and supplies neither code nor a derivation. The dense subset on which the Reeb fields work is never named or proven to be nonempty with interior. That is a real gap in the central claim, but it is an addressable one: the table gives the actual expressions, so a referee can verify them. If they fail, the k-contact part shrinks, but the Lie-system classification of classes 1–6 stands independently.

The Cartan geometry section is more of a survey of examples and ends with a speculative remark about flatness not being necessary; it is not a proof of anything deep, but it is clearly labeled as inspection.

Overall: the classification is probably correct, and the explicit data makes the paper useful even before full verification. I would send it to a serious referee, with the request that the authors provide a reproducibility appendix (computations or code) and a precise description of the dense subset for classes 7 and 8. This is a paper for specialists in Goursat distributions, k-contact geometry, and geometric control theory; I would not bring it to a general reading group, but it deserves more than a desk reject.

Referee Report

2 major / 6 minor

Summary. The paper studies Goursat distributions on R^4, R^5, and R^6 and claims that each admits a basis of generators contained in a finite-dimensional Vessiot–Guldberg (VG) Lie algebra, making the associated control systems Lie systems. It further characterizes which of these Goursat distributions are k-contact: classes 1–5 are k-contact (two-, three-, or four-contact), class 6 is not, and classes 7 and 8 are claimed to be four-contact on a dense subset. Applications to zero- and one-trailer systems and to parabolic Cartan geometries are discussed, with three explicit examples of k-contact distributions arising from flat Cartan geometries.

Significance. If the unverified computations for classes 7 and 8 can be supplied, the paper would provide a complete local classification of Goursat distributions in dimensions up to six as Lie systems and would identify new k-contact structures, extending the framework of [12]. The explicit vector fields, structure constants, and Reeb vector fields in Table 1 are a useful resource, and the class 6 exclusion argument via the rank of D^4 on x_5=0 is convincing and checkable. The paper is weaker for classes 7 and 8, where the central claims are deferred to 'long calculations performed with symbolic mathematical programs' with no reproducible computation or identification of the dense subset; as written, those parts cannot be verified by the reader.

major comments (2)

[§2, Theorem 2 and Table 1 (classes 7 and 8)] The four-contact classification for classes 7 and 8 rests entirely on the assertion that the four vector fields S1,...,S4 in Table 1, constructed from Aμi = x1^(4-i)(x1x3-3x2)^(i-1), are Lie symmetries of D, commute pairwise, and span a complement to D on a dense subset of R^6. The manuscript does not identify the dense subset, prove the determinant condition for D ⊕ ⟨S1,...,S4⟩ = TR^6, or verify the symmetry and commutation relations; it refers only to 'long calculations performed with symbolic mathematical programs'. Since the table itself states that extending the Reeb vector fields to all of R^6 is open, the four-contact statement for these classes is not established in the written record.
[§2, Table 1 (classes 7 and 8)] The Lie-system claim for classes 7 and 8 relies on the asserted 8-dimensional (class 7) and 12-dimensional (class 8) VG Lie algebra closures with the listed nonzero structure constants. No computation is shown for these closures, and it is not demonstrated that the brackets of the displayed generators close on the indicated spans with those constants. This is a load-bearing gap, because containment in a finite-dimensional Lie algebra is exactly what makes these distributions Lie systems.

minor comments (6)

[§1.1] In the recursive definition of ad^k_{X2} X1, the base case ad^0_{X2} X1 = X1 should be stated explicitly.
[Table 1] The column header 'R/commuting Lie symmetries S' is confusing; it should be split into separate columns for Reeb vector fields and commuting Lie symmetries where applicable.
[Table 1 footnote] The table footnote uses D both for the distribution D and for the function D = x6+1 in classes 7 and 8; this collision should be resolved by renaming the function, for example Δ.
[§3] The symbol '/subsetplus' in 'iso(2) = so(2) /subsetplus R^2' appears to be a typo for the semidirect product symbol; please correct it.
[Abstract] The phrase 'originates new types of k-contact distributions' is imprecise: the paper classifies existing Goursat distributions as k-contact rather than constructing new distributions; consider rephrasing.
[References] Reference [12] is cited as an arXiv preprint; if a published version now exists, it should be cited.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the classification is anchored in the external Kumpera–Ruiz normal forms and explicit bracket data, with no fitted parameter renamed as a prediction.

full rationale

The paper's central claims are not circular. Theorem 2 rests on the external Kumpera–Ruiz classification of Goursat distributions on R4, R5, and R6 ([9,18]), and the VG Lie algebra memberships are supported by explicit structure constants in Table 1. The k-contact status of classes 1–5 is verified by directly displayed Reeb/Lie-symmetry vector fields, and the exclusion of class 6 uses a rank argument on the derived distribution D^4_{X1,X2}. Classes 7 and 8 are stated as four-contact only on a dense subset, with the table itself acknowledging that extension to all of R6 is open; the omitted symbolic computations and the uncharacterized dense subset are verification gaps, not a reduction of the conclusion to the input. Self-citations appear ([6,12] define k-contact geometry and supply an invariance lemma used in the class-6 argument), but these are definitions and general facts about Lie symmetries of distributions, not the target classification, and they do not make the derivation equivalent to its inputs by construction. The zero-trailer discussion similarly computes Lie symmetries and contact forms directly from the given vector fields rather than presupposing the theorem. No fitted parameter, no prediction forced by construction, and no renaming of a known result as a new derivation were found.

Assumptions & free parameters 2 free parameters · 4 assumptions · 0 invented entities

The central claim rests on the published Kumpera-Ruiz classification of Goursat distributions, on the Lie-Scheffers theorem, and on an ansatz for Lie symmetries in classes 7-8 whose correctness is asserted from symbolic computation without reproducible artifacts. The Reeb vector fields for classes 7-8 use explicitly chosen functions, but their existence on the whole R6 is left open. No new particles, forces, or postulated objects are introduced.

free parameters (2)

Generating functions Aµi = Aµi = x1^(4-i)(x1x3 - 3x2)^(i-1) for i=1..4, µ=7,8
These functions are chosen by hand to produce the Reeb vector fields Rµi on a dense subset of R6. The note in Table 1 says existence on all of R6 is an open problem, so they are ad hoc rather than derived.
Arbitrary function A(x1,x2,x3) in Lie symmetry ansatz = arbitrary smooth function
The general Lie symmetry of classes 7 and 8 is parametrized by A; the paper does not prove this parametrization is exhaustive, it is used to construct Reeb fields.

assumptions (4)

standard math Kumpera-Ruiz classification: every Goursat distribution on R4, R5, R6 is locally equivalent to one of the normal forms in Table 1.
Assumed as background from [18,9]; Theorem 2 depends on this classification to make claims about 'any Goursat distribution'.
standard math Lie-Scheffers theorem: a system admits a superposition rule iff its t-dependent vector field is a combination of vector fields spanning a finite-dimensional Lie algebra.
Used to identify the vector-field algebras in Table 1 with Lie systems; quoted as Theorem 1.
domain assumption Lie symmetries of a Goursat distribution preserve certain invariant submanifolds (specifically x5=0 for class 6), as stated in [12].
Used in the proof that class 6 is not four-contact; the lemma is not reproved here and is cited to [12].
ad hoc to paper Correctness of symbolic computations for the VG Lie algebras and Lie symmetries of classes 7 and 8.
The paper states these follow from 'long calculations performed with symbolic mathematical programs' but provides no code or derivation; this is an unverified computational premise.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Novel pathways in $k$-contact geometry." pith.science (2026). https://pith.science/paper/3V7ZOYSC

@misc{pith2026250522294,
  author       = {Pith},
  title        = {Pith review of: Novel pathways in $k$-contact geometry},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/3V7ZOYSC}},
  note         = {Machine review of arXiv:2505.22294}
}

abstract

Our study of Goursat distributions originates new types of $k$-contact distributions and Lie systems with applications. In particular, families of generators for Goursat distributions on $\mathbb{R}^4, \mathbb{R}^5$ and $\mathbb{R}^6$ give rise to Lie systems and we characterise Goursat structures that are $k$-contact distributions. Our results are used to study the zero-trailer and other systems via Lie systems and $k$-contact manifolds. New ideas for the development of superposition rules via geometric structures and the characterisation of $k$-contact distributions are given and applied. Some relations of $k$-contact geometry with parabolic Cartan geometries are inspected.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

20 extracted references · 14 canonical work pages

[12]

de Lucas, J., Rivas, X., Sobczak, T.: Foundations on k-contact geometry (2024), 10.48550/arXiv.2409.11001

arXiv doi:10.48550/arxiv.2409.11001 2024
[1]

Journal of Diﬀer- ential Equations 258(8) (2015), 10.1016/j.jde.2014.12.031

Ballesteros, A., Blasco, A., Herranz, F., de Lucas, J., Sa rdón, C.: Lie-Hamilton systems on the plane: Properties, classiﬁcation and applic ations. Journal of Diﬀer- ential Equations 258(8) (2015), 10.1016/j.jde.2014.12.031

work page doi:10.1016/j.jde.2014.12.031 2015
[2]

Background a nd general theory, Math

Čap, A., Slovák, J.: Parabolic geometries I. Background a nd general theory, Math. Surv. and Mono., vol. 154. Amer. Math. Soc., Providence (200 9), 10.1090/surv/154

doi:10.1090/surv/154
[3]

Napoli Series on Physics and Astrophysics, Bibliop olis, Naples (2000)

Cariñena, J.F., Grabowski, J., Marmo, G.: Lie–Scheﬀers s ystems: a geometric ap- proach. Napoli Series on Physics and Astrophysics, Bibliop olis, Naples (2000)

work page 2000
[4]

Dissertationes Math

Cariñena, J.F., de Lucas, J.: Lie systems: theory, genera lisations, and applications. Dissertationes Math. 479, 1–162 (2011), 10.4064/dm479-0-1

work page doi:10.4064/dm479-0-1 2011
[5]

Cartan, E.: Les systèmes de Pfaﬀ, à cinq variables et les éq uations aux dérivées partielles du second ordre. Ann. Sci. École Norm. Sup. (3) 27, 109–192 (1910), 10.24033/asens.618

work page doi:10.24033/asens.618 1910
[6]

Gaset, J., Gràcia, X., Muñoz-Lecanda, M.C., Rivas, X., Ro mán-Roy, N.: A contact geometry framework for ﬁeld theories with dissipation. Ann . Phys. 414, 168092 (2020), 10.1016/j.aop.2020.168092

arXiv 2020
[7]

Gaset, J., Gràcia, X., Muñoz-Lecanda, M.C., Rivas, X., Ro mán-Roy, N.: A k- contact Lagrangian formulation for nonconservative ﬁeld t heories. Rep. Math. Phys. 87(3), 347–368 (2021), 10.1016/S0034-4877(21)00041-0

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

Show all 20 references

[8]

Journal o f Physics A: Mathe- matical and Theoretical 52(21) (4 2019), 10.1088/1751-8121/ab15f2 Novel pathways in k-contact geometry 9

Gracia, X., De Lucas, J., Munoz-Lecanda, M.C., Vilarino, S.: Multisymplectic structures and invariant tensors for Lie systems. Journal o f Physics A: Mathe- matical and Theoretical 52(21) (4 2019), 10.1088/1751-8121/ab15f2 Novel pathways in k-contact geometry 9

2019 doi
[9]

In: Monge-Ampère equations and related topics (Florence, 1 980), pp

Kumpera, A., Ruiz, C.: Sur l’équivalence locale des systè mes de Pfaﬀ en drapeau. In: Monge-Ampère equations and related topics (Florence, 1 980), pp. 201–248. Ist. Naz. Alta Mat. Francesco Severi, Rome (1982)

1982
[10]

Leipzig, B.G

Lie, S., Scheﬀers, G.: Vorlesungen über continuierlich e Gruppen mit geometrischen und anderen Anwendungen. Leipzig, B.G. Teubner (1893), 10.5962/bhl.title.18549

doi
[11]

de Lucas, J., Rivas, X.: Contact Lie systems: theory and a pplications. J. Phys. A: Math. Theor. 56(33), 335203 (2023), 10.1088/1751-8121/ace0e7

2023 doi
[13]

World Scientiﬁc Publishing Co

de Lucas, J., Sardón, C.: A guide to Lie systems with compa tible geometric struc- tures. World Scientiﬁc Publishing Co. Pte. Ltd., Singapore (2020), 10.1142/Q0208

2020 doi
[14]

Marle, C.M.: The Schouten–Nijenhuis bracket and interi or products. J. Geom. Phys. 23(3–4), 350–359 (1997), 10.1016/S0393-0440(97)80009-5

1997 doi
[15]

Minchev, I., Slovák, J.: On the equivalence of quaternio nic contact structures. Ann. Global Anal. Geom. 53(3), 331–375 (2018), 10.1007/s10455-017-9580-2

2018 doi
[16]

IEEE Transactions on Robotics and Automation 17(1), 48–59 (2001), 10.1109/70.917082

Nakamura, Y., Chung, W., Sordalen, O.: Design and contro l of the nonholonomic manipulator. IEEE Transactions on Robotics and Automation 17(1), 48–59 (2001), 10.1109/70.917082

2001 doi
[17]

Nurowski, P.: Exceptional real lie algebras f4 and e6 via contactiﬁcations. J. Inst. Math. Jussieu 24(1), 157–201 (2025), 10.1017/S1474748024000173

2025 doi
[18]

ESAIM - Control Optim

Pasillas-Lépine, W., Respondek, W.: On the Geometry of G oursat Structures. ESAIM - Control Optim. Calc. Var. 6, 119–181 (2001), 10.1051/cocv:2001106

2001 doi
[19]

Ramos, A.: Sistemas de Lie y sus aplicaciones en Física y T eoría de Control. Ph.D. thesis, Universidad de Zaragoza (2002), 10.48550/arXiv.1106.3775

2002 doi arXiv
[20]

Randall, M.: Flat (2,3,5)-Distributions and Chazy’s Eq uations. SIGMA. Symme- try, Integrability and Geometry: Methods and Applications 12, 029 (3 2016), 10.3842/SIGMA.2016.029

2016 doi

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.

[1] [12]

de Lucas, J., Rivas, X., Sobczak, T.: Foundations on k-contact geometry (2024), 10.48550/arXiv.2409.11001

arXiv doi:10.48550/arxiv.2409.11001 2024

[2] [1]

Journal of Diﬀer- ential Equations 258(8) (2015), 10.1016/j.jde.2014.12.031

Ballesteros, A., Blasco, A., Herranz, F., de Lucas, J., Sa rdón, C.: Lie-Hamilton systems on the plane: Properties, classiﬁcation and applic ations. Journal of Diﬀer- ential Equations 258(8) (2015), 10.1016/j.jde.2014.12.031

work page doi:10.1016/j.jde.2014.12.031 2015

[3] [2]

Background a nd general theory, Math

Čap, A., Slovák, J.: Parabolic geometries I. Background a nd general theory, Math. Surv. and Mono., vol. 154. Amer. Math. Soc., Providence (200 9), 10.1090/surv/154

doi:10.1090/surv/154

[4] [3]

Napoli Series on Physics and Astrophysics, Bibliop olis, Naples (2000)

Cariñena, J.F., Grabowski, J., Marmo, G.: Lie–Scheﬀers s ystems: a geometric ap- proach. Napoli Series on Physics and Astrophysics, Bibliop olis, Naples (2000)

work page 2000

[5] [4]

Dissertationes Math

Cariñena, J.F., de Lucas, J.: Lie systems: theory, genera lisations, and applications. Dissertationes Math. 479, 1–162 (2011), 10.4064/dm479-0-1

work page doi:10.4064/dm479-0-1 2011

[6] [5]

Cartan, E.: Les systèmes de Pfaﬀ, à cinq variables et les éq uations aux dérivées partielles du second ordre. Ann. Sci. École Norm. Sup. (3) 27, 109–192 (1910), 10.24033/asens.618

work page doi:10.24033/asens.618 1910

[7] [6]

Gaset, J., Gràcia, X., Muñoz-Lecanda, M.C., Rivas, X., Ro mán-Roy, N.: A contact geometry framework for ﬁeld theories with dissipation. Ann . Phys. 414, 168092 (2020), 10.1016/j.aop.2020.168092

arXiv 2020

[8] [7]

Gaset, J., Gràcia, X., Muñoz-Lecanda, M.C., Rivas, X., Ro mán-Roy, N.: A k- contact Lagrangian formulation for nonconservative ﬁeld t heories. Rep. Math. Phys. 87(3), 347–368 (2021), 10.1016/S0034-4877(21)00041-0

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