×

On the existence of Hermitian-Yang-Mills connections in stable vector bundles. (English) Zbl 0615.58045

Solutions of the self-dual Yang-Mills equations on 4-manifolds have become a major tool in differential topology, following the existence theorems of Taubes and the analysis of moduli spaces of Donaldson. When the 4-manifold is a Kähler manifold, the anti-self duality equations become the statement that the curvature form is orthogonal to the Kähler form, or in the nomenclature of this paper, the connection is Hermitian-Yang-Mills.
It was suggested by the reviewer [Nonlinear problems in geometry, Proc. Sixth Int. Symp., Sendai/Japan (1979; Zbl 0433.53002)] and independently S. Kobayashi [Proc. Jap. Acad., Ser. A 58, 158-162 (1982; Zbl 0538.32021)] that stability of a holomorphic vector bundle should be a necessary and sufficient condition for the existence of such a connection. Necessity was proved by M. Lübke [Manuscr. Math. 42, 245-257 (1983; Zbl 0558.53037)]. Sufficiency is proved in this paper, motivating evidence having been always present in the theorem of M. S. Narasimhan and C. S. Seshadri, who had long ago proved the theorem for curves [Ann. Math., II. Ser. 82, 540-567 (1965; Zbl 0178.048)], the more recent fact that the solutions of the self-duality equations on \(S^ 4\) pull back to be Hermitian-Yang-Mills on the twistor space \({\mathbb{C}}P^ 3\), and the proof of the theorem for algebraic surfaces by S. K. Donaldson [Proc. Lond. Math. Soc., III. Ser. 50, 1-26 (1985; Zbl 0529.53018)]. This particular problem began in fact as Donaldson’s thesis topic, but was soon overtaken by his spectacular results on 4-manifolds. His interest in the algebraic surface situation sprang from the possibility of using the theorem to identify spaces of stable bundles, which can sometimes be calculated, with moduli spaces of anti-self-dual connections.
The paper under review proves the theorem in full generality. The authors first of all prove an existence theorem for the perturbed equation which says that the Kähler form component of the curvature is \(\in\) log h, h being the self-adjoint Hermitian transformation defining the required metric, relative to a fixed metric, and then analysing the situation as \(\in \to 0\). Given stability of the original bundle, the solutions persist to \(\in =0\). The most difficult part of the theorem concerns this limiting process where if convergence is violated, one needs to produce a filtration of the vector bundle by torsion free sheaves. To obtain such regularity from the analysis the authors use the solution to the plateau problem, and results of Sacks and the first author on minimal surfaces. As a by-product of their methods they produce an independently interesting theorem on weakly holomorphic maps.
Corollaries of the theorem include inequalities between Chern classes of Bogomolov type, and more importantly explicit information about the case of equality. In particular, a stable holomorphic bundle on a compact complex manifold \(X^ n\) with Kähler class w is flat if and only if \(C_ 1^ 2w^{n-2}=C_ 2w^{n-2}=0\).
Reviewer: N.Hitchin

MSC:

58J90 Applications of PDEs on manifolds
53C55 Global differential geometry of Hermitian and Kählerian manifolds
32L05 Holomorphic bundles and generalizations
14L24 Geometric invariant theory
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Atiyah, Phil. Trans. Roy. Soc. London A 308 pp 523– (1982)
[2] Atiyah, Phys. Lett. 65 A pp 185– (1978) · Zbl 0424.14004 · doi:10.1016/0375-9601(78)90141-X
[3] Atiyah, Proc. Roy. Soc. London A 365 pp 425– (1978) · Zbl 0389.53011 · doi:10.1098/rspa.1978.0143
[4] Bogomolov, Izvestia, U.S.S.R. 42 pp 1227– (1978)
[5] Bishop, Michigan Math. J. 11 pp 289– (1964)
[6] On Kähler manifolds with vanishing canonical class, Algebraic Geometry and Topology Symposium in honour of S. Lefshetz, Princeton University Press, 1955, pp. 78–89.
[7] Positivity of the curvature of the Weil-Peterson metric on the moduli space of stable vector bundles, Ph.D. thesis, Harvard Univ., 1985.
[8] Donaldson, Comm. Math. Physics. 93 pp 453– (1984)
[9] Donaldson, Proc. London Math. Soc. 50 pp 1– (1985)
[10] Donaldson, J. Diff. Geom. 18 pp 279– (1983)
[11] Donaldson, J. Diff. Geom.
[12] Harvey, Ann. Math. 99 pp 553– (1974)
[13] Cohomology of Quotients in Symplectic and Algebraic Geometry, Math Notes 31, Princeton University Press, 1984. · Zbl 0553.14020
[14] Kobayashi, Proc. Japan Acd. Ser. A, Math. Sci. 58 pp 158– (1982) · doi:10.3792/pjaa.58.158
[15] Lubke, Manuscripta Math. 42 pp 245– (1983)
[16] Multiple Integrals in the Calculus of Variations, Springer-Verlag, Berlin, 1966. · Zbl 0142.38701
[17] Miyaoka, Inventiones Math. 42 pp 225– (1967)
[18] Geometric Invariant Theory, Erg. Math. 34, Springer-Verlag, 1965. · doi:10.1007/978-3-662-00095-3
[19] Okonek, Birkhauser, Progress in Math. 3 (1980) · doi:10.1007/978-1-4757-1460-9
[20] Sacks, Ann. of Math. 113 pp 1– (1981)
[21] Schoen, J. Diff. Geom. 17 pp 307– (1982)
[22] Schoen, J. Diff. Geom. 18 pp 253– (1983)
[23] Sedlacek, Comm. Math. Phys. 86 pp 515– (1986)
[24] Siu, Annals of Math. 102 pp 421– (1975)
[25] Taubes, J. Diff. Geom. 17 pp 139– (1982)
[26] Taubes, J. Diff. Geom. 19 pp 517– (1984)
[27] Uhlenbeck, Comm. Math. Phys. 83 pp 31– (1982)
[28] A priori estimates for Yang-Mills fields, (manuscript in preparation).
[29] Ward, Physics Letters 61A pp 81– (1977) · Zbl 0964.81519 · doi:10.1016/0375-9601(77)90842-8
[30] Yang, Phys. Rev. Lett. 38 pp 1377– (1977)
[31] Yau, Comm. Pure and Applied Math. 31 pp 339– (1978)
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.