Jahrbuch 2003/2004 Baues, Hans-Joachim; Jibladze, Mamuka Abbildungen zwischen Sphären

Transkript

1 Abbildungen zwischen Sphären Maps between spheres Baues, Hans-Joachim; Jibladze, Mamuka Max-Planck-Institut für Mathematik, Bonn Korrespondierender Autor Zusammenfassung Summary In der Mathematik führen oft Gegenstände oder Formen einfachster Natur zu besonders tiefliegenden Fragestellungen. Deren Untersuchung ist dann eine ergiebige Quelle mathematischer Inspiration und Theorie. Als Beispiel betrachten wir die Sphären. Die 1-dimensionale Sphäre S 1 ist die Kreislinie in Abbildung 1. Im Altertum stellten die Griechen die Frage nach der Quadratur des Kreises, welche erst in der Neuzeit beantwortet werden konnte. Dies führte zu der Charakterisierung der Kreiszahl π, die eine umfangreiche mathematische Theorie zur Folge hatte und als eine Naturkonstante angesehen werden kann. Wir beschreiben im folgenden Naturkonstanten, die auf ganz andere Weise durch die Sphären bestimmt sind Max-Planck-Gesellschaft 1/5

2 Die 1-Sphäre Gem eingut Die 2-dimensionale Sphäre S 2 ist die Oberfläche einer Kugel (Abb. 2). Bei den Griechen galt die 2-Sphäre als der Gegenstand höchster Vollkommenheit. Heute betrachtet man für jede Dimension n = 1, 2, 3,... die n- dimensionale Sphäre S n, welche wie folgt definiert ist: Zunächst hat man für jede Dimension n einen Euklidischen Raum R n ; für die Dimensionen n = 1, n = 2 bzw. n = 3 sind das die Gerade, die Ebene und der dreidimensionale Raum, der unserer Anschauung am nächsten ist. Ein Punkt x im n-dimensionalen Raum R n wird durch eine Folge von n reellen Zahlen (x 1, x 2,..., x n ) = x angegeben. Die n-dimensionale Sphäre S n besteht aus allen Punkten x in R n+1, für die gilt x x x 2 n+1 = 1. Das sind die Punkte x in R n+1, die den Abstand 1 vom Ursprung haben. Die verschiedene Sphären S 1, S 2, S 3,... kann man miteinander vergleichen, indem man stetige Abbildungen zwischen Sphären, f : S n+k S n, betrachtet. Eine solche Abbildung f ordnet jedem Punkt x der (n + k)-sphäre einen Punkt f (x) in der n-sphäre in der Weise zu, dass alle Koordinatenfunktionen stetig sind. Es gibt eine überabzählbare unüberschaubare Menge verschiedener Abbildungen dieser Art. Man erhält aber die wesentlichen Grundtypen solcher Abbildungen, indem man "ähnliche" Abbildungen in einer Klasse zusammenfasst. Dabei heißen zwei Abbildungen f und g ähnlich oder homotop, wenn es eine stetige Deformation gibt, die f in g überführt. Mann kann sich eine stetige Deformation als eine von einem Zeitparameter abhängige Veränderung (wie Verschiebung oder Faltung) vorstellen. Bei der Deformation dürfen keine Risse oder Sprungstellen entstehen. Man nennt eine Klasse { f } homotoper Abbildungen eine Abbildungsklasse. Natürlich gibt es immer die triviale Abbildung, die alle Punkten von S n+k auf einen einzigen Punkt in S n abbildet. Diese repräsentiert die triviale Abbildungsklasse. Wir bezeichnen mit σ(n + k, n) die Anzahl aller Abbildungsklassen f : S n+k S n Max-Planck-Gesellschaft 2/5

3 Die 2-Sphäre Gem eingut Mit der Hopf-Abbildung S 3 S 2 (die der schweizerische Mathematiker H. Hopf 1931 entdeckte) zeigt man, zum Beispiel, dass σ(4, 3) = 2. Die Hopf-Abbildung lässt sich als Bild darstellen (Abb. 3). Die Kreislinien in diesem Bild, werden durch die Hopf-Abbildung auf Punkte in S 2 abgebildet. Die Hopf-Abbbildung Seitdem ist die Entdeckung von jeder weiteren nicht trivialen Abbildungsklasse zwischen Sphären eine mathematische Sensation. Jede solche Klasse beschreibt ein tieflegendes topologische Phänomen, welches auf viele Fragen der Topologie und Geometrie Einfluss hat. Es war deshalb ein bahnbrechendes Resultat, als 2004 Max-Planck-Gesellschaft 3/5

4 der französische Mathematiker J.-P. Serre 1953 in seiner Doktorarbeit zeigte, dass für jedes k und für alle n > k + 1 die Zahl σ(k) = σ(n + k, n) eine endliche Zahl ist, die nicht von n abhängt. Damit ist eine wohldefinierte endliche Zahl σ(k) gegeben, die auf einfachste Weise allein durch Eigenschaften der Sphären bestimmt ist. Diese Zahl nennt man den k- Stamm. Damit entstand das bis heute ungelöste zentral Rätsel der Mathematik, die Zahlen σ(k) zu berechnen und die algebraische Theorie hinter diesen Zahlen zu verstehen. Zum Beispiel zeigt man mithilfe der Hopf- Abbildung, dass σ(1) = 2, aber die Berechnung der Werte σ(k), die man als "Naturkonstanten der Topologie" auffassen kann, bleibt äußerst schwierig. Die ersten Werte werden in Abbildung 4 gegeben. Werte von σ(k) für k 19 Seit 50 Jahren arbeiten verschiedene Schulen von Mathematikern in Europa, Japan und den Vereinigten Staaten an der Berechnung des k-stamms. Für k 19 hat 1962 der japanische Mathematiker H. Toda den k- Stamm berechnet. Der amerikanische Mathematiker M. Mahowald hat danach den k-stamm bis etwas zur Dimension k 60 bestimmt. Doch es fehlen Berechnungen oder Algorithmen, die den k-stamm σ(k) für alle k lieferen. Die für lange Zeit beste Approximation von σ(k), die für alle k gilt, stammt von dem englischen Mathematiker J.F. Adams. Adams zeigte 1958, dass in der Primzahl-Zerlegung von σ(k), σ(k) = 2 n 2 (k) 3 n 3 (k) p n p (k), der Exponent n p (k) 0 der Primzahl p sich durch die Berechnung einer bestimmten Erweiterungsgruppe E 2 = Ext A (F,F) von oben abschätzen lässt. Das heißt, die Gruppe E 2 bestimmt eine von p und k abhängige Zahl E 2 (k) mit n p (k) E 2 (k). Hier ist A die Hopf-Algebra der primären Kohomologie-Operationen und F der p-elementige A-Modul. Die Algebra A wurde von den Mathematikern N.E. Steenrod, J.-P. Serre, J. Adem, H. Cartan und J. Milnor berechnet. Vor kurzem hat H.-J. Baues am Max-Planck-Institut für Mathematik in einem umfangreichen Beweis von 500 Seiten eine neue Theorie entwickelt, die den E 3 -Term in der Adams-Spektralsequenz bestimmt und zeigt, dass sich n p (k) für jede Primzahl p durch die neuartige Erweiterungsgruppe E 3 = Ext(G Σ,G Σ ) von oben abschätzen lässt mit n p (k) E 3 (k) E 2 (k). Hier ist Bdie Algebra der sekundären Kohomologie- Operationen, die als Hopf-Algebra berechnet werd, und G Σ ein gewisser B-Modul. Dies liefert eine bessere obere Abschätzung von n p (k), die ebenfalls für alle k durch einen Algorithmus berechnet werden kann. Für die Mathematik ist es hierbei von größerem Interesse, dass die Erweiterungsgruppe E 3 in ihrer algebraischen Struktur jetzt verstanden ist, da sie vorher nur topologisch mithilfe von stetigen Abbildungen definiert war. Die algorithmischen Berechnungen des Computers sind dann nur ein Nachweis, dass die Algebra tatsächlich zu konkreten Ergebnissen führt. In der Tabelle (Abb. 5) sieht man für die Primzahl p = 2 die Zahlen, die durch n 2 (k) und die Abschätzungen E 2 (k) bzw. E 3 (k) gegeben sind. Da die Kapazitäten der Computer am Max- Planck-Institut für Mathematik nicht ausreichen, um diese Rechnungen weiter fortzuführen, wird im Augenblick ein Computer der Universität Köln benutzt, um die E 3 -Schranke zu berechnen. Die Implementierung des 2004 Max-Planck-Gesellschaft 4/5

5 Algorithmus zur Berechnung von E 3 stammt von M. Jibladze, zurzeit Gast am Max-Planck-Institut für Mathematik; ferner war H.-J. Bauer von der Computerabteilung sehr hilfreich, Rechnerkapazität für diese Problem zu organisieren. Ziel ist es, den E 3 -Term so weit zu berechnen, wie dies C. Nassau für den E 2 -Term gelungen ist (Abb. 6). Für die theoretische Behandlung des Problems der Berechnung des k-stamms hat man seit langem die Adams Spektralsequenz, die für m 2 Approximationen E 2, E 3, E 4,..., E m,... von n p (k) topologisch definiert mit n p (k) = E m (k) für genügend große m. Hier ist E 2 die Adams Approximation, die algebraisch durch die Steenrod Algebra A gegeben ist. Durch die neue Theorie zeigt sich, dass E 3 ebenfalls algebraisch durch eine geeignete Verfeinerung B der Steenrod Algebra berechnet werden kann. Man darf deshalb vermuten, dass für alle m 2 die Approximation E m sich auf ähnliche Weise bestimmen lässt. Damit ist ein Weg gezeigt, wie man das Problem der Abbildungsklassen zwischen Sphären algebraisch lösen kann. Werte von E 2 (k), E 3 (k) und n p (k) für p = 2. Berechnung der Approxim ation E 2 (k) von n 2 (k) Max-Planck-Gesellschaft 5/5