Multisymplectic AKSZ sigma models

This paper generalizes the AKSZ construction to multisymplectic sigma models by equipping the target $Q$-manifold with an arbitrary-degree closed form, thereby providing a unified, higher-derivative gauge-invariant framework that reformulates diverse theories such as higher-dimensional Chern-Simons theory, MacDowell-Mansouri-Stelle-West action, and self-dual gravity while connecting to standard multisymplectic formulations in PDE geometry.

The Gist

The Big Picture: Building a Universal Lego Set for Physics

Imagine you are a physicist trying to write the "rules of the game" for how the universe works. Usually, you have to invent a new set of rules (an action) for every different theory you want to study—whether it's electromagnetism, gravity, or exotic higher-dimensional forces.

This paper introduces a universal Lego kit (called the AKSZ construction) that can build almost any of these rulebooks automatically.

In the past, this kit only worked for "topological" theories—games where the shape of the board doesn't matter, only the connections between pieces. The authors of this paper have upgraded the kit. They added new types of bricks that allow the kit to build games where the shape of the board does matter (non-topological theories). They call this new, upgraded version "Multisymplectic AKSZ models."

The Core Ingredients: The Map and the Compass

To understand how this kit works, imagine you are trying to describe a journey. You need two things:

1. The Map (Target Space): A complex, multi-layered landscape where the journey happens. In this paper, this landscape is a "Q-manifold." Think of it as a city with different districts (degrees) and a special set of traffic rules (a vector field $Q$) that tells you how to move around without getting stuck.
2. The Compass (The Form $\Omega$): A special measuring tool that tells you how to calculate the "cost" or "energy" of a path.

The Old Kit (Standard AKSZ):
Previously, the compass had to be a perfect, non-degenerate 2D grid (like a standard map). If you used this, the resulting journey was always a "topological" one—meaning the path didn't care about time or distance, only about the twists and turns. This is great for things like the 3D Chern-Simons theory, but it couldn't describe real-world gravity or forces that change over time.

The New Kit (Multisymplectic AKSZ):
The authors realized you don't need a perfect 2D grid. You can use a weird, multi-dimensional, multi-layered compass (a form of arbitrary degree $\Omega$).

• The Analogy: Imagine instead of a flat map, you have a holographic 3D scanner that captures not just the path, but the curvature, the speed, and the history of the path all at once.
• The Result: By using this "scary" multi-dimensional compass, the kit can now generate action formulas for complex, real-world physics theories that involve higher derivatives (rates of change of rates of change).

How It Works: The "Chern-Weil" Translator

The paper introduces a clever translation tool called the Chern-Weil map.

• The Problem: The "Map" (Target Space) lives in a weird, abstract mathematical world. The "Journey" (Physics) happens in our real world (spacetime). How do you connect them?
• The Solution: The Chern-Weil map is like a universal translator. It takes the abstract rules from the Map and translates them into the language of our real world (differential forms).
• The Magic: The authors show that if you feed this translator a specific type of "closed" compass (one that doesn't change as you move), it automatically spits out a valid, gauge-invariant action (a set of physical laws) that works in any number of dimensions.

What Did They Build? (The Examples)

The authors didn't just invent the kit; they used it to rebuild several famous and difficult physics theories, showing that they all fit into this single framework:

1. Higher-Dimensional Chern-Simons Theory: Think of this as a 5D or 7D version of electromagnetism. The old kit could only do 3D. The new kit handles the higher dimensions effortlessly.
2. MacDowell-Mansouri-Stelle-West Gravity: This is a way of describing gravity (Einstein's theory) using the geometry of a larger, hidden space. The paper shows this complex gravity theory is just a specific configuration of their new Lego kit.
3. Self-Dual Gravity & Higher Spin Extensions: These are theories about gravity that spin in a specific way, and even theories involving particles with "higher spins" (more complex than electrons or photons). The paper shows these, too, can be built with this single construction.
4. Twistor Space & Sparling Gravity: These are very abstract ways of looking at gravity using complex geometry. The paper proves these are also just special cases of their new model.

The Connection to "Multisymplectic" Geometry

The title mentions "Multisymplectic." In simple terms, "symplectic" is a mathematical way of describing how energy and motion are conserved (like in classical mechanics). "Multisymplectic" is the version of this that works in multiple dimensions at once (space and time together), rather than just tracking time step-by-step.

The authors show that their new "Multisymplectic AKSZ" construction is mathematically identical to the standard way physicists describe these multi-dimensional systems. It's like discovering that two different languages (one from abstract algebra, one from differential geometry) are actually saying the exact same thing.

Summary of Claims

• The Upgrade: They generalized the AKSZ construction to use "multisymplectic" forms (forms of any degree) instead of just simple symplectic forms.
• The Mechanism: They used a version of the Chern-Weil map to translate abstract data into physical actions.
• The Outcome: This single framework successfully reformulates a wide variety of complex gauge theories (including higher-dimensional gravity and higher-spin theories) that were previously thought to be very different from one another.
• The Limitation: The paper focuses on the mathematical construction and reformulation of existing theories. It does not claim to have discovered new physical phenomena or to have solved unsolved problems in physics, but rather to have provided a unified, concise language to describe them.

In short, the paper says: "We found a master key that opens the doors to many different rooms in the house of theoretical physics, showing that they are all part of the same house."

Technical Summary

Technical Summary: Multisymplectic AKSZ Sigma Models

Problem Statement

The Alexandrov–Kontsevich–Schwarz–Zaboronsky (AKSZ) construction provides a powerful framework for defining topological sigma models using finite-dimensional symplectic Q-manifolds. In the standard AKSZ formalism, the target space is equipped with a closed, non-degenerate 2-form (symplectic form) $\omega$ and a homological vector field $Q$ ($Q^2=0$) that preserves $\omega$. Relaxing the non-degeneracy condition to a presymplectic form extends this to non-topological models, yet these remain largely first-order in derivatives.

A significant gap exists in understanding whether higher-derivative gauge theories—such as higher-dimensional Chern–Simons theories, MacDowell–Mansouri–Stelle–West (MMSW) gravity, and self-dual gravity—can be naturally formulated within a generalized AKSZ framework. Specifically, the authors investigate if the AKSZ construction can be extended to target spaces equipped with forms of arbitrary degree (potentially inhomogeneous) that are closed under the operator $(d + \mathcal{L}_Q)$, thereby defining a "multisymplectic" analogue of the AKSZ action.

Methodology

The authors generalize the AKSZ construction by introducing a multisymplectic AKSZ sigma model. The core methodology involves:

1. Generalized Target Data: Instead of a symplectic 2-form, the target Q-manifold $(M, Q)$ is equipped with a form $\Omega$ of total degree $n+1$ (where $n$ is the dimension of the source manifold $X$) such that $(d + \mathcal{L}_Q)\Omega = 0$. This form $\Omega$ may be inhomogeneous and potentially degenerate (pre-multisymplectic).
2. Chern–Weil Map: The action is formulated using a version of the Chern–Weil map, $\sigma^*_W$, introduced by Kotov and Strobl. This map lifts a morphism of graded manifolds $\sigma: X \to M$ to a morphism of differential graded commutative algebras:
   $$\sigma^*_W: (\wedge^\bullet M, d + \mathcal{L}_Q) \to (C^\infty(X), d_X)$$
   defined explicitly on coordinates $z^I$ and their differentials $dz^I$ as:
   $$\sigma^*_W(z^I) = \sigma^*(z^I), \quad \sigma^*_W(dz^I) = d_X \sigma^*(z^I) - \sigma^*(Q^I(z)).$$
3. Action Functional: The action is defined as the integral over the source manifold $X$ of the pullback of an inhomogeneous form $\Theta_W$ satisfying $(d + \mathcal{L}_Q)\Theta_W = \Omega$:
   $$S[\sigma] = \int_X \sigma^*_W(\Theta_W).$$
   This is expressed as an integral of the pullback of the components of $\Theta$, involving contractions with the homological vector field $d_X$ on the source.
4. Gauge Symmetries: The authors demonstrate that the action is invariant under gauge transformations generated by vertical vector fields $Y$ of homological degree $-1$, where the transformation is $\delta_Y \sigma^* = \sigma^* \circ \mathcal{L}_{[Q, Y]}$.
5. PDE Geometry Connection: The construction is reformulated in the context of Partial Differential Equation (PDE) geometry. By identifying the source as a Q-bundle where the grading is horizontal, the authors show that the multisymplectic AKSZ action corresponds precisely to the standard multisymplectic formulation, with the Chern–Weil map acting as the standard pullback map.

Key Contributions and Results

1. Generalized AKSZ Construction

The paper establishes that the AKSZ construction admits a natural generalization where the target space carries a $(d + \mathcal{L}_Q)$-closed form $\Omega$ of arbitrary degree. This leads to a higher-derivative generalization of the AKSZ action that remains invariant under natural gauge transformations determined by $Q$.

2. Reformulation of Specific Gauge Theories

The authors successfully reformulate several complex gauge theories as multisymplectic AKSZ models, demonstrating the utility of the framework:

• Higher-Dimensional Chern–Simons Theory: The 5D (and general $2p-1$ dimensional) Chern–Simons action is derived from a target space $g[1]$ (suspension of a Lie algebra) equipped with a closed, $Q$-invariant $p$-form $\Omega$. The action is recovered as the pullback of a potential $\Theta$ constructed via a homotopy operator.
• MacDowell–Mansouri–Stelle–West (MMSW) Gravity: The 4D (and higher-dimensional) MMSW action is derived from a target space $V \times g[1]$ (module $\times$ Lie algebra suspension) with a specific invariant form. The resulting action reproduces the curvature-squared terms characteristic of MMSW gravity.
• Self-Dual Gravity: Both the cosmological and vanishing cosmological constant versions of self-dual gravity in 4D are recovered. The target space involves a representation of $su(2)$ (or $so(4)$) and a trivial or non-trivial $Q$-structure.
• Higher Spin Extension of Self-Dual Gravity: The framework is extended to higher-spin theories by utilizing a Poisson algebra $hs_{Gr}$ as the target structure, recovering the action $S = \int \langle \Psi, F \wedge F \rangle$.
• Twistor Space and Sparling Gravity: The paper also provides AKSZ formulations for the twistor space description of self-dual gravity and Sparling gravity (reformulating Einstein's vacuum equations via the closure of a Sparling 3-form).

3. Relation to Standard Multisymplectic Formalism

The authors explicitly relate their construction to the conventional multisymplectic formalism used in the geometry of PDEs. They show that when the underlying bundle is a PDE (viewed as a Q-bundle with horizontal grading), the multisymplectic AKSZ action coincides with the standard multisymplectic action $S[\tilde{\sigma}] = \int_X \tilde{\sigma}^*(\tilde{\Theta})$. In this limit, the Chern–Weil map $\sigma^*_W$ reduces to the standard pullback map.

Significance and Claims

The paper claims that the multisymplectic AKSZ construction provides a concise and unified geometric framework for a variety of higher-derivative gauge theories that are otherwise difficult to formulate within standard topological or first-order AKSZ models.

• Unification: It unifies the description of theories ranging from higher-dimensional Chern–Simons to various gravity models (MMSW, self-dual, higher-spin) under a single geometric principle involving $(d + \mathcal{L}_Q)$-closed forms on Q-manifolds.
• Higher-Derivative Nature: Unlike standard AKSZ models which are typically topological or first-order, these multisymplectic models naturally describe theories with local degrees of freedom and higher derivatives, even with finite-dimensional target spaces.
• BV Formulation Nuance: The authors modestly note a distinction from presymplectic AKSZ models: while presymplectic models naturally encode the full Batalin–Vilkovisky (BV) formulation (including antifields and the master equation), the multisymplectic AKSZ data does not immediately reveal a natural BV structure. The construction provides the action and gauge symmetries, but the full BV formulation would require additional regularity assumptions or construction steps.
• Future Directions: The paper suggests that while the current examples use trivial Q-bundles, the formalism can be extended to generic Q-bundles (including those coupled to background fields) and applied to other higher-derivative theories like Horndeski gravity or Galileons, though these specific applications are not fully developed in this work.

In summary, the work extends the AKSZ paradigm from symplectic to multisymplectic settings, offering a new geometric language for higher-derivative gauge theories and establishing a direct bridge between the AKSZ formalism and the multisymplectic geometry of PDEs.