Holomorphic bundles on the blown-up plane and the bar construction (Q2663319)

This paper is concerned with the study of the moduli space \(\mathfrak{M}^r_I\) of rank \(r\) holomorphic bundles \(\mathcal{E}\) on \(\widetilde{\mathbb{P}_I^2}\), the blow up of \(\mathbb{P}^2\) along a finite set \(I\subset \mathbb{C}^2\), with first Chern \(c_2(\mathcal{E})=0\) and trivialized at \(L_{\infty}\), the rational curve of points of infinity in a completion of \(\mathbb{C}^2\). Denote by \(\mathfrak{M}^r_{I,k}\) the sub moduli of bundles with \(c_2(\mathcal{E})=k\). These moduli are real analytic isomorphic to the moduli of charge \(k\)-instantons on an \(SU(r)\)-bundle over \(\#_I \overline{\mathbb{P}^2}\), a connected sum of \(\# I\) copies of the projective plane with reversed orientation (obtained when collapsing \(L_{\infty}\)). The instanton spaces can be described by the bar construction (c.f. section 2.1.3), which is an homotopy-invariant version of the orbit space \(X\times_G Y\), where \(X\) and \(Y\) are topological spaces and \(G\) is a monoid. The main result of the paper (c.f. Theorem 1.1) is a description of \(\mathfrak{M}^r_{I,k}\), for \(k=1,2\), in terms of \(\mathfrak{M}^r_{\emptyset}\) and \(\mathfrak{M}^r_{x}\), \(x\in I\). Section \(3\) describes the colimit \(\mathfrak{M}^{\infty}_I\) of \(\mathfrak{M}^r_{I}\) for \(r\rightarrow \infty\) and sections 4 and 5 deal with the bar construction \(\| \mathfrak{B}_I \|\) associated to this limit. It is conjectured (c.f. Conjecture 1) that the relating map \(h_I: \| \mathfrak{B}_I \| \rightarrow \mathfrak{M}^{\infty}_I\) is a homotopy equivalence. Towards proving the conjecture, Theorem 1.3 (proven in section 6) reduces the conjecture in degree \(k\) to prove it for \(J\subset I\) with \(\# J\leq k\). After this, sections 7 and 8 contain the material to prove Theorem 1.1. Theorem 1.5, proven in section 9, shows that Conjecture 1 holds in the limit \(r\rightarrow \infty\). Section 10 computes the homology of \(\| \mathfrak{B}_I \|\) and proves Theorem 1.6, regarding the image in homology of certain related maps (c.f. (1.4)). An appendix covers technical details on the bar construction.