Quasi-Symplectic Groupoids

• Quasi-symplectic groupoids are Lie groupoids endowed with a multiplicative 2-form whose non-closedness is controlled by a closed 3-form on the base.
• They integrate quasi-Lie bialgebroids via Manin pair frameworks, unifying twisted Poisson and quasi-Hamiltonian geometries.
• Applications span group-valued moment maps, prequantization in twisted K-theory, and establishing Morita equivalence in Poisson geometry and integrable systems.

A quasi-symplectic groupoid is a Lie groupoid equipped with a multiplicative 2-form whose failure to be closed is controlled by a closed 3-form on the base. This structure generalizes symplectic groupoids, incorporating crucial data from Dirac geometry and quasi-Poisson structures and providing a unifying approach to the integration of twisted and quasi-type Poisson geometries and their associated Hamiltonian spaces. Quasi-symplectic groupoids are characterized by their role as integrations of quasi-Lie bialgebroids and appear naturally in the study of group-valued moment map theory, integration of Dirac structures, and Morita equivalence in Poisson geometry. The formalism has significant applications in integrable systems, representation theory, and the extension of geometric quantization.

1. Formal Definition and Core Properties

Let $G \rightrightarrows M$ be a Lie groupoid with source and target maps $s, t: G \to M$, and let $A = \operatorname{Lie}(G)$ be its Lie algebroid. A triple $(G \rightrightarrows M, \omega, \phi)$ is a quasi-symplectic groupoid if the following conditions hold:

• $\phi \in \Omega^3(M)$ is a closed 3-form: $d\phi = 0$.
• $\omega \in \Omega^2(G)$ is multiplicative: for composable arrows, $$\mathrm{Mult}^*\omega = \mathrm{pr}_1^*\omega + \mathrm{pr}_2^*\omega$$.
• The "quasi-symplectic defect": $d\omega = s^*\phi - t^*\phi$.
• Minimal degeneracy along the s- and t-fibers: $\ker \omega \cap \ker(ds) \cap \ker(dt) = \{0\}$ (Li-Bland et al., 2024, Khazaeipoul, 13 Jan 2026, Krepski, 2016).

In the case $\phi = 0$, this reduces to the classical notion of a symplectic groupoid. The key structural innovation is the twist provided by $\phi$, which allows for integration of generalized geometries beyond the symplectic and Poisson settings.

2. Integration Theory and Relation to Manin Pairs

Quasi-symplectic groupoids constitute the global counterparts to quasi-Lie bialgebroids. Any quasi-symplectic groupoid $(G, \omega, \phi)$ endows the Lie algebroid $A = \operatorname{Lie}(G)$ with the structure of a quasi-Lie bialgebroid $(A, \delta, \phi)$, where $\delta$ is a degree-one derivation on $\Gamma(\wedge^\bullet A)$ defined by

• $\delta f = a^*(df)$ for $f \in C^\infty(M)$
• $\delta X = [\overleftarrow{X}, \Pi]|_M$ for $X \in \Gamma(A)$, with $\Pi$ the (quasi-Poisson) bivector field pairing with $\omega$ (Li-Bland et al., 2024).

The derivation satisfies $\delta^2 = [\phi, \cdot]$ (Schouten bracket) and $\delta\phi = 0$, matching the axioms of a quasi-Lie bialgebroid with 3-cocycle $\phi$.

Integration is achieved in the general framework of Manin pairs $(E, A)$, with $E$ a Courant algebroid and $A \subset E$ a Dirac structure. If $A$ integrates to $G$, then there exists a unique multiplicative 2-form $\omega$ such that $(G, \omega, \phi)$ is a quasi-symplectic groupoid as above, provided no integrability obstruction arises beyond that of $A$ (Li-Bland et al., 2024).

3. Key Examples and Explicit Constructions

Several important examples illustrate the scope of quasi-symplectic groupoids:

• Twisted Poisson manifolds: For $(M, \pi, \phi)$ a twisted Poisson manifold ($d\phi=0$), the Lie algebroid $T^*M$ integrates to a groupoid $G$ carrying a multiplicative 2-form $\omega$ with $d\omega = s^*\phi-t^*\phi$. This generalizes the symplectic groupoid integration of classical Poisson manifolds (Li-Bland et al., 2024).
• AMM groupoid: For a compact Lie group $G$, the action groupoid $G \times G \rightrightarrows G$ for conjugation admits a quasi-symplectic structure with Cartan 3-form $\eta$ and multiplicative 2-form $\omega$ (the Alekseev–Malkin–Meinrenken (AMM) form), satisfying $d\omega = t^*\eta - s^*\eta$ (Krepski, 2016).
• Higher rank examples: For $G = \mathrm{PSL}(n)$, $\mathrm{PSp}(n)$, or $\mathrm{PSO}(n)$, the action groupoid $$G \ltimes Y_n(\mathbf{C}) \rightrightarrows Y_n(\mathbf{C})$$ (where $Y_n(\mathbf{C})$ is a moduli space of nondegenerate curves) admits a quasi-symplectic form $\omega_2$ with twist by the pullback of the Cartan 3-form from the universal cover of $G$, integrating a twisted Dirac structure on the base (Khazaeipoul, 13 Jan 2026).

4. Morita Equivalence and Symplectic Reduction

Morita equivalence is central to the flexibility of quasi-symplectic groupoids and their associated Hamiltonian spaces. Two quasi-symplectic groupoids $(G, \omega_G, \eta_G)$, $(H, \omega_H, \eta_H)$ are Morita equivalent if their 3-cocycles become cohomologous upon pullback to a bibundle groupoid $K$ mediating their equivalence (Krepski, 2016). Under Morita equivalence, Hamiltonian $G$-spaces correspond bijectively to Hamiltonian $H$-spaces via pull-push operations on 2-forms along the bibundle (Krepski, 2016).

Symplectic reduction extends to the quasi-symplectic setting: if $z \in M$ is a regular value of a Hamiltonian moment map, then the isotropy group $G(z)$ acts on the fiber $\phi^{-1}(z)$, and suitable conditions allow for the construction of a reduced prequantum bundle.

Morita equivalence between the symplectic groupoid integrating the Adler–Gelfand–Dikii (AGD) Poisson structure and a quasi-symplectic groupoid integrating the moduli of projective curves provides a bridge between Poisson geometry and representation theory (Khazaeipoul, 13 Jan 2026).

5. Hamiltonian Spaces and Prequantization

The notion of a Hamiltonian space for a quasi-symplectic groupoid generalizes group-valued moment maps and quasi-Hamiltonian theory. For $(G \rightrightarrows M, \omega, \phi)$, a Hamiltonian $G$-space is a $G$-manifold $X$ with moment map $J: X \to M$ and a Dirac morphism of Manin pairs, equivalently presented as a 2-form $\omega_X$ with

• $d\omega_X = - J^* \phi$,
• $\ker \omega_X \cap \ker(dJ) = \{0\}$,
• presymplectic compatibility with groupoid action (Li-Bland et al., 2024).

Prequantization in this context can be achieved by the construction of Dixmier–Douady bundles (or $S^1$-central extensions if the twist is exact), with the main existence criterion being the integrality of the relative 3-form $(\omega_X, \omega \oplus \eta)$. Prequantization is preserved under Morita equivalence via corresponding pushforward of the class in relative cohomology (Krepski, 2016).

6. Applications and Extensions

Quasi-symplectic groupoids appear in several advanced research domains:

• Integrable systems and representation theory: The integration of the AGD Poisson structure via quasi-symplectic groupoids and their Morita equivalence with moduli of curves is fundamental in the geometric realization of these integrable models (Khazaeipoul, 13 Jan 2026).
• Twisted and quasi-Poisson geometry: The framework allows for systematic integration of generalized Poisson structures, especially those arising with background 3-forms or as limits of quasi-Hamiltonian theories (Li-Bland et al., 2024).
• Prequantization and higher geometric quantization: Quasi-symplectic groupoids accommodate central extensions and twisted K-theory via Dixmier–Douady bundles, with principal roles in the quantization of group-valued moment maps and modular functor constructions (Krepski, 2016).

A plausible implication is that the quasi-symplectic groupoid formalism provides a fundamental organizing principle for various integration procedures in generalized and higher Poisson geometry and establishes a natural setting for the study of group-valued symplectic and Hamiltonian structures.