The singularities of Yang-Mills connections for bundles on a surface. I: The local model (Q1909566): Difference between revisions

Let \(\Sigma\) be a closed surface, \(G\) a compact Lie group, not necessarily connected, with Lie algebra \(g\), endowed with an adjoint action invariant scalar product, let \(\xi\): \(P\to \Sigma\) be a principal \(G\)-bundle, and pick a Riemannian metric and orientation of \(\Sigma\), so that the corresponding Yang-Mills equations \(d_A * K_A= 0\) are defined, where \(K_A\) refers to the curvature of a connection \(A\). For every central Yang-Mills connection \(A\), the data induce a structure of unitary representation of the stabilizer \(Z_A\) on the first cohomology group \(H^1_A (\Sigma, \text{ad} (\xi))\) with coefficients in the adjoint bundle \(\text{ad} (\xi)\), with reference to \(A\), with momentum mapping \(\Theta_A\) from \(H^1_A (\Sigma, \text{ad} (\xi))\) to the dual \(z^*_A\) of the Lie algebra \(z_A\) of \(Z_A\). We show that, for every central Yang-Mills connection \(A\), a suitable Kuranishi map identifies a neighborhood of zero in the Marsden-Weinstein reduced space \(H_A\) for \(\Theta_A\) with a neighborhood of the point \([A]\) in the moduli space of central Yang-Mills connection on \(\xi\).