Lagrangian reduction of discrete mechanical systems by stages

TL;DR

This paper develops a categorical framework for discrete Lagrangian systems, introducing a staged reduction process that simplifies systems with symmetry while preserving their structure.

Contribution

It introduces the LP_d category for discrete Lagrange--Poincare systems and establishes a staged reduction method compatible with this framework.

Findings

Discrete systems form objects in LP_d

Reduction by stages is isomorphic to full reduction under certain conditions

The framework unifies reduction procedures for symmetric discrete systems

Abstract

In this work we introduce a category of discrete Lagrange--Poincare systems LP_d and study some of its properties. In particular, we show that the discrete mechanical systems and the discrete mechanical systems obtained by the Lagrangian reduction of symmetric discrete mechanical systems are objects in LP_d. We introduce a notion of symmetry groups for objects of LP_d and introduce a reduction procedure that is closed in the category LP_d. Furthermore, under some conditions, we show that the reduction in two steps (first by a closed normal subgroup of the symmetry group and then by the residual symmetry group) is isomorphic in LP_d to the reduction by the full symmetry group.