4-Manifolds and Kirby calculus

2 hours lecture + 1 hour exercise session

(In der Prüfungsordnung erscheint diese Vorlesung unter Modul M39: Spezielle Themen der Mathematik)

Marc Kegel

Summer term 2021

Exam: The second exam takes place as a digital oral exam on Friday, 15. October. If you want to participate contact me before via mail to set up an exact time.

Lecture: Fridays 9:15 - 10:45, online via Zoom
Veranstaltungsnummer: 3314437
First lecture: 16.04.2021

Exercise session: Fridays, every other week, 11:00 - 12:30, online via Zoom
Veranstaltungsnummer: 3314437
First exercise session: 23.04.2020

Office hours / further discussion: after the lectures/exercise sessions

There will be no Moodle page for this lecture. Instead the Zoom links will appear at this webpage and anyone interested in the lecture may join directly from here.
Zoom meeting info: click here for Zoom meeting info

Mailling list: If you would like to receive information about this course by email via a mailing list, please send me a short email so I can add you to the mailing list.


Content: The goal of Kirby calculus, named after the American mathematician Robion Kirby, is to study smooth compact 4-manifolds by splitting them into simple pieces. This simple pieces, so-called handles, are (after smoothing the corners) all diffeomorphic to 4-balls. All information about the original 4-manifold is therefore contained in the gluing maps of these simple pieces.

First we will examine the same procedure in three dimensions. This will then lead to the notion of a Heegaard diagram of a 3-manifold, a 2-dimensional diagram, in which all the information of the 3-manifold is encoded.

One dimension higher we will display all the information of a smooth compact 4-manifold (or its 3-dimensional boundary) in a so-called Kirby diagram. The term Kirby calculus is then generally used to describe the modifications of such diagrams that do not change the diffeomorphism type of the corresponding 4-manifolds (or their 3-dimensional boundaries).

This lecture is aimed at all students of mathematics with basic knowledge in topology and can also be used as preparation for a thesis in the field of topology.

Prerequisites: Prerequisites are the introductory lectures (Analysis I, II and Linear Algebra I, II) and basic notions from point set topology (covered in the module Topology I). Results from algebraic topology (fundamental group, homology theory) and differential topology are useful, but they are not needed for the understanding of the lecture.

Exam: The exam will be oral and take place at the mornings of Monday, 19. July and Friday, 15. October. The content of the exam will be Chapters 1-8 (including Chapter 8) and the corresponding exercise sheets.
Criterion for admission to the final examination: For this lecture an admission restriction to the final examination is not permitted. Nevertheless, I would like to encourage you to regularly work on the exercise sheets. I recommend taking the exam if at least 50% of the exercises have been solved correctly.

Exercise sheets:
Exercise sheet 1 (pdf)
Exercise sheet 2 (pdf)
Exercise sheet 3 (pdf)
Exercise sheet 4 (pdf)
Exercise sheet 5 (pdf)
Exercise sheet 6 (pdf)
Exercise sheet 7 (pdf)

Table of Contents: (tentative)

1. Overview:

2. Manifolds and handle decompositions:
2.1. Manifolds
2.2. Handle decompositions

3. Dimension 3: Heegaard splittings:
3.1. Heegaard diagrams
3.2. Handle slides and stabilizations

4. Dimension 4: Kirby diagrams:
4.1. Kirby diagrams
4.2. Linking numbers and framings
4.3. The intersection form and the homology of 2-handlebodies
4.4. Topological 4-manifolds

5. Kirby calculus:
5.1. Handle slides
5.2. Handle cancellations

6. Dehn surgery:
6.1. Surgery and handle bodies
6.2. Dehn surgery
6.3. Kirby's theorem

7. Stabilization theorems for simply connected 4-manifolds

8. The dotted circle notation of 1-handles

9. Cobordisms:
9.1. The cobordism ring
9.2. The h-cobordism theorem and the proof of the higher dimensional Poincaré conjecture

10. Exotic 4-manifolds
10.1. Slice knots
10.2. The Bennequin bound
10.3. Exotic copies of R4
10.4. The adjunction inequality
10.5. Compact exotic 4-manifolds

If time permits: Trisections and Morse-2-functions

Lecture notes: The notes of the lecture can be viewed via the following OneNote link or as a pdf. (Obviously, these notes do not contain everything that was said in the lecture and therefore do not replace in any way the attendance of the lecture and an own transcript).

Notes from the exercise session: The notes from the exercise sessions can be viewed via the following OneNote link or as a pdf. (These notes are even more sketchy than the lecture notes and will not replace your own solutions of the exercises).

Evaluation: The results of the evaluation can be view here: lecture and exercise session.

We will mainly follow chapters 4 and 5 from the standard reference by Gompf and Stipsicz:
R. Gompf and A. Stipsicz: 4-Manifolds and Kirby Calculus, AMS, 1999, available online here.

Below are some more references for further reading. More references on the Kirby calculus:
S. Akbulut: 4-manifolds, Oxford University Press, 2016.
H. Geiges: How to depict 5-dimensional manifolds, Jahresbericht der DMV, 2017, available online at the ArXiv.
R. Kirby: The Topology of 4-Manifolds, Springer-Verlag, 1989.

With applications in contact and symplectic geometry:
B. Ozbagci und A. Stipsicz: Surgery on Contact 3-Manifolds and Stein Surfaces, Springer-Verlag, 2004.

3-manifolds, Heegaard splittings and surgery descriptions:
V. Prasolov and A. Sossinsky: Knots, Links, Braids and 3-Manifolds, AMS, 1997, available online here.
D. Rolfsen: Knots and Links, Publish or Perish, 1976, available online here. Before you look into Rolfsen's book I also recommend reading the following review on it.

For more information on handle decompositions of surfaces you may also consult:
C. Wengler: Skript zur Topologie I, 2019, available online here.

General on 4-manifolds:
A. Scorpan: The wild world of 4-manifolds, AMS, 2005.

D. Gay and R. Kirby: Trisecting 4-manifolds, Geom. Topol., 20 (2016), 3097-3132.
D. Gay: From Heegaard splittings to trisections; porting 3-dimensional ideas to dimension 4, available online arxiv1902.01797.
Morse theory:
Y. Matsumoto: An Introduction to Morse Theory, American Mathematical Society, 2002, available online here.
J. Milnor: Morse Theory, Princeton University Press, 1963, available online here.

Differential topology:
T. Bröcker, K. Jänich: Einführung in die Differentialtopologie, Springer.

Algebraic topology:
S. Friedl: Lecture notes for Algebraic Topology I-IV, available online at his homepage.
A. Hatcher: Algebraic topology, available online at his homepage.
C. Wendl: Lecture notes for Topologie I and II, available online at his homepage.