Pith. Sign in

REVIEW

The Poincare'-Lyapounov-Nekhoroshev theorem for involutory systems of vector fields

PaperPDF from arXiv

data files

ReviewThe objections and verdict, as JSON Paper breakdownThe authors' claims, conditions and measurements, as JSON Signed receiptProof this review has not been altered
X Bluesky LinkedIn Reddit Hacker News
G. Gaeta

Mathematical Physics · Submitted 21 Feb 2006 · 30 references

Pith's verdict: The paper's main theorem is invalid—its own Example II is a counterexample—but the geometric setup is a useful starting point for a genuine extension problem.

T0 · AI review

How this review was made: An AI referee (deepseek-v4-flash) read the paper on August 28, 2026 and answered a fixed list of questions about it. T0 is the starting level every paper gets. The levels describe how deeply Pith has checked the paper, never the authors.

  1. T0 AI review An AI read the paper and answered a fixed list of questions.
  2. T1 Audit Automatic checks that the references and files the paper relies on exist and match.
  3. T2 Compute The paper's code or calculations re-run with the same results.
  4. T3 Formal statement The claims written out in a formal math language a computer can read.
  5. T4 Proof Those claims proved, and the proof checked by computer.

How Pith checks papers →

· 2 major objections · 3 minor · Ask about this paper · The compiled record · Read the full review →
Challenge this review Comment (0) Read on arXiv ↗
Cite ▾
arXiv IDmath-ph/0602052 (version 2)
Pith IDQKCM6FIP, Pith's permanent record of this paper and its review
CitationG. Gaeta. "The Poincare'-Lyapounov-Nekhoroshev theorem for involutory systems of vector fields." arXiv:math-ph/0602052 (2006). https://pith.science/paper/QKCM6FIP
Cite this reviewBibTeX for Pith's review of this paper
Claim paper

Why Pith says this

Highlight any text to comment on it.

Referee report

How Pith checks papers → · Full audit of this paper →

The paper

The paper claims

The Poincaré–Lyapounov–Nekhoroshev theorem is extended from commuting vector fields on tori to non-abelian involutory systems, with persistence governed by monodromy spectra and commutator kernels.

The reading

This paper extends the Poincaré–Lyapounov–Nekhoroshev theorem, which says when a periodic or quasiperiodic solution survives a small perturbation, to systems of vector fields that are involutory (Frobenius-integrable) but not necessarily abelian, acting on invariant manifolds with arbitrary topology. The central claim is that a compact connected invariant manifold $\Lambda_0$ persists as a nearby invariant manifold $\Lambda_\varepsilon$ exactly when two conditions hold: intersecting homology-generating loops have monodromy matrices with a nontrivial common kernel, and products of restricted monodromy matrices have no unit-modulus eigenvalues. A corollary is that any such manifold with trivial fundamental group persists automatically, without spectral conditions. The result matters because invariant manifolds with nontrivial topology arise naturally in dynamical systems, including systems with elastic impacts, where the earlier torus-based theorem did not apply.

What carries the argument

The machinery is the $G$-connection: because the involutory distribution $D$ is tangent to $\Lambda_0$ and transverse to the fibers $\Sigma_x$, it defines a nonlinear connection $\nabla$ on the bundle $U\to\Lambda_0$, with linearization $\nabla_0$. For a loop $\gamma$, parallel transport around $\gamma$ gives a monodromy map $M_\gamma:\Sigma_x\to\Sigma_x$; in adapted coordinates $w=(y,z)$ it has block form $M_\gamma=\begin{pmatrix}M_\gamma^{(0)}&M_\gamma^{(1)}\\0&I\end{pmatrix}$, where $M_\gamma^{(0)}$ is the restricted monodromy acting on transverse coordinates $y$ and the identity block corresponds to parameters $z$. The difference map $R_\gamma=I-M_\gamma$ controls fixed points: a zero of $R_\gamma$ is a point whose transport closes up, and by the implicit function theorem its zero locus is a manifold with tangent space $\ker R_\gamma$. The theorem's conditions are exactly that the restricted monodromy has no unit-modulus eigenvalues (so the local zero manifolds are graphs) and that intersecting loops have a common kernel in the commutator (so the local graphs glue).

Extended reading notes

Core claim

On the paper's own terms, Theorem 1 states that, under the geometric hypotheses (a compact connected $k$-dimensional $\Lambda_0$, a regular $k$-dimensional involutory distribution $D$ tangent to $\Lambda_0$, and a local foliation of the bundle $U$ into parameter-level manifolds $U_\varepsilon$ transversal to the fibers), the existence of a $G$-invariant manifold $\Lambda_\varepsilon$ isomorphic and $\varepsilon$-close to $\Lambda_0$ for all small $\varepsilon$ is equivalent to: (ii.a) for every pair of homology-generating loops $\eta_i,\eta_j$ that intersect, the commutator $[M_i,M_j]$ has nontrivial kernel in the transverse space $V_x$; and (ii.b) no product of restricted monodromy matrices $M_j^{(0)}$ has an eigenvalue on the unit circle unless the corresponding full monodromy matrix is the identity. The proof converts persistence into the existence of a near-zero section of a fiber bundle that is fixed by the holonomy of a nonlinear connection; local sections exist by the Frobenius theorem, and the global problem is decided by monodromy. Corollary 1 states that if $\pi_1(\Lambda_0)$ is trivial, the flatness of the connection forces all monodromy to be trivial, so $\Lambda_0$ always persists.

Load-bearing premise

The proof assumes that when two homology-generating loops cross, a nontrivial kernel for their commutator is enough to guarantee that the invariant manifolds built along the two loops coincide on the chart overlap; if this gluing is not automatic, the sufficiency direction of the theorem can fail.

Editorial extensions

If this is right

  • Any compact invariant manifold with trivial fundamental group persists for small parameter values without any spectral hypothesis, by Corollary 1.
  • For invariant manifolds of codimension one, the restricted multipliers are numbers, so condition (ii.b) becomes a direct arithmetic check on products of scalars.
  • In systems with elastic impacts, the double-covering construction reduces persistence of an invariant double torus to a monodromy computation on the underlying torus, extending the PLN theorem to a class of impact systems.
  • When the fundamental group is nontrivial, persistence is controlled by both the location of restricted multipliers and the kernel structure of commutators of monodromy matrices, so topology can either force persistence or permit breakdown.

Reading between the lines

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

  • The chart-overlap computation in Example II suggests that the operative gluing condition is not merely a nontrivial common kernel for $[M_i,M_j]$, but the equality of the local graphs $y=(R_i^{(0)})^{-1}M_i^{(1)}z$ on every overlap; checking that equality is a concrete finite-dimensional strengthening of condition (ii.a).
  • Because the proof only uses flatness of the $G$-connection, the same monodromy recipe should carry over to infinite-dimensional settings and to non-compact invariant manifolds once the spectral condition is replaced by a suitable boundedness or spectral-gap assumption.
  • For impact systems, the double-covering construction suggests a numerical test: compute the restricted Floquet multipliers of the unperturbed torus and compare the predicted persistence threshold with the perturbation size at which the invariant double torus is actually destroyed.
Original abstract

We extend the Poincare'-Lyapounov-Nekhoroshev theorem from torus actions and invariant tori to general (non-abelian) involutory systems of vector fields and general invariant manifolds.

The compiled record

The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.

Compiled by classifier-1.13.0 via TypeSafe API, question bank abstract-p1-20260923, 2026-09-23: 1 request, 1,662 input tokens.

What the abstract itself states, as probabilities: claims first 0.08 · states limitation 0.07 · human participants 0.02 · controlled comparison 0.02 · randomized assignment 0.01 · states quantitative result 0.03 · compares with prior results 0.82 · mentions code or data availability 0.01.

The abstract, sentence by sentence

arXiv listing abstract v2. Results and the main claim are underlined; .

We extend the Poincare'-Lyapounov-Nekhoroshev theorem from torus actions and invariant tori to general (non-abelian) involutory systems of vector fields and general invariant manifolds.

background contribution method result interpretation main claim

What the classifier reports for each sentence. The number is the probability it gave the label.
#sentencerolethe authors' own workstates the main conclusionstrength
s0 We extend the Poincare'-Lyapounov-Nekhoroshev theorem from torus actions and invariant tori to general (non-abelian) involutory systems of vector fields and general invariant manifolds. contribution 0.99 0.93 0.90 asserted 1.00

What kind of paper the classifier reports this is: theoretical result 1.00 · evidence from proof or derivation 1.00.

What was examined, and what was not

sources read
  • arXiv listing abstract v2
not examined
  • full text
  • figures and tables
  • references and citing sentences
  • relations to other papers
levels run
  • P abstract
not run
  • S sections
  • T body sentences
  • C citations
  • R cross-paper relations

Every quoted sentence on this record is the authors'. Every label is from Pith's closed vocabulary, with the probability shown beside it. Every number in the measurements table is the authors', checked by code. Record as JSON

Figures
Figure 1. The double torus. The circles C and C ′ represent the borders between regions I, II and III (see also fig.2). E.g. for f3(r, λ) = r − k(λ) this is the case provided α2(λ)f1[k(λ), λ] − a1(λ)f2[k(λ), λ] 6= 0 ∀λ ∈ Q0 . In this case there is obviously an invariant sphere S 2 of radius k(λ) for all values of λ such that k(λ) > 0. Suppose now that ||(X × Y )|| 6= 0 is satisfied on the sphere of radius r0, which we denote as Λ0 (and therefore in a tubular neighbourhood U of it in N = P × Q of sufficiently small radius ε), and that for λ = 0 the function f3 satisfies f3(r0, 0) = 0, (∂rf3)
Figure 2. The decomposition of the double torus into three flat regio
Figure 3. The four cycles, providing a basis for the homology of the d
Figure 4. The four cycles, providing a basis for the homology of the d
Figure 5. The decomposition of the double torus as two copies of
Figure 6. The four cycles providing a basis for the homology of the do

Figures reproduced from arXiv:math-ph/0602052 by the authors.

References

Discussion

Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.