Affine \textit{ADE} bundles over surfaces with \(p_g=0\) (Q329960)

Let \(X\) be a complex surface and \(\Lambda \subset Pic(X)\) be a sublattice. If \(\Lambda\) is isomorphic to the root lattice \(\Lambda_{\mathbf g}\) of a simple Lie algebra \(\mathbf g\), then one can associate a Lie algebra bundle \({\mathcal E}_0^{\mathbf g}\) over \(X\) (see [\textit{R. Friedman} and \textit{J. W. Morgan}, Contemp. Math. 312, 101--115 (2002; Zbl 1080.14533)] and the authors papers [Int. Math. Res. Not. 2015, No. 22, 11508--11519 (2015; Zbl 1359.14039); ibid. 2014, No. 15, 4049--4084 (2014; Zbl 1312.14088)]). A curve \(C=\cup C_i\) in a surface \(X\) is called an ADE (resp. affine ADE) curve of type \(\mathbf g\) (resp. \(\hat{\mathbf g}\), the affine Lie algebra) if each \(C_i\) is a smooth \((-2)\)-curve in \(X\) and the dual graph of \(C\) is a Dynkin diagram of the corresponding type. A bundle \(\mathcal E\) on \(X\) is called an ADE (resp. affine ADE) bundle of type \(\mathbf g\) (resp. \(\hat{\mathbf g}\) ) if \(\mathcal E\) has a fiberwise Lie algebra structure of the corresponding type. The main result of this paper is the following: When \(p_g =0\), the authors construct deformations of holomorphic structures on \({\mathcal E}^{\hat{\mathbf g}}\) such that the new bundle is trivial over any ADE curve \(C'\) inside \(C\) and therefore descends to the singular surface obtained by contracting \(C'\).