Zahlentheorie, quadratische Formen und Orbits auf homogenen Räumen.
In den nächsten Wochen wollen wir andeuten, wie man Selbstabbildungen von Flächen mit Hilfe hyperbolischer Geometrie besser verstehen kann.
Heute noch kurz einen anderen Aspekt zu Selbstabbildungen f:F–>F einer Fläche F, den wir schon am Schluß von TvF 127 erwähnt hatten: Abbildungstori.
Den ‘Abbildungstorus’ einer Abbildung f:F–>F bekommt man, indem man das Produkt Fx[0,1] von F mit dem Intervall [0,1] nimmt und die beiden ‘Ränder’ Fx0 und Fx1 mit der Abbildung f verklebt. Im Bild unten wird dies gemacht für F den Torus mit Rand und f die ‘Katzenabbildung’. (Der Abbildungstorus, den man für die ‘Katzenabbildung’ bekommt, ist überraschenderweise homöomorph zum Komplement des Achterknotens.)
Fx[0,1] ist auf offensichtliche Weise ein Faserbündel über [0,1] (mit Faser F) und der Abbildungstorus ist dann eine Faserung (mit Faser F) über dem Kreis, den man bekommt, wenn man die beiden Enden des Intervalls [0,1] miteinander verklebt.
Neben dieser Zerlegung in Fasern Fx{t} hat man aber auch noch eine “Blätterung” mit 1-dimensionalen Blättern, die transversal zu den Fasern sind. Nämlich, Fx[0,1] läßt sich auf die offensichtliche Weise in Strecken {p}x[0,1] (für die verschiedenen Punkte p in F) zerlegen und nach Anwendung von f können sich diese Strecken entweder schließen (dann bekommt man Kreise) oder nicht (dann bekommt man Geraden). Man bekommt also eine Zerlegung des Abbildungstorus in Kreise und Geraden, die aber lokal immer wie ein Produkt aussieht. (Diese Eigenschaft, daß die Zerlegung lokal wie ein Produkt aussieht, ist die Definition des Begriffes Blätterung. Zum Beispiel ist jedes Faserbündel eine Blätterung.)
Ein einfacheres Beispiel ist vielleicht das unten abgebildete. Hier ist f:S1–>S1 die Drehung des Kreises um 1800. (Der Einfachheit halber ist der Kreis in den ersten beiden Bildern als Strecke gezeichnet, bei der man sich also jeweils das obere und untere Ende verklebt denken muß.)
Die transversale Blätterung ist eine Blätterung durch Kreise.
Gezeichnet ist oben nur ein Kreis (in rot). Wenn man mehr Blätter zeichnet, bekommt man ein Bild von unten.
In diesem Fall handelte es sich um eine Drehung um 180o=2π/2, weshalb sich die Blätter nach zwie Umläufen wieder schließen. Bei einer Drehung z.B. um 120o=2π/3 oder 90o=2π/4 hätten sich die Blätter nach 3 bzw. 4 Umläufen wieder geschlossen.
Anders wäre es bei einer Drehung um ein irrationales Vielfaches von 2π: dann würden sich die Blätter nie schließen, in diesem Fall wären die Blätter also keine Kreise, sondern Geraden. Außerdem ist es in deisem Fall so, daß die Blätter “dicht” liegen: der Abschluß eines Blattes ist bereits der gesamte Torus.
Man kann diese letzten Aussagen in eine gruppentheoretische Sprache übersetzen: der Torus T2 ist T2=R2/Z2 und wir haben eine Wirkung einer Untergruppe R von R2 auf dem Torus (“fließen entlang der Blätter”) und die Orbits (= die Blätter) sind dann entweder abgeschlossen oder dicht, d.h. der Abschluß eines Orbits ist entweder der Orbit selbst oder der Orbit der gesamten Gruppe R2.
Es gibt einen sehr viel allgemeineren Kontext, in dem sich Blätter ähnlich leicht beschreiben lassen, nämlich die (1990 von Marina Ratner bewiesene) Raghunathan-Vermutung. Diese besagt folgendes: sei G eine Lie-Gruppe, Γ ein Gitter in G und H eine unipotente Untergruppe von G. Die Orbits der Wirkung von H auf G/Γ haben dann als Abschluß wieder den Orbit einer (evtl. größeren) Untergruppe von G.
Dieser Satz ist sicher einer der (in den verschiedensten Gebieten) meist-angewandten Sätze der reinen Mathematik. Raghunathan hatte die Vermutung ursprünglich aufgestellt, weil sich daraus die Oppenheim-Vermutung über quadratische Formen ergibt.
Diese besagt folgendes: Sei b:R3xR3–>R eine indefinite Bilinearform, die kein rationales Vielfaches einer ganzzahligen Bilinearform ist, z.B.
b((x1,y1,z1),(x2,y2,z2))=x1x2 + y1y2 – πz1z2.
Dann kann es zwar offensichtlich (wegen der Irrationalität) keine ganzen Zahlen x,y,z mit b((x,y,z),(x,y,z))=0 geben, aber laut Oppenheimer-Vermutung gibt es zu jedem ε>0 ganze Zahlen x,y,z mit Ib((x,y,z),(x,y,z))I<ε.
Letzte Kommentare