Floer Homology, Gauge Theory, and Low-Dimensional Topology
Clay Mathematics Proceedings Volume 5
Floer Homology, Gauge Theory, and Low-Dimensional Topology
Proceedings of the Clay Mathematics Institute 2004 Summer School Alfréd Rényi Institute of Mathematics Budapest, Hungary June 5–26, 2004
David A. Ellwood Peter S. Ozsváth András I. Stipsicz Zoltán Szabó Editors
American Mathematical Society Clay Mathematics Institute 2000 Mathematics Subject Classification. Primary 57R17, 57R55, 57R57, 57R58, 53D05, 53D40, 57M27, 14J26. The cover illustrates a Kinoshita-Terasaka knot (a knot with trivial Alexander polyno- mial), and two Kauffman states. These states represent the two generators of the Heegaard Floer homology of the knot in its topmost filtration level. The fact that these elements are homologically non-trivial can be used to show that the Seifert genus of this knot is two, a result first proved by David Gabai.
Library of Congress Cataloging-in-Publication Data Clay Mathematics Institute. Summer School (2004 : Budapest, Hungary) Floer homology, gauge theory, and low-dimensional topology : proceedings of the Clay Mathe- matics Institute 2004 Summer School, Alfr´ed R´enyi Institute of Mathematics, Budapest, Hungary, June 5–26, 2004 / David A. Ellwood ...[et al.], editors. p. cm. — (Clay mathematics proceedings, ISSN 1534-6455 ; v. 5) ISBN 0-8218-3845-8 (alk. paper) 1. Low-dimensional topology—Congresses. 2. Symplectic geometry—Congresses. 3. Homol- ogy theory—Congresses. 4. Gauge fields (Physics)—Congresses. I. Ellwood, D. (David), 1966– II. Title. III. Series. QA612.14.C55 2004 514 .22—dc22 2006042815
Copying and reprinting. Material in this book may be reproduced by any means for educa- tional and scientific purposes without fee or permission with the exception of reproduction by ser- vices that collect fees for delivery of documents and provided that the customary acknowledgment of the source is given. This consent does not extend to other kinds of copying for general distribu- tion, for advertising or promotional purposes, or for resale. Requests for permission for commercial use of material should be addressed to the Clay Mathematics Institute, One Bow Street, Cam- bridge, MA 02138, USA. Requests can also be made by e-mail to [email protected]. Excluded from these provisions is material in articles for which the author holds copyright. In such cases, requests for permission to use or reprint should be addressed directly to the author(s). (Copyright ownership is indicated in the notice in the lower right-hand corner of the first page of each article.) c 2006 by the Clay Mathematics Institute. All rights reserved. Published by the American Mathematical Society, Providence, RI, for the Clay Mathematics Institute, Cambridge, MA. Printed in the United States of America. The Clay Mathematics Institute retains all rights except those granted to the United States Government. ∞ The paper used in this book is acid-free and falls within the guidelines established to ensure permanence and durability. Visit the AMS home page at http://www.ams.org/ Visit the Clay Mathematics Institute home page at http://www.claymath.org/ 10987654321 111009080706 Contents
Introduction vii
Heegaard Floer Homology and Knot Theory 1 An Introduction to Heegaard Floer Homology 3 Peter Ozsvath´ and Zoltan´ Szabo´ Lectures on Heegaard Floer Homology 29 Peter Ozsvath´ and Zoltan´ Szabo´ Circle Valued Morse Theory for Knots and Links 71 Hiroshi Goda
Floer Homologies and Contact Structures 101 Lectures on Open Book Decompositions and Contact Structures 103 John B. Etnyre Contact Surgery and Heegaard Floer Theory 143 Andras´ I Stipsicz Ozsv´ath-Szab´o Invariants and Contact Surgery 171 Paolo Lisca and Andras´ I Stipsicz Double Points of Exact Lagrangian Immersions and Legendrian Contact Homology 181 Tobias Ekholm
Symplectic 4–manifolds and Seiberg–Witten Invariants 193 Knot Surgery Revisited 195 Ronald Fintushel Will We Ever Classify Simply-Connected Smooth 4-manifolds? 225 Ronald J. Stern + 2 ≥ A Note on Symplectic 4-manifolds with b2 =1andK 0 241 Jongil Park The Kodaira Dimension of Symplectic 4-manifolds 249 Tian-Jun Li Symplectic 4-manifolds, Singular Plane Curves, and Isotopy Problems 263 Denis Auroux Monodromy, Vanishing Cycles, Knots and the Adjoint Quotient 277 Ivan Smith List of Participants 293
v
Introduction
The Clay Mathematical Institute hosted its 2004 Summer School on Floer ho- mology, gauge theory, and low–dimensional topology at the Alfr´ed R´enyi Institute of Mathematics in Budapest, Hungary. The aim of this school was to bring together students and researchers in the rapidly developing crossroads of gauge theory and low–dimensional topology. In part, the hope was to foster dialogue across closely related disciplines, some of which were developing in relative isolation until fairly recently. The lectures centered on several topics, including Heegaard Floer theory, knot theory, symplectic and contact topology, and Seiberg–Witten theory. This volume is based on lecture notes from the school, some of which were written in close collaboration with assigned teaching assistants. The lectures have revised the choice of material somewhat from that presented at the school, and the topics have been organized to fit together in logical categories. Each course consisted of two to five lectures, and some had associated problem sessions in the afternoons.
Mathematical gauge theory studies connections on principal bundles, or, more precisely, the solution spaces of certain partial differential equations for such connec- tions. Historically, these equations have come from mathematical physics. Gauge theory as a tool for studying topological properties of four–manifolds was pioneered by the fundamental work of Simon Donaldson in the early 1980’s. Since the birth of the subject, it has retained its close connection with symplectic topology, a subject whose intricate structure was illuminated by Mikhail Gromov’s introduc- tion of pseudo–holomorphic curve techniques, also introduced in the early 1980’s. The analogy between these two fields of study was further underscored by Andreas Floer’s construction of an infinite–dimensional variant of Morse theory that applies in two aprioridifferent contexts: either to define symplectic invariants for pairs of Lagrangian submanifolds of a symplectic manifold (the so–called Lagrangian Floer homology), providing obstructions to disjoining the submanifolds through Hamil- tonian isotopies, or to give topological invariants for three–manifolds (the so–called instanton Floer homology), which fit into a framework for calculating Donaldson’s invariants for smooth four–manifolds.
In the mid–1990’s, gauge–theoretic invariants for four–manifolds underwent a dramatic change with the introduction of a new set of partial differential equations introduced by Nathan Seiberg and Edward Witten in their study of string theory. Very closely connected with the underlying geometry of the four–manifolds over which they are defined, the Seiberg–Witten equations lead to four–manifold invari- ants which are in many ways much easier to work with than the anti–self–dual Yang–Mills equations which Donaldson had studied. The introduction of the new invariants led to a revolution in the field of smooth four–manifold topology. vii viii INTRODUCTION
Highlights in four–manifold topology from this period include the deep theo- rems of Clifford Taubes about the differential topology of symplectic four–manifolds. These give an interpretation of some of Gromov’s invariants for symplectic man- ifolds in terms of the Seiberg–Witten invariants of the underlying smooth four– manifold. Another striking consequence of the new invariants was a quick, elegant proof by Kronheimer and Mrowka of a conjecture by Thom, stating that the alge- braic curves in the complex projective plane minimize genus in their homology class. The invariants were also used particularly effectively in work of Ron Fintushel and Ron Stern, who discovered several operations on smooth four–manifolds, for which the Seiberg–Witten invariants transform in a predictable manner. These operations include rational blow–downs, where the neighborhood of a certain chain of spheres is replaced by a space with vanishing second homology, and also knot surgery,for which the Alexander polynomial of a knot is reflected in the Seiberg–Witten invari- ants of a corresponding four–manifold. These operations can be used to construct a number of smooth four–manifolds with interesting properties.
In an attempt to better understand the somewhat elusive gauge theoretic in- variants, a different construction was given by Peter Ozsv´ath and Zolt´an Szab´o. They formulated an invariant for three– and four–manifolds which takes as its starting point a Lagrangian Floer homology associated to Heegaard diagrams for three–manifolds. The resulting “Heegaard Floer homology” theory is conjecturally isomorphic to Seiberg–Witten theory, but more topological and combinatorial in its flavor and correspondingly easier to work with in certain contexts. Moreover, this theory has benefitted a great deal from an array of contemporary results rendering various analytical and geometric structures in a more topological and combinatorial form, such as Donaldson’s introduction of “Lefschetz pencils” in the symplectic cat- egory and Giroux’s correspondence between open book decompositions and contact structures.
The two lecture series of Ozsv´ath and Szab´o in the first section of this volume provide a leisurely introduction to Heegaard Floer theory. The first lecture series (the lectures given by Szab´o at the Summer School) start with the basic notions, and move on to the constructions of the primary variants of Floer homology groups and maps between them. These lectures also cover basics of a corresponding Heegaard Floer homology invariant for knots. The second lecture series (given by Ozsv´ath) gives a rapid proof of one of the basic calculational tools of the subject, the surgery exact triangle, and its immediate applications. Special emphasis is placed on a Dehn surgery characterization of the unknot, a result whose proof is outlined in these lectures. Section 1 concludes with the lecture notes from Goda’s course. Whereas Heegaard diagrams correspond to real–valued Morse theory in three dimensions, in these lectures, Goda considers circle–valued Morse theory for link complements. He uses this theory to give obstructions to a knot being fibered.
The main theme in Section 2 is contact geometry and its interplay with Floer homology. The lectures of John Etnyre give a detailed account of open book de- compositions and contact structures, and the Giroux correspondence. The proof of the Giroux correspondence is followed by some applications of this theory, in- cluding an embedding theorem for weak symplectic fillings, which turned out to be a crucial step in many of the recent developments of the subject, including the INTRODUCTION ix verification of Property P by Kronheimer and Mrowka. The definition of the con- tact invariant in Heegaard Floer theory (resting on the above mentioned Giroux correspondence) is discussed in the lecture notes of Andr´as Stipsicz, together with a short discussion on contact surgeries. Results regarding existence of tight contact structures on various 3–manifolds and their fillability properties are also given. A similar application of the contact invariants is described in the paper of Paolo Lisca and Andr´as Stipsicz, with the use of minimum machinery required in the proof. A different type of Floer homology (called contact homology) is studied in Tobias Ekholm’s paper. A classical result of Gromov states that any exact Lagrangian immersion into Cn has at least one double–point. Ekholm generalizes this result, using Floer homology to give estimates on the minimum number of double–points of an exact Legendrian immersion into some Euclidean space.
Section 3 discusses symplectic geometry and Seiberg–Witten invariants. Ron Fintushel’s lectures give an introduction to Seiberg–Witten invariants and the knot surgery construction. The lectures give a thorough discussion of how the Seiberg– Witten invariants transform under the knot surgery operation. Applications include exotic embeddings of surfaces in smooth four–manifolds. Ron Stern’s contribution describes the current state of art in the classification of smooth 4–manifolds, and collects a number of intriguing questions and problems which can motivate further results in the subject. The paper of Jongil Park provides new applications of the ra- tional blow–down construction, which led him to discover symplectic 4–manifolds homeomorphic but not diffeomorphic to rational surfaces with small Euler char- acteristic. Tian–Jun Li studies symplectic 4–manifolds systematically using the generalization of the notion of the holomorphic Kodaira dimension κ to this cat- egory. After the discussion of the κ = −∞ case, the state of the art for κ =0 is described, where a reasonably nice classification scheme is expected. The con- tribution of Denis Auroux also addresses the problem of understanding symplectic 4–manifolds, but from a completely different point of view. In this case the mani- folds are presented as branched covers of the complex projective plane along certain curves, and the discussion centers on the possibility of getting symplectic invariants from topological properties of these branch sets. The volume concludes with Ivan Smith’s contribution, where the author reviews basics about symplectic fibrations, leading him (in a joint project with Paul Seidel) to knot invariants defined using symplectic topology and Floer homology, conjecturally recapturing the celebrated knot invariants of Khovanov.
It is hoped that this volume will give the reader a sampling of these many new and exciting developments in low–dimensional topology and symplectic geometry. Before commencing with the mathematics, we would like to pause to thank some of the many people who have contributed in one way or another to this volume. We would like to thank Arthur Greenspoon for a meticulous proofreading of this text. We would like to thank the Clay Mathematical Institute for making this program possible, through both their financial support and their enthusiasm; special mention goes to Vida Salahi for her careful and diligent work in bringing this volume to print. Next, we thank the staff at the R´enyi Institute for helping to create a conducive environment for the Summer School. We would like to thank the lecturers for giving clear, accessible accounts of their research, and we are also grateful to their course assistants, who helped make these courses run smoothly. Finally, we thank x INTRODUCTION the many students and young researchers whose remarkable energy and enthusiasm helped to make the conference a success.
David Ellwood, Peter Ozsv´ath, Andr´as Stipsicz, Zolt´an Szab´o October 2005 Heegaard Floer Homology and Knot Theory
Clay Mathematics Proceedings Volume 5, 2006
An Introduction to Heegaard Floer Homology
Peter Ozsv´ath and Zolt´an Szab´o
1. Introduction The aim of these notes is to give an introduction to Heegaard Floer homology for closed oriented 3-manifolds [31]. We will also discuss a related Floer homology invariant for knots in S3 [29], [34]. Let Y be an oriented closed 3-manifold. The simplest version of Heegaard Floer homology associates to Y a finitely generated Abelian group HF (Y ). This homology is defined with the help of Heegaard diagrams and Lagrangian Floer homology. Variants of this construction give related invariants HF+(Y ), HF−(Y ), HF∞(Y ). While its construction is very different, Heegaard Floer homology is closely related to Seiberg-Witten Floer homology [10, 15, 17], and instanton Floer ho- mology [3, 4, 7]. In particular it grew out of our attempt to find a more topological description of Seiberg-Witten theory for three-manifolds.
2. Heegaard decompositions and diagrams Let Y be a closed oriented three-manifold. In this section we describe decom- positions of Y into more elementary pieces, called handlebodies. A genus g handlebody U is diffeomorphic to a regular neighborhood of a bouquet of g circles in R3; see Figure 1. The boundary of U is an oriented surface of genus g. If we glue two such handlebodies together along their common boundary, we get a closed 3-manifold
Y = U0 ∪Σ U1 oriented so that Σ is the oriented boundary of U0. This is called a Heegaard decomposition for Y .
2.1. Examples. The simplest example is the (genus 0) decomposition of S3 into two balls. A similar example is given by taking a tubular neighborhood of the unknot in S3. Since the complement is also a solid torus, we get a genus 1 Heegaard decomposition of S3.
2000 Mathematics Subject Classification. 57R58, 57M27. PO was partially supported by NSF Grant Number DMS 0234311. ZSz was partially supported by NSF Grant Number DMS 0406155 .