pith. sign in

arxiv: 2604.08288 · v1 · submitted 2026-04-09 · 🧮 math.DG · math-ph· math.MP

Lie-Poisson reduction in principal bundles by a subgroup of the structure group

Miguel \'Angel Berbel , Marco Castrill\'on L\'opez This is my paper

Pith reviewed 2026-05-10 17:15 UTC · model grok-4.3

classification 🧮 math.DG math-phmath.MP
keywords Lie-Poisson reductionprincipal bundlesmultisymplectic geometryHamiltonian field theoriescovariant bracketssymmetry reductionreconstruction problem
0
0 comments X

The pith

Hamiltonian field theories on principal G-bundles reduce to Lie-Poisson form when their densities are invariant under a subgroup H of G.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper shows how to carry out symmetry reduction for infinite-dimensional Hamiltonian field theories whose phase space is the multisymplectic bundle of a principal G-bundle. When the Hamiltonian densities are invariant under the action of a subgroup H inside G, the covariant bracket formulation produces a reduced polysymplectic space together with reduced observables, brackets, and equations of motion that take Lie-Poisson shape. The same construction yields a reconstruction theorem that recovers the original dynamics precisely when an associated connection is flat. Concrete illustrations include the heavy top, molecular strands with broken symmetry, and affine principal bundles.

Core claim

When Hamiltonian densities on the multisymplectic bundle of a principal G-bundle are invariant under a subgroup H subset G, the covariant bracket formulation reduces the polysymplectic space to a Lie-Poisson structure; the reduced observables and brackets are derived directly, the equations of motion become Lie-Poisson, and reconstruction of the original fields holds if and only if a canonically associated connection is flat.

What carries the argument

The covariant bracket on the multisymplectic bundle of the principal G-bundle, which encodes the invariance under H and produces the reduced Lie-Poisson data.

If this is right

  • The reduced space carries a Lie-Poisson bracket whose Poisson structure is induced by the original covariant bracket.
  • Equations of motion on the reduced space are Lie-Poisson evolution equations for the reduced observables.
  • Reconstruction of solutions to the original field theory is possible exactly when the curvature of the associated connection vanishes.
  • The same reduction procedure applies verbatim to the listed examples, recovering their known reduced dynamics.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The flat-connection reconstruction condition may serve as a geometric integrability test for other symmetric field theories not treated in the paper.
  • The reduced Lie-Poisson structure offers a starting point for numerical integrators that preserve the symmetry-reduced geometry of molecular or fluid models.
  • Because the construction uses only the covariant bracket, it extends in principle to any multisymplectic field theory whose symmetry group admits a subgroup reduction.

Load-bearing premise

The Hamiltonian densities remain invariant under the subgroup H acting on the multisymplectic bundle.

What would settle it

A direct calculation on the heavy-top example in which the reduced equations obtained by the covariant bracket fail to coincide with the known Lie-Poisson equations for the reduced variables.

read the original abstract

We study Hamiltonian field theories on the multisymplectic bundle of a principal G-bundle with Hamiltonian densities invariant under a subgroup $H\subset G$. Using the covariant bracket formulation, we reduce the polysymplectic space and derive the corresponding reduced observables, brackets, and equations of motion, yielding a Lie--Poisson reduction by a subgroup for field theories. We also address the reconstruction problem, characterizing reconstruction in terms of the flatness of an associated connection. Several examples, including the heavy top, molecular strands with broken symmetry, and affine principal bundles, illustrate the general framework.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The paper develops a Lie-Poisson reduction procedure for Hamiltonian field theories defined on the multisymplectic bundle of a principal G-bundle, under the assumption that the Hamiltonian densities are invariant under a subgroup H ⊂ G. Using the covariant bracket formulation, the authors reduce the polysymplectic structure to obtain reduced observables, brackets, and equations of motion. They characterize the reconstruction problem via flatness of an associated connection and illustrate the framework with examples including the heavy top, molecular strands with broken symmetry, and affine principal bundles.

Significance. If the derivations are correct, the work provides a systematic extension of classical Lie-Poisson reduction to multisymplectic field theories with partial symmetry breaking. The covariant-bracket approach, explicit reconstruction criterion, and concrete examples (heavy top, strands, affine bundles) constitute a coherent contribution that could be useful for geometric mechanics and symmetry-reduced PDEs.

minor comments (3)
  1. [§2.3] §2.3, definition of the reduced covariant bracket: the passage from the original polysymplectic form to the reduced bracket on the quotient should include an explicit verification that the bracket is well-defined on H-invariant functions (currently only sketched).
  2. [Example 4.2] Example 4.2 (molecular strands): the reduced equations of motion are stated but the explicit form of the reduced Hamiltonian density after quotienting by H is not written out; adding one line would make the reduction step transparent.
  3. [§3, §5] Notation: the symbol for the covariant bracket is overloaded between the original and reduced spaces; a subscript or prime would remove ambiguity in §3 and §5.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, the clear summary of its contributions, and the recommendation for minor revision. We appreciate the recognition that the covariant-bracket approach, reconstruction criterion, and examples form a coherent extension of Lie-Poisson reduction to multisymplectic field theories.

Circularity Check

0 steps flagged

Derivation self-contained; no circular reductions detected

full rationale

The paper constructs a Lie-Poisson reduction for field theories on multisymplectic bundles of principal G-bundles by assuming invariance of Hamiltonian densities under a subgroup H and applying the covariant bracket formulation. This yields reduced observables, brackets, and dynamics, with reconstruction tied to flatness of an associated connection. The framework is illustrated by examples (heavy top, molecular strands, affine bundles) that apply the general procedure rather than presuppose its outputs. No load-bearing step equates a derived quantity to a fitted parameter or self-referential definition by construction, and no self-citation chain is invoked to force uniqueness of the reduction. The derivation remains independent of its target results.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Based solely on the abstract, no explicit free parameters, ad-hoc axioms, or invented entities are identified; the framework appears to rest on standard multisymplectic and Lie-Poisson structures from prior literature.

pith-pipeline@v0.9.0 · 5396 in / 1070 out tokens · 47441 ms · 2026-05-10T17:15:47.456716+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

29 extracted references · 29 canonical work pages

  1. [1]

    M. A. Berbel and M. Castrill´ on L´ opez. Poisson–Poincar´ e reduction for field theories.Journal of Geometry and Physics,191:104879, 2023

    work page 2023

  2. [2]

    M. A. Berbel and M. Castrill´ on L´ opez. Hamiltonian reduction in affine principal bundles. Geometric Mechanics,02(04):519–533, 2025

    work page 2025

  3. [3]

    Bursztyn, A

    H. Bursztyn, A. Cabrera, and D. Iglesias. Multisymplectic geometry and Lie groupoids. InGeometry, mechanics, and dynamics, volume73ofFields Inst. Commun., pages 57–73. Springer, New York, 2015

    work page 2015

  4. [4]

    Capriotti

    S. Capriotti. Differential geometry, Palatini gravity and reduction.J. Math. Phys., 55(1):012902, 29, 2014

    work page 2014

  5. [5]

    Capriotti and G

    S. Capriotti and G. Quij´ on. A hamiltonian formalism for general variational problems, with applications to first order gravity with basis.J. Geom. Phys.,217:10563655, 2025

    work page 2025

  6. [6]

    J. F. Cari˜ nena, M. Crampin, and L. A. Ibort. On the multisymplectic formalism for first order field theories.Differential Geom. Appl.,1(4):345–374, 1991

    work page 1991

  7. [7]

    Castrill´ on L´ opez, P

    M. Castrill´ on L´ opez, P. M. Chac´ on, and P. L. Garc´ ıa. Lagrange-Poincar´ e reduction in affine principal bundles.J. Geom. Mech.,5(4):399–414, 2013

    work page 2013

  8. [8]

    Castrill´ on L´ opez, P

    M. Castrill´ on L´ opez, P. L. Garc´ ıa, and C. Rodrigo. Euler-Poincar´ e reduction in principal bundles by a subgroup of the structure group.J. Geom. Phys.,74:352–369, 2013

    work page 2013

  9. [9]

    Castrill´ on L´ opez and J

    M. Castrill´ on L´ opez and J. E. Marsden. Some remarks on Lagrangian and Poisson reduction for field theories.J. Geom. Phys.,48(1):52–83, 2003

    work page 2003

  10. [10]

    De Le´ on and R

    M. De Le´ on and R. Izquierdo-L´ opez. Graded Poisson and graded Dirac structures.Journal of Mathematical Physics,66(2):022901, Feb. 2025. 21

    work page 2025

  11. [11]

    Echeverria-Enr´ ıques, M

    A. Echeverria-Enr´ ıques, M. C. Mu˜ noz Lecanda, and N. Rom´ an-Roy. Geometry of multi- symplectic Hamiltonian first-order field theories.J. Math. Phys.,41(11), 2000

    work page 2000

  12. [12]

    Echeverr´ ıa-Enr´ ıquez, M

    A. Echeverr´ ıa-Enr´ ıquez, M. C. Mu˜ noz Lecanda, and N. Rom´ an-Roy. Multivector field for- mulation of Hamiltonian field theories: equations and symmetries.J. Phys. A,32(48):8461– 8484, 1999

    work page 1999

  13. [13]

    Echeverr´ ıa-Enr´ ıquez, M

    A. Echeverr´ ıa-Enr´ ıquez, M. C. Mu˜ noz Lecanda, and N. Rom´ an-Roy. Remarks on multisym- plectic reduction.Rep. Math. Phys.,81(3):415–424, 2018

    work page 2018

  14. [14]

    D. C. P. Ellis, F. Gay-Balmaz, D. D. Holm, V. Putkaradze, and T. S. Ratiu. Symmetry reduced dynamics of charged molecular strands.Arch. Ration. Mech. Anal.,197(3):811–902, 2010

    work page 2010

  15. [15]

    Forger and M

    M. Forger and M. O. Salles. On covariant Poisson brackets in classical field theory.J. Math. Phys.,56(10):102901, 26, 2015

    work page 2015

  16. [16]

    Gaset and N

    J. Gaset and N. Rom´ an-Roy. New multisymplectic approach to the metric-affine (Einstein- Palatini) action for gravity.J. Geom. Mech.,11(3):361–396, 2019

    work page 2019

  17. [17]

    Gay-Balmaz, J

    F. Gay-Balmaz, J. C. Marrero, and N. Mart´ ınez Alba. A new canonical affine bracket formulation of Hamiltonian classical field theories of first order.Rev. R. Acad. Cienc. Exactas F´ ıs. Nat. Ser. A Mat. RACSAM,118(3):Paper No. 103, 60, 2024

    work page 2024

  18. [18]

    Gay-Balmaz and T

    F. Gay-Balmaz and T. S. Ratiu. Affine Lie-Poisson reduction, Yang-Mills magnetohydro- dynamics, and superfluids.J. Phys. A,41(34):344007, 2008

    work page 2008

  19. [19]

    M. J. Gotay, J. Isenberg, J. E. Marsden, and R. Montgomery. Momentum maps and classical relativistic fields. part I: Covariant field theory. arXiv: 9801019, 2004

    work page 2004

  20. [20]

    D. D. Holm and R. I. Ivanov. Matrix G-strands.Nonlinearity,27(6):1445–1469, 2014

    work page 2014

  21. [21]

    D. D. Holm, R. I. Ivanov, and J. R. Percival. G-strands.J. Nonlinear Sci.,22(4):517–551, 2012

    work page 2012

  22. [22]

    I. V. Kanatchikov. Canonical structure of classical field theory in the polymomentum phase space.Rep. Math. Phys.,41(1):49–90, 1998

    work page 1998

  23. [23]

    Kobayashi and K

    S. Kobayashi and K. Nomizu.Foundations of differential geometry. Vol I. Interscience Publishers, a division of John Wiley & Sons, New York-Lond on, 1963

    work page 1963

  24. [24]

    Kol´ aˇ r, J

    I. Kol´ aˇ r, J. Slov´ ak, and P. W. Michor.Natural Operations in Differential Geometry. Springer Berlin Heidelberg, 1993

    work page 1993

  25. [25]

    T. B. Madsen and A. Swann. Multi-moment maps.Adv. Math.,229(4):2287–2309, 2012

    work page 2012

  26. [26]

    T. B. Madsen and A. Swann. Closed forms and multi-moment maps.Geom. Dedicata, 165:25–52, 2013

    work page 2013

  27. [27]

    J. E. Marsden, R. Montgomery, P. J. Morrison, and W. B. Thompson. Covariant Poisson brackets for classical fields.Ann. Physics,169(1):29–47, 1986

    work page 1986

  28. [28]

    J. E. Marsden and T. S. Ratiu.Introduction to Mechanics and Symmetry: A Basic Exposi- tion of Classical Mechanical Systems, volume17ofTexts in Applied Mathematics. Springer, New York, NY, 2 edition, 1999

    work page 1999

  29. [29]

    D. J. Saunders.The Geometry of Jet Bundles. Number 142 in London Mathematical Society Lecture Note Series. Cambridge University Press, 1989. 22

    work page 1989