Seifert-Fläche

aus Wikipedia, der freien Enzyklopädie
(Weitergeleitet von Knotengeschlecht)

Die Seifert-Fläche, benannt nach dem Mathematiker Herbert Seifert, bezeichnet in der Knotentheorie, einem Teilgebiet der Topologie, eine von einem Knoten oder einer Verschlingung berandete Fläche. Diese Flächen können dazu verwendet werden, um Eigenschaften der dazu assoziierten Verschlingungen (beziehungsweise Knoten) zu untersuchen. Beispielsweise können Invarianten von Verschlingungen oder Knoten mittels Seifert-Flächen bestimmt werden.

Definition

Sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathrm{S}^3} die 3-Sphäre und eine orientierte Verschlingung. Eine Seifert-Fläche ist eine kompakte, orientierte, zusammenhängende, in Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathrm{S}^3} enthaltene Fläche, die die Verschlingung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle L} als orientierten Rand besitzt.[1]

Die Existenz einer Seifertfläche für jeden polygonalen Knoten wurde 1930 von Frankl und Pontrjagin bewiesen.[2]

Konstruktion

Seifert-Fläche der Kleeblattschlinge (Geschlecht 1)

Es gibt einen Algorithmus, der zu jeder orientierten Verschlingung eine Seifert-Fläche konstruiert. Dieser heißt Seifert-Algorithmus. Im nächsten Abschnitt wird nun zuerst eine einfachere Methode aufgezeigt, um eine kompakte zusammenhängende Fläche zu einer Verschlingung zu konstruieren, die aber im Allgemeinen nicht orientierbar ist.

Mit dem Algorithmus, der an die Konstruktion eines Schachbretts erinnert, kann eine kompakte, zusammenhängende, aber nicht immer orientierbare Fläche konstruiert werden. Man färbt dazu die Gebiete eines Knotendiagramms abwechselnd schwarz und weiß, so dass benachbarte Gebiete unterschiedliche Farben haben. Dies ist bei Verschlingungen immer möglich. Danach werden alle Gebiete mit der gleichen Farbe, die durch halb verdrehte Streifen verbunden sind, als ein Gebiet betrachtet. Dies ist dann eine Fläche mit der Verschlingung als Rand, die im Allgemeinen aber nicht orientierbar ist.[1]

Der Seifert-Algorithmus liefert eine zu einem gegebenen Knoten gehörige Seifert-Fläche, also eine orientierbare Fläche, deren Rand mit dem gegebenen Knoten übereinstimmt.[3] Diese ist durch den Knoten im Allgemeinen nicht eindeutig bestimmt. Dazu werden auf dem Knotendiagramm die Überkreuzungspunkte ausgewählt und an diesen Punkten wird das Diagramm zerschnitten. Dadurch zerfällt das Knotendiagramm in 2d „Teilstrecken“, wenn d die Anzahl der Überkreuzungspunkte ist. Die Teilstrecken werden alle mit einer festen Orientierung versehen, die einer bestimmten Durchlaufung des Knotendiagramms entspricht. Ferner werden je zwei zugeordnete Teilpunkte, das sind solche Punkte, die über demselben Doppelpunkt der Projektion liegen, durch eine geradlinige „Verbindungsstrecke“ verbunden. Der aus den Teilstrecken und Verbindungsstrecken bestehende Streckenkomplex wird nun auf folgende Weise in „Kreise“ eingeteilt. Man durchläuft eine Teilstrecke, wie es die festgesetzte Orientierung angibt, danach die an den Endpunkt der Teilstrecke angrenzende Verbindungsstrecke, darauf die von dem neuen Knotenpunkt ausgehende Teilstrecke, dann wieder eine Verbindungsstrecke und so fort. Schließlich kommt man einmal zum Ausgangspunkt zurück. Gibt es danach eine noch nicht durchlaufene Teilstrecke, so gibt sie zu einem neuen Kreis Anlass. So mögen sich im ganzen f Kreise bilden lassen. Jede Teilstrecke kommt in genau einem Kreise vor, jede Verbindungsstrecke dagegen in zweien, von denen sie in entgegengesetzten Richtungen durchlaufen wird. Diese Kreise projizieren sich in die Ebene in doppelpunktfreie Polygone, die einander offenbar nicht durchsetzen. Es wird nun in jeden Kreis ein Elementarflächenstück eingespannt, wobei man annehmen kann, dass sich jedes Elementarflächenstück, abgesehen von den Verbindungsstrecken, eineindeutig in die Ebene projiziert und dass zwei verschiedene Elementarflächenstücke keinen mittleren Punkt gemeinsam haben. Die f Elementarflächenstücke bilden zusammen eine in den Knoten eingespannte Fläche. Sie ist orientierbar, da jede Verbindungsstrecke von den beiden zugehörigen Kreisen in entgegengesetzten Richtungen durchlaufen wird.

Für alternierende Knotendiagramme liefert der Seifert-Algorithmus eine Fläche minimalen Geschlechts.[4][5][6]

Seifert-Matrix

Sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle S} eine Seifert-Fläche und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle g} ihr Geschlecht. Die Schnittform Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle Q} auf der Homologiegruppe Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle H_1(S)} von ist schiefsymmetrisch und es gibt eine Basis aus Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 2g} Zykeln

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a_1,a_2, \ldots , a_{2g}} ,

so dass Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle Q=(Q(a_i ,a_j))} die direkte Summe aus Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle g} Kopien von

Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle {\begin{pmatrix}0&-1\\1&0\end{pmatrix}}}

ist. Man definiert dann eine Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 2g \times 2g} -Matrix Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V} , deren Einträge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle v(i,j)} berechnet werden als die Verschlingungszahl von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a_i} und dem pushoff von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a_j} aus der Fläche. Die Matrix Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V = (v(i,j))} heißt Seifert-Matrix der Seifert-Fläche.

Es gilt , wobei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V^*=(v(j,i))} die transponierte Matrix bezeichnet. Mit Hilfe der Seifert-Matrix kann das Alexander-Polynom des Knotens berechnet werden, denn es gilt

Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle \Delta _{K}(t)=\det(V-tV^{*})} .

Die Signatur der symmetrischen Bilinearform Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle V+V^{*}} wird als Signatur des Knotens bezeichnet.

Die Determinante von wird als Determinante des Knotens bezeichnet. Sie lässt sich berechnen als Wert des Alexander-Polynoms in .

Geschlecht eines Knotens

Als Geschlecht eines Knotens (engl.: knot genus) g(K) bezeichnet man das minimale Geschlecht einer Seifert-Fläche des Knotens K. Beispiele:

Aus der Formel Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Delta_K(t)=\det(V-tV^*)} folgt unmittelbar, dass der Grad des Alexander-Polynoms höchstens Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 2g(K)} ist. Gleichheit gilt für alternierende Knoten, im Allgemeinen muss Gleichheit nicht immer gelten. Friedl und Vidussi haben aber bewiesen, dass man g(K) mittels getwisteter Alexander-Polynome berechnen kann:

wobei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \rho} alle unitären Darstellungen der Knotengruppe Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \pi_1(S^3-K)} durchläuft und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Delta_{K,\rho}} das mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \rho} getwistete Alexanderpolynom ist.[7]

Literatur

  • Charles Livingston: Knotentheorie für Einsteiger. Vieweg, Braunschweig [u. a.] 1995, ISBN 3-528-06660-1.
  • Dale Rolfsen: Knots and Links. Corrected reprint of the 1976 original. Mathematics Lecture Series, 7. Publish or Perish, Inc., Houston, TX, 1990. xiv+439 pp. ISBN 0-914098-16-0
  • Alexander Stoimenow: Diagram genus, generators, and applications. Monographs and Research Notes in Mathematics. CRC Press, Boca Raton, FL, 2016. ISBN 978-1-4987-3380-9

Weblinks

Commons: Seifert surfaces – Sammlung von Bildern, Videos und Audiodateien

Einzelnachweise

  1. ↑ a b W. B. Raymond Lickorish: An introduction to knot theory. Graduate Texts in Mathematics, 175. Springer-Verlag, New York, 1997. x+201 pp. ISBN 0-387-98254-X, S. 15.
  2. ↑ F. Frankl, L. Pontrjagin: Ein Knotensatz mit Anwendungen auf die Dimensionstheorie. Math. Ann. 102 (1930), no. 1, 785–789. online (PDF; 440 kB)
  3. ↑ Herbert Seifert:
    Über das Geschlecht von Knoten
    . In: Math. Annalen. 110, Nr. 1, 1935, S. 571–592. doi:10.1007/BF01448044.
  4. ↑ Kunio Murasugi: On the genus of the alternating knot. I, II. J. Math. Soc. Japan 10 1958 94–105, 235–248.
  5. ↑ Richard Crowell: Genus of alternating link types. Ann. of Math. (2) 69 1959 258–275.
  6. ↑ David Gabai: Genera of the alternating links. Duke Math. J. 53 (1986), no. 3, 677–681.
  7. ↑ Stefan Friedl, Stefano Vidussi: The Thurston Norm and twisted Alexander polynomials
Abgerufen von „https://de.wikiup.org/index.php?title=Seifert-Fläche&oldid=207763030#Geschlecht_eines_Knotens“