Quasi-Hamiltonian Spaces

• Quasi-Hamiltonian spaces are finite-dimensional manifolds with group actions, equipped with a group-valued moment map and a 2-form that generalizes classical Hamiltonian geometry.
• They enable the construction of moduli spaces for flat connections through fusion and reduction, providing finite-dimensional models for complex gauge-theoretic problems.
• Their connection with quasi-Poisson structures and deformation theory broadens traditional symplectic methods and underpins advanced quantization and topological field theory.

A quasi-Hamiltonian space is a finite-dimensional manifold equipped with a group action, a group-valued moment map, and a 2-form obeying specific compatibility axioms that generalize those of symplectic Hamiltonian geometry. This structure emerged to give a finite-dimensional counterpart to Hamiltonian loop-group spaces, enabling the construction and analysis of moduli spaces of flat connections, fusion, reduction, and quantization in terms of group-valued data. Quasi-Hamiltonian spaces now underpin much of the modern theory of moduli spaces, topological field theory, and the interface between representation theory and symplectic geometry.

1. Definition and Fundamental Properties

Let $G$ be a compact connected Lie group with Lie algebra $\mathfrak{g}$ and an invariant inner product $\langle \cdot, \cdot \rangle_\mathfrak{g}$. The group $G$ possesses left and right Maurer–Cartan forms $\theta^L$, $\theta^R \in \Omega^1(G; \mathfrak{g})$, and the canonical Cartan 3-form

$$\chi = \frac{1}{12} \langle \theta^L, [\theta^L, \theta^L] \rangle_\mathfrak{g} \in \Omega^3(G).$$

A quasi-Hamiltonian $G$-space is a triple $(M, \omega, \mu)$ where $M$ is a $G$-manifold, $\omega \in \Omega^2(M)$ is a $G$-invariant 2-form, and $\mu : M \to G$ is a $G$-equivariant map (for the conjugation action), satisfying: \begin{align*} &\text{(1) } d\omega = \mu^*\chi,\ &\text{(2) } \iota_{\xi_M}\omega = \tfrac{1}{2} \left\langle \mu^*(\theta^L + \theta^R), \xi \right\rangle_\mathfrak{g}, \quad \forall\, \xi \in \mathfrak{g},\ &\text{(3) } \ker \omega_m \cap \ker d\mu_m = {0},\qquad \forall\, m\in M. \end{align*} These axioms replace the closedness and non-degeneracy of the symplectic form, and the Lie-algebraic moment map condition of Hamiltonian $G$-spaces, with their group-valued analogues (Song, 2015, Takegoshi, 20 Dec 2025, Burelle et al., 22 May 2025, Klimcik, 2013, Knop, 2022).

2. Key Examples and Constructions

Quasi-Hamiltonian geometry features several universal constructions:

Example	Space/Action	2-form $\omega$ and Moment Map $\mu$
Conjugacy Class $\mathcal{C}$	$G$ by conjugation on $\mathcal{C}$	$$\omega_f(v_\xi, v_\eta) = \frac{1}{2} \left( \langle \eta, \mathrm{Ad}_f \xi \rangle - \langle \xi, \mathrm{Ad}_f \eta \rangle \right )$$, $\mu$ the inclusion
The Double $D(G)$	$G$ diagonal on $G \times G$	$$\omega = \frac{1}{2}\langle \operatorname{pr}_1^*\theta^L, \operatorname{pr}_2^*\theta^R \rangle$$, $\mu(g,h)=gh^{-1}$
Fusion	Diagonal $G$ on $M_1 \times M_2$	$$\omega = \omega_1 + \omega_2 + \frac{1}{2}\langle \mu_1^*\theta^L, \mu_2^*\theta^R \rangle$$, $\mu = \mu_1 \mu_2$

These constructions allow moduli spaces of flat $G$-connections on surfaces with boundary to be assembled as iterated fusions of doubles and conjugacy classes (Song, 2015, Burelle et al., 22 May 2025, Klimcik, 2013, Feher et al., 2011). Reduction at a central value of the moment map yields genuine symplectic quotients, generalizing Marsden–Weinstein reduction.

3. Quasi-Hamiltonian–Quasi-Poisson Correspondence

Quasi-Hamiltonian spaces are closely tied to quasi-Poisson geometry. If $G$ is equipped with an invariant symmetric tensor $t \in (S^2 \mathfrak{g})^{\mathfrak{g}}$, a quasi-Poisson manifold is a $G$-manifold $(M, \rho, \pi)$ with a $G$-invariant bivector $\pi$ satisfying the quasi-Jacobi identity: $\frac{1}{2}[\pi, \pi] = \rho^{\otimes 3}(\phi),$ where $\phi = -\frac{1}{4}[\,t^{1,2}, t^{2,3}\,]$. The non-degenerate correspondence, when $t$ is non-degenerate, identifies non-degenerate quasi-Hamiltonian structures $(\omega,\mu)$ with quasi-Poisson structures $(\pi,\mu)$ via mutual inversion formulae involving $t$ and the infinitesimal action (Huebschmann, 2022, Ševera, 2014).

Central to this picture is the notion of left-central and right-central functions and foliations, generalizing Casimir functions and symplectic leaves. The “central reduction” process encompasses both quasi-Hamiltonian and more general quasi-Poisson reductions, and is particularly effective for moduli spaces of flat connections with marked points (Ševera, 2014).

4. Fusion, Reduction, and Moduli Spaces

Fusion is the operation that, given two quasi-Hamiltonian $G$-spaces $(M_1,\omega_1,\mu_1)$ and $(M_2,\omega_2,\mu_2)$, constructs a new $G$-space on $M_1 \times M_2$ with fused 2-form and moment map as above. This is a multiplicative analog of symplectic reduction and is a cornerstone in the construction of moduli spaces.

For a compact oriented surface $\Sigma$ of genus $g$ with $r+1$ boundary components, the moduli space of flat $G$-connections is a quasi-Hamiltonian $G^{r+1}$-space, assembled via fusions of doubles and conjugacy classes: $$M(\Sigma) \cong D(G) \circledast \cdots \circledast D(G) \text{ (for pants decomposition)}$$ Reduction at the trivial conjugacy class yields the Atiyah–Bott/Goldman symplectic structure on the moduli space. This method allows for tractable finite-dimensional models of spaces previously accessible only via infinite-dimensional gauge-theoretic reductions (Song, 2015, Klimcik, 2013, Burelle et al., 22 May 2025, Knop, 2022, Takegoshi, 20 Dec 2025).

In the context of integrable systems, the compactified Ruijsenaars–Schneider system arises as a quasi-Hamiltonian reduction of the internally fused double $SU(n)\times SU(n)$, allowing the realization of dual toric structures on $CP^{n-1}$ via Delzant’s theorem and a natural interpretation of dualities in terms of mapping class group automorphisms (Feher et al., 2011).

5. Quantization and Dirac Operators

Quasi-Hamiltonian spaces generally do not admit $G$-equivariant Spin$^c$ structures or honest prequantum line bundles due to the failure of closedness and global non-degeneracy. This obstruction is resolved by constructing infinite-dimensional Hilbert-bundle analogues—twisted spinor bundles and twisted prequantum bundles—using representation theory of the loop group $LG$ (Song, 2015).

The key construction employs local cross-section charts, loop algebra spinor representations, and ordinary Spin$^c$ bundles over almost-complex submanifolds. A Dirac operator $D$ is then formed, with bounded transform $F = D/\sqrt{1+D^2}$ a Fredholm operator on the $G$-invariant $L^2$-sections of these bundles. The index

$$\mathrm{Ind}\, D = \bigoplus_{\lambda \in P_{k,+}} (\dim \ker F|_{\mathcal{H}_\lambda^+} - \dim \ker F|_{\mathcal{H}_\lambda^-}) V_\lambda$$

lies in the level-$k$ fusion ring $R_k(LG)$, generalizing equivariant Spin$^c$ quantization from Hamiltonian $G$-spaces to quasi-Hamiltonian $G$-spaces and connecting to Freed–Hopkins–Teleman’s description of twisted equivariant $K$-theory (Song, 2015).

6. Deformation Theory and Multiplicity-Free Classification

Quasi-Hamiltonian spaces admit smooth deformations to ordinary Hamiltonian spaces, providing a unifying framework interpolating between multiplicative and additive moment map geometries. For example, the double $G \times G$ deforms to the cotangent bundle $T^*G$, and conjugacy classes deform to coadjoint orbits. Moduli spaces of flat connections on surfaces with boundary admit such deformations, compatible with fusion procedures (Burelle et al., 22 May 2025).

Multiplicity-free quasi-Hamiltonian manifolds, where all group-valued symplectic reductions are points, admit a combinatorial classification in terms of convex polytopes (momentum images) and sublattices (weight data) in affine root systems. Knop’s theorem provides a bijection between isomorphism classes of compact, multiplicity-free, twisted quasi-Hamiltonian manifolds and certain combinatorial data, extending Delzant’s theorem into the quasi-Hamiltonian field (Paulus et al., 2019, Knop, 2022).

7. Higher-Categorical and Generalized Structures

Quasi-Hamiltonian spaces fit into the theory of relative multisymplectic (2-plectic) geometry. Every quasi-Hamiltonian $G$-space defines a closed nondegenerate relative 3-form (in the mapping cone complex of the moment map), canonically yielding a Lie 2-algebra of observables. The group action induces a homotopy moment map, realized as an $L_\infty$-morphism from $\mathfrak{g}$ into this Lie 2-algebra. This formalism extends the classical moment map theory to higher and relative settings and connects with the study of $n$-plectic geometry and higher symmetries (Djounvouna, 9 Sep 2025).

This extension reveals new perspectives on group-valued moment maps, higher prequantization, and categorified symplectic geometry, and provides a conceptual bridge to topological field theory and higher representation theory.

---

References: (Song, 2015, Ševera, 2014, Djounvouna, 9 Sep 2025, Takegoshi, 20 Dec 2025, Burelle et al., 22 May 2025, Klimcik, 2013, Loizides, 2016, Paulus et al., 2019, Knop, 2022, Huebschmann, 2022, Feher et al., 2011).