From multiplicative to additive geometry: Deformation theory and 2D TQFT
Mohamed Moussadek Maiza
TL;DR
The paper develops a cohesive deformation-theoretic framework that unifiedly connects multiplicative (quasi-Poisson, quasi-Hamiltonian) and additive (Poisson, Hamiltonian) geometries, extending to stratified and singular spaces such as imploded cross-sections and master moduli spaces. It proves Poisson deformations exist for key objects (e.g., $G \to \mathfrak g^{*}$, $D(G) \to T^{*}G$) and introduces generalized deformations for stratified spaces, ensuring compatibility with fusion, reduction, and partial fusion. A new family of quasi-Hamiltonian moduli spaces $\mathcal N_G(\Gamma)$ is constructed from quivers, shown to be invariant under quiver homotopy and to satisfy a gluing formula under quiver composition. These ingredients culminate in a 2D topological quantum field theory $\\mathcal N: \mathbf{Cob}_2 \to \mathbf{QHam}$ valued in quasi-Hamiltonian spaces, where cobordisms correspond to fused/reduced quasi-Hamiltonian data built from copies of $D(G)$. The framework provides a multiplicative-to-additive passage for important geometric objects and yields a robust TQFT structure linking quiver combinatorics to cobordism data.
Abstract
In this paper, we present a theory of Poisson deformation of Hamiltonian quasi-Poisson manifolds to Hamiltonian Poisson manifolds that include degenerate cases. More significantly, this theory extends to singular cases arising from symplectic implosion: we introduce a generalized Hamiltonian deformation theory and we show that the imploded cross section of the double $D(G)_\imp$ deforms to the implosion of the cotangent bundle $T^*G_\imp$ with applications to the master moduli space of $G$-flat connections.\\ In parallel, we construct a topological quantum field theory $\N: \text{Cob}_{2}\to \mathbf{QHam}$, where $\mathbf{QHam}$ is the category of quasi-Hamiltonian manifolds. To each cobordism $Σ$, we associate a quasi-Hamiltonian space $\N(Σ)$ built from the fusion product of copies of the double $D(G).$ We show that these spaces are invariant under the \emph{quiver homotopy} and that the composition of cobordisms corresponds to a quasi-Hamiltonian reduction. This provides a multiplicative version of the 2D Hamiltonian TQFT of Maiza-Mayrand.
