Quelltext der Seite Mutation (Knotentheorie)

[[Datei:Knudemutation.svg|mini|Der Kinoshita–Terasaka-Knoten und der Conway-Knoten gehen durch Mutation auseinander hervor.]]

In der [[Knotentheorie]], einem Teilgebiet der [[Topologie (Mathematik)|Topologie]] bezeichnet man als Mutation eine Operation, die aus einem Knoten auf eine bestimmte Weise einen anderen Knoten macht.

In der Regel unterscheidet sich ein Mutant vom ursprünglichen Knoten, jedoch haben beide Knoten viele Gemeinsamkeiten und insbesondere stimmen viele Knoteninvarianten überein. Es ist deshalb ein schwieriges knotentheoretisches Problem, Knoten von ihren Mutanten zu unterscheiden.

Der Begriff wurde in den 1960er Jahren von [[John Horton Conway]] eingeführt im Zusammenhang mit der Tangle-Notation zur Tabulierung von Knoten und Verschlingungen.

== Definition ==
[[Datei:Tangle Operations.svg|mini|{{center|1='''Tangle-Operationen'''}} '''Links:''' Ein Tangle ''a'' und sein Spiegelbild ''<sup>−</sup>a''. '''Oben rechts:''' Tangle-Addition ''a + b''. '''Mitte rechts:''' Tangle-Produkt ''ab'', äquivalent zu ''<sup>−</sup>a + b''. '''Unten rechts:''' Ramification ''a, b'', äquivalent zu ''<sup>−</sup>a + <sup>−</sup>b'']]

Man betrachtet eine [[Topologische Sphäre|Sphäre]] („Conway-Sphäre“), die den Knoten (nach geeigneter Verformung) in 4 symmetrisch liegenden Punkten schneidet. Der im Inneren der Sphäre liegende Teil des Knotens („Tangle“) wird um 180° gedreht oder so gekippt, dass paarweise je zwei Punkte vertauscht werden, und dann wieder mit dem außerhalb liegenden Teil des Knotens verbunden. Der so entstandene neue Knoten heißt Mutation des ursprünglichen Knotens.

Die Wirkung der Mutation auf die [[Knotenkomplement]]e lässt sich wie folgt beschreiben. Das Komplement des ursprünglichen Knotens wird entlang einer 4-fach gepunkteten Sphäre aufgeschnitten und anschließend mittels einer [[Hyperelliptische Involution|hyperelliptischen Involution]] der 4-fach gepunkteten Sphäre wieder verklebt. Das Ergebnis ist [[homöomorph]] zum Komplement des Mutanten.

== Invarianten ==
Viele Knoteninvarianten stimmen für Knoten und ihre Mutanten überein: das [[Alexander-Polynom]], das [[Jones-Polynom]], das [[HOMFLY-Polynom]], das [[gefärbtes Jones-Polynom|gefärbte Jones-Polynom]]. Ruberman bewies 1987, dass die Mutation eines hyperbolischen Knotens wieder hyperbolisch ist und dasselbe hyperbolische Volumen hat.

Es ist deshalb schwierig, Knoten von ihren Mutanten zu unterscheiden. Eine Invariante, mit der manche Knoten von ihren Mutanten unterschieden werden können, ist [[Heegaard-Floer-Homologie]]. Die rechts abgebildeten Kinoshita-Terasaka- und Conway-Knoten unterscheiden sich durch ihr [[Seifert-Fläche#Geschlecht eines Knotens|Seifert-Geschlecht]].

Josh Greene hat bewiesen, dass für [[Alternierender Knoten|alternierende Knoten]] die folgenden drei Aussagen äquivalent sind:
* L geht durch Mutation aus K hervor
* <math>\Sigma(L)</math> ist homöomorph zu <math>\Sigma(K)</math>
* <math>\widehat{HF}(\Sigma(L))=\widehat{HF}(\Sigma(K))</math>
Hierbei bezeichnet <math>\Sigma(K)</math> die entlang K verzweigte 2-fache Überlagerung der [[3-Sphäre]] und <math>\widehat{HF}</math> die [[Heegaard-Floer-Homologie]].

== Literatur ==
* John H. Conway: ''An enumeration of knots and links and some of their related properties.'' 1970.<!-- was (Lemma) wo (Seite) ??? -->
* Daniel Ruberman: ''Mutation and volumes of knots in S<sup>3</sup>.'' In: ''Inventiones Mathematicae.'' 90, Nr. 1, 1987, S. 189–215.
* Stephan M. Wehrli: ''Contributions to Khovanov homology.'' Dissertation Zürich 2007.
* Alexander Stoimenow, Toshifumi Tanaka: ''Mutation and the colored Jones polynomial.'' In: ''Journal of Gökova Geometry & Topology.'' 3, 2009, S. 44–78.
* Joshua E. Greene: ''Lattices, Graphs and Conway Mutation.'' {{arXiv|1103.0487}}.
* Hugh R. Morton, Peter R. Cromwell: ''Distinguishing mutants by knot polynomials.'' In: ''J. Knot Theory Ramifications.'' 5, Nr. 2, 1996, S. 225–238 ([https://www.liverpool.ac.uk/~su14/papers/mutantJKTR.pdf liverpool.ac.uk] PDF).

[[Kategorie:Knotentheorie]]
[[Kategorie:Topologie von 3-Mannigfaltigkeiten]]