« vorheriger Beitrag  · nächster Beitrag »

04.02.11 · 19:50 Uhr

Topologie von Flächen CLIII

Kategorie: Naturwissenschaften  ·  Kommentare: 2

Extremale Abbildungen und Teichmüller-Theorie

Wir hatten uns die letzten Male damit beschäftigt, wie man den 'Teichmüller-Raum', also den Raum der hyperbolischen Metriken auf einer Fläche S, verstehen kann. Vor 2 Wochen hatten wir gesehen, daß dieser dasselbe ist wie der Raum der komplexen Strukturen auf S und letzte Woche hatten wir gesehen, daß zwei komplexe Strukturen gleich sind, wenn es eine "konforme" (d.h. winkel-erhaltende) Abbildung zwischen ihnen gibt, und daß es anererseits zwischen Riemannschen Flächen aber immer eine "quasi-konforme" Abbildung gibt. Dies führt auf die formale Definition des Teichmüller-Raums Teich(S) für eine fixierte Riemannsche Fläche S: Teich(S) besteht aus allen Paaren (X,f), wobei X eine Riemannsche Fläche und f:S-->X ein quasikonformer Homöomorphismus ist (und man (X,f)=(X,g) setzt, falls f und g homotop sind).

Punkte im Teichmüller-Raum sind also Äquivalenzklassen quasikonformer Abbildungen. Um den Teichmüller-Raum zu verstehen, würde man gerne in jeder Äquivalenzklasse einen 'extremalen' Vertreter haben. Ein naheliegender Ansatz dazu ist, extremale Abbildungen zu definieren als die Abbildungen minimaler Dilatation (d.h. minimale Verzerrung der Winkel, TvF 152) in der jeweiligen Homotopieklasse. Die Frage ist dann, ob es tatsächlich in jeder Äquivalenzklasse eine eindeutige extremale Abbildung gibt.

Extremale Abbildungen

Für Rechtecke wurde dieses Problem 1928 von Grötzsch gelöst: er bewies, daß (nur) die affinen Abbildungen extremal sind. Den allgemeinen und wesentlich schwierigeren Fall beliebiger Riemannscher Flächen löste aber erst Teichmüller (seine Ansätze wurden später von Ahlfors und Bers im Detail ausgearbeitet), weshalb die Theorie des Modulraums Riemannscher Flächen heute Teichmüller-Theorie heißt.

Es war vor allem in den 90er Jahren wiederholt vorgeschlagen worden, Teichmüller-Theorie in Grötzsch-Theorie umzubenennen.
Negativ-Berühmtheit hat Teichmüller vor allem als stellvertretender Göttinger Mathe-Fachschaftsvorsitzender in den 30er Jahren erworben. Scholz et al. haben sich in einem 1992 in den "Jahresberichten der DMV" veröffentlichten Artikel mit den von Teichmüller im November 1933 organisierten Vorlesungsboykotten beschäftigt und dabei auch das Original eines verschollen geglaubten Briefes veröffentlicht, den Teichmüller damals an Landau schrieb. Der Brief ist ein wirklich bestürzendes Dokument verschwurbelter Rhetorik, Teichmüller wirft Landau dort "ein auf Mangel an Interesse für die oder jedenfalls an eingehender Kenntnis der Mentalität der Mehrheit der Hörerschaft zurückzuführendes Betragen" vor und kommt zu der Schlußfolgerung "Ich wage so wenig wie jeder andere Ihre Fähigkeit der rein international-mathematisch-wissenschaftlichen Belehrung von geeigneten Studenten beliebiger Abstammung zu bezweifeln. Aber ich weiß auch, daß viele akademische Vorlesungen, insbesondere auch die Differential- und Integralrechnung, zugleich erzieherischen Wert haben und den Schüler nicht nur in eine neue Begriffswelt, sondern auch zu einer anderen geistigen Einstellung führen. Da aber die geistige Einstellung des einzelnen von seinem Geiste, der da umgestellt werden soll, abhängt, dieser Geist aber nach nicht nur jetzt, sondern schon lange bekannten Grundsätzen ganz wesentlich von der rassischen Zusammensetzung des einzelnen abhängt, dürfte es sich im allgemeinen nicht empfehlen, z.B. arische Schüler von einem jüdischen Lehrer ausbilden zu lassen.[...]" Landau reichte 2 Tage später 'freiwillig' seine Bitte um Entlassung ein.
Man kann es wohl auch als Gegenentwurf zu Teichmüllers Standpunkten ansehen, wenn heute seine mathematische Arbeit eben nicht unter weltanschaulichen Gesichtspunkten beurteilt wird (die wesentlichen Weiterentwicklungen seiner Theorie stammen ja interessanterweise von Mathematikern, die politisch entgegengesetzte Standpunkte vertraten wie z.B. Ahlfors und Bers) und eine klare Trennung von Autor und Werk erfolgt.

Quadratische Differentiale

Teichmüllers Beschreibung der extremalen Abbildungen f sieht i.W. so aus, daß es einige Singularitäten gibt (wo die Abbildung f nicht differenzierbar ist) und daß man zwei singuläre Blätterungen (mit singulären Punkten in den Singularitäten von f) hat, so daß die Blätter der einen Blätterung von f gestreckt und die Blätter der anderen Blätterung von f gestaucht werden.

www.math.uchicago.edu/~margalit/mcg/mcgv50.pdf

Die extremalen Abildungen sind gerade diejenigen, die man mit solchen singulären Blätterungen konstruieren kann. (Nebenbei bekommt man mit dieser Konstruktion auch gleich noch die Geodäten im Teichmüller-Raum: wenn man nämlich die singuläre Blätterung festläßt, aber den Streckungs- bzw. Stauchungsfaktor variiert, bekommt man eine Kurve im Teichmüller-Raum, und diese Kurve ist eine Geodäte bzgl. der Teichmüller-Metrik.) Aus technischen Gründen arbeitet man statt mit den singulären Blätterungen lieber mit holomorphen quadratischen Differentialen, also Differentialen der Form hdz² für eine holomorphe Funktion h (deren Nullstellen in den Singularitäten von f liegen). Die beiden Blätterungen bestehen dann aus Kurven, deren Tangentialvektoren nach Einsetzen in hdz² positive bzw. negative reelle Werte geben.

Also: die Punkte im Teichmüller-Raum entsprechen den extremalen Abbildungen, und diese wiederum entsprechen den holomorphen quadratischen Differentialen.
Die Dimension des "Raumes der holomorphen quadratischen Differentiale" (auf einer Fläche mit g Henkeln) kann man aber mit dem Satz von Riemann-Roch berechnen, sie ist 6g-6. Dies bewies dann letztlich Riemanns Vermutung, daß der Modulraum Riemannscher Flächen (vom Geschlecht g) durch 6g-6 Parameter beschrieben wird.

Teil 1, Teil 2, Teil 3, Teil 4, Teil 5, Teil 6, Teil 7 , Teil 8, Teil 9 , Teil 10 ,Teil 11, Teil 12, Teil 13, Teil 14, Teil 15, Teil 16, Teil 17, Teil 18, Teil 19, Teil 20, Teil 21, Teil 22, Teil 23, Teil 24, Teil 25, Teil 26, Teil 27, Teil 28, Teil 29, Teil 30, Teil 31, Teil 32, Teil 33, Teil 34, Teil 35, Teil 36, Teil 37, Teil 38, Teil 39, Teil 40, Teil 41, Teil 42, Teil 43, Teil 44, Teil 45, Teil 46, Teil 47, Teil 48, Teil 49, Teil 50, Teil 51, Teil 52, Teil 53, Teil 54, Teil 55, Teil 56, Teil 57, Teil 58, Teil 59, Teil 60, Teil 61, Teil 62, Teil 63, Teil 64, Teil 65, Teil 66, Teil 67, Teil 68, Teil 69, Teil 70, Teil 71, Teil 72, Teil 73, Teil 74, Teil 75, Teil 76, Teil 77, Teil 78, Teil 79, Teil 80, Teil 81, Teil 82, Teil 83, Teil 84, Teil 85, Teil 86, Teil 87, Teil 88, Teil 89, Teil 90, Teil 91, Teil 92, Teil 93, Teil 94, Teil 95, Teil 96, Teil 97, Teil 98, Teil 99, Teil 100, Teil 101, Teil 102, Teil 103, Teil 104, Teil 105, Teil 106, Teil 107, Teil 108, Teil 109, Teil 110, Teil 111, Teil 112, Teil 113, Teil 114, Teil 115, Teil 116, Teil 117, Teil 118, Teil 119, Teil 120, Teil 121, Teil 122, Teil 123, Teil 124, Teil 125, Teil 126, Teil 127, Teil 128, Teil 129, Teil 130, Teil 131, Teil 132, Teil 133, Teil 134, Teil 135, Teil 136, Teil 137, Teil 138, Teil 139, Teil 140, Teil 141, Teil 142, Teil 143, Teil 144, TvF 145, TvF 146, TvF 147, TvF 148, TvF 149, TvF 150, TvF 151, TvF 152

 

Autor: Thilo· 2 Kommentare· Permalink· Trackback-URL

Tags: Blätterung· Fachschaft· Grötzsch· Landau· Modulraum· Politik· quadratisches Differential· quasikonform· Rasse· Riemannsche Fläche· Teichmüller