Knotenanalyse

Knotenanalyse, im Deutschen meist als Knotentheorie bezeichnet, ist ein Teilgebiet der Topologie, das sich mit mathematischen Knoten beschäftigt. Ein Knoten wird als Abbildung eines Kreises S^1 in den dreidimensionalen Raum R^3 verstanden, wobei zwei Knoten als äquivalent gelten, wenn sie durch Ambient-Isotopie ineinander überführt werden können. Ziel der Knotenanalyse ist es, Knoten zu unterscheiden, zu klassifizieren und invariant zu beschreiben, also Eigenschaften, die bei Deformationen erhalten bleiben.

Zu den zentralen Werkzeugen gehören Knotendiagramme, Projektionen eines Knotens auf eine Ebene und die Reidemeister-Züge, mit deren Hilfe man darstellen kann, dass zwei Diagramme denselben Knoten darstellen. Knoteninvarianten wie das Alexander-Polynom, das Jones-Polynom und das HOMFLY-Polynom dienen der Unterscheidung von Knoten. Ergänzend spielen die Knotengruppe, die Geometrie des Knotens und Seifert-Flächen eine Rolle; Seifert-Flächen ermöglichen Einblicke in den Genus und die Fibering-Eigenschaften. In der modernen Forschung gewinnen außerdem hyperbolische Strukturen nach Thurston sowie Homologien wie Khovanov-Homologie an Bedeutung.

Historisch hat die Knotentheorie Wurzeln im 19. Jahrhundert, unter anderem durch Fragestellungen aus der Physik und der damaligen Modellbildung von Knoten. In den letzten Jahrzehnten führten Entdeckungen wie das Jones-Polynom zu neuen Verbindungen zur Algebra, Geometrie und Physik, wodurch die Theorie zu einem integralen Bestandteil der nieder-dimensionale Topologie geworden ist. Das Unknot-Problem (Feststellung, ob ein gegebener Knoten trivial ist) ist entscheidbar, während viele spezifische Fragestellungen komplexe Forschungsfelder bleiben.

Anwendungen finden sich in Biologie, etwa bei der Struktur von DNA, in der Chemie bei der Modellierung von Molekülverknüpfungen sowie in der Physik, insbesondere in topologischen Quantenfeldtheorien. Die Knotenanalyse ist eng verbunden mit der Geometrie von 3-Mannigfaltigkeiten und wird von Computerwerkzeugen wie SnapPy oder KnotPlot unterstützt.