🔢 mathematics

Reduction of symmetric time-dependent Hamiltonian systems I: presymplectic principal $\mathbb{R}$ -bundles

This paper presents a generalized reduction framework for time-dependent Hamiltonian systems by combining cotangent bundle reduction with the reduction of corank 1 and 2 presymplectic structures, thereby overcoming limitations of the original Albert reduction and extending previous work through the application of an extended formalism to presymplectic principal $\mathbb{R}$ -bundles.

Original authors: C. Ben\'ıtez, D. Iglesias Ponte, J. C. Marrero, E. Padrón

Published 2026-08-31

📖 6 min read🧠 Deep dive

CC BY 4.0

Original authors: C. Ben\'ıtez, D. Iglesias Ponte, J. C. Marrero, E. 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 a world where the laws of physics are not just a set of rigid rules, but a landscape that shifts as time passes. In classical mechanics, scientists often study systems that are perfectly balanced and unchanging, like a pendulum swinging in a vacuum where the rules of motion remain constant forever. However, the real world is rarely so static. A satellite orbiting a planet while its engines fire, or a dancer spinning while the music tempo changes, are examples of systems where time itself is a variable that alters the rules of the game. For decades, mathematicians and physicists have struggled to simplify these complex, time-dependent systems. They wanted to strip away the unnecessary details caused by symmetry—repeating patterns in how the system moves—to reveal the core dynamics underneath. While methods existed for systems that do not change with time, applying those same methods to systems that evolve over time has been a persistent challenge, often hitting a wall when the time variable refuses to stay still.

A team of researchers from the University of La Laguna in Spain has now developed a new way to navigate this difficulty. They have created a mathematical framework that allows scientists to reduce the complexity of time-dependent mechanical systems without losing the essential information about how they move. Their work focuses on a specific type of geometric structure that describes the state of a system, known as a "presymplectic" structure. Think of this structure as a map that records not just where an object is and how fast it is going, but also how the very definition of "going" changes as time ticks forward. The researchers found that by treating time as a dimension that can shift, they could build a bridge between two different ways of looking at the same physical problem: one that includes the full history of the system's energy and another that focuses only on the immediate momentum.

The core of their discovery lies in how they handle symmetry. In physics, symmetry often means that if you rotate a system or move it to a different location, the laws governing it look the same. Usually, scientists assume that time behaves the same way, but in many real-world scenarios, a symmetry operation might actually change the time coordinate. For instance, a transformation might shift a system forward in time while also moving it in space. Previous methods struggled with this because they insisted that the time variable must remain fixed during these transformations. The new approach relaxes this rule. It allows the symmetry operations to slide the time variable, provided that the relationship between the system's position and time remains consistent. This flexibility is crucial because it opens the door to analyzing systems where the "clock" is part of the symmetry itself.

To make this work, the authors introduced a new kind of momentum map. In standard physics, a momentum map is a tool that helps identify quantities that remain constant as a system evolves, such as angular momentum in a spinning top. In this new framework, the momentum map is adjusted to account for the shifting time. It includes a correction term that depends on how the system's energy changes relative to the time shift. This adjustment ensures that even when the system is evolving in a complex, time-dependent way, there are still hidden constants of motion that can be used to simplify the equations. The researchers proved that these constants exist and can be used to reduce the system to a smaller, more manageable version without losing any physical accuracy.

The process they developed is like peeling an onion. First, they take the full description of the system, which includes all possible positions and momenta over time. Then, they use the symmetry to identify points that are essentially the same, just viewed from a different angle or at a different moment. By grouping these points together, they create a "reduced" space. This new space is smaller and simpler, yet it still contains all the necessary information to predict how the system will behave. Crucially, they showed that this reduced space retains a specific geometric structure that allows the laws of motion to be written down clearly. They demonstrated that the relationship between the full system and the reduced system is preserved, meaning that if you solve the problem in the smaller space, you can reconstruct the solution for the original, complex system.

To prove that their theory works, the team applied it to two distinct physical scenarios. The first was a harmonic oscillator, a system that bounces back and forth like a spring, but observed from a frame of reference that is moving at a constant speed. In this case, the observer's motion introduces a time-dependent shift. The researchers successfully used their method to simplify the equations, revealing a conserved quantity that depends explicitly on time. This is a significant achievement because older methods could not find such time-dependent constants, often forcing scientists to ignore the time-varying nature of the symmetry. The second example involved a more complex mechanical device known as Elroy's Beanie, which consists of two rigid bodies connected by a hinge, spinning in a plane while the entire system rotates with a constant angular velocity. Here, the time-dependence arises from the rotation of the observer. The team applied their reduction procedure to this system and found that it could be simplified into a lower-dimensional system that still accurately described the intricate dance of the two bodies.

The implications of this work are broad. By providing a rigorous way to handle time-dependent symmetries, the researchers have given physicists and engineers a powerful new tool for analyzing systems that were previously too difficult to simplify. Whether it is a spacecraft adjusting its trajectory while spinning, or a molecular machine operating under changing conditions, the ability to strip away redundant complexity is invaluable. The paper does not claim to solve every problem in mechanics, but it establishes a solid foundation for understanding how symmetry and time interact. It shows that even when the rules of the game are shifting, there is an underlying order that can be uncovered if one knows how to look. The authors suggest that this framework could be extended to even more complex scenarios in the future, potentially leading to new insights in fields ranging from robotics to celestial mechanics. Their work stands as a testament to the power of geometric thinking, proving that by changing the perspective on how we view time and symmetry, we can reveal the simple truths hidden within complex motion.

Technical Summary: Reduction of Symmetric Time-Dependent Hamiltonian Systems I: Presymplectic Principal R-Bundles

Problem Statement
The paper addresses the geometric reduction of time-dependent Hamiltonian systems possessing a symmetry Lie group $G$ . While the reduction of autonomous Hamiltonian systems on symplectic manifolds is well-established (e.g., Marsden-Weinstein reduction), extending these methods to time-dependent systems presents specific challenges. Previous approaches, such as those in [8], assumed that the symmetry group action preserves the configuration fibration $\Pi: Q \to \mathbb{R}$ (i.e., the action does not shift the time variable). This assumption is restrictive, as it precludes the existence of conserved quantities with explicit time dependence and fails to accommodate transformations that translate the time variable. The authors aim to develop a reduction framework that relaxes this condition, allowing the symmetry group to act on the configuration bundle in a way that does not necessarily preserve the fibration $\Pi$ , provided the action preserves the associated 1-form $\eta = \Pi^*(dt)$ .

Methodology
The authors employ the extended formalism of time-dependent Hamiltonian mechanics, utilizing the geometry of principal $\mathbb{R}$ -bundles and presymplectic structures.

Geometric Setting:
- The configuration space $Q$ is the total space of a fibration $\Pi: Q \to \mathbb{R}$ .
- The phase space of momenta is identified as the dual vertical bundle $V^*\Pi$ .
- The extended phase space is the cotangent bundle $T^*Q$ .
- A principal $\mathbb{R}$ -bundle structure $\mu: T^*Q \to V^*\Pi$ is established, where the projection is the dual of the inclusion of the vertical bundle $V\Pi \hookrightarrow TQ$ .
Presymplectic Structures:
- Given a Hamiltonian section $h: V^*\Pi \to T^*Q$ , the authors define a homogeneous Hamiltonian function $F_h: T^*Q \to \mathbb{R}$ .
- This section induces two closed 2-forms:
  - $\omega_h = \omega_Q + dF_h \wedge \eta_0$ on $T^*Q$ , which is a presymplectic structure of corank 2.
  - $\Omega_h = h^*\omega_Q$ on $V^*\Pi$ , which is a presymplectic structure of corank 1.
- The dynamics are encoded in vector fields $X^{\omega_Q}_{F_h}$ on $T^*Q$ and $R_h$ on $V^*\Pi$ , which are $\mu$ -projectable.
Symmetry and Momentum Maps:
- The authors assume a Lie group action $\phi$ on $Q$ such that the 1-form $\eta = \Pi^*(dt)$ is invariant ( $\phi_g^*\eta = \eta$ ). This implies $\Pi \circ \phi_g = \Pi + m(g)$ for a multiplicative function $m$ , or infinitesimally, the existence of a Lie algebra 1-cocycle $c_\phi: \mathfrak{g} \to \mathbb{R}$ .
- Under this condition, the cotangent lift action on $T^*Q$ and the induced action on $V^*\Pi$ are presymplectic.
- New momentum maps are constructed:
  - On $T^*Q$ : $J(\alpha_q) = J_c(\alpha_q) - F_h(\alpha_q)c_\phi$ , where $J_c$ is the canonical momentum map.
  - On $V^*\Pi$ : $J_V$ is induced by $J$ via the projection $\mu$ ( $J = J_V \circ \mu$ ).
- A version of Noether's theorem is proven, establishing that $J_V^\xi$ is a first integral of the time-dependent dynamics $R_h$ , even if it depends explicitly on time.
Reduction Procedure:
- For a regular value $\nu \in \mathfrak{g}^*$ , the authors perform reduction on both the extended space $(T^*Q, \omega_h)$ and the restricted space $(V^*\Pi, \Omega_h)$ .
- They prove that the quotient spaces $(T^*Q)_\nu = J^{-1}(\nu)/G_\nu$ and $(V^*\Pi)_\nu = J_V^{-1}(\nu)/G_\nu$ inherit presymplectic structures $\omega_h^\nu$ (corank 2) and $\Omega_h^\nu$ (corank 1), respectively.
- Crucially, the principal $\mathbb{R}$ -bundle structure is preserved: the reduced map $\mu_\nu: (T^*Q)_\nu \to (V^*\Pi)_\nu$ is a principal $\mathbb{R}$ -bundle, and the reduced dynamics and vector fields remain compatible with this structure.

Key Contributions and Results

Generalization of Symmetry Conditions: The paper generalizes previous reduction theories by relaxing the requirement that the symmetry group preserves the time fibration. It only requires the invariance of the 1-form $\Pi^*(dt)$ , allowing for time-translating symmetries.
Modified Momentum Maps: The construction of the momentum map $J$ incorporates a correction term involving the Hamiltonian function $F_h$ and the Lie algebra cocycle $c_\phi$ . This modification is essential for the reduction to work in the time-dependent setting.
Preservation of Bundle Structure: The reduction process successfully yields a reduced principal $\mathbb{R}$ -bundle connecting the reduced extended phase space and the reduced restricted phase space, preserving the geometric relationship between the two levels of description.
Explicit Examples: The theory is illustrated through two examples:
1. An $N$ -dimensional harmonic oscillator observed from a frame moving with constant velocity.
2. A time-dependent Elroy's Beanie (two rigid bodies hinged at their centers of mass) observed from a frame with constant angular velocity.
  In both cases, the authors explicitly compute the reduced spaces, presymplectic forms, and dynamics.

Significance and Claims
The authors claim that this work overcomes limitations of the original Albert reduction [2] and previous extensions [8] by accommodating symmetries that do not preserve the time variable. This allows for the identification of first integrals that depend explicitly on time, which were previously inaccessible in the reduction framework.

The paper emphasizes that the reduction procedure unifies the reduction of cotangent bundles with the reduction of presymplectic structures of corank 1 and 2. The authors note that to ensure the reduced structures maintain the expected coranks (2 and 1), one must exclude the relative equilibria of the Hamiltonian vector field $X^{\omega_Q}_{F_h}$ . The analysis of these relative equilibria and their stability is identified as a subject for future work.

Furthermore, the authors suggest that the current framework, based on presymplectic principal $\mathbb{R}$ -bundles, could be extended to symplectic principal $\mathbb{R}$ -bundles to further generalize the results of [8] to non-invariant fibrations, a direction they intend to pursue in subsequent research.

More like this