---
title: Quasi-Symplectic Groupoids
url: https://www.emergentmind.com/topics/quasi-symplectic-groupoid
type: topic
---

# Quasi-Symplectic Groupoids

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\} \) [2411.17988] [2601.08632] [1611.04711].

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 \) [2411.17988].

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 \) [2411.17988].

## 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 [2411.17988].
- **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 \) [1611.04711].
- **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 [2601.08632].

## 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 [1611.04711]. Under Morita equivalence, Hamiltonian \( G \)-spaces correspond bijectively to Hamiltonian \( H \)-spaces via pull-push operations on 2-forms along the bibundle [1611.04711].

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 [2601.08632].

## 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 [2411.17988].

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 [1611.04711].

## 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 [2601.08632].
- **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 [2411.17988].
- **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 [1611.04711].

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.

Source: https://www.emergentmind.com/topics/quasi-symplectic-groupoid