Construction of \(\mathrm{G}_2\)-instantons via twisted connected sums (Q2028613)

The aim of this paper is to propose a method to construct \(G_2\)-instantons over a compact twisted connected sum \(G_2\)-manifold, applying a gluing result of Sà Earp and Walpuski to instantons over a pair of \(7\)-manifolds with a tubular end. In the example proposed, the moduli spaces of the ingredient instantons are non-trivial, and their images in the moduli space over the asymptotic cross-section \(K3\) surface intersect transversely. Such a pair of asymptotically stable holomorphic bundles is obtained using a twisted version of the Hartshorne-Serre construction, which can be adapted to produce other examples. The method uses the Hartshorne-Serre construction to obtain families of bundles over the building blocks, for which the deformation theory can be sufficiently explicitly understood to solve the matching problem and prove transversality. Moreover, their deformation theory and asymptotic behaviour are explicitly understood, results which may be of independent interest. This paper is organized as follows: The first section is an introduction to the subject. In the second section the authors study \(G_2\)-manifolds via semi-Fano \(3\)-folds. The goal of this section is to present a concrete example of a matching of building blocks, constructed from a certain pair of Fano \(3\)-folds. The authors begin by reviewing some background about the construction and the matching problem. The third section deals with twisted Hartshorne-Serre bundles over building blocks. The Hartshorne-Serre construction generalises the correspondence between divisors and line bundles, under certain conditions, in the sense that bundles of higher rank are associated to subschemes of higher codimension. The forth section is devoted to the moduli space of stable bundles on a smooth anticanonical \(K3\) surface and the fifth section to inelasticity of asymptotically stable Hartshorne-Serre bundles. Finally, in the sixth section the authors construct holomorphic bundles on building blocks from certain complete intersection subschemes, via the Hartshorne-Serre correspondence.