Reduction of relative multisymplectic manifolds

We extend the multisymplectic reduction theory of Blacker -- itself the extension of Marsden--Weinstein--Meyer reduction to $k$-plectic manifolds -- to the setting of \emph{relative} multisymplectic geometry, in which a smooth map $F\colon M\to N$ carries a closed nondegenerate relative $(k{+}1)$-form $\varpi=(\omega,\eta)$ in the mapping-cone complex of $F$.

We introduce the Leibniz algebra of relative Hamiltonian pairs and the associated relative moment maps $\mu\in\Omega^{k-1}(F, \mathfrak{g}^{*})$, and prove a relative multisymplectic reduction theorem: for a closed equivariant level $\phi\in\Omega^{k-1}(F, \mathfrak{g}^{*})$, the level pair of $\mu$ descends to a reduced smooth map $F_\phi\colon M_\phi\to N_\phi$ carrying a unique reduced closed relative form $\varpi_\phi$; remarkably, the horizontality of the trivializing component is forced by the relative closedness of the level.

We further prove relative analogues of the reduction of dynamics, of the structure theory of split moment maps $\mu=\nu\cdot\kappa$ -- for which the splitting datum is a one-step cocycle in the relative Cartan model, so that split relative Hamiltonian $G$-spaces carry canonical relative homotopy moment maps -- and of the Duistermaat--Heckman-type variation formula: with respect to suitable conjugate distributions, the reduced relative class satisfies $\partial_\lambda[\varpi_\psi]=\langle c, \lambda\rangle \cdot[\kappa_\psi]$, where $c$ is the Chern form of the target model bundle acting through the natural $\Omega(N)$-module structure of the mapping cone.

Finally, we transport the exact stationary phase approximation to the target component and prove a genuinely relative localization constraint: the fixed-point contributions of the pulled-back split package on the source cancel identically.