🔢 mathematics

Fouling maps and polynomial first integrals from symmetric tensor fields

This paper introduces the concept of fouling maps as non-invertible generalizations of fouling transformations within time-independent Hamiltonian mechanics, developing a tensorial method to construct polynomial fouling maps from symmetric tensor fields that induce invariant $(1,1)$ -tensor fields and yield polynomial constants of motion.

Original authors: Rafael Azuaje, Juan Carlos Marrero, Edith Padrón

Published 2026-07-21

📖 6 min read🧠 Deep dive

CC BY 4.0

Original authors: Rafael Azuaje, Juan Carlos Marrero, Edith Padrón

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are watching a marble roll across a bumpy, curved surface. In the world of physics, predicting exactly where that marble will go is a classic puzzle. This field, known as classical mechanics, relies on a set of rules called Hamiltonian mechanics to describe how things move. Think of the "Hamiltonian" as the total energy of the system—the sum of how fast the marble is moving (kinetic energy) and how high up it is on the hill (potential energy). Usually, to solve these puzzles, physicists look for "conserved quantities," which are like secret codes that never change as the marble rolls. For example, if the surface is perfectly smooth and flat, the marble's total energy stays the same. If the surface looks the same no matter which way you spin it, the marble's spin (angular momentum) stays the same. Finding these unchanging numbers is like finding a cheat code that makes the whole system solvable.

For decades, scientists have known how to find these codes when the marble moves in a straight line or on a simple curve. But what happens when the surface is weird, or the forces acting on the marble are complicated? Sometimes, the rules of the game seem to change, but there might be a hidden pattern underneath. This is where a special type of mathematical trick called a "canonoid transformation" comes in. Imagine you have a map of the marble's path. A standard "canonical" transformation is like redrawing the map with a different grid, but the rules of the road stay exactly the same. A "canonoid" transformation is a bit more flexible: it's like redrawing the map in a way that changes the grid, but the marble still follows the same physical laws, just described differently. This paper introduces a new, even more flexible version of this trick called a "fouling map." Think of a fouling map as a magical lens that you can put over the system. It is a specific type of transformation that keeps the position coordinates exactly where they are (it maps the space "over the identity"), but it can stretch and squash the momentum coordinates in complex, non-reversible ways. Crucially, even though it distorts the momentum, it preserves the fundamental Hamiltonian nature of the system, revealing hidden, unchanging numbers that were previously invisible.

The authors of this paper, Rafael Azuaje, Juan Carlos Marrero, and Edith Padrón, have developed a new method to build these magical lenses, specifically for mechanical systems where the energy is a mix of motion and position (like a ball rolling on a hill). They discovered that if you start with certain geometric shapes called "symmetric tensor fields" (which you can think of as multi-dimensional templates for how the space is curved or stretched), you can construct these fouling maps. The paper proves that every time you build one of these maps, it automatically generates a new "constant of motion"—a number that stays the same forever as the system evolves. Crucially, these new constants are "polynomials," meaning they are built from simple math operations like adding and multiplying the momentum (how fast and in what direction the object is moving).

The researchers didn't just theorize this; they built a complete recipe for creating these maps. They showed that if you have a specific type of geometric template (a symmetric tensor), you can check a set of conditions to see if it will work as a fouling map. If the conditions are met, the map is guaranteed to exist and will produce these new, polynomial constants of motion. The paper completely characterizes these maps for systems on flat surfaces (like a standard 2D plane) and curved surfaces (like a 2-sphere). They even provided specific examples, showing how to create these maps for a ball rolling on a flat plane with a specific potential energy, and for a ball rolling on a sphere with a wobbly potential. In one striking example on a sphere, they found that for certain potentials, the fouling map reveals constants of motion that are functionally independent of the total energy, meaning they provide entirely new information about the system's behavior that wasn't obvious before.

The paper also addresses what doesn't work. They prove that for certain simple cases, like when the geometric template is just a single vector field (a simple arrow pointing somewhere), the resulting map is "trivial." In this case, the math shows that the map doesn't actually create any new, interesting constants of motion; it just gives you zero or a constant number that doesn't help solve the puzzle. This is a crucial distinction: not every attempt to build a fouling map succeeds in finding new secrets. The method only yields useful results when the geometric templates are more complex (specifically, when they are of higher order, like degree 2 or 3) and satisfy very specific mathematical relationships involving the potential energy of the system.

The confidence in these findings is high because the authors provide rigorous mathematical proofs. They didn't just run computer simulations or suggest a possibility; they derived exact formulas and proved that if the conditions are met, the fouling map exists and the constants of motion are guaranteed. They also explicitly constructed examples on the Euclidean plane and the 2-sphere, solving the differential equations required to find the specific shapes of these maps. For instance, on the 2-sphere, they found that for a potential energy function like $V = \sin^2\theta$ , there exists a non-trivial fouling map that generates new constants of motion. This is significant because, as the authors note, there were previously no known examples of such non-trivial transformations for natural Hamiltonian systems on curved spaces.

In essence, this paper provides a toolkit for physicists and mathematicians to uncover hidden symmetries in complex mechanical systems. By using these "fouling maps," they can turn a messy, unsolvable problem into one with a clear set of unchanging rules. The method is constructive, meaning it tells you exactly how to build the map if the system allows it, and it works for a wide variety of potentials and geometries. The authors have successfully expanded the toolkit for finding "cheat codes" in the universe of classical mechanics, showing that even on curved, complicated surfaces, there are hidden patterns waiting to be discovered if you know how to look through the right mathematical lens.

Technical Summary: Fouling Maps and Polynomial First Integrals from Symmetric Tensor Fields

Problem Statement
The paper addresses the challenge of constructing polynomial constants of motion (first integrals) for mechanical Hamiltonian systems defined on the cotangent bundle $T^*Q$ of a configuration space $Q$ . While canonical transformations and canonoid transformations (which preserve the Hamiltonian form of equations of motion) are known to generate constants of motion, explicit examples of canonoid transformations are scarce, particularly for mechanical systems on curved spaces. Existing methods often rely on generating functions that lead to difficult differential equations. The authors specifically target "fouling transformations"—a subclass of canonoid transformations that preserve configuration coordinates—which have historically yielded only a few explicit examples. The paper seeks to generalize these transformations into "fouling maps" (non-invertible bundle maps over the identity) and provide a systematic tensorial method to construct them and their associated polynomial invariants.

Methodology
The authors develop a geometric framework on the cotangent bundle $T^*Q$ equipped with a canonical symplectic structure.

Definition of Fouling Maps: They define a fouling map $\Psi$ for a Hamiltonian $H$ as a bundle map over the identity such that the pullback of the canonical symplectic form, $\omega_\Psi = \Psi^*\omega_Q$ , is invariant under the Hamiltonian flow ( $L_{X_H}\omega_\Psi = 0$ ). This generalizes fouling transformations by relaxing the requirement that $\Psi$ be a diffeomorphism and that $\omega_\Psi$ be exact.
Tensorial Construction: The core methodology establishes a one-to-one correspondence between bundle maps over the identity and semi-basic 1-forms. For mechanical Hamiltonians ( $H = K + V$ ), the authors focus on maps induced by symmetric $(k+1, 0)$ -tensor fields on the base manifold $Q$ .
Induced Invariants: They prove that any fouling map $\Psi$ induces a $(1, 1)$ -tensor field $L_\Psi$ on $T^*Q$ that is invariant under the Hamiltonian flow. Consequently, the traces of the powers of $L_\Psi$ ( $\text{Tr}(L_\Psi^l)$ ) constitute constants of motion.
Polynomial Characterization: By restricting the inducing tensors to be symmetric, the resulting bundle maps become polynomial in the momentum coordinates. The authors derive necessary and sufficient conditions on the symmetric tensors and the potential $V$ for the induced map to be a fouling map. These conditions involve the vanishing of specific tensor fields constructed from the Levi-Civita connection and the potential gradient.

Key Contributions and Results

Generalized Framework: The paper introduces "fouling maps" as a non-invertible generalization of fouling transformations, allowing for a broader class of symmetries that still yield polynomial integrals of motion.
Characterization Theorems:
- For a mechanical Hamiltonian $H = \frac{1}{2}g^{ij}p_i p_j + V$ , the authors completely characterize polynomial fouling maps arising from finite sums of bundle maps induced by symmetric tensors $T_0, T_1, \dots, T_s$ .
- Theorem 4.10 provides the specific conditions: For a sum of maps induced by tensors $T_k$ , the map is a fouling map if and only if a recursive system of tensor equations holds. Specifically, for $k < s$ , the tensor $R_{T_k}$ (constructed from the covariant derivative of $T_k$ ) must equal the interior product of the potential gradient with $T_{k+2}$ ( $R_{T_k} = i_{\nabla V} T_{k+2}$ ), while the highest order tensors must satisfy $R_{T_s} = R_{T_{s-1}} = 0$ . Additionally, a closedness condition on a 1-form derived from $T_1$ and $V$ is required.
Explicit Examples: The paper provides concrete constructions of fouling maps and their associated polynomial first integrals for:
- The Euclidean Plane ( $E^2$ ): Examples include the isotropic harmonic oscillator and systems with linear potentials, demonstrating maps of degree 1, 2, and 3.
- The 2-Sphere ( $S^2$ ): The authors construct non-trivial fouling maps for natural Hamiltonian systems on the sphere with specific potentials (e.g., degenerate quadratic Neumann potentials).
- Liouville Metrics: An example is presented on a Riemannian manifold with a Liouville metric, showing the applicability of the method to non-trivial curved geometries.
Polynomial Integrals: In all examples, the traces of the powers of the induced tensor $L_\Psi$ yield explicit polynomial functions of the momenta that are constants of motion.

Significance and Claims
The paper claims to provide a constructive, tensorial method for generating polynomial constants of motion for mechanical systems, bypassing the difficult generating function equations associated with traditional canonoid transformations.

Novelty in Curved Spaces: The authors explicitly state that, to their knowledge, there are no existing examples of non-trivial fouling (or canonoid) transformations for natural Hamiltonian systems on curved spaces in the literature. Their examples on the 2-sphere and Liouville manifolds represent the first such constructions.
Integrability: The method offers a pathway to identifying superintegrable systems by generating higher-order polynomial integrals.
Generality: By moving from invertible transformations to non-invertible maps, the framework expands the set of available symmetries for finding integrals of motion.

The authors maintain a modest tone, noting that while the method is constructive, solving the resulting system of partial differential equations for the tensor coefficients remains a non-trivial task dependent on the specific potential and geometry. The work is presented as a theoretical tool for the study of integrable and superintegrable systems within the framework of time-independent Hamiltonian mechanics.

More like this