Instantons and geometric invariant theory. (English) Zbl 0581.14008
By the theorem of Atiyah-Ward (anti-)self-dual Yang-Mills potentials on \(S^ 4\) correspond to certain holomorphic vector bundles on \({\mathbb{P}}_ 3({\mathbb{C}})\) via the twistor fibering \({\mathbb{P}}_ 3({\mathbb{C}})\to S^ 4\). In this paper a new correspondence is established by considering instead holomorphic vector bundles on \({\mathbb{P}}_ 2({\mathbb{C}})\) with a trivialization on a fixed line. More precisely let G be one of the groups SU(r), SO(r), Sp(r) and let M(G,k) be the set of isomorphism classes of pairs (A,\(\alpha)\), where A is a (anti-)self-dual G-connection on a G- principal bundle over \(S^ 4={\mathbb{R}}^ 4\cup \{\infty \}\) with Pontrjagin index k, and \(\alpha\) is a trivialization \(P_{\infty}\simeq G\). On the other hand let \(VB(G_{{\mathbb{C}}},k)\) be the set of isomorphism classes of holomorphic \(G_{{\mathbb{C}}}\)-vector bundles E on \({\mathbb{P}}_ 2({\mathbb{C}})\) with Chern classes \(c_ 1=0\), \(c_ 2=k\), where \(G_{{\mathbb{C}}}\) is the complexification of G, together with a trivialization \(E| \ell_{\infty}\simeq \ell_{\infty}\times {\mathbb{C}}^ 2\) on the line at infinity. It is proved that there is a natural bijection M(G,k)\(\to_{\approx}VB(G_{{\mathbb{C}}},k)\). The proof is given for \(G=SU(r)\) by analyzing the matrices in monad descriptions of the bundles on \({\mathbb{P}}_ 2({\mathbb{C}})\) and of the bundles on \({\mathbb{P}}_ 3({\mathbb{C}})\) which correspond to the connections by the Atiyah-Ward correspondence. The point is that: (1) the structure of the matrices is simplified considerably by fixing a trivalization of \(E| \ell_{\infty}\), and that (2) the reality condition for instanton bundles on \({\mathbb{P}}_ 3({\mathbb{C}})\) is exactly that for the vanishing of the moment map \(\mu\) associated to the natural group action of GL(k,\({\mathbb{C}})\) on the space \(W\subset {\mathbb{C}}^ N\) of the monad matrices for \(VB(G_{{\mathbb{C}}},k)\). Then by the result of Kempf-Ness on closest points on orbits of stable points it follows that \(VB(G_{{\mathbb{C}}},k)=W/GL(k,{\mathbb{C}})\) is in bijection with \((\mu^{- 1}(0)\cap W)/U(k)=M(G,k)\). As a corollary M(G,k) inherits a complex algebraic structure. It would be interesting to know whether \(VB(G_{{\mathbb{C}}},k)\) is smooth. Since the above bijection should at least be topological it follows from the connectivity of \(VB(G_{{\mathbb{C}}},k)\), which is inherited from that of the usual moduli spaces M(0,k) of stable bundles on \({\mathbb{P}}_ 2({\mathbb{C}})\), that also M(G,k) is connected.
Reviewer: G.Trautmann
MSC:
14F05 | Sheaves, derived categories of sheaves, etc. (MSC2010) |
81T08 | Constructive quantum field theory |
14D20 | Algebraic moduli problems, moduli of vector bundles |
32L10 | Sheaves and cohomology of sections of holomorphic vector bundles, general results |
14L30 | Group actions on varieties or schemes (quotients) |
14L24 | Geometric invariant theory |
53C05 | Connections (general theory) |
Keywords:
connectivity of moduli spaces; stability under group actions; self-dual Yang-Mills potentials; instanton bundles; monad matrices; orbits of stable pointsReferences:
[1] | Atiyah, M. F.: The geometry of Yang Mills fields. In: Fermi Lectures. Scuola Normale Pisa 1979 · Zbl 0435.58001 |
[2] | Atiyah, M.F., Drinfeld, V., Hitchin, N.J., Manin, Yu.I.: Construction of instantons. Phys. Lett.65A, 185 (1978) · Zbl 0424.14004 |
[3] | Barth, W.: Moduli of vector bundles on the projective plane. Invent. Math.42, 63-91 (1977) · Zbl 0386.14005 · doi:10.1007/BF01389784 |
[4] | Donaldson, S. K.: Anti self-dual Yang-Mills connections on complex algebraic surfaces and stable vector bundles. Proc. Lond. Math. Soc. (submitted) · Zbl 0529.53018 |
[5] | Hulek, K.: On the classification of stable rank-r vector bundles on the projective plane. In: Proc. Nice conference on vector bundles and differential equations, Hirschowitz, A. (ed.). Boston: Birkh?user 113-142 (1983) |
[6] | Kempf G., Ness, L.: Lengths of vectors in representation spaces. In: Lecture Notes in Mathematics, Vol.732, Berlin, Heidelberg, New York: Springer 233-244 (1978) |
[7] | Kirwan, F. C.: The cohomology of quotients in symplectic and algebraic geometry. Oxford University, preprint · Zbl 0553.14020 |
[8] | Mumford, D.: Geometric invariant theory. Erg. Math.34, Berlin, Heidelberg, New York: Springer 1965 · Zbl 0147.39304 |
[9] | Ness, L.: A stratification of the null cone by the moment map. Am. J. Math. (to appear) · Zbl 0604.14006 |
[10] | Okonek, C., Schneider, M., Spindler, H.: Vector bundles on complex projective spaces. Boston: Birkh?user 1980 · Zbl 0438.32016 |
[11] | Taubes, C. H.: Path connected Yang-Mills moduli spaces. U.C. Berkeley preprint · Zbl 0551.53040 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.