Title:Holomorphic bundles on the blown-up plane and the bar construction

Abstract:Let $X_q$ denote a simply connected positive definite four-manifold with $b_2=q$, let $\mathfrak M_k^r X_q$ denote the moduli space of based $SU(r)$ instantons on $X_q$ with second Chern class $c_2=k$ and let $\mathfrak M^rX_q=\coprod_k\mathfrak M_k^r X_q$. We show that, for $k=1,2$ we have homotopy equivalences betwen $\mathfrak M_k^r(X_p$# $X_q)$, the degree $k$ component of $\text{Bar}(\mathfrak M^r X_p,\mathfrak M^r S^4,\mathfrak M^r X_q)$ and the degree $k$ component of $\text{Bar}\bigl(\mathfrak M^r S^4,(\mathfrak M^r S^4)^{p+q},(\mathfrak M^r\mathbb{P}^2)^{p+q}\bigr)$. A similar result holds in the limit when $c_2\to\infty$: we have $\mathfrak M^r_\infty(X_p$# $X_q)\simeq \text{Bar}(\mathfrak M^r_\infty X_p,\mathfrak M^r_\infty S^4,\mathfrak M^r_\infty X_q)\simeq \text{Bar}\bigl(\mathfrak M^r_\infty S^4,(\mathfrak M^r_\infty S^4)^{p+q},(\mathfrak M^r_\infty\mathbb P^2)^{p+q}\bigr)$.