Beruflich Dokumente
Kultur Dokumente
20
SPEZIAL Physik Mathematik Technik
der Wissenschaft SPEZIAL Physik Mathematik Technik Abstrakte Welten 4.20
Abstrakte Welten
Überraschende
Verbindungen in der
Mathematik
24525
8,90 € (D) · € 9,70 (A) · � 8,90 (L) · sFr. 17,40
10 Jahre
AcademiaNet
Sie möchten Lehrstühle oder Gremien Finden Sie die passende Kandidatin in Renommierte europäische
mit Frauen besetzen? Sie suchen unserer Datenbank mit über 2.900 Wissenschaftsorganisationen
Expertinnen, Gutachterinnen oder Profilen herausragender Forscherinnen nominieren Wissenschaftlerinnen
Rednerinnen? aller Disziplinen. für AcademiaNet
ü
EDITORIAL
MATHEMATISCHE ABENTEUER
Von Manon Bischoff, Redakteurin dieses Hefts
m.bischoff@spektrum.de
Liebe Leserinnen und Leser, als Mathematikredakteurin werde ich häufig
gefragt, worüber ich schreibe: »Weiß man denn in dem Fach nicht schon
längst alles?« Es ist überraschend, wie sich die Ansichten von Laien und DAS KÖNNTE SIE AUCH INTERESSIEREN:
Experten in diesem Punkt unterscheiden. Die meisten Mathematiker haben den
Eindruck, vor etlichen Geheimnissen zu stehen. Die unerforschten Kontinente
in der Welt der Zahlen, Mengen und Gleichungen scheinen die bekannten
Regionen bei Weitem zu übersteigen.
HINTERGRUND:
Wissenschaftler können in dieser Landschaft verschiedene Rollen einneh
men. Einige sind regelrechte Abenteurer. Sie dringen in unbekannte Gebiete
6 BEWEGUNGEN 6
DAS DREIKÖRPERPROBLEM BEWEGUNGEN
Drei sich gegenseitig anziehende Körper verhalten
sich unvorhersehbar. Dennoch verstecken sich in
DAS DREIKÖRPER-
PROBLEM
14 STREUAMPLITUDEN
DER TEILCHEN-CODE
Die Wechselwirkungen im größten Beschleuniger
der Welt lassen sich nur mit Tricks genau erfassen.
Von Matthew von Hippel
20 STABILITÄT
WELCHER KNOTEN HÄLT AM BESTEN?
Wissenschaftler haben Methoden aus der Elastizi-
tätstheorie und Topologie vereint.
Von Manon Bischoff
IN FORM GEBRACHT
26 TROPISCHE GEOMETRIE
DAS SKELETT DER AMÖBE
Ein neues Fachgebiet vereinfacht komplizierte
Oberflächen enorm.
Von Antoine Chambert-Loir
32 SYMMETRIEN
20
PETERSCHREIBER.MEDIA / STOCK.ADOBE.COM
36 KURVEN
RECHTECKE IM KREIS
Kann man in jeder Schleife vier Punkte markieren,
42
damit ein Rechteck mit beliebigen Proportionen ÄSTHETIK
entsteht?
Von Kevin Hartnett
MATHEMATISCHE
KUNST
42 ÄSTHETIK
MATHEMATISCHE KUNST
Aus der Mathematik inspirierte Bilder und Skulp-
turen entfalten ihre atemberaubende Schönheit.
Von Stephen Ornes
ü
48
POLYTOPE
ORDNUNG MESSEN 48 POLYTOPE
ORDNUNG MESSEN
Zerlegen und Sortieren hat unerwartete Folgen.
Von Kevin Hartnett
52 LOGIK
UNENTSCHEIDBARE AUSSAGEN
ÜBER DIE NATUR
Behauptungen können unbeweisbar oder unwiderleg-
PAUL-DANIEL FLOREA / GETTY IMAGES / ISTOCK
62 INFORMATIK
WIE KOMPLEX DARF ES SEIN?
Überraschung: Computer können die Lösung eines
Problems immer in vertretbarer Zeit überprüfen!
Von Manon Bischoff
GRENZÜBERSCHREITUNGEN
68 LANGLANDS-PROGRAMM
BRÜCKENSCHLAG IN DER MATHEMATIK
Ein geheimnisvoller Zusammenhang führt näher an die
Lösung eines großen Rätsels.
Von Erica Klarreich
74 KATEGORIENTHEORIE
AUS DER VOGELPERSPEKTIVE
Ein neues Gebiet erlaubt es, über den Disziplinen zu
schweben, und offenbart erstaunliche Verbindungen.
Von Manon Bischoff
3 EDITORIAL ∙ 61 IMPRESSUM ∙ 82 VORSCHAU
auf Spektrum.de
62 Auf Spektrum.de berichten unsere
INFORMATIK Redakteure täglich aus der Wissenschaft:
WIE KOMPLEX DARF ES SEIN? fundiert, aktuell, exklusiv.
spektrum.de/artikel/1701286
Im Frühjahr 2014 hatte ich die Hoffnung weitestgehend
aufgegeben, eine Antwort auf mein mathematisches
Problem zu finden. Aus Mangel an Ideen begann ich,
näherungsweise Lösungen am Computer zu berechnen.
Natürlich würde ich so niemals meine Frage beantworten,
aber ich hoffte, dass die Ergebnisse auf einen zielführen
den Weg deuten würden.
Leider bin ich kein Programmierexperte. Mir dauer
te alles zu lange und ich wurde immer ungeduldi
ger – wodurch ich alles verschlimmerte. Für einen
Mathematiker wie mich, der sonst nur mit Stift
und Papier arbeitet, entwickelte sich das Ganze
zu einer sehr unangenehmen Erfahrung. Des
halb beschloss ich, in diesem Herbst zu meinem
Freund Carles Simó an die Universität Barcelona
zu reisen, um ihn zu bitten, mich bei meiner
unbeholfenen Suche zu unterstützen.
Simó gilt als einer der erfinderischsten Experten für Wie Newton herausfand, entsprechen die Lösungen
numerische Analysis. Zudem verschwendet er keine Zeit des Zweikörperproblems immer Kegelschnitten. Die
damit, um den heißen Brei herumzureden. An meinem Umlaufbahnen haben also entweder die Form eines
ersten Nachmittag in seinem Büro schilderte ich ihm mein Kreises, einer Ellipse, einer Parabel oder einer Hyperbel.
Problem. Daraufhin sah er mich mit seinen durchdringen Dadurch konnte Newton die Gesetze der Planetenbewe
den Augen an und fragte: »Warum interessierst du dich gung mathematisch herleiten, die Johannes Kepler bereits
überhaupt dafür?« Das 1609 durch empirische Beobachtungen postuliert hatte.
war wie ein harter Beispiele für Flugbahnen zweier Körper Das erste keplersche Gesetz erwies sich durch Newtons
Schlag ins Gesicht – Masse der Sonne ist viel größer als die der Arbeit bei genauerem Hinsehen als falsch. Denn in unse
schließlich hatte ich Planeten, daher ist ihre Ellipsenbahn winzig. rem Sonnensystem bewegen sich nicht bloß Planeten auf
dieser Aufgabe bereits Bahn des Planeten einem Kegelschnitt, sondern auch die Sonne. Weil diese
17 Jahre lang den aber so schwer ist, folgt sie kaum merkbar einer winzigen
Großteil meiner Zeit Umlaufbahn des Zentrum der Sonne elliptischen Bahn.
geopfert. Planet
Das Zweikörperproblem ist extrem gut verstanden und
× Sonne
Meine Forschung begegnet vielen Menschen bereits in der Schule. Doch
geht auf die Dynamik Massenschwerpunkt sobald man statt zwei Objekten drei betrachtet, landet
von Objekten zurück, man in einer Sackgasse. Zwar kann man in diesem Fall
sich immer wieder, wodurch eine periodische Eklipsenfolge ben definieren, die in
entsteht: 2, 3, 2, 3, 2, 3 und so weiter. Weil die Sonne nie- der durchstochenen
mals zwischen Mond und Erde landet, taucht keine 1 auf. Ebene zu Problemen
Da die Lösungen des Dreikörperproblems nicht immer führen. Zum Beispiel
periodisch sind, muss sich die dazugehörige Eklipsenfolge kann man den kürzes
nicht zwingend wiederholen, sondern kann ewig ohne ten Weg um das Loch
erkennbares Muster weitergehen. berechnen, indem
1 2 3
3
verschieden
3
Aufsätze erneut durchsah, glaubte ich, den Schlüssel zu zwei gleichseitige Dreiecke dass das eine die
1 3 gleich gleich
punkts, die Größe und fach durchstochenen Ebene ist: Es gibt nämlich einen
2 die Ausrichtung des Mechanismus, die so genannte stereografische Projektion,
1 2 Dreiecks keine Rolle die eine Kugeloberfläche mit einer zweidimensionalen
1
mehr. Ebene verbindet.
1 2 3
3 Die Bewegung Entfernt man einen
verschieden dreier Körper führt in Punkt auf einer Kugel stereografische Projektion
3
dem Modell von oberfläche, etwa den
zwei gleichseitige Dreiecke Moeckel zu einer Nordpol, und plat-
3
Kurve in3einem komplizierten Raum, der aus Punkten ziert eine Lichtquelle
besteht, die den möglichen Formen von Dreiecken entspre
verschieden hinein, kann man
Das Chaos zähmen Erde, Mond und Sonne bilden ein entwickelt, um das jahrhundertealte
eher problemloses Dreikörpersystem. Problem besser zu bewältigen.
Die Bahnkurven von drei Körpern, die Weil die Masse des Monds und der Philip G. Breen von der University
sich gegenseitig durch die Schwer Erde verhältnismäßig klein ausfallen, of Edinburgh nutzte gemeinsam mit
kraft anziehen, lässt sich meist nicht beeinflussen sie die Sonne kaum. seinen Kollegen künstliche Intelligenz
exakt berechnen. Das liegt daran, Daher bewegen sich unser Planet (KI), um komplizierte Bahnen dreier
dass die Bewegungen der Objekte – und sein Trabant auf nahezu perfek Körper extrem schnell zu bestimmen.
bis auf wenige Ausnahmen – chao ten Ellipsen. Wenn drei Körper aller Dazu speiste das Team ein neurona
tisch sind. Das heißt, kleinste Verän dings vergleichbare Massen haben, les Netzwerk mit knapp 10 000 Posi
derungen können enorme Folgen stoßen Forscher oft an ihre Grenzen, tionen dreier gleicher Massen, die
haben: Kennt man die Bahnkurven wenn sie deren Verhalten vorhersa anfangs ruhen, und den dazugehöri
eines Systems aus drei Sternen und gen wollen. Sie müssen dann auf gen durch konventionelle Computer
variiert die Position des einen nur um leistungsfähige Computer zurückgrei programme berechneten Flugbah
wenige Millimeter, können die Flug fen, die oftmals tagelang rechnen. nen. Anschließend übergaben die
bahnen plötzlich völlig verschieden Doch Ende 2019 haben zwei Forscher der KI 5000 neue Startposi
verlaufen. Forschergruppen neuartige Verfahren tionen und ließen sie die Bewegun
Arsyc 11
Bogen 3 1 2
Dreieck. Daher befin um meinen Verdacht
den sie sich auf dem zu beweisen. Sund
Euler-Punkt 1 Kollision
Nord- und Südpol der mans Arbeit allein half
von 1 und 2
Formkugel. Die drei Bogen
Arc 1 Bogen
Arc 22 mir jedoch nicht,
Kollision Kollision
übrigen zentralen denn sie steckt voll
gen der Objekte vorhersagen. Die anzugehen. Sie konzentrierten sich die Flugbahnen der zwei übrigen ge-
Ergebnisse der KI stimmten extrem dabei auf Objekte mit vergleichbaren bundenen Objekte aussieht. Die zwei
gut mit den tatsächlichen Lösungen Massen. Solche Systeme enden Forscher können dadurch ganz ohne
überein. Dabei arbeitet das neurona meist damit, dass sich einer der drei aufwändige Computerprogramme
le Netz viel schneller als gewöhnliche Körper irgendwann herauslöst und den Endzustand eines Dreikörpersys
Computerprogramme. Breen und ins Unendliche verschwindet, wäh tems bestimmen.
seine Kollegen hoffen in Zukunft mit rend die zwei übrigen ein gebunde
ihrer Methode Dreikörperprobleme nes Zweikörpersystem bilden. Stone
QUELLEN
zu lösen, die für herkömmliche und Leigh haben eine statististische
Algorithmen nicht bewältigbar sind. Methode entwickelt, um den Endzu Breen, P. G. et al.: Newton vs the
machine: solving the chaotic three-
Nicolas Stone von der Hebrew stand solcher Systeme vorherzusa
body problem using deep neural
University in Jerusalem und Nathan gen. Kennt man die Positionen und networks. arXiv 1910.07291, 2019
Leigh von der Universidad de Con Geschwindigkeiten der drei Massen,
Stone, N. C., Leigh, N. W. C.: A statis-
cepción in Chile wählten einen liefert ihr Ansatz die Wahrschein tical solution to the chaotic, non-
anderen Ansatz, um die anspruchs lichkeit dafür, welcher Körper wie hierarchical three-body problem.
volle Aufgabe ganz ohne Computer schnell wohin verschwindet und wie Nature 576, 2019
Sammlung von Punkten »aufblies«. Aus dem einzelnen auf die Formkugel Euler point 11
Euler-Punkt Euler point 33
Euler-Punkt
Der topologische Typ einer Kurve auf der Formkugel McGehee, R.: Triple collision in the collinear three-body prob
lässt sich durch eine Eklipsenfolge charakterisieren, die lem. Inventiones mathematicae 27, 1974
bestimmt, wie sich die Kurve um die Kollisionslöcher win Sundman, K.: Mémoire sur le problème des trois corps. Acta
det. Allerdings können verschiedene Folgen den gleichen Mathematica 36, 1912
spektrum.de/artikel/1640028
14
2007-2009 CERN
15
2007-2009 CERN
Higgs-Boson
Gluonen
dafür ist die Wurzel aus zwei. Anders als π zählt sie zu den
»algebraischenyZahlen«: Sie ist die Lösung einer polynomia
len Gleichung mit ganzzahligen Koeffizienten (siehe »Kurz
erklärt«, links), in diesem Fall x2 = 2. Perioden sind Zahlen,
die keine solche Gleichung erfüllen müssen. Dafür kann
man sie aber immer durch ein Integral über eine algebrai
b
sche Funktion berechnen. ∫
Integral: Area =a f(x) dx
Die meisten Menschen verstehen unter Perioden etwas
Zwei-Schleifen-
anderes. Tatsächlich tragen die seltsamen Zahlen x nicht
zufällig diesen Namen. a Im einfachsten
b Fall beschreiben sie
Beispiel: Zwei
tatsächlich die kürzeste Distanz, bis sich etwas wiederholt. Gluonen rein, vier
Um das zu verstehen, helfen der Cosinus und der Sinus. Gluonen raus
Man kann sie mit imaginären Zahlen (Wurzeln negativer
Zahlen) verbinden, indem man die eulersche Formel ver
wendet: eix = cos(x) + i sin(x), wobei e die eulersche Zahl ist
und i die Quadratwurzel aus minus eins. Alle drei Funktio
nen, sin(x), cos(x) und eix, haben die Periode 2π: Wenn x Gluonen
von 0 auf 2π steigt und dann weiter anwächst, wiederholen
sich die jeweiligen Funktionswerte.
Die Zahl 2π löst zwar keine algebraische Gleichung, lässt Schleifen
sich aber durch ein Integral berechnen. Zeichnet man ein
Diagramm
y von eix in der komplexen Ebene, mit den imagi
nären Zahlen auf einer Achse und den reellen Werten auf
der anderen, dann bildet die Funktion einen Kreis mit Radius
eins (siehe »Visualisierung der eulerschen Formel«, S. 18). Im Allgemeinen können Perioden allerdings viel kompli
Indem man jedes Liniensegment des Kreises b
mit Hilfe eines zierter sein als die beiden Beispiele. In den letzten 25 Jah
Integrals addiert, erhält manIntegral:
seinenArea =a ∫ f(x)
Umfang, dx
nämlich 2π. ren haben Physiker eine Schwindel erregende Anzahl
Doch was passiert, wenn man nur die x Länge eines exotischer Zahlen gefunden (siehe Spektrum August 2017,
Bogenstücks a bis zu einem
b gewissen Punkt z berechnen S. 66), als sie die Integrale von Feynman-Diagrammen
möchte? In diesem Fall muss man die Gleichung z = eix berechneten. Erstaunlicherweise lassen sich viele solcher Euler
nach der Variablen x auflösen, die der gesuchten Bogen Perioden in Logarithmen zerlegen.
länge entspricht. Dafür braucht man den natürlichen Loga Diese Eigenschaft nutzte Goncharov 2010, wodurch er
rithmus ln(z). Das gleiche Ergebnis erhält man, wenn man mit seinem Team das 17-seitige Durcheinander von
die einzelnen Liniensegmente des Kreises bis zum Punkt z
aufsummiert. Die Lösung des Integrals ist also ein Loga
Del Duca und dessen Kollegen durch eine Art Alphabet aus
Logarithmen ausdrücken konnte. Das Alphabet gehorcht
e
rithmus – daher sind Logarithmen Perioden, auch wenn sie einer eigenen Grammatik, die auf logarithmischen Rechen
im Gegensatz zu 2π nicht danach aussehen. regeln basiert, wie ln(xy) = ln(x) + ln(y) oder ln(xn) = n ln(x).
JEN CHRISTIANSEN / SCIENTIFIC AMERICAN JANUAR 2019; BEARBEITUNG: SPEKTRUM DER WISSENSCHAFT
Mit Goncharovs Trick lässt sich das komplizierte
Integral eines Feynman-Diagramms …
imaginäre Zahlen
e ix
=
sinus ( x)
ln (AB) = ln (A) + ln(B)
=
… durch einfache Buchstaben ausdrücken,
die sich wie Logarithmen verhalten.
reelle Zahlen
A C B A D E ... =
cosinus (x) A C B =A D E . . .
C F A BAE CD =B CA=F ln EE +. D
DA(A) .ln(B)
.+ C F B E D
ln (AB)
Die Buchstaben gehorchen einer »Grammatik«,
A C B A= ln D(A)E +. .ln(B)
.
die auf den Rechenregeln für Logarithmen basiert.
ln (AB)
C F Alog
natürlicher A
B E
C CB F A
Dln= (AB) A
E ... B E
DD(A)
= Eln + C+ Fln(B) D
n
eine
Peri C F A B E Dln= (AB)
ln(C ) = n ln(C)
= ElnD(A)
C F A + C+ Fln(B)
B E D
•
o de ( Zum Beispiel ist der log von A mal B gleich
2π),
Zeit C F A B dem
E Dlog ln
= von(AB)
) ==nln (A)
C nAF plus
ln(C A dem + ln(B)
E •Dlog+von
ln(C) C B.F B E D
C F A B E D = C nF A E •D + C F B E D
ln(C ) = n ln(C)
C F AB E D = C nF A E D + C F B E D
D A Cn B ln(C ) = n ln(C)
A = n• • D A C B A
Und der log von C hoch n entspricht n mal
D A Cn B A = n • vonDC. A C B A
dem
n log
ln(C ) = n • ln(C)
D A C n B A n= n
ln(C ) = n D•• ln(C)
•A C B A
Zeit D A Cn B A = n • D A C B A
Nach diesen Regeln können wir die Wörter
für Feynman-Diagramme umschreiben.
D A Cn B A = n • D A C B A
D A Cn B A = n •
• D A C B A
Zusammengefasst bedeutet das: Physiker berechnen die Antwort. Bestimmte Wörter kann man sofort aussor
Streuamplituden mit Feynman-Diagrammen, die Integrale tieren, weil sie Teilchen beschreiben, die es nicht gibt, oder
erfordern. Diese Integrale sind wiederum Perioden, die man Diagramme repräsentieren, die unmöglich zu zeichnen
oftmals in einfachere Logarithmen zerlegen kann. Dadurch wären. Andere Ergebnisse erklären wiederum Dinge, die
ist es möglich, die Integrale durch Buchstaben auszudrü wir bereits wissen. Auf sie kann man ebenso verzichten.
cken, die logarithmischen Rechenregeln folgen. Am Ende bleibt von den Millionen Wörtern nur noch eine
Goncharovs Trick wäre aber nicht annähernd so beein einzige Antwort übrig, die der gesuchten Streuamplitude
druckend, wenn er bloß Platz sparen würde. Kennt man das entspricht.
richtige Alphabet, kann man die Feynman-Diagramme Lance J. Dixon, heute am Stanford Linear Accelerator
komplett überspringen und die Formel einer Streuamplitude Center, und James M. Drummond von der University of
einfach erraten. Das erleichtert nicht nur die Arbeit der Southampton nutzten diese Methode 2011 zusammen mit
Physiker, sondern macht einige Berechnungen überhaupt Johannes Henn, damals an der Humboldt-Universität zu
erst möglich. Berlin und inzwischen am Max-Planck-Institut für Physik in
Die Buchstaben muss man dafür wie bei Scrabble so München, um das richtige »Wort« für eine Drei-Schleifen-
anordnen, dass ein sinnvolles »Wort« entsteht. In unserem L E T HBerechnung
N I E C zu finden. Als ich zwei Jahre später während
Fall ist es sogar etwas einfacher, da wir bereits wissen, wie meiner Doktorarbeit an der Stony Brook University auf
M
L ESTOHLong
RNUI EHCI A G L T
lang das gesuchte Wort sein soll. Wenn man faul ist, kann Island von ihrer Forschung erfuhr, entschied ich mich,
man einen Computer die Buchstaben in jeder möglichen N
M R E E C
L ESTOHRNUI E
den B HCI A GI H
L
WinterS E
über TG U
Lmit Dixon an der Stanford University zu
Reihenfolge aufschreiben lassen und diese Liste nach einer arbeiten. Wir wollten herausfinden, wie das Drei-Schleifen-
Lösung durchsuchen.
N
L ERSTEOH
M ERNCUB
IEHLCIS
Ergebnis AEGI H
L TGwenn
aussieht,
U man alle Buchstaben detailliert in
Die Liste kann jedoch ziemlich lang sein. GlücklicherN R E E CUB
M RN IEHLCIS
L ESTOHIntegrale AEGI H
L TG Uum es dann mit der Zwei-Schleifen-
umschreibt,
weise gibt uns das Standardmodell weitere Hinweise auf
L E TM
NH NERCIUEBHC
Berechnung von Del Duca und seinen Kollegen zu verglei
RSEO LISAEGI H
L TG U
18 Spektrum SPEZIAL Physik Mathematik Technik 4.20
ü
M SNORR E EUCH B LI S
AEGI HLGTU
NREECBLSEIHGU
um jeweils einen der beiden Kreise, erhält man einen Loga
rithmus. Doch auf dem Torus zeichnen sich nicht bloß
Elliptisches Integral um einen Torus
JEN CHRISTIANSEN / SCIENTIFIC AMERICAN JANUAR 2019; BEARBEITUNG: SPEKTRUM DER WISSENSCHAFT
spektrum.de/artikel/1725080
Die mathematische Forschung gilt als abstrakt und Umso erstaunlicher ist es, dass diese allgegenwärtigen
lebensfern. Das Gebiet der Knotentheorie bildet da eine Strukturen noch immer etliche Rätsel bergen. Beispiels
seltene Ausnahme. Knoten begegnen uns ständig, sei weise ähnelt ein Altweiberknoten, mit dem man Schnürsen
es in gewebten Stoffen, beim Schnüren von Schuhen oder kel bindet, dem weniger geläufigen Kreuzknoten. Wie die
beim Bergsteigen. Inzwischen gehen Wissenschaftler Erfahrung und Experimente zeigen, ist Letzterer wesentlich
PETERSCHREIBER.MEDIA / STOCK.ADOBE.COM
davon aus, dass Menschen schon vor einer halben Million robuster – allerdings gab es bislang kein einfaches theo
Jahren Knoten bildeten – lange bevor das Rad erfunden retisches Modell, welches das erklärt. Das hat der Mathe
wurde. Und sogar einige Affen, darunter Gorillas, verknoten matiker Vishal Patil vom Massachusetts Institute of Techno
nachweislich Gräser, wenn sie ihre Nester bauen. logy zusammen mit seinen Kollegen nun geändert.
kein Knoten 31 41 51 52
SPEKTRUM DER WISSENSCHAFT, NACH: JKASD (COMMONS.WIKIMEDIA.ORG/WIKI/FILE:KNOT_TABLE.SVG)
61 62 63 71 72
73 74 75 76 77
leichter lösen.
Patil und sein Team suchten deshalb nach weiteren
stabilisierenden Faktoren. Wie sich herausstellte, sind
Knoten robuster, wenn nebeneinander verlaufende Stränge
sich beim Ziehen in entgegengesetzte Richtungen bewe
gen. Die Wissenschaftler definierten eine zweite Größe Γ,
die im Wesentlichen zählt, wie viele Strangabschnitte sich
gegenläufig zusammenziehen. Während der Kreuzknoten
beispielsweise über vier solche Segmente verfügt, hat der
Diebesknoten bloß einen. Das erklärt, warum der Kreuzkno
ten besser hält.
Indem die Forscher die Anzahl der Kreuzungen N, die
Verdrehungen τ und die entgegengesetzten Strangabschnit
te Γ für gängige Knotenfamilien bestimmten, konnten sie
beurteilen, wie stabil welche Knoten sind. Dafür brauchten
sie weder aufwändige Computersimulationen noch detail
lierte Berechnungen, sondern zählten bloß Eigenschaften,
die sich aus einem Knotendiagramm sofort ergeben.
Allerdings sind all diese Überlegungen nicht viel wert,
wenn man sie nicht überprüft. Daher führten Patil und seine
Kollegen Experimente mit sich farblich verändernden Seilen
durch. Diese bestehen aus einem elastischen Kern, der von
mehreren Schichten transparenter Elastomere mit unter
schiedlichen Brechungsindizes umgeben ist. Sobald man
ein solches Seil verbiegt oder daran zieht, ändert sich die
Dicke der Elastomere und damit auch ihre Farbe. Dadurch
lassen sich die Kräfte abbilden, die auf einen Knoten wirken.
Auf diese Weise konnten die Forscher ihre theoretischen
Ergebnisse mit Experimenten an einfachen Knoten und
dazugehörigen Computersimulationen bestätigen. Alle drei
Die drei so genannten Reidemeister-Bewegungen Methoden führten zu den gleichen Resultaten. Anschlie
lassen ein Knotendiagramm topologisch gesehen ßend widmeten sich die Forscher komplizierteren Knoten,
unverändert. etwa dem gesteckten Schmetterlingsknoten mit zwölf oder
QUELLE
LITER ATURTIPPS
Ein Geschenk,
Shopgutschein
das ankommt!
Maße: 213 x 146 mm Mit einem Spektrum-Geschenkgutschein
U N S P A L S H / M I C H A E L M R O C Z E K ( h t t p s : // u n s p l a s h . c o m / p h o t o s / x V K E Z 9 w V I Y M )
spektrum.de/aktion/gutscheine
ü
TROPISCHE GEOMETRIE
DAS SKELETT DER AMÖBE
Jüngst entstand ein neues Fachgebiet, bei dem Mathematiker
geometrische Objekte so stark verändern, dass nur ein »Ske
lett« der eigentlichen Form zurückbleibt. Dennoch behalten
die Strukturen viele ihrer ursprünglichen Eigenschaften bei –
wodurch sie unerwartete Geheimnisse offenbaren.
spektrum.de/artikel/1640006
Wenn man ein kompliziertes mathemati-
sches Problem lösen möchte, erweist sich
der direkte Weg manchmal als schwierig. In
diesen Fällen lohnt es sich, vom gewohnten Pfad
abzuweichen und einen Umweg in Kauf zu nehmen.
In einer solchen Situation befand sich Gerolamo Cardano
im 16. Jahrhundert. Damals biss er sich an der Lösung kubi-
scher Gleichungen die Zähne aus. Doch irgendwann kam
ihm eine zündende Idee, welche die moderne Mathematik
auf ungeahnte Weise prägen sollte: Er führte während seiner Indem man gewöhn
Berechnungen Wurzeln aus negativen Zahlen ein – heute liche Gleichungen
sind sie als imaginäre Zahlen bekannt. Er maß ihnen keine »tropisiert«, ähneln die
besondere Bedeutung bei, sie halfen ihm aber, die kniffligen dadurch entstehen-
Aufgaben zu lösen. Inzwischen haben sich komplexe Zahlen, den Objekte Amöben
die sich aus reellen und imaginären Zahlen zusammensetzen, mit Tentakeln, die
als so wichtig herausgestellt, dass viele aktuelle Fortschritte sich ins Unendliche
ANTOINE CHAMBERT-LOIR
v = log |y|
2 Dadurch vereinfachen sich komplizierte Oberflächen
zu tropischen Kurven, die sich aus mehreren Linien
segmenten zusammensetzen.
v = log (eu + 1)
v = log (eu – 1)
Die tropische Geometrie ist ein weiteres Beispiel für aus zwei reellen Koordinaten a und b und der imaginären
einen zielführenden Umweg. Sie entstand in den Einheit i, die der Wurzel aus minus eins entspricht. Die
1980er Jahren und ist inzwischen zu einem aktiven For- ursprüngliche Gleichung F(x, y) = 0 hängt also von insge-
schungsfeld herangewachsen, das auch andere mathe samt vier reellen Koordinaten ab und spaltet sich in zwei
matische Bereiche beeinflusst. Einer der größten Nutz unabhängige Teile auf: in einen Realteil ohne i und einen
nießer dieser Entwicklung ist die algebraische Geometrie. Imaginärteil mit i. Die entsprechende geometrische Figur ist
Wie Mathematiker feststellten, kann es sich in diesem dann streng genommen keine Kurve mehr, sondern eine
Gebiet lohnen, einen Schlenker über die tropische Geomet- Oberfläche im vierdimensionalen Raum.
rie zu machen. Denn einige Eigenschaften algebraischer Das mag abstrakt klingen, doch Mathematiker haben
Kurven lassen sich im tropischen Teil einfacher berechnen. verschiedene Methoden entwickelt, um diese Objekte zu
Um das nachzuvollziehen, muss man zuerst algebraische untersuchen. Allerdings stoßen sie dabei häufig an ihre
Kurven verstehen. Sie bestehen aus einer Menge von Grenzen. Denn die algebraische Geometrie hat sich in
Punkten (x, y), die eine so genannte polynomiale Gleichung vielen Punkten als äußerst schwierig entpuppt.
lösen, zum Beispiel F(x, y) = axy3 + bx2y + cx + dy + f = 0. In den 1990er Jahren hatten die Forscher Israel Gelfand
Die Punkte x und y können dabei nicht bloß reelle, sondern an der Rutgers University in New Jersey, Mikhail Kapra-
auch komplexe Werte annehmen, also imaginäre Zahlen nov, damals an der Northwestern University in Illinois,
enthalten. In solchen Fällen besteht jede Variable x = a + ib und Andrei Zelewinsky an der Northeastern University in
ANTOINE CHAMBERT-LOIR
scher so die Dimensionen des eigentlichen Problems:
Aus den seltsamen Flächen im vierdimensionalen Raum –5 5 u
werden gewöhnliche Kurven in der Ebene. Das Erstaun
liche ist, dass dabei einige Eigenschaften der ursprüngli-
chen Gleichung erhalten bleiben.
Komplizierte Gerade –5
Um das zu erkennen, hilft ein Beispiel. In komplexen Koordi-
naten beschreibt die Geradengleichung x + y – 1 = 0 eine
komplizierte Fläche. Betrachtet man dagegen die Logarith-
men der Beträge von x und y, füllen diese Punkte einen Teil
der zweidimensionalen Ebene aus, die durch drei Kurven- Die Anzahl der Schnittpunkte zweier tropischer Kurven
gleichungen begrenzt ist (siehe Bild auf S. 27): Für negati- ist, wie für algebraische Kurven auch, gleich dem
ve u gehören alle Punkte (u, v) innerhalb von v = log (eu + 1) Produkt ihres Grades. Im obigen Bild kreuzt der tropi
und v = log (1 – eu) zur Lösung, während für positive u alle sche Kegelschnitt (rot) x2 + 4xy – 300x – 40y – 50 die
zwischen v = log (eu + 1) und v = log (eu – 1) die Gleichung kubische Kurve (grün) ⅛ x3 + x2y + 2xy2 + y3 + 2x2 +
erfüllen. 15xy + 400y2 + 5x + 100y + 1 in 2 · 3 = 6 Punkten. Dabei
Die Kurvengleichungen begrenzen ausufernde Bereiche, zählt der blaue Punkt doppelt, weil diese Koordinaten
deren Form an Tentakel erinnert. Das ist keine Besonderheit zweimal in der Lösung auftauchen.
der betrachteten Gerade, sondern ein Merkmal aller algeb-
raischen Kurven. Wegen ihrer Ähnlichkeit zu den Wechsel-
tierchen bezeichnen Mathematiker die geometrischen x + y = 1 wie y ≈ –x verhält. Insbesondere stimmen die
Objekte als Amöben. Beträge beider Zahlen überein, wodurch sich die diagonale
Doch woher kommen diese Tentakel? Tatsächlich haben Gleichung v = u ergibt. Der linke Tentakel entspricht da
sie einen einfachen Ursprung. Sie entsprechen den Gebie- gegen vernachlässigbar kleinen Werten von x. In diesem
ten, in denen die Koordinaten x und y entweder sehr groß Fall vereinfacht sich die ursprüngliche Gleichung zu y ≈ 1,
oder sehr klein sind. Im diagonalen Tentakel sind beispiels- woraus v = log |y| ≈ 0 folgt. Ebenso ergibt sich der untere
weise sowohl x als auch y groß, so dass sich die Gleichung Tentakel für kleine y aus u = log |x| ≈ 0.
Indem man diese Extremfälle betrachtet, kann man das
»Skelett« der Amöbe nachzeichnen. Für x + y = 1 besteht es
v aus drei Halbgeraden, die sich im Ursprung treffen. Die
russischen Mathematiker Victor Maslov von der Lomonos-
sow-Universität in Moskau und Oleg Viro, damals an der
Universität Uppsala in Schweden, fanden heraus, wie es
sich herausarbeiten lässt: Man ersetzt die Basis des Loga-
rithmus, der die Koordinaten u und v definiert, durch immer
größere Zahlen. Das hungert die Amöbe nach und nach aus
ANTOINE CHAMBERT-LOIR
Es fehlte aber eine einfache Methode wie Kontsevichs rem bedeutet, dass es unmöglich ist, jede dieser Kurven
Formel, um Welschinger-Invarianten zu berechnen. Hier durch rationale Funktionen zu beschreiben.
kommt die tropische Geometrie ins Spiel und liefert eines Insgesamt hat die tropische Geometrie zu wichtigen
der ersten Beispiele, in dem das junge Forschungsgebiet zu Fortschritten in unterschiedlichen mathematischen Berei-
neuen mathematischen Erkenntnissen geführt hat. 2009 chen geführt. Sogar in der Physik könnte sie ein jahrzehnte-
fanden Ilia Itenberg von der Pariser Sorbonne Université, altes Rätsel lösen (siehe »Der tropische Spiegel« ab S. 32).
Viatcheslav Kharlamov von der Université de Strasbourg Es wundert noch immer viele Wissenschaftler, dass sich
und Eugenii Shustin von der Universität Tel Aviv mit Hilfe der brandneue Forschungszweig als so effizient erweist.
der tropischen Geometrie eine Formel, die Welschinger- Sein Vorteil besteht darin, dass er viele komplizierte Proble-
Invarianten ausspuckt. Aus ihr folgt beispielsweise, dass me zu rein kombinatorischen Fragen vereinfacht, die ein
W₁ = 1, W₂ = 1, W₃ = 8 und W₄ = 240 ist. Wenn es also Computer beantworten kann.
N₃ = 12 komplexe Kurven dritten Grades gibt, die durch acht
Punkte in der Ebene verlaufen, sind mindestens W₃ = 8
QUELLEN
davon reell. Unter Berücksichtigung der verschiedenen
Vorzeichen bedeutet das: Es gibt je nach Verteilung der Gathmann, A., Markwig, H.: The Caporaso-Harris formula and
acht Punkte im Raum entweder acht (alle haben das gleiche plane relative Gromov-Witten invariants in tropical geometry.
Mathematische Annalen 338, 2007
Vorzeichen), zehn (eine hat ein anderes Vorzeichen als die
neun übrigen) oder zwölf (zwei Kurven haben ein negatives Itenberg, I. et al.: A Caporaso-Harris type formula for Welschin-
ger invariants of real toric Del Pezzo surfaces. Commentarii
und zehn ein positives Vorzeichen) reelle Kurven, die sie
Mathematici Helvetici 84, 2009
passieren.
Die tropische Geometrie half im August 2018 auch David Kontsevich, M.: Enumeration of rational curves via torus
actions. ArXiv hep-th/9405035, 1994
Jensen von der University of Kentucky und Sam Payne von
der Yale University dabei, eine bisher unbekannte Eigen-
schaft algebraischer Kurven zu enthüllen. Da diese Kurven WEBLINK
eigentlich zweidimensionale Objekte sind, können sie Rau, J.: A first expedition to tropical geometry.
Löcher haben, über die sie häufig klassifiziert werden. https://bit.ly/2o6Bzn2, 2017
Jensen und Payne fanden heraus, dass solche mit 22 und Eine einfach gehaltene, englischsprachige Einführung in die
23 Löchern von »allgemeinem Typ« sind, was unter ande- tropische Geometrie, die sich an Anfänger richtet
Im Mai 1991 ahnten die Besucher einer Konferenz Der bizarre Zusammenhang fiel erstmals Stringtheoreti-
des Mathematical Sciences Research Institute in kern in den 1980er Jahren auf. Die Stringtheorie soll die
Kalifornien nicht, dass sie eine große Überraschung Gravitation mit den quantenmechanischen Gesetzen sub-
erwartete. Der britische Stringtheoretiker Philip Candelas, atomarer Teilchen vereinigen, indem sie winzige Fädchen
damals an der University of Texas in Austin, präsentierte (»Strings«) definiert, die durch ihre Schwingungen die uns
dort seine Forschungsergebnisse, doch die größtenteils aus bekannten Elementarteilchen und fundamentalen Kräfte
Mathematikern bestehenden Zuhörer zweifelten die Rich- erzeugen.
tigkeit dieser Arbeit an.
Der Physiker behauptete, eine Formel gefunden zu
haben, die »rationale Kurven« auf einer extrem komplizier- Ungeachtet ihrer unterschiedlichen Struktur
ten sechsdimensionalen »Oberfläche« zählt. Mathematiker scheinen völlig verschiedene geometrische Figuren
konnten bisher bloß Kurven ersten, zweiten und dritten durch eine »Spiegelsymmetrie« verbunden.
Grades mit aufwändiger Computerunterstützung auf den
seltsamen Gebilden zählen (siehe »Das Skelett der Amöbe«
ab S. 26). Außerdem hatten sie kein Muster hinter diesen
schnell anwachsenden Zahlen erwartet – geschweige denn,
dass sich eine Formel zu ihrer Berechnung finden ließe.
Während des Vortrags fiel einigen Zuhörern auf: Can-
delas‘ Wert für die Anzahl der Kurven dritten Grades unter-
schied sich von dem bereits bekannten Ergebnis der nor-
wegischen Mathematiker Stein Arild Strømme, damals an
IVANMOLLOV / GETTY IMAGES / ISTOCK
QUELLEN
geschlossener
LITERATURTIPP
Als sich das neue Corona
virus im März 2020 auf der
ganzen Welt ausbreitete und
die meisten Staaten nach und
1:1 1 2:1 1
1:1
1:1 1 1 2:1
2:1 11
1
nach Ausgangsbeschränkungen
verhängten, fanden sich die 1:1 1 2:1 1
Mathematiker Joshua Greene vom
Boston College, Massachusetts,
9
Eine der Aufgaben, der sich die Freunde 16:9
16:9 7:9
9
zuwandten, ist eine jahrzehntealte Frage 16:9
aus der Geometrie: Kann man in einer
geschlossenen Kurve (einer Schleife) immer
vier Punkte markieren, damit ein Rechteck
16
mit allen denkbaren Seitenverhältnissen
entsteht? »Das Problem lässt sich einfach formulieren und Rechtecke können
7
leicht verstehen, aber es ist wirklich kompliziert«, sagt die unendlich viele verschiedene
Knotentheoretikern Elizabeth Denne von der Washington Seitenverhältnisse haben.
and Lee University.
Auf den ersten Blick wirkt es wie eine Aufgabe aus Ein Rechteck lässt sich dadurch charakterisieren,
einem Mathematikwettbewerb, die ein Schüler der Mittel- dass sich die zwei gleich langen Hauptdiagonalen im
stufe mit Lineal und Zirkel lösen könnte. Doch in Wirklich- Mittelpunkt des Vierecks schneiden.
SPEKTRUM DER WISSENSCHAFT
a bilden sie ein jede stetige, glatte, geschlossene Kurve mindestens vier
Möbiusband. Punkte enthält, die ein Rechteck bilden.
Der Beweis von Greene und Lobb baut auf Vaughans
Arbeit auf, enthält aber auch geometrische Erkenntnisse,
die erst kürzlich veröffentlicht wurden. Einen der wichtigs-
ten Bausteine lieferte der Princeton-Absolvent Cole Hugel-
d meyer im November 2019, der eine neue Methode entwi-
ckelte, um mit Möbiusbändern zu arbeiten. Seine Idee
bestand darin, das Objekt in einen anderen geometrischen
b Raum zu verfrachten, Mathematiker bezeichnen das als
Einbettung.
c x
Kurven im vierdimensionalen Raum
Wenn man eine Kurvein in Four-Dimensional
den vierdimensionalen Raum einbettet, weist man jedem
( a,b,c, ... )
Embedding Curves Space y
PEmbedding
unktepaar eine vierdimensionale
Embedding a curveCurves Adresse
in Four-Dimensional
in four-dimensional zu, die
Space
space means giving each durch vier Werte festgelegt ist.
3. The fourth coordinate is
pair of points on the curve a four-dimensional “address,” defined by x
Embedding a curve in four-dimensional space means giving each
four coordinate values.
pair of points on the curve a four-dimensional “address,” defined by
the angle formed by a line
four coordinate values.
y
that runs through the pair
y
Die ersten beiden Die vierte
of Koordinate
points andergibt
y 1. The first two coordinates 3. The fourth coordinate is the x-axis.
Koordinaten der Adresse sich durch den Winkel,
in the four-dimensional the angle formed by a line
entsprechen
1. The first twodem
coordinates welche die Verbindungs
address are the coordinates that runs through the pair
Mittelpunkt
in des Punkte-
the four-dimensional linie der Punkte mit der
of the midpoint between the of points and the x-axis.
paars. are the coordinates
address x-Achse bildet.
pair of points.
of the midpoint between the 130º-Winkel
pair of points.
b 130º-Winkel
b ( a,b, ... )
( a,b, ... ) ( a,b,c,d
( a,b,c,d ) )
x x x
a
x
y a
Assigning these four coordinates to each point on the Möbius strip
y 2. The third coordinate is
the straight-line distance
Assigning theseIndem
makes it possible
four man
to embed jedem
the stripPunkt
coordinates to des Möbiusbands
in four-dimensional
each pointspace.
on the Möbius strip
Der
2. dritte
The thirdWert ist dieis
coordinate diese vier Koordinaten zuordnet, kann man es in
between the pair of points.
Distanz
the zwischen
straight-line den
distance
makes it possibleden to vierdimensionalen
embed the stripRaum in four-dimensional
einbetten. space.
beiden Punkten.
between the pair of points.
( a,b,c,d )
c
c
( a,b,c, ... ) ( a,b,c,d )
( a,b,c, ... )
SAMUEL VELASCO / QUANTA MAGAZINE
x
x
y 4-D-Raum
BATHSHEBA GROSSMAN
erkennt.
44 Spektrum SPEZIAL
ü
Buddhabrot (1993)
Scarabs (2018)
Bjarne Jespersen bezeichnet sich selbst als magischen
Holzschnitzer. Der dänische Künstler strebt nach Verwunde-
rung: Er will, dass die Menschen seine Holzkreationen sehen,
halten, bewegen und trotzdem nicht an sie glauben. »Ich
sehe mich eher als Magier denn als Mathematiker oder
Künstler«, sagt er.
Wenn man »Scarabs« in den Händen hält, merkt man
schnell, dass die aus einem einzigen Buchenstück ge-
schnitzte Kugel aus losen Käfern besteht. Dennoch grei-
fen die Figuren ineinander und können nicht herausgelöst BJARNE JESPERSEN
spektrum.de/artikel/1711064
aus, ein entsprechendes Beispiel zu finden, das seinen algebraische Fragen in das einfacher zu handhabende
Standpunkt beweise. Reich der Geometrie verfrachten und dort lösen lassen.
Nicht einmal ein Jahr später stellte ein Student von
Hilbert, Max Dehn, zwei entsprechende Polyeder vor.
Man kann auch algebraische Nachdem die Sortierung vorgenommen ist, kann man
überprüfen, ob alle Polytope eines Raums das gleiche
Gleichungen in ihre Bestandteile Volumen und die gleiche Dehn-Invariante haben. Zudem
muss man sicherstellen, dass jedes dehninvariante Objekt
zerlegen! mit gleichem Volumen auch wirklich im richtigen Raum
gelandet ist. Das Ziel des Gedankenexperiments besteht
Das Ziel lautet demnach, algebraische Gleichungen nach darin, eine perfekte Eins-zu-eins-Übereinstimmung zwi
ihren Motiven zu klassifizieren, also eine Art Periodensys schen scherenkongruenten Polytopen und dehninvarianten
tem zu schaffen, um einen systematischeren Überblick zu Polytopen gleichen Volumens zu finden. Kann man
erhalten. Doch diese Aufgabe erweist sich als extrem beweisen, dass eine solche Abbildung zwischen beiden
schwierig und blieb bisher unvollendet. Gruppen existiert, dann genügen Volumen und Dehn-
Goncharov vermutete in seiner 1996 erschienenen Invariante tatsächlich, um scherenkongruente Polytope zu
Arbeit, dass die Einteilung von Polytopen in scherenkon- identifizieren.
gruente Typen und das Kategorisieren algebraischer Glei Goncharov hatte eine solche Eins-zu-eins-Übereinstim
chungen nach Motiven zwei Seiten der gleichen Medaille mung bereits in den 1990er Jahren angenommen, doch erst
sind. Wenn man es also schafft, die eine Aufgabe zu bewäl Campbell und Zakharevich konnten diese in ihrer Arbeit
tigen, kann man damit ebenso das andere Problem lösen. beweisen – jedoch nur unter einem Vorbehalt. Das Ergebnis
Dazu müsse es in der Welt der algebraischen Gleichungen ihrer Arbeit hängt von einer anderen, noch unbewiesenen
ein Analogon zur Dehn-Invariante geben, so Goncharov. Hypothese ab. Diese hat mit einer der so genannten Beilin
Statt sich aus geometrischen Zusammenhängen zu erge son-Vermutungen zu tun, die beschreibt, wann gewisse
ben, ließe es sich durch eine ähnliche Berechnung mit Terme einer bestimmten Gleichung null sind.
Motiven bestimmen. Der Aufsatz von Campbell und Zakharevich genügt also
Algebraische Gleichungen tauchen in den verschiedens leider noch nicht, um die zwei Vermutungen von Goncharov
ten mathematischen Disziplinen auf und zählen daher zu zu beweisen: dass Dehn-Invariante und Volumen als cha
den bedeutendsten Objekten des Fachs. Auch wenn sie auf rakteristische Größen ausreichen, um scherenkongruente
den ersten Blick einfach anmuten, bergen sie doch etliche Polytope zu klassifizieren, und dass sich auch algebraische
Geheimnisse. Deshalb erscheint die von Goncharov vermu Gleichungen durch ein Analogon der Dehn-Invariante
tete Verbindung zu Polytopen extrem verlockend: Einige gemäß ihrer Motive einordnen lassen. Doch nun haben
komplizierte algebraische Fragestellungen könnte man Mathematiker einen neuen Anhaltspunkt, um die Aufgabe
dadurch in das einfacher zu handhabende Reich der Geo anzugehen: Wenn es ihnen gelingt, die Beilinson-Vermutun
metrie verfrachten und dort lösen. gen zu beweisen, lösen sie gleichzeitig das Problem der
Scherenkongruenz.
Was haben geometrische Formen und Gleichungen
gemeinsam? QUELLEN
Doch die Verbindung zwischen den zwei Gebieten kann Campbell, J., Zakharevich, I.: Hilbert’s third problem modulo
nur existieren, wenn die Dehn-Invariante tatsächlich For torsion and a conjecture of Goncharov. ArXiv 1910.07112, 2019
men in scherenkongruente Gruppen sortiert. Für drei- und
Goncharov, A.: Volumes of hyperbolic manifolds and mixed
vierdimensionale Polytope trifft das zu, aber es könnte Tate motives. ArXiv alg-geom/9601021, 1996
sein, dass einige höherdimensionale dehninvariante Objekte
gleichen Volumens nicht scherenkongruent sind.
Seither versuchen Mathematiker zu beweisen, dass Von »Spektrum der Wissenschaft« übersetzte und bearbeitete
dieser Fall nicht eintreten kann. So auch Campbell und Fassung des Artikels »Mathematicians Cut Apart Shapes to Find
Pieces of Equations« aus »Quanta Magazine«, einem inhaltlich
Zakharevich, die im Juni 2018 drei Wochen lang am Insti
unabhängigen Magazin der Simons Foundation, die sich die Verbrei
tute for Advanced Study in Princeton, New Jersey, zusam tung von Forschungsergebnissen aus Mathematik und den Natur
menarbeiteten. Das Problem der Scherenkongruenz und wissenschaften zum Ziel gesetzt hat.
Goncharovs Vermutungen hatte beide Forscher schon
lange fasziniert. Zakharevich ging aber davon aus, dass
diese Mammutaufgabe niemals in so kurzer Zeit zu bewälti
spektrum.de/artikel/1609516
1 Kurt Gödel entdeckte in den 1930er Jahren, dass es heute nicht (»Spektrum« Februar 2014, S. 72).
bei manchen mathematischen Aussagen prinzipiell Hilberts Hoffnungen sollten bald begraben werden. 1931
unmöglich ist, zu beweisen, ob sie wahr oder falsch veröffentlichte Kurt Gödel (1906–1978) seine Aufsehen erre-
sind – sie sind »unentscheidbar«. genden Unvollständigkeitssätze. Darin bewies er, dass es
sinnvolle mathematische Aussagen über ganze Zahlen gibt,
Kern
Elektron
Spektral-
Energie angeregter Zustand
nische Mathematiker Alonzo Church. Turings Beweis war
letztlich jedoch bedeutender. Manchmal erweist sich in der
Elektron lücke Mathematik der Beweis eines Ergebnisses als wichtiger als
Grundzustand
das Ergebnis selbst.)
Während in einzelnen Atomen die Energieniveaus Zu diesem Zweck musste Turing den Begriff der bere-
stets
Grundzustand
angeregter durch
Zustand eine echte Lücke getrennt sind, gibt es chenbaren Zahl (»computable number«) und damit den des
in ausgedehnten Materialien, die aus unzähligen Rechnens überhaupt präzise fassen. Und dazu wiederum
angeregterAtomen
Zustand bestehen, manchmal keinen Abstand ersann er eine idealisierte Maschine – wohlgemerkt bevor
zwischen dem Grundzustand und dem ersten es die heute zum Rechnen genutzten Maschinen, die Com-
angeregten Zustand. Dann genügt die kleinste puter, überhaupt gab (siehe »Turing-Maschinen«, S. 56).
Energiemenge, um das Material aus dem Grundzu- Interessanterweise kann eine Turing-Maschine theoretisch
stand in einen angeregten Zustand zu heben. alles berechnen, was überhaupt berechenbar ist, wenn auch
möglicherweise mit einem astronomisch hohen Zeitbedarf.
Mit Spektrallücke Die Idee der Turing-Maschine war noch bedeutender als
Es gibt diskrete Energieniveaus, so dass jeweils die Lösungangeregter
des Entscheidungsproblems. Indem Turing eine
hoch
Zustand 4
eine bestimmte Energiemenge notwendig ist, um präzise, mathematisch strenge Definition für die Begriffe
Energieniveaus
angeregter Zustand 4
tisches oder algorithmisches Verfahren eine einfache Frage
Lücken
Energieniveaus
angeregter
angeregter Zustand
Zustand 3
4
niedrig
angeregter mit gegebenem Input jemals anhalten? Diese Frage ist als
angeregter Zustand
Zustand 3
1
angeregter Zustand 2 das Halteproblem bekannt. Zu jener Zeit war das Ergebnis
Lücken
schockierend. Heute haben sich die Mathematiker daran
niedrigniedrig
angeregter Zustand 1
Grundzustand
Lücken gewöhnt, dass jede Vermutung, an der sie arbeiten, beweis-
Grundzustand
bar, widerlegbar oder eben unentscheidbar sein kann.
Ohne Spektrallücke
hoch
über dem Grundzustand. So kann das Material In unserer Arbeit wollten wir alle diese verschiedenen F
äden
durch beliebig kleine Energien angeregt werden. zusammenführen. Genauer: Wir wollten die Quantenphysik
hoch hoch
niedrig
Grundzustand
Halteproblem, zu den unentscheidbaren gehört, über die
Gödel und Turing uns aufgeklärt hatten.
niedrigniedrig
Hilfe kam abermals von einem Computer, der bislang Später entwickelte Alexei Kitaev vom California Institute of
nur in der Theorie existiert. Diesmal war es der Quanten- Technology diese Idee beträchtlich weiter, indem er sich
computer. In einer grundlegenden Arbeit von 1985 hatte der eine Quantenmaterie ausdachte, deren Grundzustand exakt
Physiker und Nobelpreisträger Richard Feynman (1918– diese Eigenschaft hatte.
1988) skizziert, wie man den Grundzustand eines Quanten- Unsere Beweisidee lief nun darauf hinaus, das Halte
systems für eine Berechnung nutzt. Das klingt zunächst problem in das Spektrallückenproblem zu überführen. Wir
paradox. Eine Berechnung ist ein dynamischer Prozess: wollten zeigen, dass jede Methode, die das Spektrallücken-
Man gibt Input in den Computer ein, der durchläuft meh problem löst, auch das Halteproblem lösen würde. Da aber
rere Arbeitsschritte und gibt schließlich ein Ergebnis aus. Turing bereits gezeigt hatte, dass das Halteproblem unent-
Der Grundzustand eines Quantensystems ist dagegen völlig scheidbar ist, würden wir damit beweisen, dass das Spek
ereignislos: Die Materie verharrt bei tiefsten Temperaturen, trallückenproblem ebenfalls unentscheidbar sein muss.
und es geschieht weiter nichts. Wie kann ein Grundzustand Das Halteproblem in einen Quantenzustand zu überset-
also eine Berechnung widerspiegeln? zen, war keine neue Idee. Seth Lloyd, jetzt am Massachu-
Die Erklärung kommt von einer wesentlichen Eigen- setts Institute of Technology, hatte genau das vor fast zwei
schaft der Quantenphysik: der Überlagerung. Ein Quanten- Jahrzehnten vorgeschlagen, um die Unentscheidbarkeit
objekt kann sich in verschiedenen Zuständen zugleich einer anderen Quantenfrage zu demonstrieren. Daniel
befinden, wie Schrödingers berühmte Katze, die sich in Gottesman vom Perimeter Institute for Theoretical Physics
einer Überlagerung der Zustände tot und lebendig befindet. in Waterloo (Ontario, Kanada) und Sandy Irani von der
Feynman schlug nun vor, einen Quantenzustand zu kons University of California in Irvine hatten mit Hilfe von Kitaevs
truieren, der die Überlagerung aller Schritte innerhalb einer Idee gezeigt, dass sogar eindimensionale Ketten miteinan-
Berechnung ist: Input, alle Zwischenschritte und Ergebnis. der wechselwirkender Quantenteilchen sehr komplexes
Redaktionsleiter: Dr. Hartwig Hanser Postbank Stuttgart, IBAN DE52 6001 0070 0022 7067 08, BIC PBNKDEFF
Redaktion: Mike Beckers (stellv. Redaktionsleiter), Manon Bischoff, Robert Gast, Dr. Andreas Jahn, Anzeigen: E-Mail: anzeigen@spektrum.de, Tel.: 06221 9126-741
Karin Schlott, Dr. Frank Schubert, Verena Tang; E-Mail: redaktion@spektrum.de Druckunterlagen an: Natalie Schäfer, E-Mail: schaefer@spektrum.de
Art Direction: Karsten Kramarczik Anzeigenpreise: Gültig ist die Preisliste Nr. 41 vom 1.1. 2020.
Layout dieses Hefts: TypoDesign
Schlussredaktion: Christina Meyberg (Ltg.), Sigrid Spies, Katharina Werle Gesamtherstellung: L. N. Schaffrath Druckmedien GmbH & Co. KG, Marktweg 42–50, 47608
Bildredaktion: Alice Krüßmann (Ltg.), Anke Lingg, Gabriela Rabe Geldern
Verlag: Spektrum der Wissenschaft Verlagsgesellschaft mbH, Postfach 10 48 40, 69038 Heidelberg, Sämtliche Nutzungsrechte an dem vorliegenden Werk liegen bei der Spektrum der Wissenschaft
Hausanschrift: Tiergartenstraße 15–17, 69121 Heidelberg, Tel.: 06221 9126-600, Fax: -751; Verlagsgesellschaft mbH. Jegliche Nutzung des Werks, insbesondere die Vervielfältigung,
Amtsgericht Mannheim, HRB 338114, Redaktionsanschrift: Postfach 10 48 40, 69038 Heidelberg, Verbreitung, öffentliche Wiedergabe oder öffentliche Zugänglichmachung, ist ohne die vorherige
Tel.: 06221 9126-711 schriftliche Einwilligung des Verlags unzulässig. Jegliche unautorisierte Nutzung des Werks
Geschäftsleitung: Markus Bossle berechtigt den Verlag zum Schadensersatz gegen den oder die jeweiligen Nutzer. Bei jeder
autorisierten (oder gesetzlich gestatteten) Nutzung des Werks ist die folgende Quellenangabe an
Herstellung: Natalie Schäfer
branchenüblicher Stelle vorzunehmen: © 2020 (Autor), Spektrum der Wissenschaft Verlagsgesell-
Marketing: Annette Baumbusch (Ltg.), Tel.: 06221 9126-741
schaft mbH, Heidelberg. Jegliche Nutzung ohne die Quellenangabe in der vorstehenden Form
Einzelverkauf: Anke Walter (Ltg.), Tel.: 06221 9126-744 berechtigt die Spektrum der Wissenschaft Verlagsgesellschaft mbH zum Schadensersatz gegen den
Übersetzer für dieses Heft: Prof. Dr. Michael Wolf oder die jeweiligen Nutzer.
Vertrieb und Abonnementverwaltung: SdW 6/2019 ∙ Rechteck im Kreis SdW 11/2020 ∙ Mathematische Kunst SdW 8/2019 ∙ Ordnung
Spektrum der Wissenschaft Verlagsgesellschaft mbH, messen! SdW 4/2020 ∙ Unentscheidbare Aussagen über die Natur SdW 1/2019 ∙ Wie komplex darf es
c/o ZENIT Pressevertrieb GmbH, Postfach 81 06 80, sein? SdW 7/2020 ∙ Brückenschlag in der Mathematik SdW 8/2020 ∙ Mathematik aus der Vogelpers-
70523 Stuttgart, Tel.: 0711 7252-192, Fax: 0711 7252-366, pektive SdW 12/2019
E-Mail: spektrum@zenit-presse.de, Vertretungsberechtigter: Uwe Bronn
ISSN 2193-4444 / ISBN 978-3-95892-461-1
Bezugspreise: Einzelheft »Spezial«: € 8,90 / sFr. 17,40 / Österreich € 9,70 / Luxemburg € 8,90 zzgl. SCIENTIFIC AMERICAN
Versandkosten. Im Abonnement € 30,80 für 4 Hefte, für Studenten gegen Studiennachweis € 25,60. 1 New York Plaza, Suite 4500, New York, NY 10004-1562,
Bei Versand ins Ausland werden die Mehrkosten berechnet. Alle Preise verstehen sich inkl. Acting Editor in Chief: Laura Helmuth, Executive Vice President: Michael Florek
spektrum.de/artikel/1736696
NP: nichtdeterministisch
polynomiale Zeit MIP*: multiple interaktive
Quanten-Beweissysteme
IP: interaktive
Beweissysteme
Quanten-Spiele
Als Physiker Anfang des 20. Jahr- eine unvollständige Theorie. Phä- und die Spieler können verschränkt
hunderts die Quantenmechanik nomene wie Verschränkung tauch- sein, dann gewinnen sie wesent-
entwickelten, zweifelten viele ten ihnen zufolge nur auf, weil lich häufiger.
Experten die neue Theorie an. man zu wenig über die tatsächliche Solche Gedankenspiele wurden
Einige der daraus abgeleiteten Physik wisse. inzwischen etliche Male experi-
Effekte schienen zu verrückt, um Um diese These zu testen, mentell umgesetzt. Meist überneh-
wahr zu sein. Ein prominentes veröffentlichte John Bell 1964 eine men dabei verschränkte Photonen
Beispiel dafür ist die Verschrän- Arbeit, in der er eine Art Quanten- die Rolle der Spieler. Wie die
kung. Gemäß der Quantenphysik Spiel vorstellte. Dabei versuchen Versuche zeigten, lagen Einstein,
können mehrere Teilchen auf zwei Spieler gemeinsam eine Podolsky und Rosen falsch.
seltsame Weise gekoppelt sein und Aufgabe zu lösen. Wie das Spiel Ein ähnliches Quanten-Spiel
sich dadurch augenblicklich ge- bei häufigen Wiederholungen entwickelte auch der theoretische
genseitig beeinflussen – unabhän- ausgeht, hängt dabei davon ab, ob Informatiker Zhengfeng Ji mit
gig davon, wie weit sie voneinan- die Quantentheorie vollständig ist seinen Kollegen, um eine mathe-
der entfernt sind. oder nicht. Hätten Einstein, Rosen matische Vermutung zu widerle-
Unter anderem fochten Albert und Podolsky Recht, dann könnte gen. Doch anders als die Gedan-
Einstein, Boris Podolsky und die Anzahl der Gewinne einen kenexperimente von Bell umfasst
Nathan Rosen diese Vorstellung bestimmten Wert nicht überschrei- das Spiel unendliche Größen,
an. Ihrer Meinung nach handelte es ten. Folgt der Mikrokosmos jedoch wodurch es sich nicht ohne Weite-
sich bei der Quantenphysik um den Gesetzen der Quantenphysik res im Labor überprüfen lässt.
spektrum.de/artikel/1744804
INIMALGRAPHIC / STOCK.ADOBE.COM
Die Lösungen diophantischer Gleichungen (links) und Fermats großer Satz war bei Weitem nicht die einzige
automorphe Formen (rechts) hängen überraschender- Entdeckung, auf die man beim Langlands-Programm stieß.
weise zusammen. Einigen Fachleuten gelang es beispielsweise, die so genann-
te Sato-Tate-Vermutung zu beweisen. Dabei handelt es sich
um eine Hypothese des japanischen Mathematikers Mikio
wie eine Uhr: Im üblichen Zwölf-Stunden-Takt ergeben sich Satō und seines US-amerikanischen Kollegen John Tate aus
Berechnungen wie 10 + 4 = 2. Statt der Zwölf als Basis dem Jahr 1960, wonach die statistische Verteilung der
fokussierte sich Langlands auf Systeme, deren Periodizität Anzahl von Lösungen einer elliptischen Kurve mit den
durch eine Primzahl festgelegt ist (zum Beispiel drei, wo- Vorfaktoren gewisser automorpher Formen zusammen-
durch man Berechnungen der Form 2 + 2 = 1 erhält). Er hängt.
erkannte, dass die Folge, die sich aus der jeweiligen Anzahl Nachdem Wiles und Taylor ihre Ergebnisse veröffentlicht
der Lösungen ergibt, mit den Vorfaktoren automorpher hatten, erkannten Zahlentheoretiker, dass die beiden Wis-
Formen zusammenhängt, wenn man diese in eine unend senschaftler ihre Methode noch nicht voll ausgeschöpft
liche Reihe zerlegt. Damit gäbe es zu jeder diophantischen hatten. Bald stellte sich heraus, wie man den Ansatz auf
Gleichung eine entsprechende automorphe Form und andere elliptische Kurven ausdehnen kann. Nach einigen
umgekehrt. Dass die beiden Bereiche derart zusammen Jahren gelang es sogar, die Ergebnisse für Koeffizienten mit
—
passen, verwundert noch heute viele Fachleute. »Für mich einfachen irrationalen Zahlen wie 3 + √ 2 zu erweitern.
wirkt es immer wieder unglaublich, auch wenn ich mich
seit über 20 Jahren damit beschäftige«, sagt Emerton. Ein neuer Ansatz muss her
Bereits Ende der 1960er Jahre konnten Mathematiker Allerdings ließ sich die Taylor-Wiles-Methode nicht auf
einige dieser Verbindungen beweisen: Sie fanden heraus, elliptische Kurven verallgemeinern, deren Koeffizienten
wie man von bestimmten automorphen Formen ausgehend komplexe Zahlen wie i (die Quadratwurzel aus –1) enthalten.
die passenden elliptischen Kurven mit rationalen Koeffizien- Ebenso wenig war es damit möglich, mit diophantischen
ten findet. Doch wie und ob das auch in umgekehrter Gleichungen umzugehen, deren Exponenten größer als 4
Richtung funktionierte, war lange Zeit unklar. In den 1990er sind. In diesen Fällen bricht der Ansatz zusammen. All
Jahren entwickelte Wiles mit den Beiträgen seines Kollegen mählich erkannten Mathematiker, dass man die Langlands-
Taylor einen Weg, um einer bestimmten Familie elliptischer Korrespondenz nicht mehr durch bloßes Anpassen der
Kurven die entsprechenden automorphen Formen zuzuord- Taylor-Wiles-Methode erweitern konnte. Sie schienen auf
nen. Durch dieses Ergebnis bewies er außerdem Fermats grundlegende Hindernisse gestoßen zu sein, die neue Ideen
großen Satz. Denn Mathematiker hatten zuvor gezeigt, dass erforderten.
mindestens eine dieser elliptischen Kurven keine passende Taylor und Wiles fanden die passende automorphe Form
automorphe Form besäße, wenn Fermats Behauptung für eine diophantische Gleichung, indem sie diese nach und
falsch wäre. nach durch andere automorphe Formen annäherten. Wenn
die Koeffizienten der diophantischen Gleichung aber kom-
plexe Zahlen enthalten oder der Exponent größer als 4 ist,
gibt es kaum noch geeignete automorphe Formen. Tatsäch-
»Für mich wirkt es immer lich tauchen sie in diesen Fällen so selten auf, dass eine
noch unglaublich, auch Näherung nicht mehr möglich ist. Schon bei den diophanti-
schen Gleichungen, mit denen Wiles arbeitete, war es
wenn ich mich seit 20 Jahren schwer, genügend automorphe Formen zu finden. Wenn
aber komplexe Koeffizienten oder höhere Exponenten im
damit beschäftige« Matthew Emerton Spiel sind, scheint die Suche vollkommen vergebens.
spektrum.de/artikel/1681198
Stellen Sie sich vor, Sie fliegen über eine Welt namens
Mathematistan. Relativ mittig erblicken Sie das be-
kannte Reich der Arithmetik, in dem Zahlen miteinan-
der addiert, multipliziert, voneinander abgezogen und
MARTIN KUPPE FÜR SPEKTRUM DER WISSENSCHAFT
Kategorien
SPEKTRUM DER WISSENSCHAFT / MANON BISCHOFF
Ein Objekt ist in der Kategorientheorie vollständig durch sich ein Funktor finden, der beide ineinander umwandelt.
seine Beziehung zu den anderen Objekten definiert – unab- Die Geometrie und die Algebra bilden damit eine höhere
hängig davon, ob es sich um eine Zahl, eine Oberfläche Kategorie.
oder etwas Abstrakteres handelt. Das mag ungewöhnlich
klingen, doch der Gedanke ist nicht neu: In der Physik iden- Unerwartete Zusammenhänge
tifiziert man beispielsweise ein Teilchen in einem Beschleu- Die Geburtsstunde der abstrakten Theorie ließ jedoch noch
niger, indem man es mit anderen Partikeln bombardiert 300 Jahre auf sich warten. 1941 hielt der US-amerikanische
und die Wechselwirkungen zwischen ihnen untersucht. Mathematiker Saunders Mac Lane an der University of
Die Kategorientheorie bietet Mathematikern einen Michigan eine sechsteilige Vortragsreihe über seine jüngs-
allgemein gültigen theoretischen Rahmen, den sie mit ten Forschungsergebnisse im Bereich der Zahlentheorie. Im
Objekten und Abbildungen ihres jeweiligen Bereichs füllen Publikum saß unter anderem sein Kollege Samuel Eilen-
können. Sie müssen dabei nicht zwischen einzelnen Fach- berg, der allerdings am letzten Vortrag nicht teilnehmen
gebieten unterscheiden, sondern konzentrieren sich nur auf konnte. Als er wenig später Mac Lane aufsuchte, wieder-
die jeweiligen zu Grunde liegenden Strukturen. holte dieser die Präsentation in einem privaten Rahmen.
Man kann sogar noch weiter gehen. Da es egal ist, mit Eilenberg traute seinen Augen kaum: Sein Kollege konstru-
welchen Objekten man eine Kategorie füllt, kann man sie ierte dabei ein mathematisches Objekt, das er schon einmal
ihrerseits mit Kategorien füllen, wodurch man eine »höhere in einem völlig anderen Zusammenhang gesehen hatte,
Kategorie« erhält. Damit lassen sich Brücken zwischen nämlich im Bereich der Topologie.
mathematischen Disziplinen entdecken, denn die Brücken Das erschien äußerst seltsam, schließlich haben Topo
entsprechen gerade den Umwandlungen, so genannten logie und Zahlentheorie nur wenig gemeinsam. Die Topolo-
Funktoren, die eine Kategorie in eine andere überführen gie ist wie eine Art Geometrie, die das Messen verlernt
(siehe Grafik S. 78 oben). Eines der bekanntesten Beispiele hat. Sie beschreibt zwar auch Formen und Körper, doch die
für einen Funktor fand der französische Gelehrte René Details entgehen ihr. Manchmal wird die Topologie als
Descartes bereits im 17. Jahrhundert, lange bevor es die Knetgeometrie bezeichnet, denn sobald man zwei Dinge
Kategorientheorie überhaupt gab. Damals stellte er fest, ineinander verformen kann, ohne Löcher in sie zu reißen,
dass sich viele geometrische Probleme durch algebraische sind sie für Topologen identisch. Die Zahlentheorie beschäf-
Gleichungen lösen lassen. Er führte das nach ihm benannte tigt sich dagegen mit Zahlensystemen. Erstaunlicherweise
kartesische Koordinatensystem ein, womit er den ersten hängen beide Bereiche eng mit der Algebra zusammen.
Zusammenhang zwischen der Geometrie und der Algebra Anders als bei der Geometrie dauerte es recht lange, bis
begründete (siehe »Geometrie und Algebra«, oben). Da Mathematiker bemerkten, dass sich topologische Konzepte
man beide Gebiete als Kategorien auffassen kann, lässt in die Sprache der Algebra übertragen lassen. Anfang des
der Analysis gewidmet, bei der es hauptsächlich darum Umgebung eben wirkt. Das ermöglicht es ihnen, die phy
sikalischen Gleichungen an jedem Punkt der Raumzeit für
den flachen Fall zu berechnen und diese Lösungen dann
Anders als bei einer Kugeloberfläche gibt es auf »zusammenzukleben«.
einem Torus zwei Arten von geschlossenen Kurven Die Garbentheorie wirkt meist nur lokal: Man arbeitet
(gelb und grün), die sich nicht zu einem Punkt sich von Punkt zu Punkt in einem Raum fort, ohne die
zusammenziehen lassen, ohne die Oberflä- globale Struktur zu beachten. Beispielsweise macht es
che zu verlassen. keinen Unterschied, ob man die Funktionen auf einer zylin-
derförmigen Fläche zusammenklebt oder auf einem Mö
biusband. Bei der Topologie sind aber die globalen Eigen-
schaften eines Raums ausschlaggebend – Möbiusband und
Zylinder sind zwei grundverschiedene Räume. Daher such-
ten viele Mathematiker Mitte der 1950er Jahre nach einer
homologischen Theorie der Garben, die erklären würde, wie
die globalen Merkmale eines Raums mit den darauf defi-
nierten algebraischen Objekten zusammenhängen.
Auch Eilenberg wusste, dass es eine homologische
Theorie der Garben geben musste. Doch weder ihm noch
seinen Kollegen gelang es, eine solche zu konstruieren. Erst
Grothendieck fand eine Lösung, indem er einen Umweg
machte und sich zunächst Kategorien zuwandte. Im Gegen-
satz zu seinen Kollegen Mac Lane und Eilenberg, die Kate- sich kaum vorstellen, wie diese Bereiche ohne sein Zutun
gorien nutzten, um ein bestimmtes Problem anzugehen, heute aussehen würden.
strebte Grothendieck nach Höherem. Er suchte nach einem
übergreifenden Rahmen, der Homologien erweitert. Dabei Ein neues Fundament für die
behandelte er Kategorien erstmals nicht nur als Werkzeug, gesamte Mathematik
sondern als eigenständige Theorie, die verschiedene Berei- Nach diesen und vielen anderen beeindruckenden Ergeb-
che miteinander verschmilzt. Dadurch konnte er Verbindun- nissen wurde die Kategorientheorie immer beliebter. Der
gen zwischen Verbindungen erkennen: Plötzlich verstand US-amerikanische Forscher William Lawvere ging in seiner
er, wie einige Homologien zusammenhängen – er hatte Doktorarbeit 1963 sogar noch einen Schritt weiter: Er
Abbildungen gefunden, die Homologien auf andere Homo- äußerte die Idee, die gesamte Mathematik auf der Katego
logien abbilden. Dadurch war er in der Lage, völlig neue rientheorie zu begründen und damit die Mengenlehre als
Homologien zu entwickeln, darunter eine für Garben. Grundlage abzulösen. Ihm und vielen seiner Kollegen gefiel
Nach diesen bahnbrechenden Entdeckungen wandte der Gedanke eines übergreifenden Rahmens, bei dem nicht
sich der vielseitige Forscher einem neuen Bereich zu, der die genaue Art der Objekte entscheidend ist, sondern ihre
algebraischen Geometrie. Dabei geht es um geometrische Verbindungen zueinander. »Viele Mathematiker haben eine
Formen, die sich aus polynomialen Gleichungen (etwa kategorische Denkweise, selbst wenn sie nicht alle Konzep-
3 x4 y2 + 6 y2 + 5 = 0) ergeben. Auch in diesem Fall half ihm te oder Theoreme nutzen«, meint Tai-Danae Bradley.
die Kategorientheorie, das Gebiet nachhaltig zu verändern. Anstatt also die Mathematik aus den Axiomen der Zer-
Grothendieck beförderte die algebraische Geometrie auf melo-Fraenkel-Mengenlehre aufzubauen, schlug Lawvere
eine abstraktere Stufe, indem er nicht bloß Polynome als vor, Mengen durch Kategorien zu definieren und daraus
Forschungsgegenstände zuließ, sondern ganz allgemein alles herzuleiten. Allerdings interessierten sich nur wenige
»Ringe«. Ringe ähneln Gruppen, nur dass sie zwei Verknüp- Mathematiker für diesen Ansatz. »Wissenschaftler widmen
fungen zwischen ihren Elementen enthalten. Ein Beispiel ihre Zeit interessanteren Dingen«, erklärt Steve Awodey von
dafür sind Polynome, die man addieren und miteinander der Carnegie Mellon University in Pittsburgh. Aus einigen
multiplizieren kann. Durch die Erweiterung auf Ringe offen- Konzepten der Kategorientheorie ging aber die Homotopie-
barte der Mathematiker unerwartete Zusammenhänge typentheorie (HoTT) hervor, die der 2017 verstorbene russi-
zwischen der algebraischen Geometrie und anderen mathe- sche Mathematiker Vladimir Voevodsky (siehe »Spektrum«
matischen Disziplinen, etwa der Zahlentheorie. Man kann Dezember 2016, S. 60) zusammen mit Awodey und anderen
VORSCHAU
DAS ALL IM VISIER THEMEN SIND UNTER ANDEREM:
Seit Jahrhunderten dokumentieren Menschen mit Fernrohren die
Himmelskörper des Sonnensystems sowie die Sterne und Galaxien KOSMISCHES PLANKTON
des Kosmos. Manche Phänomene des Universums können wir
allerdings erst seit Beginn des Raumfahrtzeitalters mit Hilfe spezia Die vielen kleinen Sternsysteme in
lisierter Satelliten erspähen. Diese zeichnen beispielsweise die unserer galaktischen Umgebung
spektakulären Vorgänge rund um Schwarze Löcher und Supernovae verhalten sich ganz anders, als es
auf, die sich durch Röntgenstrahlung verraten. Unterdessen drin laut Simulationen zu erwarten wäre.
gen auch irdische Instrumente in vormals unzugängliche Bereiche
vor: Astronomen verfolgen mit ihnen etwa die Entstehung junger BLICK INS DUNKLE
Planetensysteme oder entdecken Spuren von Teilchen, die durch ZEITALTER
bisher unbekannte Vorgänge auf allerhöchste Energien beschleu
nigt wurden. Dank rasanter technischer Fortschritte in den vergan Lange schienen die Signale aus der
genen Jahren verstehen Wissenschaftler zahlreiche Phänomene ersten Jahrmilliarde des Universums
am Himmel immer besser – und stehen dennoch mit jeder neu unmessbar schwach zu sein. Doch
artigen Aufnahme aus den Tiefen des Universums vor weiteren nun spürt ihnen eine neue Generation
Mysterien. von Radioteleskopen nach.
NEWSLETTER
Möchten Sie über Themen und Autoren
jedes neuen Hefts informiert sein?
Wir halten Sie gern auf dem Laufenden:
per E-Mail – und natürlich kostenlos.
Registrierung unter:
spektrum.de/newsletter
Jetzt abonnieren!
Schon jetzt
an Weihnachten
denken und ein
ABO
VERSCHENKEN
Jeden Donnerstag neu! Mit News, Hintergründen, Kommentaren und Bildern aus
der Forschung sowie exklusiven Artikeln aus »nature« in deutscher Übersetzung.
Im Abonnement nur 0,92 € pro Ausgabe (monatlich kündbar), für Schüler,
Studenten und Abonnenten unserer Magazine sogar nur 0,69 €.
www.spektrum.de/abonnieren
ü