Pith. sign in

REVIEW 2 major objections 5 minor 32 references

Contact line bundles, foliations, and integrability

T0 review · 2 major / 5 minor · reviewed 2026-08-09 · deepseek-v4-flash

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

Pith's one-line read A Jacobi bracket on contact line-bundle sections unifies contact integrability across cooriented and non-cooriented manifolds.

desk verdict Solid unification of Zung's and Jovanović's contact integrability frameworks via the contact line bundle; the main theorems check out, but two terse proofs need expansion. read the letter →

arxiv 2502.02935 v2 pith:BNNP63FI submitted 2025-02-05 math.SG nlin.SI

Bozidar Jovanovic This is my paper · ORCID
classification math.SGnlin.SI MSC 37J3537J5553D1053C12
keywords contactlinebundleJacobistructurenon-commutativeintegrabilityHamiltoniansystemsaction-anglevariablespre-isotropicfoliationtoricdissipative
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

The paper establishes a unified integrability criterion for contact Hamiltonian systems: if a system has sufficiently many pairwise commuting contact symmetries, viewed as sections of the contact line bundle, then its regular invariant level sets are diffeomorphic to a torus times Euclidean space and the flow linearizes on them. The same statement holds on the zero locus of the symmetries, with one fewer dimension, so invariant submanifolds are classified as well. Because the symmetries are sections of the line bundle rather than functions on the manifold, the result covers cooriented and non-cooriented contact manifolds simultaneously, including dissipative Hamiltonians that are not preserved by the original Reeb vector field. The paper also shows how the pre-isotropic noncommutative integrability framework and the toric contact integrability framework fit as pieces of one foliation picture.

What carries the argument

The central object is the contact line bundle $L$, built from the local contact forms $\alpha_U$ with transition functions $g_{UV}$; its smooth sections are identified with contact vector fields through $s=\alpha(X_s)$, and the Jacobi bracket $[s_1,s_2]=\Phi([X_{s_1},X_{s_2}])$ makes $\Gamma(L)$ a Lie algebra. The proof runs through two constructions. On the open set where a section $s$ is nonzero, the ratio $\phi_s(l)=l/s$ converts arbitrary sections into ordinary functions and makes $X_s$ the Reeb vector field of the contact form $\alpha_s=\alpha/s$. The momentum map $\pi=[s_0:\dots:s_p]$ into $\mathbb{RP}^p$ then has invariant fibers, and on each fiber the commuting symmetries act as translations, so the standard torus-and-line linearization applies.

What would settle it

Take any system satisfying the hypotheses of Theorem 3 (for instance the n=1 case of Example 2) and compute, in local canonical coordinates, the rank at a regular point of Sigma of the distribution E=span{X_{s0},...,X_{sp}}. Theorem 4(iii) predicts dim E=p there and p+1 just outside Sigma; one point where dim E=p+1 on Sigma would falsify the singular-leaf structure.

Watch

Extended reading notes

Core claim

On a contact manifold $(M,\mathcal H)$ with associated line bundle $L$, a section $s\in\Gamma(L)$ corresponds to a contact vector field $X_s$ by $s=\alpha(X_s)$, and the Jacobi bracket on sections measures commutativity. The paper's central claim is Theorem 3: given symmetries $s_0=h,\dots,s_p$ with $[s_i,s_j]=0$ for $i=0,\dots,r$, $j=0,\dots,p$, $p+r=2n$, and complete vector fields $X_0,\dots,X_r$, the momentum map $\pi:M\setminus M_0\to\mathbb{RP}^p$, $\pi(x)=[s_0(x):\dots:s_p(x)]$, has invariant fibers whose regular connected components are diffeomorphic to $T^l\times\mathbb{R}^{r+1-l}$ with linearized flow; regular components of the zero locus $M_0$ are $T^l\times\mathbb{R}^{r-l}$ with linearized flow. The supporting structure is a flag of distributions $F\subset E$, where $F$ is spanned by the commuting symmetries and $E$ by all symmetries; dimensions are $p+1$ and $r+1$ on the regular set off a subvariety $\Sigma$, with $E$ dropping to dimension $p$ on $\Sigma$ and $F\subset E\subset H$ on $M_0$.

Load-bearing premise

At points where the first set of symmetry sections all vanish, the paper needs the span of all the symmetry vector fields to drop in dimension by exactly one; this rank drop is stated without a derivation, and the claimed singular-leaf description rests on it.

Editorial extensions

If this is right

  • Integrability of a contact system is decidable from a set of commuting symmetries alone: with $p+r=2n$, the level sets of the momentum map split into tori and Euclidean factors, and the flow is linear in explicit coordinates.
  • The zero locus of the symmetries carries the same conclusion in dimension one less, so invariant submanifolds of codimension $p$ are also classified and linearized, not just generic level sets.
  • Contact action-angle coordinates exist in toroidal neighborhoods of regular invariant tori, with contact normal forms of the types given in equations (2.11) and (4.4).
  • The statement applies to non-cooriented contact manifolds and to dissipative contact Hamiltonians; the familiar cooriented case is the special case of a trivial line bundle.

Reading between the lines

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

  • The paper leaves open the promised treatment of contact reductions and contact dual pairs; if Theorem 3 extends there, integrability of reduced contact systems would follow from symmetry sections of the unreduced system.
  • The singular leaf $\Sigma$ is the place where the fibers touch the contact distribution; tracking how invariant tori enter $\Sigma$ suggests contact analogues of monodromy or scattering, which the paper does not explore.
  • Because the ratio construction only needs a section to be nonzero locally, the same line-bundle formalism should transplant to other first-order geometries, such as Jacobi or cosymplectic manifolds, where a distinguished vector field is unavailable.
  • The dependence of invariant topological type on the function $f$ in Example 3 (tori versus non-compact pre-Legendrian manifolds) gives a concrete family in which the singular structure can be tested numerically.
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.

Referee Report

2 major / 5 minor

Summary. The paper develops a line-bundle formulation of contact Hamiltonian systems on a contact manifold (M,H), where the contact structure defines a line bundle L and contact vector fields are identified with sections of L carrying a Jacobi bracket. Given a finite-dimensional space Y of symmetries of a contact system, the paper constructs a momentum map pi: M\setminus M0 -> RP^p from the sections and proves that the Hamiltonian vector fields of the commuting subalgebra X generate the fibers of pi on regular sets. Theorem 3 states that regular components of invariant level sets are diffeomorphic to T^l x R^{r+1-l} with linearized dynamics, and regular components of the zero locus are T^l x R^{r-l}. Theorem 4 describes the induced foliations F subset E, identifies the singular set Sigma where F is tangent to the contact distribution, and proves that Sigma is a singular leaf of E. Section 5 specializes to commutative integrability on cooriented manifolds, and two examples on the projectivized cotangent bundle of the torus illustrate compact and noncompact invariant manifolds.

Significance. If the results are correct, the paper gives a useful unified geometric framework for contact non-commutative integrability that covers cooriented and non-cooriented contact manifolds, including dissipative systems. The identification of contact symmetries with sections of a contact line bundle and the projective momentum map are natural and potentially valuable constructions. The comparison of the author's pre-isotropic framework [14] with Zung's toric contact integrability is a genuine contribution, and the examples in Section 4 and 5 are concrete and illuminating. The paper is not fully self-contained because it imports the normal-form theorems of [14] and [32], but this reliance is on published results and is not circular. No machine-checked proofs are supplied, but the arguments are standard geometric ones and the main claims appear sound after filling in some omitted details.

major comments (2)
  1. [Section 4, Theorem 4(iii)] The proof asserts without derivation that at points of Sigma the dimension of E drops from p+1 to p, and that this equality characterizes Sigma as in equation (4.2). This rank drop is load-bearing for the singular-leaf conclusion, and the proof as written only shows that the vector fields X_{s0},...,X_{sp} are tangent to Sigma, which alone gives only dim E_x ≤ p. The missing argument can be supplied by applying Lemma 3(ii) on M_{s_i} to the functions f_j = s_j/s_i and using the fact that the momentum map has rank p; this derivation should be written out explicitly in the revised version.
  2. [Section 3, Theorem 3(i)-(ii)] The proof of the linearization statement is compressed into a citation to the Arnold-Liouville theorem. In particular, the diffeomorphism type T^l x R^{r+1-l} for possibly noncompact components requires the argument that completeness and pointwise independence of X_0,...,X_r generate a locally free R^{r+1} action, so that each connected component is a quotient of R^{r+1} by a closed subgroup; similarly, on M_{0,reg} the full abelian action has rank r. Since these facts are not stated, the theorem's proof is not fully self-contained and should be expanded.
minor comments (5)
  1. [Section 3.6, Lemma 3(ii)] There is a typographical error in the display after the case dim K_x = r-1: 'a_1 f_1(x) + ... + a_r f(x)' should read 'a_1 f_1(x) + ... + a_r f_r(x)'.
  2. [Section 4.1] The phrase 'Sigma is folded on invariant (r+1)-dimensional tori' should read 'Sigma is foliated by invariant (r+1)-dimensional tori'.
  3. [Section 3.2 and Section 3.4] The notation M0 for the zero locus and M^0_c for connected components of invariant level sets is potentially confusing; using different symbols for these two objects would improve readability.
  4. [Section 3.3] The identification L|_{M\setminus M0} = pi^*O(1) is stated briefly; since it is used in the examples, a short verification of the transition-function computation would be helpful.
  5. [Corollary 1] The wording 'foliated on invariant tori T' should be 'foliated by invariant tori T'.

Circularity Check

0 steps flagged · score 0.0 of 10

No material circularity: the line-bundle momentum-map formulation is a genuine extension, and the invocations of the author's prior work are theorem-level citations rather than inputs that encode the conclusions.

full rationale

The derivation chain contains no step where a claimed prediction or derived result reduces by construction to its inputs. The identification between contact vector fields and sections of the contact line bundle, and the associated Jacobi bracket, are standard geometric facts, and the momentum map pi is defined directly from the sections rather than from the conclusions it is used to prove. The invariance statements in Theorem 2 follow from the bracket identities and Lemma 2, and the integrability statement in Theorem 3 is derived from completeness of the commuting symmetries, Lemma 3, and the Arnol'd-Liouville linearization argument; the noncompact structure T^l x R^(r+1-l) follows from the standard structure of closed subgroups of R^(r+1). Theorem 4(i) invokes the author's earlier work [14] as a black-box theorem, but that theorem is an independent, published statement with explicit assumptions that do not include the present paper's conclusions, so this is ordinary citation rather than circularity. The terse rank-drop assertion in Theorem 4(iii) is compressed and could be spelled out using Lemma 3(ii), but it is derivable from the paper's own material and involves no fitted parameter, no definition of a quantity in terms of the target result, and no self-referential normalization. Consequently the central claim is self-contained against external benchmarks, and the appropriate circularity score is 0.

Assumptions & free parameters 0 free parameters · 7 assumptions · 0 invented entities

The paper is a pure mathematics contribution. It introduces no fitted parameters and no new physical entities. The central claims rest on standard theorems in differential geometry and on the author's previous results. The main axioms are listed below.

assumptions (7)
  • standard math Standard contact geometry and line-bundle background: local contact forms glue via transition functions, and sections of L correspond to contact vector fields via Φ.
    Section 3.1 states and verifies the isomorphism Φ and the Jacobi bracket on Γ(L); this is a standard sheaf-theoretic construction.
  • standard math The Jacobi bracket on Γ(L) is well-defined and makes Φ a Lie algebra isomorphism.
    Section 3.1: local brackets transform correctly under transition functions, as shown in the equations after (3.2).
  • standard math Arnold-Liouville theorem and contact action-angle coordinates from [14] and [27] provide the linearization of commuting contact vector fields on invariant tori or cylinders.
    The proof of Theorem 3(i) invokes 'the construction of angle coordinates and the linearization in the Arnold-Liouville theorem' and cites [1], [14].
  • standard math Zung's contact normal form theorem (Theorem 4.3 in [32]) supplies local coordinates and the normal form (4.4) for toric contact integrability with transversal symmetries.
    Section 4.2 explicitly invokes '[32], subsection 4.4' to obtain the normal form (4.4).
  • standard math The author's prior theorem from [14] on non-commutative integrability and contact action-angle variables is taken as a black box.
    Theorem 1 (Section 2.3) is quoted from [14] and used to prove the integrability statements on Mreg,i in Theorems 3 and 4.
  • domain assumption Regularity of the sets Mreg (rank dπ=p) and M0,reg (ds0∧...∧dsp≠0) is assumed to hold on open dense subsets.
    These open sets are defined in Section 3.4 and 4.1; generic integrable systems are assumed to satisfy these rank conditions.
  • domain assumption The contact vector fields X0,...,Xr are complete on M, assumed in Theorem 3.
    Theorem 3 states 'assume that the contact vector fields X0,...,Xr are complete on M'; this is needed to ensure flows exist globally for the linearization.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Contact line bundles, foliations, and integrability." pith.science (2026). https://pith.science/paper/BNNP63FI

@misc{pith2026250202935,
  author       = {Pith},
  title        = {Pith review of: Contact line bundles, foliations, and integrability},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/BNNP63FI}},
  note         = {Machine review of arXiv:2502.02935}
}
abstract

We formulate the non-commutative integrability of contact systems on a contact manifold $(M,\mathcal H)$ using the Jacobi structure on the space of sections $\Gamma(L)$ of a contact line bundle $L$. In the cooriented case, if the line bundle is trivial and $\mathcal H$ is the kernel of a globally defined contact form $\alpha$, the Jacobi structure on the space of sections reduces to the standard Jacobi structure on $(M,\alpha)$. We therefore treat contact systems on cooriented and non-cooriented contact manifolds simultaneously. In particular, this allows us to work with dissipative Hamiltonian systems where the Hamiltonian does not have to be preserved by the Reeb vector field.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

32 extracted references · 28 canonical work pages

  1. [14]

    Noncommutative integrability and action-angle variables in contact geometry

    B. Jovanovi´ c,Noncommutative integrability and action angle variables in contact geometry , Journal of Symplectic Geometry, 10 (2012), 535–562, arXiv:1103.3611

    work page Pith review arXiv 2012

  2. [32]

    N. T. Zung, A Conceptual Approach to the Problem of Action-Angle Variables , Arch. Ration. Mech. Anal. 229 (2018) 789–833, arXiv:1706.08859 [math.DS]. Mathematical Institute SANU, Serbian Academy of Sciences and Arts, Kneza Mihaila 36, 11000 Belgrade, Serbia Email address : bozaj@mi.sanu.ac.rs

    work page Pith review arXiv 2018

  3. [1]

    V. I. Arnol~d, Matematiqeskie metody klassiqesko mehaniki, 3-e izd., Nauka, Moskva 1989 (Russian). English translation: V. I. Arnol’d, Mathematical methods of classical mechanics , 3rd ed., Springer-Verlag, 1989

    work page 1989

  4. [2]

    Banyaga, P

    A. Banyaga, P. Molino, G´ eom´ etrie des formes de contact compl´ etement int´ egrables de type torique, S´ eminare Gaston Darboux, Montpellier (1991-92), 1-25 (French). English translation: Complete Integrability in Contact Geometry , Appendix B in A Brief Introduction to Symplectic and Contact Manifolds by A. Banyaga and D. F. Houenou, pp. 107–158, Nank...

    work page 1991

  5. [3]

    A. M. Blaga, M. A. Salazar, A. G. Tortorella, C. Vizman, Contact Dual Pairs , International Mathe- matics Research Notices, 2020 (2020) 8818–8877, arXiv:1903.05250

    arXiv 2020

  6. [4]

    O. I. Bogoyavlenskij, Extended integrability and bi-hamiltonian systems , Comm. Math. Phys. 196 (1998), no. 1, 19–51

    work page 1998

  7. [5]

    A. V. Bolsinov, B. Jovanovi´ c,Non-commutative integrability, moment map and geodesic flows . Annals of Global Analysis and Geometry 23 (2003) no. 4, 305–322, arXiv:math-ph/0109031

    arXiv 2003

  8. [6]

    C. P. Boyer, Completely integrable contact Hamiltonian systems and toric contact structures on S2×S3, SIGMA 7 (2011), Paper 058, 22 pp, arXiv: 1101.5587 [math.SG]

    work page Pith review arXiv 2011

Show all 32 references
  1. [7]

    J. F. Carinena, F. Falceto, J. Grabowski, Solvability of a Lie algebra of vector fields implies their integrability by quadratures, J. Phys. A: Math. Theor. 49 (2016) 425202, arXiv:1606.02472 [math-ph]

    2016 arXiv

  2. [8]

    Colombo, M

    L. Colombo, M. de Le´ on, M. Lainz, A. L´ opez-Gord´ on,Liouville-Arnold theorem for contact Hamiltonian systems, arXiv:2302.12061 [math.SG]. CONTACT LINE BUNDLES, FOLIATIONS, AND INTEGRABILITY 19

    arXiv

  3. [9]

    Fasso, N

    F. Fasso, N. Sansonetto, Integrable almost-symplectic Hamiltonian systems , J. Math. Phys. 48 (2007), no. 9, 092902, (13 pp)

    2007

  4. [10]

    J. W. Grey, Some global properties of contact structures , Ann. of Math. 69 (1959) 421–450

    1959

  5. [11]

    Griffiths, J

    P. Griffiths, J. Harris, Principles of algebraic geometry , Wiley, 1978, New York

    1978

  6. [12]

    de Le´ on, M

    M. de Le´ on, M. L. Valc´ azar,Infinitesimal symmetries in contact Hamiltonian systems , Journal of Geometry and Physics, 153 (2020), 103651, arXiv:1909.07892 [math-ph]

    2020 arXiv

  7. [13]

    Jovanovi´ c,Symmetries and Integrability , Publications de l’institut math´ ematique 84(98) (2008), 1–36, arXiv:0812.4398 [math.SG]

    B. Jovanovi´ c,Symmetries and Integrability , Publications de l’institut math´ ematique 84(98) (2008), 1–36, arXiv:0812.4398 [math.SG]

    2008 arXiv

  8. [15]

    Jovanovi´ c, V

    B. Jovanovi´ c, V. Jovanovi´ c,Contact flows and integrable systems , J. Geom. Phys. 87 (2015) 217–232, arXiv:1212.2918

    2015 arXiv

  9. [16]

    Jovanovi´ c, V

    B. Jovanovi´ c, V. Jovanovi´ c,Virtual billiards in pseudo–Euclidean spaces: discrete Hamiltonian and contact integrability, Discrete and Continuous Dynamical Systems - Series A, 37 (2017), no. 10, 5163— 5190, arXiv:1510.04037

    2017 arXiv

  10. [17]

    Jovanovi´ c, V

    B. Jovanovi´ c, V. Jovanovi´ c,Heisenberg model in pseudo-Euclidean spaces II , Regular and Chaotic Dynamics, 23 (2018) 289–308, arXiv:1808.10783

    2018 arXiv

  11. [18]

    Jovanovi´ c, K

    B. Jovanovi´ c, K. Luki´ c,Integrable systems in cosymplectic geometry , J. Phys. A: Math. Theor. 56 (2023) 015201 (18pp), arXiv:2212.09427

    2023 arXiv

  12. [19]

    Khesin, S

    B. Khesin, S. Tabachnikov, Contact complete integrability, Regular and Chaotic Dynamics, 15 (2010) 504–520, arXiv:0910.0375

    2010 arXiv

  13. [20]

    V. V. Kozlov, Symmetries, topology and resonances in Hamiltonian mechanics , Ergebnisse der Math- ematik und ihrer Grenzgebiete (3), 31. Springer-Verlag, Berlin, 1996

    1996

  14. [21]

    V. V. Kozlov, The Euler-Jacobi-Lie Integrability Theorem, Regular and Chaotic Dynamics, 18 (2013) 329–343

    2013

  15. [22]

    Laurent-Gengoux, E

    C. Laurent-Gengoux, E. Miranda, P. Vanhaecke, Action-angle coordinates for integrable systems on Poisson manifolds , Int. Math. Res. Not., 2011 (2011) Issue 8, 1839–1869, arXiv: arxiv.0805.1679 [math.SG]

    2011 arXiv

  16. [23]

    Kiesenhofer, E

    A. Kiesenhofer, E. Miranda, Non-commutative integrable systems on b-symplectic manifolds , Regular and Chaotic Dynamics, 21 (2016), no. 6, 643–659

    2016

  17. [24]

    Libermann, C

    P. Libermann, C. Marle, Symplectic Geometry and Analytical Mechanics , Riedel, Dordrecht, 1987

    1987

  18. [25]

    Libermann, Cartan–Darboux theorems for Pfaffian forms on foliated manifolds , Proc

    P. Libermann, Cartan–Darboux theorems for Pfaffian forms on foliated manifolds , Proc. VIth Int. Colloq. Dif. Geom. Santiago 1989, 125–144. See also: On symplectic and contact groupoids, Differential Geometry and Its Application, Proc. Conf. Opava, 1992, 29–45

    1989

  19. [26]

    A. S. Miwenko, A. T. Fomenko,Obobwenny metod Liuvill integrirovani gamiltonovyh sistem, Funkc. analiz i ego prilo .12(2) (1978), 46–56(Russian); English translation: A. S. Mishchenko, A. T. Fomenko, Generalized Liouville method of integration of Hamiltonian systems . Funkts. A...

    1978

  20. [27]

    N. N. Nehoroxev, Peremennye de stvie–ugol i ih obobweni , Tr. Mosk. Mat. O.-va. 26 (1972), 181–198 (Russian). English translation: N. N. Nekhoroshev, Action-angle variables and their generalization , Trans. Mosc. Math. Soc. 26 (1972) 180–198

    1972

  21. [28]

    M. A. Salazar, D. Sepe, Contact Isotropic Realisations of Jacobi Manifolds via Spencer Operators , SIGMA Symmetry Integrability Geom. Methods Appl, 13 (2017) 33–76,

    2017

  22. [29]

    V. V. Trofimov, A. T. Fomenko, Algebra i geometri integriruemyh gamilton~ovyh dif- ferencial~nyh uravneni , Moskva, Faktorial, 1995, V. V. Trofimov, A. T. Fomenko, Algebra and geometry of integrable Hamiltonian differential equations. Moskva, Faktorial, 1995 (Russian)

    1995

  23. [30]

    Zambon and C

    M. Zambon and C. Zhu, Contact reduction and groupoid actions . Trans. Amer. Math. Soc., 358(2006) 1365–1401

    2006

  24. [31]

    N. T. Zung, Torus actions and integrable systems, In: A. V. Bolsinov, A. T. Fomenko, A. A. Oshemkov (eds.), Topological Methods in the Theory of Integrable Systems 289–328, Cambridge Scientific Publ., (2006), arXiv: math.DS/0407455

    2006

Pith tools

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