Pith. sign in

REVIEW 2 major objections 5 minor 47 references

Fouling maps and polynomial first integrals from symmetric tensor fields

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

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

Pith's one-line read This paper proves that polynomial fouling maps for mechanical Hamiltonians are completely characterized by tensor equations and that each such map induces an invariant tensor whose trace powers are polynomial first integrals.

desk verdict Theorem 4.10 is the real result and looks right; Theorem 4.9(2) is false as stated, and the S^2 examples have a condition typo—fixable, not fatal. read the letter →

arxiv 2607.17407 v1 pith:BFCWRMDB submitted 2026-07-19 math-ph math.MP

Rafael Azuaje , Juan Carlos Marrero , Edith Padrón This is my paper · ORCID
classification math-phmath.MP MSC 70G4570H1553Z05
keywords foulingmapscanonoidtransformationspolynomialconstantsofmotionmechanicalHamiltoniansymmetrictensorfieldscotangentbundleinvariantLiouvillemetric
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 introduces fouling maps: bundle maps over the identity on a cotangent bundle that, without being invertible, satisfy the same invariance condition that defines canonoid transformations. The central claim is that for mechanical Hamiltonians (kinetic energy plus potential on a semi-Riemannian manifold), every polynomial fouling map built from symmetric tensor fields is completely characterized by a short list of tensor equations involving a curvature-like tensor R_T and the potential's differential. From any such map the authors construct a (1,1)-tensor that is invariant under the Hamiltonian flow, so the traces of its powers are polynomial first integrals. This gives a systematic tensorial method to produce explicit polynomial constants of motion, with worked examples on the Euclidean plane and the 2-sphere.

What carries the argument

The central object is the (1,1)-tensor L_Ψ = ♭_{ω_Ψ} ∘ #_{ω_Q} on T*Q, where ω_Ψ = Ψ*ω_Q and #,♭ are the musical isomorphisms induced by the metric. Because L_Ψ commutes with the Hamiltonian flow, its trace powers are first integrals. The paper's tensorial method uses the one-to-one correspondence between homogeneous bundle maps over the identity and symmetric tensor fields on the base, reducing the fouling condition to algebraic equations on the tensors.

What would settle it

Take a fouling map built from symmetric tensors that satisfies Theorem 4.10 on a specific manifold (e.g., the 2-sphere example with V = sin^2θ) and check that the computed first integrals f1 and f2 are indeed constant along numerical solutions of Hamilton's equations; a nonzero Lie derivative along X_H would disprove the claim.

Watch

Extended reading notes

Core claim

The main result (Theorem 4.10) says that a polynomial bundle map Ψ = Σ Ψ_{T_k}, with each T_k a symmetric (k+1,0)-tensor, is a fouling map for H = (g*)^hom + V if and only if R_{T_k} = i_{dV} T_{k+2} for k=0,...,s-2, R_{T_s}=R_{T_{s-1}}=0, and d(♭(i_{dV}T_1))=0. Here R_{T_k} is a (k+2,0)-tensor built from covariant derivatives of T_k. When these equations hold, the associated bundle map preserves the Hamiltonian nature of the dynamics, and the induced operator L_Ψ is invariant under X_H; consequently, for each positive integer l, the trace of L_Ψ^l is a polynomial constant of motion.

Load-bearing premise

The proof that the three local conditions in (3.2) capture the full fouling property relies on the standard fact that the Hamiltonian vector fields of coordinate and momentum functions generate every vector field on the cotangent bundle; if only a smaller subalgebra were generated, the conditions would be weaker than invariance.

Editorial extensions

If this is right

  • Any fouling map for a mechanical Hamiltonian yields a family of polynomial constants of motion, one for each power of L_Ψ.
  • The characterization turns the search for polynomial integrals into a linear PDE problem on symmetric tensors, solvable in examples.
  • For zero potential, fouling maps reduce to tensors with R_T=0, giving a new class of integrals for geodesic flows.
  • Examples on the 2-sphere provide the first non-trivial fouling maps for natural Hamiltonians on curved spaces, with functionally independent integrals.
  • The method extends to Liouville metrics, producing explicit independent invariants.

Reading between the lines

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

  • The trace powers of L_Ψ may not exhaust the first integrals; the eigenvalues of L_Ψ are also invariant, as the sphere examples show, suggesting a fuller algebra of invariants.
  • The characterization could be extended to time-dependent or Poisson settings, but the paper does not do so.
  • The conditions R_T = i_dV T have a flattening interpretation: the tensor T must be 'Killing up to a contraction with dV', which might connect to deformed Killing tensors in superintegrability.
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 introduces 'fouling maps', non-invertible bundle maps over the identity on T*Q that preserve the Hamiltonian nature of a vector field in a generalized sense, and studies the associated (1,1)-tensor L_Ψ. It proves that if Ψ is fouling for H, then L_Ψ is invariant under X_H and the traces of its powers are first integrals (Theorem 3.6). For mechanical Hamiltonians, the paper constructs polynomial fouling maps from symmetric tensor fields on Q, culminating in Theorem 4.10, which characterizes when a finite sum Ψ_T = Σ Ψ_{T_k} is fouling in terms of the tensors R_{T_k}, the potential V, and a closure condition on ♭(i_dV T_1). Several explicit examples are given on the Euclidean plane, the 2-sphere, and a Liouville metric manifold, with associated polynomial constants of motion.

Significance. If correct, the framework offers a systematic, tensor-geometric method for producing polynomial first integrals for natural Hamiltonian systems, going beyond the invertible canonoid/fouling transformation literature and including the first non-trivial curved-space examples of which I am aware. The main conceptual contribution — passing from invertible fouling transformations to non-invertible fouling maps and deriving invariant tensor fields — is natural and potentially useful. The derivations are mostly coordinate tensor computations, and Theorem 4.10 has the form of a complete characterization. However, the paper currently contains a false special-case theorem (Theorem 4.9(2)) and internally inconsistent sphere examples. These are local but load-bearing for the claimed completeness, so the manuscript needs revision before the results can be relied on.

major comments (2)
  1. [Theorem 4.9(2)] Theorem 4.9(2) is false as stated. For k=1, after imposing R_{T_1}=0, Proposition 4.8(iii) leaves the residual term [L_Y i_{dV} i_{♭Z} T_1 - L_Z i_{dV} i_{♭Y} T_1 - i_{dV} i_{♭[Y,Z]} T_1]^{hom}, which equals d(♭(i_{dV}T_1))(Y,Z). This is not automatically zero. The proof's assertion that '(b) is always satisfied' for k=1 is incorrect. Concrete counterexample: on Q=R^2 with Euclidean metric, V=xy and T_1=∂_x⊗∂_x. Then R_{T_1}=0, but Ψ_{T_1}(x,y,p_x,p_y)=(x,y,p_x,0). For H=(p_x^2+p_y^2)/2+xy, one computes X_H=p_x∂_x+p_y∂_y-y∂_{p_x}-x∂_{p_y} and ω_Ψ=dp_x∧dx, so i_{X_H}ω_Ψ=-y dx-p_x dp_x and d(i_{X_H}ω_Ψ)=dx∧dy≠0; hence Ψ_{T_1} is not fouling. The correct condition is R_{T_1}=0 together with d(♭(i_{dV}T_1))=0, which is exactly the condition that appears in Theorem 4.10(iii). This error should be corrected and Theorem 4.9(2) should be reconciled with Theorem 4.10.
  2. [Section 6.1] The sphere examples contain an internal inconsistency. In Section 6.1 the closedness condition for T_0 is correctly derived as (6.7): ∂_ϕ A_0 - sin^2 θ ∂_θ B_0 - B_0 sin(2θ)=0, and the bundle map is written with fiber coordinate B_0 sin^2 θ. However, in the final maps (6.17) and (6.20) the stated condition is '∂B_0/∂θ - ∂A_0/∂ϕ = 0', which is the Euclidean condition, not (6.7). Moreover, in (6.17) the vertical component P_ϕ is written as B_0 + ... rather than B_0 sin^2 θ + ... . If B_0 sin^2 θ is intended, the condition must be (6.7); if the Euclidean-looking condition is intended, the semi-basic form is different. As written, the examples are not verified to be fouling maps, and the final 'with ∂B_0/∂θ - ∂A_0/∂ϕ = 0' is not equivalent to the closedness condition used earlier. This must be fixed for the curved-space examples to be valid.
minor comments (5)
  1. [Remark 3.2] The local expression of a semi-basic 1-form is written as θ_i(q,p) dp_i; it should be θ_i(q,p) dq^i. This typo is confusing because semi-basic forms have no dp terms.
  2. [Section 3] The statement that Hamiltonian vector fields of basic functions and linear functions 'generate the space of vector fields' is terse. What is needed is that they span T_m(T^*Q) at each point, or generate X(T^*Q) as a C^∞-module; this is true (e.g., X_{q^i∘π}=-∂_{p_i} and X_{p_i}=∂_{q_i}). The current wording may mislead readers into thinking a Lie-algebra generation is being claimed.
  3. [Eq. (6.9)] There is a missing parenthesis/typo: d(♭(i_dV T_1) should be d(♭(i_dV T_1)) = a_1 d(dV)=0.
  4. [Examples 6.1,6.2] In equations (6.21) and (6.22), the variable ψ is used in expressions such as sin^2 ψ and cos^2 ψ, although the potential and coordinates are in (θ,ϕ). This appears to be a typesetting artifact and should be corrected to ϕ.
  5. [AI Use Statement] The statement refers to 'The author' in the singular, although the paper has three authors; the intended author should be named or rephrased.

Circularity Check

0 steps flagged · score 2.0 of 10

No significant circularity: the invariant construction is proved in-paper; cited related work is contextual and not load-bearing.

full rationale

The central derivation chain is self-contained. A fouling map is defined in Definition 3.3 by the invariance condition L_{X_H}ω_Ψ = 0, and Theorem 3.6 proves from that definition, via Lemma 3.5 and the standard fact that Hamiltonian vector fields on T*Q generate all vector fields, that L_Ψ is invariant and that traces of powers are constants of motion. The proof does not import the result from [17]; it reproduces the needed argument. The characterization results for mechanical Hamiltonians (Propositions 4.4, 4.8, Theorems 4.9 and 4.10) are obtained by substituting the explicit tensor-induced map (4.5)-(4.8) into the defining equation (3.2), not by assuming the first integrals. The first integrals f_l are computed after the fouling map is constructed, so there is no fitted parameter renamed as a prediction and no quantity is defined in terms of the output it is supposed to explain. The paper does cite earlier work by the same authors, especially [17] and example references [8,44], but these citations are contextual and none carries a load-bearing premise: the main invariant theorem is proved directly in the present paper. A reader-flagged gap concerning the k=1 case of Theorem 4.9, if real, is a correctness/rigor issue about a missing condition, not a circularity issue: the alleged missing condition is not an input disguised as an output. Overall, the derivation does not reduce by construction to its own assumptions.

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

The central theorem introduces no empirical free parameters or new physical entities. The only arbitrary constants are coefficients of tensor fields in the examples; they are chosen to satisfy the PDE conditions, not fitted to data. The axioms are standard cotangent-bundle facts plus the paper's own justified ansatz.

free parameters (1)
  • Example tensor coefficients (a1,b1,c1,d2,a3,b3,c3,d3,f3) = arbitrary real constants
    These coefficients parametrize the families of maps in Sections 5–7; they are chosen by hand or from PDE solutions and affect the first integrals obtained, but they are not required by the central theorem and are not fitted to data.
assumptions (4)
  • domain assumption Hamiltonian vector fields of f∘π_Q and Y^ℓ generate all vector fields on T*Q.
    Used in §3 to reduce L_{X_H}ω_Ψ = 0 to equations (3.2); standard for cotangent bundles but not proved in the paper.
  • standard math Polarization identity (4.9) gives a bijection between homogeneous bundle maps of degree k and symmetric (k+1,0)-tensors.
    Justifies the ansatz Ψ_T = Σ Ψ_{T_k} in Theorem 4.10; the paper supplies a proof sketch in Section 4.
  • domain assumption All manifolds, metrics and tensor fields are smooth; Q is finite-dimensional; no global/topological obstructions are considered.
    This is the framework stated in Sections 3–4 and used throughout the examples.
  • standard math Standard Poisson bracket identities {f∘π,g∘π}=0, {f∘π,Y^ℓ}=Y(f)∘π, {Y^ℓ,Z^ℓ}=−[Y,Z]^ℓ.
    Used repeatedly in Propositions 4.4 and 4.8 to compute the fouling conditions.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Fouling maps and polynomial first integrals from symmetric tensor fields." pith.science (2026). https://pith.science/paper/BFCWRMDB

@misc{pith2026260717407,
  author       = {Pith},
  title        = {Pith review of: Fouling maps and polynomial first integrals from symmetric tensor fields},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/BFCWRMDB}},
  note         = {Machine review of arXiv:2607.17407}
}
abstract

Under the framework of time-independent Hamiltonian mechanics on the cotangent bundles $T^*Q$ of the configuration spaces $Q$ of mechanical systems, we introduce the concept of fouling map as a non-invertible generalization of the so-called fouling transformations --canonoid transformations preserving configuration coordinates--. We develop a tensorial method for constructing polynomial fouling maps. We show that each such map induces a $(1,1)$-tensor field invariant under the Hamiltonian flow, whose traces of its powers are polynomial constants of motion. For mechanical Hamiltonian functions --the kinetic energy plus the potential energy on a semi-Riemannian configuration space $(Q,g)$--, we completely characterize polynomial bundle maps arising from symmetric $(k+1,0)$-tensor fields and derive the conditions ensuring their fouling nature. Several explicit examples on the Euclidean plane and on the 2-sphere illustrate the method.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

47 extracted references

  1. [1]

    L. D. Landau and E. M. Lifshitz.Mechanics: Volume 1. Elsevier Science, 1982

    1982

  2. [2]

    Goldstein, C

    H. Goldstein, C. Poole, and J. Safko.Classical Mechanics, third edition. Addison-Wesley, 2002

    2002

  3. [3]

    M. G. Calkin.Lagrangian and Hamiltonian Mechanics. World Scientific Publishing, 1996

    1996

  4. [4]

    Asorey, J

    M. Asorey, J. F. Cari˜ nena, and L. A. Ibort. Generalized canonical transformations for time-dependent systems. J. Math. Phys., 24(12):2745–2750, 1983

    1983

  5. [5]

    J. F. Cari˜ nena, J. Gomis, L. A. Ibort, and N. Rom´ an. Canonical transformations theory for presymplectic systems.J. Math. Phys., 26(8):1961–1969, 1985

    1961

  6. [6]

    Azuaje and A

    R. Azuaje and A. M. Escobar-Ruiz. Canonical transformations: from the coordinate based approach to the geometric one.Phys. Scr., 100(6):065228, 2025

    2025

  7. [7]

    E. J. Saletam and A. H. Cromer.Theoretical Mechanics. John Wiley, 1972

    1972

  8. [8]

    J. F. Cari˜ nena and M. F. Ra˜ nada. Canonoid transformations from a geometric perspective.J. Math. Phys., 29:2181–2186, 1988

    1988

Show all 47 references
  1. [9]

    J. F. Cari˜ nena and M. F. Ra˜ nada. Poisson maps and canonoid transformations for time-dependent Hamil- tonian systems.J. Math. Phys., 30:2258, 1989

    1989

  2. [10]

    J. F. Cari˜ nena, F. Falceto, and M. F. Ra˜ nada. Canonoid transformations and master symmetries.J. Geo. Mech, 5:151–166, 2013

    2013

  3. [11]

    Magri and C

    F. Magri and C. Morosi.A geometrical characterization of integrable Hamiltonian systems through the theory of Poisson-Nijenhuis manifolds. Quaderno S 19, Universit‘a degli Studi di Milano, 1984

    1984

  4. [12]

    KosmannSchwarzbach and F

    Y. KosmannSchwarzbach and F. Magri. Lax–Nijenhuis operators for integrable systems.J. Math. Phys., 37:6173, 1996

    1996

  5. [13]

    Marmo, G

    G. Marmo, G. Morandi, A. Simoni, and F. Ventriglia. Alternative structures and bi-Hamiltonian systems.J. Phys. A: Math. Gen, 35:8393, 2002

    2002

  6. [14]

    Magri et al

    F. Magri et al. Eight lectures on integrable systems.Integrability of nonlinear systems, pages 209–250, 2004

    2004

  7. [15]

    Falqui and M

    G. Falqui and M. Pedroni. Separation of variables for bi-Hamiltonian systems.Math. Phys. Anal. Geom., 6:139–179, 2003

    2003

  8. [16]

    Boleantu and M

    M. Boleantu and M. Crasmareanu. New aspects in the use of canonoid transformations.STUDIA UNIVER- SITATIS BABES-BOLYAI MATHEMATICA, 58(4):437–444, 2013

    2013

  9. [17]

    Azuaje and A

    R. Azuaje and A. M. Escobar-Ruiz. Canonical and canonoid transformations for Hamiltonian systems on (co)symplectic and (co)contact manifolds.J. Math. Phys., 64(3):033501, 2023

    2023

  10. [18]

    Kolokol’tsov

    V. Kolokol’tsov. Geodesic flows on two-dimensional manifolds with an additional first integral that is polyno- mial in the velocities.Mathematics of the USSR-Izvestiya, 21(2):291, 1983

    1983

  11. [19]

    Hietarinta

    J. Hietarinta. Direct methods for the search of the second invariant.Phys. Rep., 147(2):87–154, 1987

    1987

  12. [20]

    A. V. Tsiganov. On a family of integrable systems on s2 with a cubic integral of motion.J. Phys. A: Math. Gen., 38(4):921, 2005

    2005

  13. [21]

    Daskaloyannis and K

    C. Daskaloyannis and K. Ypsilantis. Unified treatment and classification of superintegrable systems with integrals quadratic in momenta on a two-dimensional manifold.J. Math. Phys., 47(4), 2006. 28 RAF AEL AZUAJE 1, JUAN CARLOS MARRERO 2, EDITH PADR ´ON 2

    2006

  14. [22]

    Marquette and P

    I. Marquette and P. Winternitz. Polynomial Poisson algebras for classical superintegrable systems with a third-order integral of motion.J. Math. Phys., 48(1), 2007

    2007

  15. [23]

    Miller, S

    W. Miller, S. Post, and P. Winternitz. Classical and quantum superintegrability with applications.J. Phys. A: Math. Theor., 46(42):423001, 2013

    2013

  16. [24]

    A. V. Bolsinov. Integrable geodesic flows on Riemannian manifolds.J. Math. Sci., 123(4), 2004

    2004

  17. [25]

    Rastelli and M

    G. Rastelli and M. Santoprete. Canonoid and poissonoid transformations, symmetries and bi-Hamiltonian structures.J. Geom. Mech., 7:483–515, 2015

    2015

  18. [26]

    Azuaje and A

    R. Azuaje and A. Bravetti. Scaling symmetries and canonoid transformations in Hamiltonian systems.Int. J. Geom. Methods Mod. Phys., 21(04):2450077, 2024

    2024

  19. [27]

    Azuaje and X

    R. Azuaje and X. Zhao. Canonical and canonoid transformations for Hamiltonian systems on locally conformal symplectic manifolds.J. Geom. Phys., 222:105761, 2026

    2026

  20. [28]

    Landolfi and G

    G. Landolfi and G. Soliani. On certain canonoid transformations and invariants for the parametric oscillator. J. Phys. A: Math. Theor., 40(13):3413, 2007

    2007

  21. [29]

    Tempesta et al

    P. Tempesta et al. Quantum models related to fouled hamiltonians of the harmonic oscillator.J. Math. Phys., 43(7):3538–3553, 2002

    2002

  22. [30]

    V. I. Arnold.Mathematical Methods of Classical Mechanics. Springer New York, 1978

    1978

  23. [31]

    Abraham and J

    R. Abraham and J. E. Marsden.Foundations of Mechanics. American Mathematical Soc. No. 364, 2008

    2008

  24. [32]

    M. F. Ra˜ nada J. F. Cari˜ nena and M. Santander. Central potentials on spaces of constant curvature: The Kepler problem on the two-dimensional sphere s2 and the hyperbolic plane h2.J. Math. Phys., 46(5), 2005

    2005

  25. [33]

    J. F. Cari˜ nena, M. F. Ra˜ nada, and M. Santander. The harmonic oscillator on Riemannian and Lorentzian configuration spaces of constant curvature.J. Math. Phys., 49(3), 2008

    2008

  26. [34]

    Diacu, E

    F. Diacu, E. P´ erez-Chavela, and M. Santoprete. The n-body problem in spaces of constant curvature. part i: Relative equilibria.J. Nonlinear Sci., 22(2):247–266, 2012

    2012

  27. [35]

    Thompson

    G. Thompson. Killing tensors in spaces of constant curvature.J. Math. Phys., 27(11):2693–2699, 1986

    1986

  28. [36]

    Bolsinov and V

    A. Bolsinov and V. S. Matveev. Geometrical interpretation of Benenti systems.J. Geom. Phys., 44(4):489– 506, 2003

    2003

  29. [37]

    Benenti et al

    S. Benenti et al. Separability in Riemannian manifolds.SIGMA, 12:013, 2016

    2016

  30. [38]

    Abraham, J

    R. Abraham, J. E. Marsden, and T. Ratiu.Manifolds, Tensor Analysis, and Applications. Springer, 1988

    1988

  31. [39]

    Lee.Introduction to Smooth Manifolds, second edition

    J. Lee.Introduction to Smooth Manifolds, second edition. Springer, 2012

    2012

  32. [40]

    J. E. Marsden and T. S. Ratiu.Introduction to mechanics and symmetry: a basic exposition of classical mechanical systems, volume 17. Springer Science & Business Media, 2013

    2013

  33. [41]

    Godbillon.G´ eom´ etrie diff´ erentielle et m´ ecanique analytique

    C. Godbillon.G´ eom´ etrie diff´ erentielle et m´ ecanique analytique. FeniXX, 1969

    1969

  34. [42]

    J. M. Lee.Introduction to Riemannian manifolds, volume 2. Springer, 2018

    2018

  35. [43]

    S. M. Carroll. An introduction to general relativity: spacetime and geometry.Addison Wesley, 101:102, 2004

    2004

  36. [44]

    L. J. Negri, L. C. Oliveira, and J. M. Teixeira. Canonoid transformations and constants of motion.J. Math. Phys., 28:2369, 1987

    1987

  37. [45]

    T. Rat ¸iu. The C. Neumann problem as a completely integrable system on an adjoint orbit.Transactions of the American Mathematical Society, 264(2):321–329, 1981

    1981

  38. [46]

    H. R. Dullin and H. Hanßmann. The degenerate C. Neumann system i: symmetry reduction and convexity. Central European Journal of Mathematics, 10(5):1627–1654, 2012

    2012

  39. [47]

    A. V. Bolsinov, V. S. Matveev, and A. T. Fomenko. Two-dimensional Riemannian metrics with integrable geodesic flows. local and global geometry.Sbornik: Mathematics, 189(10):1441–1466, 1998

    1998

Pith tools

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