Michael Eisermann
Die Kräftigung des räumlichen Vorstellungsvermögens
und der räumlichen Gestaltungskraft gehört unbestritten
zu den wichtigsten Zielen eines jeden geometrischen Unterrichts.
Arthur Schönflies (1853–1928),
Einführung in die
Hauptgesetze der zeichnerischen Darstellungsmethoden
Geometrische Topologie und Knotentheorie
Vorlesung im Sommersemester 2015 (Veranstaltung 01570, Modul 34580).
Vorlesung (Michael Eisermann) | Mo 11:30-13:00 | Raum V57-7.530 |
Mi 11:30-13:00 | Raum V57-7.530 | |
Übung (Michael Eisermann) | Mo 14:00-15:30 | Raum V57-7.530 |
Zum Einstieg eine berühmte Knobelaufgabe: Sind die beiden folgenden Knoten isotop? Anders gesagt: Lassen sie sich durch eine stetige Bewegung ineinander überführen? Falls ja, so gebe man eine Bewegung an, andernfalls einen Beweis ihrer Nicht-Existenz.
A B
Auf dieser Seite finden Sie:
- Einen kurzen Überblick zur Einführung und Motivation
- Ein paar Worte zu den nötigen Vorkenntnissen
- Einführende und ergänzende Literatur zum Thema
- Themen der Vorlesung und Termine im SoSe 2015
- Vorschläge für Übungen zur Knotentheorie (pdf)
- Zu guter Letzt die Antwort auf das obige Rätsel
Rückmeldungen? Ich freue mich über Ihre Kommentare und Anregungen! Bitte lassen Sie mich wissen, wie Ihnen die Veranstaltung gefällt, wie Sie mit dem Stoff zurecht kommen, und was sich verbessern lässt. > Vorlesungsumfrage (pdf), Übung (pdf)
Aktuelles
Diese Seite wird nicht mehr regelmäßig aktualisiert; sie wird aber noch längere Zeit zugänglich bleiben, um als Archiv zu dienen. Zur Übersicht: aktuelle und vergangene Lehrveranstaltungen
Einführung und Motivation
Was ist geometrische Topologie?
Die geometrische Topologie untersucht Mannigfaltigkeiten und ihre Abbildungen, insbesondere ihre gegenseitigen Einbettungen. Besonders reizvoll und leicht fasslich ist diese Theorie in niedriger Dimension, wo sie spezielle Phänomene enthüllt und maßgeschneiderte Techniken nutzt. Diese Vorlesung widmet sich insbesondere Knoten und Flächen als einem zentralen Gegenstand der niedrigdimensionalen Topologie und Werkzeug zum Studium von 3-Mannigfaltigkeiten.
Tafelbild aus George K. Francis: „A Topological Picturebook”
Springer Verlag, New York 1987.
Kurven und Flächen
Eine \(n\)-dimensionale Mannigfaltigkeit ist ein topologischer Raum, der lokal homöomorph zum euklidischen Raum \(\R^n\) ist. (Wir werden zudem noch fordern, dass die Topologie hausdorffsch ist und eine abzählbare Basis der Topologie besitzt.) Als 1-dimensionale Mannigfaltigkeiten erkennen Sie unschwer die reelle Gerade \(\R^1\) und die Kreislinie \(\S^1\). Erlaubt man Mannigfaltigkeiten mit Rand, so kommen noch das abgeschlossene Intervall \([0,1]\) und das halboffene Intervall \([0,1[\) hinzu. Ein erster Klassifikationssatz besagt, dass jede zusammenhängende 1-dimensionale Mannigfaltigkeit homöomorph ist zu genau einem dieser vier Modelle.
Zu 2-Mannigfaltigkeiten kennen Sie aus Ihrer Topologie-Vorlesung einen analogen (und viel interessanteren) Klassifikationssatz für kompakte Flächen.
Man kann Kurven und Flächen nicht nur abstrakt "für sich selbst" betrachten sondern auch auf verschiedene Weisen einbetten, zunächst in den euklidischen Raum \(\R^3\) oder die Sphäre \(\S^3\), oder allgemeiner in beliebige 3-dimensionale Mannigfaltigkeiten.
Knoten
Ganz anschaulich ist ein Knoten eine Einbettung der Kreislinie im Raum. Zwei Knoten betrachten wir als äquivalent wenn sie sich durch eine stetige Bewegung (Isotopie) ineinander überführen lassen. Wie lassen sich nun solche (Äquivalenzklassen von) Knoten mathematisch untersuchen? Wie können wir zum Beispiel Knoten unterscheiden? Wie lassen sich ihre geometrischen Eigenschaften erkennen?
Neben rein geometrischen Konstruktionen bieten sich zunächst die klassischen Invarianten der algebraischen Topologie an, vor allem Fundamentalgruppe, die seit Beginn des 20. Jahrhunderts sehr erfolgreich auch auf Knoten angewendet wurden.
Seit den 1950er Jahren wird das Wechselspiel zwischen Knoten, Flächen und Räumen eingehend untersucht. Hierbei sind Knoten nicht nur Untersuchungsgegenstand sondern auch Werkzeug zur Konstruktion und Untersuchung von 3-Mannigfaltigkeiten.
Im Jahr 1984 hat die Entdeckung des Jones-Polynoms eine explosionsartige Entwicklung der Knotentheorie ausgelöst, die bis heute anhält. Diese hat Invarianten ganz neuen Typs hervorgebracht, zunächst die sogenannten Quanteninvarianten und in den letzten zehn Jahren sogenannte Knotenhomologien, und damit Beziehungen zu entfernt geglaubten Gebieten der Mathematik und der Physik geknüpft.
Voraussetzungen
Benötigt werden die Kenntnisse des Grundstudiums (Lineare Algebra und Analysis) und der Topologie (topologisches Grundvokabular, Fundamentalgruppe, Überlagerungen, Klassifikation kompakter Flächen).
Grundzüge der algebraischen Topologie sind nützlich, können aber nebenher erlernt werden. Hier benötigen wir vor allem die erste Homologiegruppe, und diese ist als Abelschmachung der Fundamentalgruppe unmittelbar zugänglich. (Anders gesagt, die Knotentheorie bietet einen guten Einstieg in die algebraische Topologie mittels einer Fülle anschaulicher und interessanter Anwendungsbeispiele.)
Allgemein gilt: Jede ernsthafte Beschäftigung mit Mathematik erfordert zunächst Interesse, Neugier und Offenheit für Probleme und sodann Kreativität, Sorgfalt und Hartnäckigkeit bei deren Lösung.
Literatur
Einführende Literatur zur Knotentheorie
- W.B.R. Lickorish: An Introduction to Knot Theory, Springer 1997.
- G. Burde, H. Zieschang: Knots, De Gruyter 1985.
- D. Rolfsen: Knots and Links, Publish or Perish 1976, AMS 2003.
- C. Kassel, V. Turaev: Braid Groups, Springer 2008.
Die Vorlesung folgt im Wesentlichen dem Buch von Lickorish, mit Abweichungen und Ergänzungen « selon l'humour du chef » und je nach Reaktion der Zuhörer.
Leichte aber lehrreiche Lektüre
- C.C. Adams: Das Knotenbuch, Spektrum Akademischer Verlag 1995.
- A.A. Sossinsky: Mathematik der Knoten, Rowohlt 2000.
- C. Livingston: Knotentheorie für Einsteiger, Vieweg+Teubner 1995.
Diese drei Bücher sind — auch ohne Vorlesung! — leicht zu lesen, spannend geschrieben, und — auch als Ergänzung der Vorlesung — sehr lehrreich!
Zum Vertiefen topologischer Hilfsmittel
- A. Hatcher: Algebraic Topology, C.U.P. 2002, auch online frei zugänglich.
- A. Hatcher: Notes on Basic 3-Manifold Topology, online frei zugänglich.
- E.E. Moise: Geometric Topology in Dimensions 2 and 3, Springer 1977.
- T. Bröcker, K. Jänich: Einführung in die Differentialtopologie, Springer 1990.
- M.W. Hirsch: Differential Topology, Springer 1997.
Viele (differential-)topologische Argumente sind in niedriger Dimension intuitiv glaubwürdig. Das ersetzt natürlich keinen Beweis! Es rechtfertigt aber den Kompromiss, die wenigen benötigten Hilfsmittel zunächst ohne Beweis zu zitieren und direkt anzuwenden. Die obigen Bücher lohnen allemal das Nachlesen!
Themen der Vorlesung
Einführung in Bildern und Beispielen
- Der Satz von Reidemeister und erste Invarianten
- Der Satz von Wirtinger und Knotengruppen
- Seifert-Flächen und Primzerlegung von Knoten
- Seifert-Form, Signatur und Alexander-Polynom
- Das Jones-Polynom und die Tait-Vermutungen
- Unendlich-zyklische Überlagerung und Alexander-Modul
- Darstellungen von Zopfgruppen und Invarianten von Knoten
Termine im SoSe 2015
Dieses Sommersemester ist 14 Wochen kurz. Die Vorlesungstermine gehen allen Feiertagen aus dem Weg, also bleiben uns immerhin 28 Vorlesungen.
Vorlesungsbeginn am 08.Apr.2015 | |
V01 Mo 13.Apr | Organisatorisches zur Vorlesung. Einführung: Geschichte, motivierende Beispiele zu Zöpfen und Knoten, erste Experimente und erste Begriffe. |
Ü01 Mo 13.Apr | Blatt 1: Wiederholung einiger Grundlagen aus der Topologie, §1 |
V02 Mi 15.Apr | Lange Knoten und verbundene Summe, Dreifärbung nach Fox, Anwendungen. §A1 Mathematisches Modell: Polygonale Knoten und Δ-Züge. |
V03 Mo 20.Apr | Blatt 1: Wiederholung einiger Grundlagen aus der Topologie, §3, §4 |
Ü02 Mo 20.Apr | Polygonale Isotopie, Beweglichkeit von Knoten, reguläre Projektionen, Knotendiagramme, Reidemeister-Züge, Beweglichkeit von Diagrammen. |
V04 Mi 22.Apr | Reguläre Projektionsrichtungen sind offen und dicht, Satz von Reidemeister (polygonal), Anwendung: Färbungen mod p, Kreuzungszahl. |
V05 Mo 27.Apr | §A2 Polygonale/glatte/zahme Knoten, ambiente Isotopie, Äquivalenzen und Gegenbeispiele. Verschlingungen in Mannigfaltigkeiten, Verschlingungszahl. |
Ü03 Mo 27.Apr | Blatt 2: Knoten und Verschlingungen, §6 |
V06 Mi 29.Apr | Schlingel (tangles) über einer Fläche bilden eine Kategorie. Zöpfe bilden eine Gruppe. Artins Präsentation. Knoten und (1,1)-Schlingel, verbundene Summe. |
V07 Mo 04.Mai | Brückenzahl, Schuberts Additivitätssatz, Entknotungszahl, offene Fragen, Schranken durch Färbungszahlen, Beispiele. Zentrum der Zopfgruppe \(B_n\). |
Ü04 Mo 04.Mai | Blatt 3: Schlingel und Zöpfe, §9 |
V08 Mi 06.Mai | Induktionsbeweis für Zopfgruppe. §B1 Freie Gruppen, Präsentation von Gruppen durch Erzeuger und Relationen, Tietze-Transformationen. |
V09 Mo 11.Mai | §B2 Wirtinger-Präsentation, Beispiele, Isomorphismus zur Fundamentalgruppe des Knotenkomplements, Beweis mit polygonaler Approximation. |
Ü05 Mo 11.Mai | Blatt 4: Präsentationen von Gruppen, §13 |
V10 Mi 13.Mai | §B3 \(\pi_{\text{Kleeblatt}} \isoto B_3 \onto \SL_2\Z\), Wortproblem, Tietze, einfache Beispiele. Tubenumgebung, Knotenäußeres, peripheres System, Meridian und Longitude. |
V11 Mo 18.Mai | Beispiel \((\pi_{\text{Kleeblatt}},m_k) \isoto (A_5,(12345))\), Färbungspolynome, Chiralität, Reversibilität, Papakyriakopoulos, Waldhausen, Thurston, Anwendungen. |
Ü06 Mo 18.Mai | Blatt 4: Präsentationen von Gruppen, §12 |
V12 Mi 20.Mai | Nachtrag / Nachfrage zum Satz von Tietze. §B4 Wilde Knoten und wilde Sphären, Konstruktio nach Fox-Artin, Präsentation, Darstellung auf \(A_5\). |
Pfingstferien vom 26.Mai 2015 bis 30.Mai 2015 | |
V13 Mo 01.Jun | §C1 Jordan-Schoenflies \(\S^1 \into \R^2\): topologisch / polygonal / glatt, Beweis der glatten Version. Alexander-Schoenflies \(\S^2 \into \R^3\): Chirurgie. |
Ü07 Mo 01.Jun | Blatt 5: Knotengruppen, §14, §15 (Anfang). |
V14 Mi 03.Jun | Beweis durch Induktion über kritische Werte. §C2 Seifert-Flächen, Seifert-Algorithmus, Geschlecht von Flächen und Knoten, erste Beispiele. |
V15 Mo 08.Jun | Additivität des Knotengeschlechts: Chirurgie. §C3 Primzerlegung von Knoten, Existenz per Induktion, Eindeutigkeit, Exkurs zu Monoiden, Sphärensysteme. |
Ü08 Mo 08.Jun | Rest von §15. Blatt 6: Flächen im Raum, §18. |
V16 Mi 10.Jun | Eindeutigkeit: Chirurgie. §D1 Zum Knoten \(K\) existieren verschiedene Seifert-Flächen, auch minimalen Geschlechts. Alle sind S-äquivalent. |
V17 Mo 15.Jun | S-Äquivalenz zu kanonischen Seifert-Matrizen, Reidemeister-Züge. §D2 Seifert-Form \(\theta_S \colon H_1 S \times H_1 S \to \Z\), Seifert-Matrix, Beispiel Twistknoten. |
Ü09 Mo 15.Jun | Blatt 6: Seifert-Flächen und Schachbrettfärbung §20. |
V18 Mi 17.Jun | §D3 Knoteninvarianten: Determinante \(\det(K) = \det(-\i\theta_S-\i\theta_S^t)\), Beispiele. Signatur \(\sign(K) = \sign(\theta_S+\theta_S^t)\), Vorzeichenregel von Descartes, Beispiele. |
V19 Mo 22.Jun | Symmetrien, verbundene Summe, Anwendungen. Alexander-Polynom \(\Delta(K) = \det(q^{-1}\theta_S-q\theta_S^t)\), Beispiele, Ungleichung für Geschlecht. |
Ü10 Mo 22.Jun | Blatt 6: Beweis der S-Äquivalenz §19. |
V20 Mi 24.Jun | Schienenrelation, Beispielrechnungen und Vergleich beider Methoden. Schienenrelation für die Signatur, Beispiele, Ungleichung für Entknotungszahl. |
V21 Mo 29.Jun | §E1 Kauffman-Klammer, Korrektur durch den Drall, Jones-Polynom, erste Eigenschaften, Symmetrien, verbundene Summe, Beispiele. |
Ü11 Mo 29.Jun | Blatt 7: Brezelknoten §21. |
V22 Mi 01.Jul | Vergleich zum Alexander-Polynom, Invarianz unter Mutation, Beispiel Conway vs Kinoshita-Terasaka. §E2 HOMFLYPT- und Kauffman-Polynom. |
V23 Mo 06.Jul | Eindeutigkeit durch rekursive Berechnung durch Schienenrelation. Existenz durch Konstruktion, Nachweis der Eigenschaften durch doppelte Induktion. |
Ü12 Mo 06.Jul | |
V24 Mi 08.Jul | §E3 Die drei Tait-Vermutungen: alternierende und reduzierte Diagramme, Beispiele und Diskussion der Vermutungen. |
V25 Mo 13.Jul | Zusammenhängende und prime Verschlingungsdiagramme, Verhalten bei rekursiver Auflösung wie in der Kauffman-Klammer. |
Ü13 Mo 13.Jul | |
V26 Mi 15.Jul | Beweis der ersten Tait-Vermutung: reduzierte & alternierende Diagramme sind adäquat, minimaler und maximaler Grad der Kauffman-Klammer. |
V27 Mo 20.Jul | Beweis der zweiten Tait-Vermutung: R2/3-Äquivalenz und Drall entsprechen R-Äquivalenz, Kabelung erhält R2/3-Äquivalenz und adäquate Diagramme. |
Ü14 Mo 20.Jul | |
V28 Mi 22.Jul | |
Vorlesungsende am 25.Jul.2015 |
Zu guter Letzt
Hier die Lösung der eingangs gestellten Knobelaufgabe — es handelt sich um das berühmte Perko-Paar. In den Jahren 1876–1900 erstellten Tait, Kirkman und Little in mühevoller Handarbeit die ersten Knotentabellen: Ihr Ziel war es, eine vollständige und redundanzfreie Liste aller Primknoten bis 10 Kreuzungen zu erstellen.
Seither glaubte man, dass die beiden fraglichen Knoten verschieden sind, da es niemandem gelungen war, sie ineinander zu überführen. (Auch ist der Drall, d.h. die Summe der Kreuzungsvorzeichen, der beiden Diagramme verschieden, und man nahm zunächst an, dieser sei eine Invariante.) Bis in die 1970er Jahre wurden die beiden Diagramme daher in allen Knotentabellen und Lehrbüchern als verschieden aufgeführt. Einen Beweis hierfür hatte man allerdings nicht finden können...
A B
1974 entdeckte der New-Yorker Rechtsanwalt und Topologe Kenneth Perko, dass es sich um isotope Darstellungen desselben Knotentyps handelt! (Diese überraschende Entdeckung war Teil seiner viel umfangreicheren mathematischen Arbeit, mit der er die Klassifikation der Knoten bis zehn Kreuzungen vollendete.)
Als Beweis für A=B genügt es, eine Isotopie zu finden.
Hier ist eine solche Deformation in 16 Bildern:
All diese schönen Grafiken stammen aus Bob Schareins KnotPlot. Einen geschichtlichen Überblick gibt William Menascos Circular History of Knot Theory. Historische Quellen wurden von Andrew Ranicki auf seiner Seite History of knot theory zusammengetragen. Zum Stand nach 100 Jahren Knotentabellierung siehe den Artikel von Hoste, Thistlethwaite, Weeks: The first 1,701,936 knots.
Perkos Beispiel lehrt, dass anschauliche oder empirische Argumente auch täuschen können. Glücklicherweise erlaubt die Entwicklung von immer feineren Invarianten, Knoten zu unterscheiden und solcherart Ungewissheiten zu beseitigen. Nach Perkos abschließender Korrektur ist Littles Knotentabelle bis 10 Kreuzungen tatsächlich redundanzfrei.