The Seiberg Witten Equations And Applications To The Topology Of Smooth Four Manifolds Mn 44 Volume 44

The recent introduction of the Seiberg-Witten invariants of smooth four-manifolds has revolutionized the study of those manifolds. The invariants are gauge-theoretic in nature and are close cousins of the much-studied SU(2)-invariants defined over fifteen years ago by Donaldson. On a practical level, the new invariants have proved to be more powerful and have led to a vast generalization of earlier results. This book is an introduction to the Seiberg-Witten invariants. The work begins with a review of the classical material on Spin c structures and their associated Dirac operators. Next comes a discussion of the Seiberg-Witten equations, which is set in the context of nonlinear elliptic operators on an appropriate infinite dimensional space of configurations. It is demonstrated that the space of solutions to these equations, called the Seiberg-Witten moduli space, is finite dimensional, and its dimension is then computed. In contrast to the SU(2)-case, the Seiberg-Witten moduli spaces are shown to be compact. The Seiberg-Witten invariant is then essentially the homology class in the space of configurations represented by the Seiberg-Witten moduli space. The last chapter gives a flavor for the applications of these new invariants by computing the invariants for most Kahler surfaces and then deriving some basic toological consequences for these surfaces.

The recent introduction of the Seiberg-Witten invariants of smooth four-manifolds has revolutionized the study of those manifolds. The invariants are gauge-theoretic in nature and are close cousins of the much-studied SU(2)-invariants defined over fifteen years ago by Donaldson. On a practical level, the new invariants have proved to be more powerful and have led to a vast generalization of earlier results. This book is an introduction to the Seiberg-Witten invariants. The work begins with a review of the classical material on Spin c structures and their associated Dirac operators. Next comes a discussion of the Seiberg-Witten equations, which is set in the context of nonlinear elliptic operators on an appropriate infinite dimensional space of configurations. It is demonstrated that the space of solutions to these equations, called the Seiberg-Witten moduli space, is finite dimensional, and its dimension is then computed. In contrast to the SU(2)-case, the Seiberg-Witten moduli spaces are shown to be compact. The Seiberg-Witten invariant is then essentially the homology class in the space of configurations represented by the Seiberg-Witten moduli space. The last chapter gives a flavor for the applications of these new invariants by computing the invariants for most Kahler surfaces and then deriving some basic toological consequences for these surfaces.

This book presents the topology of smooth 4-manifolds in an intuitive self-contained way, developed over a number of years by Professor Akbulut. The text is aimed at graduate students and focuses on the teaching and learning of the subject, giving a direct approach to constructions and theorems which are supplemented by exercises to help the reader work through the details not covered in the proofs. The book contains a hundred colour illustrations to demonstrate the ideas rather than providing long-winded and potentially unclear explanations. Key results have been selected that relate to the material discussed and the author has provided examples of how to analyse them with the techniques developed in earlier chapters.

On March 28-30, 1996, International Press, the National Science Foundation, and the University of California sponsored the First Annual International Press Lecture Series, held on the Irvine campus. This volume consists of four papers comprising the proof of the author's result relating the Seiberg-Witten and Gromov invariants of four manifolds.

In 1961 Smale established the generalized Poincare Conjecture in dimensions greater than or equal to 5 [129] and proceeded to prove the h-cobordism theorem [130]. This result inaugurated a major effort to classify all possible smooth and topological structures on manifolds of dimension at least 5. By the mid 1970's the main outlines of this theory were complete, and explicit answers (especially concerning simply connected manifolds) as well as general qualitative results had been obtained. As an example of such a qualitative result, a closed, simply connected manifold of dimension 2: 5 is determined up to finitely many diffeomorphism possibilities by its homotopy type and its Pontrjagin classes. There are similar results for self-diffeomorphisms, which, at least in the simply connected case, say that the group of self-diffeomorphisms of a closed manifold M of dimension at least 5 is commensurate with an arithmetic subgroup of the linear algebraic group of all automorphisms of its so-called rational minimal model which preserve the Pontrjagin classes [131]. Once the high dimensional theory was in good shape, attention shifted to the remaining, and seemingly exceptional, dimensions 3 and 4. The theory behind the results for manifolds of dimension at least 5 does not carryover to manifolds of these low dimensions, essentially because there is no longer enough room to maneuver. Thus new ideas are necessary to study manifolds of these "low" dimensions.

The lectures in this volume provide a perspective on how 4-manifold theory was studied before the discovery of modern-day Seiberg-Witten theory. One reason the progress using the Seiberg-Witten invariants was so spectacular was that those studying SU(2)-gauge theory had more than ten years' experience with the subject. The tools had been honed, the correct questions formulated, and the basic strategies well understood. The knowledge immediately bore fruit in the technically simpler environment of the Seiberg-Witten theory. Gauge theory long predates Donaldson's applications of the subject to 4.

This book presents the classical theorems about simply connected smooth 4-manifolds: intersection forms and homotopy type, oriented and spin bordism, the index theorem, Wall's diffeomorphisms and h-cobordism, and Rohlin's theorem. Most of the proofs are new or are returbishings of post proofs; all are geometric and make us of handlebody theory. There is a new proof of Rohlin's theorem using spin structures. There is an introduction to Casson handles and Freedman's work including a chapter of unpublished proofs on exotic R4's. The reader needs an understanding of smooth manifolds and characteristic classes in low dimensions. The book should be useful to beginning researchers in 4-manifolds.

This text is part of the IAS/Park City Mathematics series and focuses on gauge theory and the topology of four-manifolds.