THE ANALYTIC MODULI SPACE OF SIMPLE FRAMED HOLOMORPHIC PAIRS (Q4351373)

Author generalizes the moduli space of stable framed modules defined on curves and surfaces [\textit{D. Huybrechts} and \textit{M. Lehn} in a preprint] from an algebro-geometric to a differential-geometric category. He considers a holomorphic (h.) map \(f:Y\to X\) between compact complex manifolds and \(C^\infty\)-complex vector bundles: \(E\) over \(X\), \(E_0\) over \(Y\). With a h. structure \(\overline \partial, E\) becomes an analytic complex vector bundle denoted by \({\mathcal E}(E, \overline \partial)\). Such a structure \(\overline \partial_0\) is fixed in \(E_0\) and generates \({\mathcal E}_0\). Let \(\overline{\mathcal D} (E)=\) the space of semi-connections in \(E\), \({\mathcal H} (E)=\) the space of h. structures in \(E\), \(A_X^{p,q} (E)=\) the space of differentiable \((p,q)\)-forms on \(X\) with values in \(E\), \({\mathcal G}= GL(E)=\) the group of differentiable automorphisms of \(E\). A framed holomorphic (f.h.) pair is \((\overline\partial, \alpha)\in {\mathcal H}(E) \times A^0_Y (\Hom(f^*E,E_0))\) if the map \(\alpha:f^*{\mathcal E} \to {\mathcal E}_0\) is h., i.e. \(\overline \partial_0 \circ\alpha= \alpha\circ f^* (\overline \partial)\). The set \({\mathcal H}\) of all f.h. pairs is included in \(\overline {\mathcal D}(E) \times A^0_Y(\Hom(f^*E,E_0))\), which we abbreviate by \({\mathfrak M}\). The group \({\mathcal G}\) acts on \({\mathfrak M}\) by \((\overline \partial, \alpha) \cdot g=(\overline \partial\cdot g,\alpha \cdot g)= (g^{-1} \circ \overline \partial \circ g, \alpha \circ f^*(g))\) and \({\mathcal H}\) is \({\mathcal G}\)-invariant. A f.h. pair \((\overline \partial, \alpha)\) is simple (s.) if its isotropy group reduces to \(\{\text{id}_E\}\). The set of all s.f.h. pairs \({\mathcal H}^* \subset {\mathcal H}\) is \({\mathcal G}\)-invariant and open. The main result is that their moduli space \({\mathcal M}^*={\mathcal H}^*/{\mathcal G}\) has the structure of a finite-dimensional complex analytic subspace of a Hilbert analytic manifold \({\mathcal M}'\). With this aim, by fixing \((\overline\partial,\alpha)\), the deformation complex \(A^.\) is constructed and used in Kuranishi's description of \({\mathcal M}^*\). Hermitian metrics are fixed in \(X,Y,E,E_0\), and the corresponding \(L^2\)-Sobolev completions of sufficiently large order \(k\) of the spaces \(A_X^{p, q}(\text{End} E)\) etc. are denoted by a subscript \(k\). They are Hilbert spaces and \(A^.\) extends to a Fredholm complex \[ A_k^.:0\to A^0_k@>\widetilde D_0>> A^1_{k-1}@> \widetilde D_1>> \dots \] where \(A^0_k=A^0_X (\text{End} E)_k\) and \(A^i_{k-i} =A_X^{0,i}(\text{End} E)_{k-i}\oplus A_Y^{0,i-1}(\Hom (f^*E, E_0))_{ k-n+1-i},\) \(i\geq 1\), with adequate norms. By orthogonal splitting \(A^i_{k-i} = I^i \oplus H^i\oplus C^i\), \(i\geq 0\), where \(I^0=\{0\}\), \(I^i=\text{Im} \widetilde D_{i-1}\), \(i\geq 1\), and \(I^i\oplus H^i=\text{Ker} \widetilde D_i\); \(H^i\) is isomorphic to \(H^i(A^.)\) and of finite dimension; simpleness of \(( \overline \partial, \alpha)\) is equivalent to \(\text{Ker} \widetilde D_0= \{0\}\). The Hilbert-Lie group \({\mathcal G}_{k+1}\) acts on the Hilbert analytic manifold \({\mathfrak M}_k=\overline{\mathcal D}(E)_k\times A^0_Y(\Hom(f^*E,E_0))_{k-n+1}\). If \({\mathcal H}^*_k={\mathcal H}^*\cap{\mathfrak M}_k\), then \({\mathcal M}^*={\mathcal H}^*_k/{\mathcal G}_{k+1}\). If \(\pi:{\mathfrak M}_k\to{\mathfrak M}^*_k:={\mathfrak M}_k/{\mathcal G}_{k+1}\) is the canonical projection, \(\pi^{-1}({\mathcal M}^*)={\mathcal H}^*_k\). The tangent space to \({\mathfrak M}_k\) at \((\overline \partial, \alpha)\) is \(A^1_k\); a local chart of \({\mathfrak M}_k\) is given by \(\Psi:A^1_k \to{\mathfrak M}_k\), \(\Psi (\omega, \beta) =(\overline\partial+\omega,\alpha+\beta)\); the tangent space of \({\mathcal G}_{k+1} \)-orbit through \((\overline\partial,\alpha)\) is \(I^1\). Let \(V_\varepsilon= \{(\omega,\beta)\in H^1\oplus C^1:\| \omega\|^X_k\), \(\| \beta \|^Y_{k -n+1} <\varepsilon\}\), \(0<\varepsilon\ll 1\). The action of \({\mathcal G}_{k+1}\) over \(\Psi(V_\varepsilon)\) is biholomorphic around \(((\overline \partial, \alpha), \text{id} E)\) and \((\overline\partial,\alpha)\); \(\pi(\Psi (V_\varepsilon))\) is open in \({\mathfrak M}_k^*\) and endowed with analytic structure from \(\Psi(V_\varepsilon)\) via \(\pi\). Author defines \({\mathcal M}'= \cup_{\overline \partial, \alpha)\in{\mathcal H}^*}\pi (\psi(V_\varepsilon))\), each \(V_\varepsilon\) and \(\Psi\) corresponding to a \((\overline \partial, \alpha) \in {\mathcal H}^*\); \({\mathcal M}'\) is open in \({\mathfrak M}_k^*\) and thus a Hilbert analytic manifold. As special cases some moduli spaces: of s.h. structures in \(E\) by M. Lübke and C. Okonek, of s. Higgs pairs in Welter's sense, and of s.f.h. structures by M. Lübke are discussed.