--- title: Quasi-Poisson & Dirac Structures url: https://www.emergentmind.com/topics/quasi-poisson-and-dirac-structures type: topic --- # Quasi-Poisson & Dirac Structures Quasi-Poisson and Dirac structures provide a unified geometric framework encoding generalizations of Poisson geometry and presymplectic geometry within the structure of Courant algebroids. They establish deep connections between Lie theory, deformation theory, and the theory of moment maps and reductions. Central to these developments are constructions in terms of twisted or gauged objects and equivalences (or interpolations) between Poisson, quasi-Poisson, and Dirac-type structures via underlying algebroid and cohomological data. ## 1. Definitions and Structural Correspondence A **Dirac structure** on a manifold $M$ is a maximal isotropic subbundle $L \subset TM\oplus T^*M$, closed under a (possibly twisted) Courant bracket; the standard Courant algebroid $(E = TM\oplus T^*M, \langle\cdot,\cdot\rangle, [\cdot, \cdot]_H)$ encodes the geometric data via an anchor, pairing, and a Dorfman or Courant bracket twisted by a 3-form $H$ [2312.17541], [1702.08837], [1408.5365]. $L$ is then a Lie algebroid. A **quasi-Poisson structure** consists of a bivector $\pi\in\Gamma(\wedge^2 TM)$ and a closed 3-form $\phi\in\Omega^3(M)$ satisfying $[\pi,\pi]=\rho(\phi)$, where $\rho$ contracts $\phi$ with $\pi$ and encodes the failure of the Jacobi identity [1702.08837], [2210.07195]. A **Hamiltonian quasi-Poisson $G$-space** includes a $G$-equivariant moment map $\Phi:M\to G$ satisfying a modified moment map condition. The interplay is mediated by embedding the graph of $\pi$ as a subbundle $L_\pi = \{\pi^\sharp(\alpha)+\alpha\mid\alpha\in T^*M\}\subset TM\oplus T^*M$; $L_\pi$ is a Dirac structure in the $\phi$-twisted Courant algebroid if and only if $(\pi,\phi)$ is quasi-Poisson [1702.08837]. A **pseudo-Dirac structure** (Li–Bland) generalizes Dirac structures to allow non-Lagrangian subbundles $W\subset E$ equipped with a compatible pseudo-connection yielding a Lie algebroid bracket via a corrected Courant bracket [1408.5365]. Quasi-Poisson structures are a prototypical example: the graph of $\pi$ with an appropriate pseudo-connection defines a pseudo-Dirac structure encoding the quasi-Poisson bracket. ## 2. Quasi-Lie Bialgebroids, Gauge Transformations, and Twisting Given a Lie algebroid $A\to M$, a **quasi-Lie bialgebroid** is a triple $(A, \delta, \phi)$ with $\delta$ a degree-1 derivation of the exterior algebra $\Gamma(\wedge^\bullet A)$ and a 3-form $\phi\in\Gamma(\wedge^3 A)$ subject to Maurer–Cartan-type relations $\delta^2=[\phi,\cdot]_A$, $\delta\phi=0$ [2312.17541]. This structure encodes simultaneous deformation of Lie algebroid and Poisson cohomological data. A pivotal operation is **twisting** by a 2-form $B\in\Gamma(\wedge^2 A^*)$: defining $\delta_B = \delta + [B,\cdot]_A$, $\phi_B = \phi - \delta B - \frac{1}{2}[B,B]_A$, one obtains a new quasi-Lie bialgebroid $(A,\delta_B,\phi_B)$ [2312.17541]. On the level of Courant algebroids, this corresponds to an automorphism and induces gauge transformations for both the Dirac and quasi-Poisson data. Poisson quasi-Nijenhuis (PqN) manifolds generalize Poisson–Nijenhuis pairs by incorporating a closed 3-form $\phi$ governing Nijenhuis torsion: $(M,\pi,N,\phi)$ with structural compatibility conditions and torsion $T_N(X,Y)=\pi^\sharp(\iota_X\iota_Y\phi)$. Gauge transformation by a closed 2-form $B$ yields \[ \pi_B = \pi, \quad N_B = N + \pi^\sharp B, \quad \phi_B = \phi + d_N B + \tfrac12 [B,B]_\pi \] with $(M,\pi_B,N_B,\phi_B)$ again a PqN manifold [2312.17541]. This parallelism extends to twisted Courant algebroids: automorphisms $e^B$ act on $TM\oplus T^*M$ by $(X+\xi) \mapsto X+\xi + i_X B$, carrying Dirac structures into gauge-transformed versions. ## 3. Dirac Structures and Reduction along Strong Dirac Maps A Dirac structure is a maximally isotropic, involutive subbundle in an (possibly twisted) Courant algebroid. Strong Dirac maps generalize moment maps: a smooth map $\Phi: (M,L_M) \to (X,L_X)$ between Dirac manifolds is **strong Dirac** if it is a forward Dirac map preserving the twist and kernel structure, specifically $\Phi^*\eta_X=\eta_M$ and $\ker \Phi_*\cap \ker L_M = \{0\}$ [2210.07200]. These induce Lie algebroid morphisms and generalize Poisson moment maps. The associated **reduction theorem** constructs reduced Dirac structures as follows. Given a reduction level $(S,\gamma)$ (submanifold $S\subset X$, 2-form $\gamma$) compatible with the 3-form twist, the reduced Dirac structure on $C=\Phi^{-1}(S)$ and then on $Q=C/A_{S,\gamma}$ is constructed via pullback, gauge transformation, and pushforward [2210.07200]. This generalizes familiar Marsden–Weinstein, quasi-Hamiltonian, and fusion reductions, and underlies new constructions such as the Moore–Tachikawa and Whittaker-type varieties. ## 4. Deformation Theory of Dirac and Quasi-Poisson Structures The deformation theory of Dirac structures is governed by (graded) $L_\infty$ algebras determined by transversals in the Courant algebroid. For Dirac structures $M,L\subset TM\oplus T^*M$, one forms an $L_\infty$ algebra on $M$-forms, with Maurer–Cartan elements corresponding to deformations of the Dirac structure [1702.08837]. For involutive transversals, the structure reduces to a differential graded Lie algebra; otherwise, the controlling algebra is cubic ($l_0, l_1, l_2, l_3$ nonzero). Formality maps intertwine different choices of complements: if $L' = \mathrm{graph}(\mathcal{E})$ for a bivector $\mathcal{E}$, the exponential of contraction $F = \exp(R_{\mathcal{E}})$ canonically relates the two $L_\infty$ structures, mirroring gauge transformations arising from closed 2-forms [1702.08837]. In the case of quasi-Poisson manifolds, this framework underpins unobstructed deformation theory. ## 5. Connections to Representation Theory and Quasi-Poisson Resolutions Quasi-Poisson geometry and Dirac reduction provide a systematic description of moduli spaces arising in geometric representation theory. The construction of quasi-Poisson structures on spaces such as the **multiplicative Grothendieck–Springer resolution** $X=G\times_B B$ and the analysis of group-valued moment maps $\mu:X\to G$ exemplify the correspondence: the bivector field $\pi_X$ and the Dirac structure $L_X$ make $(X,\pi_X,\mu)$ a Hamiltonian quasi-Poisson manifold, with $\mu$ coinciding with the resolution morphism [2210.07195]. The quasi-Hamiltonian leaves, determined by fibers over the maximal torus, are connected components of the preimages of Steinberg fibers and carry non-degenerate moment data. Dirac reduction along coisotropic submanifolds generalizes the Marsden–Weinstein reduction and recovers both multiplicative and additive Springer resolutions. Beyond standard examples, the framework encompasses new classes of reduced structures (e.g., Whittaker and Moore–Tachikawa varieties) arising from representation theoretic slices, including multiplicative analogues of Slodowy slices and TQFT gluing laws [2210.07200]. ## 6. Pseudo-Dirac Structures: Unification of Dirac and Quasi-Poisson Geometry Pseudo-Dirac structures, as defined by Li–Bland, generalize Dirac structures by allowing non-Lagrangian subbundles equipped with a compatible pseudo-connection and a modified bracket, yielding a Lie algebroid structure [1408.5365]. Quasi-Poisson structures embed into the pseudo-Dirac framework via the graph of $\pi$ and appropriate pseudo-connection reflecting the violation of the usual Jacobi identity. This construct unites the Dirac-geometric and quasi-Poisson approaches: any construction (moment maps, reduction, etc.) that in the Dirac category proceeds by composition with Courant relations extends consistently to the pseudo-Dirac framework. In particular, reductions, forward and backward images, and deformations remain meaningful and structurally parallel. --- **Selected Correspondences Table** | Geometric Data | Algebroid/Bracket Data | Courant/Dirac Structure | |------------------------|----------------------------------|-------------------------------------| | PqN (π, N, φ) | (A, δ, φ) quasi-Lie bialgebroid | Dirac pair in φ-twisted Courant | | Quasi-Poisson (π, φ) | [π, π] = ½ ρ(φ) | Graph L_π in T_φM | | Dirac (Lagrangian L) | [·,·] bracket on L (Lie algebroid) | L involutive subbdl. in Courant | | Gauge transform by B | δ→δ+[B,·], φ→φ−δB−½[B,B] | e^B: Dirac→gauge-transformed Dirac | This correspondence is preserved by gauge transformations and is central to structural results and reduction procedures throughout quasi-Poisson and Dirac geometry [2312.17541], [2210.07200], [1408.5365]. Source: https://www.emergentmind.com/topics/quasi-poisson-and-dirac-structures