A compactification of the moduli space of twisted holomorphic maps (Q734901)

Let \(X\) be a compact symplectic manifold, with a compatible almost complex structure, a Hamiltonian action of \(S^{1}\) with moment map \(\mu:X \to i{\mathbb R}\) and a real number \(K \geq 0\). The author consider tuples \((C,P,A,\phi)\), where \(C\) is a closed Riemann surface of a fixed genus \(g\), \(P\) is a principal \(S^{1}\)-bundle over \(C\), \(A\) is a connection on \(P\) and \(\phi\) is a section of \(P \times_{S^{1}}X\) satisfying \[ \overline{\partial}_{A}\phi=0, \; \iota_{v}F_{A}+\mu(\phi)=c, \; \|F_{A}\|_{L^{2}}^{2}+\|d_{A}\phi\|_{L^{2}}^{2}+\|\mu(\phi)-c\|_{L^{2}}^{2} \leq K, \] where \(F_{A}\) denotes the curvature of \(A\), \(v\) is the restriction to \(C\) of a volume form on the universal curve over the Deligne-Mumford's compactification \(\overline{\mathcal M}_{g}\) and \(c\) is a fixed constant. A topology on such a set of tuples is given by the \(C^{\infty}\) convergence. Two pairs, say \((C,P,A,\phi)\) and \((C',P',A',\phi')\), are equivalent if there is a morphism of bundles \(\rho:P \to P'\), lifting a biholomorphism \(h:C \to C'\), such that \(\rho^{*}v'=v\), \(\rho^{*}A'=A\) and \(\rho^{*}\phi'=\phi\). The topology is given by the quotient topology. In this article, the authors provide a compactification of the above quotient space.