Modified Marsden–Meyer–Weinstein Reduction

• Modified Marsden–Meyer–Weinstein reduction is a framework that generalizes classical symplectic reduction to hybrid systems with discontinuous transitions and non-equivariant momentum maps.
• It employs affine momentum maps altered by a 1-cocycle, ensuring consistent reduction across level shifts induced by impact maps in hybrid dynamics.
• This approach enables the systematic reduction of complex dynamics in control, robotics, and multi-stage systems by descending symplectic forms and corresponding impact maps to reduced spaces.

The modified Marsden–Meyer–Weinstein (MMW) reduction theorem extends classical symplectic reduction to hybrid Hamiltonian systems, accommodating the crucial case where the momentum map may fail to be equivariant and the impact map may not preserve the momentum values. This generalization is fundamental for hybrid systems occurring in control, robotics, and multistage dynamical settings, where phase transitions are dictated by discontinuous events and symmetries interact nontrivially with the system’s switching surfaces.

1. Mathematical Setting: Hybrid Hamiltonian Systems and Non-Equivariant Momentum Maps

A simple hybrid system is defined by the data $\mathcal{H} = (D, X, S, \Delta)$, where $D$ is a smooth manifold (the domain), $X\in \mathfrak X(D)$ is the vector field generating continuous evolution, $S\subset D$ is an embedded codimension-one submanifold (the switching surface), and $\Delta:S\to D$ is the impact or reset map. Trajectories $\gamma:I\to D$ evolve under $\dot\gamma(t) = X(\gamma(t))$ until they reach the guard $S$, at which point they are instantaneously mapped by $\Delta$; except for measure-zero Zeno phenomena, impacts and resets are assumed discrete.

A hybrid Hamiltonian system further specifies:

• $(D,\omega)$ a symplectic manifold,
• $D$0 a Hamiltonian function with $D$1 the associated Hamiltonian vector field: $D$2.

For a Lie group $D$3 acting symplectically on $D$4 (i.e., $D$5 for all $D$6), the momentum map $D$7 satisfies

$D$8

where $D$9 is the infinitesimal generator associated to $X\in \mathfrak X(D)$0.

In the non-equivariant case, the momentum map $X\in \mathfrak X(D)$1 need not satisfy $X\in \mathfrak X(D)$2, but instead,

$X\in \mathfrak X(D)$3

for some 1-cocycle $X\in \mathfrak X(D)$4. This defines an affine $X\in \mathfrak X(D)$5-action on $X\in \mathfrak X(D)$6: $X\in \mathfrak X(D)$7 Associated isotropy subgroups for $X\in \mathfrak X(D)$8 under this affine action play a central role in the reduction theorem.

A hybrid Hamiltonian $X\in \mathfrak X(D)$9-space incorporates these ingredients, and further requires $S\subset D$0 to be compatible:

• The action restricts to $S\subset D$1 and $S\subset D$2 is $S\subset D$3-equivariant ($S\subset D$4).
• The generalized hybrid momentum condition: For each regular value $S\subset D$5, $S\subset D$6 for a regular value $S\subset D$7.

2. Statement of the Modified Reduction Theorem

Let $S\subset D$8 be a hybrid Hamiltonian $S\subset D$9-space. Fix a sequence of hybrid regular values $\Delta:S\to D$0 such that

$\Delta:S\to D$1

Let $\Delta:S\to D$2 be the isotropy subgroup of $\Delta:S\to D$3 under the affine action $\Delta:S\to D$4.

Assume:

• $\Delta:S\to D$5 acts freely and properly on each $\Delta:S\to D$6.

Then:

• Each $\Delta:S\to D$7 and $\Delta:S\to D$8 are smooth manifolds, denoted $\Delta:S\to D$9 and $\gamma:I\to D$0.
• $\gamma:I\to D$1 descends to a smooth impact map $\gamma:I\to D$2.
• The reduced hybrid system is $\gamma:I\to D$3, where
  • $\gamma:I\to D$4 is the unique reduced Hamiltonian with $\gamma:I\to D$5,
  • $\gamma:I\to D$6 is its Hamiltonian vector field w.r.t. the reduced symplectic form $\gamma:I\to D$7, specified by $\gamma:I\to D$8.

Hybrid trajectories project compatibly: any $\gamma:I\to D$9 starting at $\dot\gamma(t) = X(\gamma(t))$0 projects to a reduced hybrid flow $\dot\gamma(t) = X(\gamma(t))$1.

3. The Role of Non-Equivariance: Affine Momentum Maps and Isotropy Subgroups

Central to the modified reduction is the use of affine (non-equivariant) momentum maps. The momentum map’s failure of equivariance is measured by a group 1-cocycle $\dot\gamma(t) = X(\gamma(t))$2, leading to the affine action

$\dot\gamma(t) = X(\gamma(t))$3

Isotropy groups for this action, $\dot\gamma(t) = X(\gamma(t))$4, supplant the usual stabilizers in reduction. It is shown that under the condition $\dot\gamma(t) = X(\gamma(t))$5, we have $\dot\gamma(t) = X(\gamma(t))$6, permitting consistent reduction across hybrid transitions.

In reduction, each symplectic slice $\dot\gamma(t) = X(\gamma(t))$7 is quotiented by a fixed subgroup $\dot\gamma(t) = X(\gamma(t))$8, producing reduced spaces $\dot\gamma(t) = X(\gamma(t))$9 that properly inherit symplectic structures from the parent manifold.

4. Reduction Procedure and the Impact Map

Reduction proceeds as follows:

• For each index $S$0 and value $S$1, restrict to the level set $S$2 (or $S$3 for the guard), then quotient by the fixed group $S$4.
• Because the group action is hybrid-equivariant (compatible with $S$5), the impact map descends to the quotient level consistently, $S$6.

This construction does not require the original momentum map to be equivariant, nor the impact map to preserve the value of the momentum. The critical hybrid momentum condition ensures each reduced transition is well defined.

5. Distinction from Classical Marsden–Weinstein–Meyer Reduction

Classical MMW reduction is only applicable when momentum maps are equivariant and the group action is properly aligned with transitions. The modified theorem allows:

• Affine momentum maps arising from nontrivial cocycles,
• Impact maps $S$7 mapping level sets across different momentum values, provided isotropy groups under the affine action remain constant.

Proof techniques adapt the basic descent lemma for symplectic forms to the affine isotropy context. Invariant Hamiltonians and flows descend naturally. All key formulas (e.g., for reduced symplectic forms, Hamiltonians, and flows) retain the structure $S$8, maintaining compatibility with the classical theory when equivariance holds.

6. Explicit Example

As detailed in (Colombo et al., 28 Mar 2025), consider $S$9, $\Delta$0, $\Delta$1 acting via $\Delta$2, a non-cotangent lift. The momentum map is $\Delta$3. The cocycle is $\Delta$4. The affine action is $\Delta$5, whose isotropy group is trivial.

Given an invariant Hamiltonian $\Delta$6, and an impact surface $\Delta$7,

• The reduced spaces are $\Delta$8, $\Delta$9, coordinatized by $(D,\omega)$0,
• The reduced Hamiltonian is $(D,\omega)$1,
• The reduced guard is $(D,\omega)$2,
• The reduced impact map transforms $(D,\omega)$3 via $(D,\omega)$4, conforming to the hybrid structure.

This exemplifies effective reduction through non-equivariant momentum maps, with all reduced transitions realized in the quotient setting.

7. Applications and Significance

The modified MMW theorem for hybrid Hamiltonian systems enables rigorous reduction in domains where traditional equivariance fails—especially in control domains with resets, hybrid robotics, and networked dynamical systems with symmetry. Crucially, it validates consistent reduced dynamics even when group symmetries interact nontrivially with system impacts and discontinuities. This generalization recovers classical symplectic reduction as a special case when the momentum map is equivariant and the impact map preserves levels, establishing the fully flexible foundation required for modern hybrid dynamical analysis (Colombo et al., 28 Mar 2025).