Basic course information
Time: MWF 2:00–2:50 p.m.
Place: 205 Deady Hall.
Textbook: None; see below for a list of papers, books, and resources.
Office hours: By appointment.
Final exam: None.
Prerequisites
This course is intended for mathematics Ph.D. students (who have passed their qualifying exams). All other students should consult with the instructor before enrolling.
The course will assume a basic understanding of smooth manifolds (smooth maps, derivatives, differential forms) and algebraic topology (homology, cohomology).
Description and goals
Since its introduction in the late 1980s, Floer homology has become one of the most important tools in symplectic and lowdimensional topology. This course will focus on one version of Floer homology: Lagrangian intersection Floer homology. The first third of the course will give a rapid introduction to symplectic topology, the definition of Lagrangian intersection Floer homology, and a sketch of its technical underpinnings. The middle third is a survey of some of Floer homology's triumphs in symplectic geometry. The final third will focus on OzsváthSzabó's Heegaard Floer homology, one way of using Lagrangian intersection Floer homology to prove results in lowdimensional topology, including detecting exotic smooth structures on 4manifolds.
Policies
Grading
Homework  100% 
Exercises will be mentioned in class from time to time. Every enrolled student must solve and turn in one exercise by the middle of the course and a second exercise by the last day of class.
Students with disabilities
I, and the University of Oregon in general, are committed to an inclusive learning environment. If you have a disability which may impact your performance on exams, please contact the Accessible Education Center to discuss appropriate accommodations. If there are other disabilityrelated barriers to your participation in the course, please either discuss them with me directly or consult with the Accessible Education Center.
Homework
Here are a few suggested problems. All are intended to be solvable, though some are harder than others. The textbooks [MS98], [daS01], and [AD14] also have lots of good problems about the material they cover. Pascaleff's lecture notes [Pas] also have lots of good problems, and are closer to the topics we will cover in the first third of the course.
Homework 1. Homework 2. Homework 3. Homework 4. Homework 5. Homework 6. Homework 7.
References
This list is not intended to be comprehensive. I did try to list original references for results proved since 1985. Beyond that, I have listed expository books and papers I found helpful; they mainly reflect where I learned the material. In the schedule for the first third of the course, I have tried to consistently give references to the most closely related material in McDuffSalamon's books. AudinDamian's book also seems like a helpful and nicely written reference for this material. (It's newer, so I don't know it as well.)
Expository books, papers, and notes
 [AD14] Michèle Audin and Mihai Damian, Morse theory and Floer homology. Translated from the 2010 French original by Reinie Erné. Universitext. Springer, London; EDP Sciences, Les Ulis, 2014. MR 3155456.
 [daS01] Ana Cannas da Silva, Lectures on symplectic geometry. Lecture Notes in Mathematics, 1764. SpringerVerlag, Berlin, 2001. MR 1853077.
 [daS06] Ana Cannas da Silva, "Symplectic geometry," Handbook of differential geometry. Vol. II, 79–188, Elsevier/NorthHolland, Amsterdam, 2006. MR 2194669.
 [EM02] Yakov Eliashberg and Nikolai Mishachev, Introduction to the hprinciple. Graduate Studies in Mathematics, 48. American Mathematical Society, Providence, RI, 2002. MR 1909245.
 [GS99] Robert Gompf and András Stipsicz,. 4manifolds and Kirby calculus. Graduate Studies in Mathematics, 20. American Mathematical Society, Providence, RI, 1999. MR 1707327.
 [Hu97] Christoph Hummel, Gromov's compactness theorem for pseudoholomorphic curves. Progress in Mathematics, 151. Birkhäuser Verlag, Basel, 1997. MR 1451624.
 [Hut02] Michael Hutchings, "Lecture notes on Morse homology (with an eye towards Floer theory and pseudoholomorphic curves)," available from his website here.
 [MS98] Dusa McDuff and Dietmar Salamon, Introduction to symplectic topology. Second edition. Oxford Mathematical Monographs. The Clarendon Press, Oxford University Press, New York, 1998. MR 1698616.
 [MS12] Dusa McDuff and Dietmar Salamon, Jholomorphic curves and symplectic topology. Second edition. American Mathematical Society Colloquium Publications, 52. American Mathematical Society, Providence, RI, 2012. MR 2954391.
 [Pan94] Pierre Pansu, "Compactness." In Holomorphic curves in symplectic geometry, 233–249, Progr. Math., 117, Birkhäuser, Basel, 1994. MR 1274932.
 [Pas] James Pascaleff's lecture notes from "M 392C: Lagrangian Floer Homology" at UT Austin (Spring 2014).
 Leonid Polterovich, The geometry of the group of symplectic diffeomorphisms. Lectures in Mathematics ETH Zürich. Birkhäuser Verlag, Basel, 2001. MR 1826128.
 [Smi15] Ivan Smith, "A symplectic prolegomenon." Bull. Amer. Math. Soc. (N.S.) 52 (2015), no. 3, 415–464. MR 3348443.
Research papers and books
 [Che98] Yuri Chekanov, "Lagrangian intersections, symplectic energy, and areas of holomorphic curves." Duke Math. J. 95 (1998), no. 1, 213226. MR 1646550.
 [Che00] Yuri Chekanov, "Invariant Finsler metrics on the space of Lagrangian embeddings." Math. Z. 234 (2000), no. 3, 605–619. MR 1774099.
 [Flo88] Andreas Floer, "Morse theory for Lagrangian intersections." J. Diff. Geo. 28 (1988), no. 3, 513547. MR 965228.
 [Flo89] Andreas Floer, "Symplectic fixed points and holomorphic spheres." Comm. Math. Phys. 120 (1989), no. 4, 575–611. MR 987770.
 [FOOO09] Kenji Fukaya, YongGeun Oh, Hiroshi Ohta, and Kaoru Ono, Lagrangian intersection Floer theory: anomaly and obstruction. AMS/IP Studies in Advanced Mathematics, 46.1. American Mathematical Society, Providence, RI; International Press, Somerville, MA, 2009. MR 2553465.
 [FQ90] Michael Freedman and Frank Quinn, Topology of 4manifolds. Princeton Mathematical Series, 39. Princeton University Press, Princeton, NJ, 1990. MR 1201584.
 [GH11] Vinicius Gripp Barros Ramos and Yang Huang, "An absolute grading on Heegaard Floer homology by homotopy classes of oriented 2plane fields." arXiv:1112.0290.
 [Gro71] Mikhail Gromov, "A topological technique for the construction of solutions of differential equations and inequalities." Actes du Congrès International des Mathématiciens (Nice, 1970), Tome 2, pp. 221–225. GauthierVillars, Paris, 1971. MR 420697.
 [Gro85] Mikhail Gromov, "Pseudoholomorphic curves in symplectic manifolds." Invent. Math. 82 (1985), no. 2, 307–347. MR 809718.
 [Hed07] Matthew Hedden, "Knot Floer homology of Whitehead doubles." Geom. Topol. 11 (2007), 2277–2338. MR 2372849.
 [Hee98] Poul Heegaard, "Forstudier til en topologisk teori for de algebraiske fladers sammenhaeng." Available here. English translation by Hans Munkholm available here.
 [KM93] Peter Kronheimer and Tomasz Mrowka, "Gauge theory for embedded surfaces. I." Topology 32 (1993), no. 4, 773–826. MR 1241873.
 [KM07] Peter Kronheimer and Tomasz Mrowka, Monopoles and threemanifolds. New Mathematical Monographs, 10. Cambridge University Press, Cambridge, 2007.
 [Kru03] Boris Kruglikov, "Nonexistence of higherdimensional pseudoholomorphic submanifolds." Manuscripta Math. 111 (2003), no. 1, 51–69. MR 1981596.
 [Lee76] Alexander Lees, "On the classification of Lagrange immersions." Duke Math. J. 43 (1976), no. 2, 217–224. MR 410764.
 [Lip06] Robert Lipshitz, "A cylindrical reformulation of Heegaard Floer homology." Geom. Topol. 10 (2006), 955–1097. MR 2240908.
 [Mil68] John Milnor, Singular points of complex hypersurfaces. Annals of Mathematics Studies, No. 61 Princeton University Press, Princeton, N.J.; University of Tokyo Press, Tokyo 1968. MR 239612.
 [MOS09] Ciprian Manolescu, Peter Ozsváth and Sucharit Sarkar, "A combinatorial description of knot Floer homology." Ann. of Math. (2) 169 (2009), no. 2, 633–660. MR 2480614.
 [MOSzT07] Ciprian Manolescu, Peter Ozsváth, Zoltán Szabó and Dylan Thurston, "On combinatorial link Floer homology." Geom. Topol. 11 (2007), 2339–2412. MR 2372850.
 [MW95] Mario Micallef and Brian White, "The structure of branch points in minimal surfaces and in pseudoholomorphic curves." Ann. of Math. (2) 141 (1995), no. 1, 35–85. MR 1314031.
 [Nov81] S. P. Novikov, "Multivalued functions and functionals. An analogue of the Morse theory." (Russian) Dokl. Akad. Nauk SSSR 260 (1981), no. 1, 31–35. MR 630459. English translation available here.
 [OSz03] Peter Ozsváth and Zoltán Szabó, "Knot Floer homology and the fourball genus." Geom. Topol. 7 (2003), 615–639. MR 2026543.
 [OSz04a] Peter Ozsváth and Zoltán Szabó, "Holomorphic disks and topological invariants for closed threemanifolds." Ann. of Math. (2) 159 (2004), no. 3, 1027–1158. MR 2113019.
 [OSz04b] Peter Ozsváth and Zoltán Szabó, "Holomorphic disks and threemanifold invariants: properties and applications." Ann. of Math. (2) 159 (2004), no. 3, 1159–1245. MR 2113020.
 [OSz04c] Peter Ozsváth and Zoltán Szabó, "Holomorphic disks and knot invariants." Adv. Math. 186 (2004), no. 1, 58–116. MR 2065507.
 [OSz06] Peter Ozsváth and Zoltán Szabó, "Holomorphic triangles and invariants for smooth fourmanifolds." Adv. Math. 202 (2006), no. 2, 326–400. MR 2222356.
 [Per08] Timothy Perutz, "Hamiltonian handleslides for Heegaard Floer homology." Proceedings of Gökova GeometryTopology Conference 2007, 15–35, Gökova Geometry/Topology Conference (GGT), Gökova, 2008. MR 2509747.
 [Ras02] Jacob Rasmussen, "Floer homology and knot complements." Thesis (Ph.D.)–Harvard University. 2003. arXiv:math/0306378. MR 2704683.
 [Sar11] Sucharit Sarkar, "Grid diagrams and the OzsváthSzabó tauinvariant." Math. Res. Lett. 18 (2011), no. 6, 1239–1257. MR 2915478.
 [Sei99] Paul Seidel, "Lagrangian twospheres can be symplectically knotted." J. Differential Geom. 52 (1999), no. 1, 145–171. MR 1743463.
 [Sei08] Paul Seidel, Fukaya categories and PicardLefschetz theory. Zurich Lectures in Advanced Mathematics. European Mathematical Society (EMS), Zürich, 2008. MR 2441780.
 [Sma65] Stephen Smale, "An infinite dimensional version of Sard's theorem." Amer. J. Math. 87 (1965), 861–866. MR 185604.
 [Ush13] Michael Usher, "Hofer's metrics and boundary depth." Ann. Sci. Éc. Norm. Supér. (4) 46 (2013), no. 1, 57–128 (2013). MR 3087390.
 [UZ16] Michael Usher and Jun Zhang, "Persistent homology and Floer–Novikov theory." Geom. Topol. 20 (2016), no. 6, 3333–3430. MR 3590354.
Schedule (tentative)
Week  Date  Topic  Relevant resources 
1  1/9  Overview and goals  
1/11  Symplectic geometry 1: symplectic manifolds and their submanifolds.  [daS01] §1, 2, 3. [daS06] Ch. 1, 2. [MS98] Ch. 1, 2, 3. [Smi15] §1, 2. 

1/13  Symplectic geometry 2: symplectic linear algebra, almost complex structures.  [MS98] §2.1, 2.2, 2.5. [daS01] Ch. 5. [Gro85] 

2  1/16  Martin Luther King Day (no class) This is the last day to drop the class without a W. 

1/18  Symplectic geometry 3: local neighborhood theorems.  [daS01] §6, 7, 8, 9. [daS06] §1.4, 1.5, 2.2, 2.3. [MS98] §3.2, 3.3. 

1/20  Pseudoholomorphic maps. Elliptic regularity.  [MS12] Ch. 2, Appendix B. [Gro85], [Kru03], [MW95] 

3  1/23  Lagrangian intersection Floer homology: definition, key theorems.  [Hut02] [Flo88], [Sei08], [FOOO09] 
1/25  Transversality.  [MS12], Ch. 3, Appendix A. [Sei08], [FOOO09] [Sma65], [Flo88] 

1/27  Expected dimensions and orientations. Transversality problems.  
4  1/30  Compactness.  [Pan94], [Hu97] [MS12] Ch. 4. [Gro85], [Flo88] 
2/1  More compactness.  
2/3  Gluing.  [MS12], Ch. 10 [Flo88] 

5  2/6  Floer homology: definition, invariance. Self Floer homology. Nondisplaceable Lagrangian submanifolds. The Arnold Conjecture.  [Flo88], [Flo89] [Gro71], [Lee76], [EM02] 
2/8  Novikov coefficients. More nondisplaceability and displacement energy.  [Nov81], [Che98], [Che00], [Ush13], [UZ16]  
2/10  A moment to catch up.  
6  2/13  Symplectic capacities and embeddings. First homework problem due.  We're behind schedule, so this week never happened. 
2/15  The nearby Lagrangian problem.  
2/17  Knotted Lagrangians.  [Sei99]  
7  2/20  Heegaard diagrams, Morse functions, Heegaard moves.  [GS99] [Hee98], [OSz04] 
2/22  Heegaard Floer homology (HF^): definition (for rational homology spheres), first examples.  [OSz04], [OSz04b], [Per08], [Lip06], [KM07], [GH11]  
2/24  Invariance of HF^. The last day to withdraw from the class is 2/26. 
[OSz04a]  
8  2/27  Knot Floer homology (CFK^{}): definition, examples.  [OSz04c], [Ras02], [MOS09], [MOSzT07] 
3/1  Tau and the 4ball genus.  [OSz03], [Sar11]  
3/3  The Milnor conjecture.  [Mil68], [KM93], [OSz03], [Sar11]  
9  3/6  tau of Whitehead doubles.  [Hed07] 
3/8  Topologically slice knots; an exotic R^{4}.  [FQ90], [GS99]  
3/10  Spin^{c} structures; HF^{+}, HF^{}, HF^{red.}  [OSz04a]  
10  3/13  Cobordism maps and the mixed invariant.  [OSz06] 
3/15  More cobordism maps and the mixed invariant.  [OSz06]  
3/17  The adjunction inequality, Thom conjecture, and exotic closed 4manifolds. Second homework problem due. 
[OSz06] 