Multisymplectic Structure in Field Theory

• Multisymplectic structure is a geometric framework defined by closed, nondegenerate (k+1)-forms that extend classical symplectic geometry to field theories.
• It enables the formulation of Hamiltonian multivector fields, momentum maps, and L∞-algebraic structures, providing tools for reduction and quantization in covariant mechanics.
• Its applications span structure-preserving discretizations and integrators, offering practical advantages in simulating classical and quantum field theoretic models.

A multisymplectic structure is a core geometric object governing covariant Hamiltonian field theories, variational principles, graded Poisson structures, and structure-preserving discretizations in both classical and quantum contexts. Generalizing symplectic geometry beyond mechanics, multisymplectic structures utilize closed, nondegenerate differential forms of degree greater than two to define the appropriate phase space geometry for classical field theories, the algebra of observables, and their reduction and quantization. The modern framework encompasses rich algebraic, topological, and computational dimensions, underpinning both the geometric theory and numerics of classical and field-theoretic models.

1. Foundational Definition and Nondegeneracy

A multisymplectic manifold (also called $k$-plectic or $n$-plectic) is a pair $(M,\omega)$ where $M$ is a smooth manifold and $\omega\in\Omega^{k+1}(M)$ is a closed, nondegenerate $(k+1)$-form satisfying $d\omega=0$, and at each $x\in M$ the contraction map

$$\mathrm{flat}_1|_x : T_xM \to \Lambda^k T_x^*M,\qquad v\mapsto \iota_v\omega_x$$

is injective, i.e., $\iota_v\omega_x=0\implies v=0$ (León et al., 2024, Bernardy, 14 May 2025, Delgado, 2018, Lucas et al., 2022). For $n$0, this reduces to symplectic geometry; for higher $n$1, the geometry encodes multi-momentum maps, field theory phase spaces, and generalizations of Poisson brackets.

Local Darboux-type coordinates exist: for example, a 2-plectic form on $n$2 is $n$3 (Bernardy, 14 May 2025). The nondegeneracy is essential for obtaining unique Hamiltonian multivector fields and for the integrability of multisymplectic flows.

2. Hamiltonian Multivector Fields, $n$4-Algebras, and Graded Brackets

The generalization of Hamiltonian vector fields is realized by Hamiltonian multivector fields $n$5, satisfying $n$6 for some $n$7-form $n$8 (Hamiltonian form). The space of Hamiltonian $n$9-fields modulo kernel yields $(M,\omega)$0, which is isomorphic to $(M,\omega)$1, the space of Hamiltonian differential forms modulo closed forms (León et al., 2024).

A graded Lie structure is induced via the Schouten–Nijenhuis bracket: $(M,\omega)$2 which descends to a graded Lie bracket on Hamiltonian forms: $(M,\omega)$3 with appropriate Koszul signs (León et al., 2024, Delgado, 2018, Bernardy, 14 May 2025). The full structure is encoded by an $(M,\omega)$4-algebra, where the higher brackets $(M,\omega)$5 on Hamiltonian $(M,\omega)$6-forms satisfy the strong homotopy Jacobi identities, and emerge naturally from the underlying Gerstenhaber algebra of multivectors (Delgado, 2018, Bernardy, 14 May 2025).

These algebraic structures replace the traditional Poisson algebra: the observables in multisymplectic geometry are graded, and their algebra is inherently homotopical.

3. Momentum Maps, Homotopy Momentum Maps, and Reduction

Hamiltonian group actions generalize to the homotopy momentum map, implemented as an $(M,\omega)$7-morphism from a Lie (or $(M,\omega)$8)-algebra $(M,\omega)$9 to the $M$0-algebra of Hamiltonian forms on $M$1 (Bernardy, 14 May 2025, Delgado, 2018, Ikeda, 2023). Explicitly, for a symmetry algebra $M$2 acting infinitesimally by $M$3, a homotopy momentum map is a collection $M$4 satisfying

$M$5

with Chevalley–Eilenberg differential $M$6. For $M$7, this recovers the classical moment map condition (Bernardy, 14 May 2025).

Reduction is performed at the level of homotopy zero-locus $M$8 of fields annihilated by all Noether currents (i.e., whose pullback of $M$9 is closed), leading to reduced phase spaces and reduced multisymplectic forms $\omega\in\Omega^{k+1}(M)$0 on the quotient $\omega\in\Omega^{k+1}(M)$1 (Bernardy, 14 May 2025). In favorable settings, the higher components of the momentum map descend, providing the $\omega\in\Omega^{k+1}(M)$2-structure on the reduced model. The geometric paradigm mimics coisotropic reduction in symplectic geometry, now applied to the context of graded observables and field theories (León et al., 2024).

4. Coisotropic and Lagrangian Structures; Dirac and Higher Poisson Geometry

A submanifold $\omega\in\Omega^{k+1}(M)$3 of $\omega\in\Omega^{k+1}(M)$4 is $\omega\in\Omega^{k+1}(M)$5-coisotropic if $\omega\in\Omega^{k+1}(M)$6, where $\omega\in\Omega^{k+1}(M)$7 consists of tangent vectors $\omega\in\Omega^{k+1}(M)$8 annihilating the contraction with $\omega\in\Omega^{k+1}(M)$9 vectors in $(k+1)$0 (León et al., 2024). For a $(k+1)$1-coisotropic $(k+1)$2, the Hamiltonian $(k+1)$3-forms vanishing on $(k+1)$4 form a Lie subalgebra. Coisotropic reduction produces new multisymplectic spaces, paralleling constraint reduction in classical mechanics.

Lagrangian submanifolds generalize to submanifolds complementary to the coisotropics; their projections under reduction yield structurally preserved solutions, interpreted as reduced dynamics (León et al., 2024).

More broadly, multisymplectic structures fit into higher Dirac geometry. A multisymplectic form $(k+1)$5 is encoded by the graph $(k+1)$6, a weakly Lagrangian, involutive subbundle under the higher Courant–Dorfman bracket. The integration theory leads to multisymplectic groupoids carrying multiplicative closed $(k+1)$7-forms (Bursztyn et al., 2016).

5. Applications to Field Theory and Covariant Variational Calculus

Multisymplectic geometry is central to geometric formulations of classical field theory—on jet bundles, infinite jet spaces, and multimomentum bundles (Gaset et al., 2016, Brilleslijper et al., 5 Dec 2025). The Poincaré–Cartan forms and their exterior derivatives provide multisymplectic $(k+1)$8-forms on bundle spaces over spacetime ($(k+1)$9-dimensional base), with field equations derivable via variational principles. The multisymplectic conservation law, for example,

$d\omega=0$0

expresses the divergence-free nature of the derived 2-forms and is the local geometric content of Noether's theorem in the field theoretic and multisymplectic setting (Demoures et al., 2013, McLachlan et al., 2014, Brilleslijper et al., 5 Dec 2025). Noether currents and generalized conserved quantities are now degree-graded forms reflecting symmetries of the Cartan form (Gaset et al., 2016, Brilleslijper et al., 5 Dec 2025).

Generalizations include bundle-valued multisymplectic forms (e.g., hyperkähler or quaternionic Kähler geometries) where the closed $d\omega=0$1-form takes values in a vector bundle equipped with a connection; such generalizations support homotopy momentum sections and the Marsden–Weinstein–Meyer reduction at the vector-valued level (Hirota et al., 2023).

6. Discrete Multisymplectic Geometry and Structure-Preserving Integrators

Discretization of multisymplectic field theories, either on uniform or nonuniform meshes, is governed by discrete multisymplectic conservation laws and the difference variational bicomplex (Peng et al., 2023, McLachlan et al., 2014, Demoures et al., 2013). Discrete variational integrators built from locally defined discrete Cartan forms and their exterior differences preserve discrete versions of multisymplectic forms, ensuring that discrete flows exactly maintain symplecticity across space and time slices (McLachlan et al., 2014, Demoures et al., 2013).

The diamond scheme and discrete bicomplex methods achieve local implicitness, parallelism, and boundary compatibility, while guaranteeing discrete analogues of the conservation laws fundamental to the geometry (McLachlan et al., 2014, Peng et al., 2023). Multisymplectic integrators have also been applied in deep learning by discretizing mean-field frameworks of stochastic neural network training into multisymplectic schemes, leading to stability bounds depending on network architecture parameters (Ganaba, 2022).

7. Further Extensions: Homotopical, Stochastic, and Contact-Generalized Structures

Stochastic multisymplectic systems are constructed via stochastic variational principles, leading to stochastic conservation laws for multisymplectic $d\omega=0$2- and $d\omega=0$3-forms and structure-preserving stochastic integrators (Hu et al., 28 Jan 2025).

Homotopy-theoretic aspects are formalized via $d\omega=0$4-algebras and allow the unification of momentum maps, higher Poisson structures, twisted Poisson and $d\omega=0$5-Poisson geometries, and their momentum section interpretations (Delgado, 2018, Ikeda, 2023). The compatible $d\omega=0$6-$d\omega=0$7-form framework gives further unification under Lie algebroids and algebroid-valued momentum maps (Ikeda, 2023).

Multisymplectization of multicontact structures canonically produces multisymplectic manifolds, allowing one to relate graded Jacobi brackets in contact geometry to Poisson-type brackets and field equations in the multisymplectic regime, with explicit construction for dissipative field theories (León et al., 19 May 2025).

---

In sum, the multisymplectic structure provides the technical and conceptual backbone of covariant geometric mechanics, field theory, and their modern generalizations, from algebraic and variational formulations to numerical and quantum applications. The theory is centered on $d\omega=0$8-algebraic structures, reduction theory, and the discrete realization of their conservation laws in computational and physical models (León et al., 2024, Bernardy, 14 May 2025, Delgado, 2018, Brilleslijper et al., 5 Dec 2025, Demoures et al., 2013, McLachlan et al., 2014, Peng et al., 2023, Hu et al., 28 Jan 2025).