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

This text provides an accessible account to the modern study of the geometry of four-manifolds. Prerequisites are a firm grounding in differential topology and geometry, as may be gained from the first year of a graduate course.

From the reviews of the first edition: "This book exposes the beautiful confluence of deep techniques and ideas from mathematical physics and the topological study of the differentiable structure of compact four-dimensional manifolds, compact spaces locally modeled on the world in which we live and operate... The book is filled with insightful remarks, proofs, and contributions that have never before appeared in print. For anyone attempting to understand the work of Donaldson and the applications of gauge theories to four-dimensional topology, the book is a must." #Science#1 "I would strongly advise the graduate student or working mathematician who wishes to learn the analytic aspects of this subject to begin with Freed and Uhlenbeck's book." #Bulletin of the American Mathematical Society#2

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.

What a wonderful book! I strongly recommend this book to anyone, especially graduate students, interested in getting a sense of 4-manifolds. --MAA Reviews The book gives an excellent overview of 4-manifolds, with many figures and historical notes. Graduate students, nonexperts, and experts alike will enjoy browsing through it. -- Robion C. Kirby, University of California, Berkeley This book offers a panorama of the topology of simply connected smooth manifolds of dimension four. Dimension four is unlike any other dimension; it is large enough to have room for wild things to happen, but small enough so that there is no room to undo the wildness. For example, only manifolds of dimension four can exhibit infinitely many distinct smooth structures. Indeed, their topology remains the least understood today. To put things in context, the book starts with a survey of higher dimensions and of topological 4-manifolds. In the second part, the main invariant of a 4-manifold--the intersection form--and its interaction with the topology of the manifold are investigated. In the third part, as an important source of examples, complex surfaces are reviewed. In the final fourth part of the book, gauge theory is presented; this differential-geometric method has brought to light how unwieldy smooth 4-manifolds truly are, and while bringing new insights, has raised more questions than answers. The structure of the book is modular, organized into a main track of about two hundred pages, augmented by extensive notes at the end of each chapter, where many extra details, proofs and developments are presented. To help the reader, the text is peppered with over 250 illustrations and has an extensive index.

Although the Fields Medal does not have the same public recognition as the Nobel Prizes, they share a similar intellectual standing. It is restricted to one field - that of mathematics - and an age limit of 40 has become an accepted tradition. Mathematics has in the main been interpreted as pure mathematics, and this is not so unreasonable since major contributions in some applied areas can be (and have been) recognized with Nobel Prizes. The restriction to 40 years is of marginal significance, since most mathematicians have made their mark long before this age.A list of Fields Medallists and their contributions provides a bird's eye view of mathematics over the past 60 years. It highlights the areas in which, at various times, greatest progress has been made. This volume does not pretend to be comprehensive, nor is it a historical document. On the other hand, it presents contributions from 22 Fields Medallists and so provides a highly interesting and varied picture.The contributions themselves represent the choice of the individual Medallists. In some cases the articles relate directly to the work for which the Fields Medals were awarded. In other cases new articles have been produced which relate to more current interests of the Medallists. This indicates that while Fields Medallists must be under 40 at the time of the award, their mathematical development goes well past this age. In fact the age limit of 40 was chosen so that young mathematicians would be encouraged in their future work.The Fields Medallists' Lectures is now available on CD-ROM. Sections can be accessed at the touch of a button, and similar topics grouped together using advanced keyword searches.

Presents an exposition of Kirby calculus, or handle body theory on 4-manifolds. This book includes such topics as branched coverings and the geography of complex surfaces, elliptic and Lefschetz fibrations, $h$-cobordisms, symplectic 4-manifolds, and Stein surfaces.

Mathematical gauge theory studies connections on principal bundles, or, more precisely, the solution spaces of certain partial differential equations for such connections. Historically, these equations have come from mathematical physics, and play an important role in the description of the electro-weak and strong nuclear forces. The use of gauge theory as a tool for studying topological properties of four-manifolds was pioneered by the fundamental work of Simon Donaldson in theearly 1980s, and was revolutionized by the introduction of the Seiberg-Witten equations in the mid-1990s. Since the birth of the subject, it has retained its close connection with symplectic topology. The analogy between these two fields of study was further underscored by Andreas Floer's constructionof an infinite-dimensional variant of Morse theory that applies in two a priori different contexts: either to define symplectic invariants for pairs of Lagrangian submanifolds of a symplectic manifold, or to define topological This volume is based on lecture courses and advanced seminars given at the 2004 Clay Mathematics Institute Summer School at the Alfred Renyi Institute of Mathematics in Budapest, Hungary. Several of the authors have added a considerable amount of additional material tothat presented at the school, and the resulting volume provides a state-of-the-art introduction to current research, covering material from Heegaard Floer homology, contact geometry, smooth four-manifold topology, and symplectic four-manifolds. Information for our distributors: Titles in this seriesare copublished with the Clay Mathematics Institute (Cambridge, MA).

Presents an examination of the work of Simon Donaldson. This book offers foundation work in gauge theory (Uhlenbeck, Taubes, Atiyah, Hitchin, Singer, et al.) which underlies Donaldson's work. It is suitable for geometric topologists and differential geometers.

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.