Hose (Mathematik)

Mathematischer Fachbegriff der Topologie zur Bezeichnung von Flächen vom Geschlecht 0

In der Topologie, einem Teilgebiet der Mathematik, werden Flächen vom Geschlecht 0 mit 3 Randkomponenten, als Hose (engl.: pair of pants) bezeichnet. Ihr Inneres ist homöomorph zu einer dreifach punktierten Sphäre. Die meisten topologischen Flächen lassen sich in Hosen zerlegen („Hosenzerlegung“).

Eine Hose wird von 3 geschlossenen Kurven berandet.

Konstruktion

Bearbeiten

Eine Hose erhält man aus einer zweidimensionalen topologischen Sphäre durch Herausschneiden dreier Kreisscheiben.

Alternativ kann man eine Hose aus zwei Sechsecken erhalten, indem diese jeweils an drei Seiten alternierend paarweise miteinander verklebt werden (in der Abbildung rechts unten sind die zu verbindenden Seiten von den unverbundenen farblich unterschieden).

Hosenzerlegung

Bearbeiten
 
Die Fläche vom Geschlecht 2 mit 4 Randkomponenten kann in 6 Hosen zerlegt werden.

Man kann mehrere Hosen entlang einiger ihrer Randkomponenten verkleben, wodurch man kompliziertere Flächen erhält. Die entsprechende Zerlegung der resultierenden Fläche wird als Hosenzerlegung bezeichnet.

Eine Fläche vom Geschlecht   mit   Randkomponenten besitzt genau dann eine Hosenzerlegung, wenn

 ,

also wenn entweder   oder   oder   ist. Eine Fläche kann im Allgemeinen mehrere unterschiedliche Hosenzerlegungen haben. Die Anzahl der Hosen in jeder Hosenzerlegung ist  . Die Anzahl der zerlegenden Kurven ist  .[1]

Hyperbolische Geometrie

Bearbeiten
 
Aus zwei solchen Sechsecken setzt sich eine Hose zusammen.

Zu jedem Tripel positiver reeller Zahlen   gibt es eine hyperbolische Metrik auf der Hose, so dass die drei Randkomponenten geschlossene Geodäten der Längen   sind. (Dies folgt aus der Tatsache, dass es ein bis auf Kongruenz eindeutiges rechtwinkliges hyperbolisches Sechseck mit   als Längen der rechts blau eingezeichneten Kanten gibt sowie aus der Zerlegung einer Hose in zwei Sechsecke.)[2]

Die Hosenzerlegung kann zur Definition der Fenchel-Nielsen-Koordinaten auf dem Teichmüllerraum benutzt werden: Für eine geschlossene Fläche vom Geschlecht   fixiert man eine Hosenzerlegung mit   zerlegenden Kurven. Die Längen dieser Kurven zusammen mit den Kurven zugeordneten Twist-Parametern definieren   Parameter für den Teichmüller-Raum der hyperbolischen Metriken auf der Fläche.[3]

(1+1)-dimensionale topologische Quantenfeldtheorien

Bearbeiten

Eine (n+1)-dimensionale topologische Quantenfeldtheorie ordnet zusammenhängenden, geschlossenen n-dimensionalen Mannigfaltigkeiten jeweils einen Vektorraum (und ihren disjunkten Vereinigungen das Tensorprodukt der einzelnen Vektorräume) sowie jedem Bordismus einen Vektorraumhomomorphismus der den Rändern entsprechenden Vektorräume zu, wobei gewisse Axiome erfüllt sein müssen.

Eine Hose kann (je nach Anordnung) als Bordismus zwischen   und   oder als Bordismus zwischen   und   angesehen werden. In einer (1+1)-dimensionalen topologischen Feldtheorie definiert eine Hose also im ersten Fall eine Multiplikation, im zweiten Fall eine Komultiplikation.

Eine (1+1)-dimensionale Feldtheorie mit dieser Multiplikation und Komultiplikation definiert eine Frobenius-Algebra.[4]

Literatur

Bearbeiten
  • Albert Fathi, François Laudenbach, Valentin Poénaru: Thurston's work on surfaces. Translated from the 1979 French original by Djun M. Kim and Dan Margalit. (= Mathematical Notes. 48). Princeton University Press, Princeton, NJ 2012, ISBN 978-0-691-14735-2.
  • Riccardo Benedetti, Carlo Petronio: Lectures on hyperbolic geometry. Universitext. Springer-Verlag, Berlin 1992, ISBN 3-540-55534-X.
  • Joachim Kock: Frobenius algebras and 2D topological quantum field theories. (= London Mathematical Society Student Texts. 59). Cambridge University Press, Cambridge 2004, ISBN 0-521-83267-5.

Einzelnachweise

Bearbeiten
  1. Proposition B.2.5. in Benedetti-Petronio (op.cit.)
  2. siehe Fathi-Laudenbach-Poénaru (op.cit.)
  3. Theorem B.4.17. in Benedetti-Petronio (op.cit.)
  4. siehe Kock (op.cit.)