\(\mathrm{G}_2\)-instantons over twisted connected sums: an example (Q736718)

The author constructs irreducible unobstructed \(G_{2}\)-instantons over twisted connected sums using a method that was introduced in one of his previous papers [the author and \textit{H. N. S. Earp}, Geom. Topol. 19, No. 3, 1263--1285 (2015; Zbl 1317.53034)]. Among other results he proved the following. Let \((Z_{\pm}, \sum_{\pm}, \omega_{\pm}, \tau)\) be a matched pair of framed building blocks. If \(f_{\pm}: Z_{\pm}\longrightarrow \mathbb{P}^{1}\) are RDP \(K3\) fibrations and that for all but countably many \(b\in \mathbb{P}^{1}\), we have \[ \mathrm{Pic}(f_{\pm}^{-1}(b))\cong N_{\pm}:=\mathrm{im}(\mathrm{res}_{\pm}: H^{2}(Z_{\pm})\longrightarrow H^{2}(Z_{\pm})). \] Suppose there exists a \((r, c_{1}, c_{2})\in\mathbb{N}\times (N_{+}\cap \tau^{*}N_{-})\times\mathbb{Z}\) such that \[ 2r c_{2} - (r-1)c_{1}^{2}- 2(r^{2}-1)=0, \] and \[ \mathrm{gcd}(r, \frac{1}{2}c_{1}^{2}-c_{2})=1. \] Now, if \([\omega_{I}, \pm]\in H^{2}(Z_{\pm}, \mathbb{Q})\) and for all non-zero \(x\in [\omega_{I}, \pm]^{\perp}\subset N_{\pm}\) we have \[ x^{2} < -\frac{r^{2}(r^{2}-1)}{2}, \] he also proves that there exist rank-\(r\) holomorphic vector bundles \(\mathcal{E}_{\pm}\) on \(Z_{\pm}\) with \[ c_{1}(\mathcal{E}_{+}|_{\sum_{+}}) = \tau^{*}c_{1}(\mathcal{E}_{-}|_{\sum_{-}})= c_{1}\;\;\text{and}\;\; c_{2}(\mathcal{E}_{+}|_{\sum_{+}}) = \tau^{*}c_{2}(\mathcal{E}_{-}|_{\sum_{-}})= c_{2} \] satisfying the hypotheses of Theorem 1.7 of the same paper.