Quintic surfaces with 18 cusps

Stellen Sie sich vor, Sie sind ein Architekt, der eine Skulptur aus mathematischem Ton entwirft. In der Welt der algebraischen Geometrie wird dieser Ton zu Oberflächen geformt, die in einem vierdimensionalen Raum schweben (obwohl wir nur drei Dimensionen gleichzeitig sehen können). Seit Jahrhunderten sind Mathematiker fasziniert von den „Rissen“ und „Dellen“, die auf diesen Skulpturen erscheinen. Einige Dellen sind einfache Wölbungen, sogenannte „Knoten“, andere sind schärfere, dramatischerer Punkte wie „Kuspen“ (Cusps), die wie die Spitze einer Nadel aussehen oder wie der Punkt, an dem zwei Blätter Papier aufeinandertreffen und zu einer scharfen Spitze gefaltet werden.

Die große Frage in diesem Feld lautet: Wie viele dieser scharfen Spitzen können Sie auf eine einzige Skulptur packen, bevor sie auseinanderfällt? Für einfachere Formen kennen wir die Antworten. Aber für eine bestimmte Art von Skulptur, einer „Quintik-Fläche“ (die durch eine komplexe Gleichung mit Termen bis zur fünften Potenz definiert ist), bleibt das Limit ein Mysterium. Wir wissen, dass man nicht mehr als 20 haben kann, aber niemand hat es bisher geschafft, eine perfekte mit genau dieser Anzahl zu bauen. Die bisherigen Rekordhalter haben lediglich 16 oder 17 geschafft. Es ist, als versuche man, die instabilsten Blöcke möglich zu stapeln; je mehr man hinzufügt, desto wahrscheinlicher ist es, dass das Ganze in einem Chaos zusammenbricht.

In dieser Arbeit geht es um zwei Mathematiker, Lev Borisov und Carlos Rito, die beschlossen haben, dieses Stapelproblem anzugehen. Sie haben nicht einfach geraten; sie haben eine neue Art von Gerüst gebaut, um die Blöcke an Ort und Stelle zu halten. Ihre wichtigste Entdeckung ist, dass es ihnen gelungen ist, eine Familie dieser Quintik-Flächen zu konstruieren, die normalerweise 17 scharfe Spitzen aufweist. Noch beeindruckender ist, dass sie durch die Feinabstimmung ihres Designs spezifische Beispiele fanden, die es schaffen, 18 Spitzen zu halten, ohne zu zerbrechen. Sie haben diese nicht bloß in einer Computersimulation gefunden; sie nutzten eine kluge Mischung aus digitaler Detektivarbeit und hochpräziser Mathematik, um eines dieser Beispiele aus der Welt der einfachen Zahlen in die echte, komplexe mathematische Welt zu heben und so mit absoluter Gewissheit zu beweisen, dass es existiert.

Der Bauplan: Das verborgene Muster finden

Um zu verstehen, wie sie es gemacht haben, stellen Sie sich die Quintik-Fläche als ein riesiges, unsichtbares Puzzle vor. Die Mathematiker wussten, dass die Spitzen (Kuspen), wenn man viele von ihnen hat, nicht einfach zufällig verstreut sind; sie folgen einem geheimen Code. Dieser Code ist wie ein Muster in einem Quilt, bei dem bestimmte Patches perfekt aufeinander abgestimmt sein müssen.

Sie begannen mit einem bekannten Trick namens „Barth–Rams-Zerlegung“. Stellen Sie sich vor, Sie haben eine komplexe Form und können diese beschreiben, indem Sie zwei einfachere Formen (wie zwei Würfel) kombinieren und eine dritte abziehen. In diesem Fall erscheinen die „Spitzen“ dort, wo diese Formen auf eine ganz bestimmte Weise aufeinandertreffen. Normal in der Regel liefert dieser Trick eine Fläche mit 12 Spitzen. Die Autoren erkannten, dass, wenn man die Fläche dazu zwingen könnte, zwei dieser Muster gleichzeitig zu erfüllen, man vielleicht mehr Spitzen erhalten würde.

Sie richteten ein System ein, in dem die Fläche zwei verschiedene „Barth–Rams“-Regeln gleichzeitig erfüllen musste. Als sie dies taten, überschnitten sich die beiden Sets von 12 Spitzen an 7 Stellen. Anstatt 24 Spitzen zu haben, besaß sie 17 einzigartige Spitzen (12 + 12 - 7). Dies schuf eine massive, sechsdimensionale Familie von Flächen, die alle von Natur aus mit 17 Spitzen kamen. Es war, als baue man eine Maschine, die automatisch 17-Kuspen-Skulpturen produziert.

Der Durchbruch: Die 18. Spitze knacken

Eine Maschine, die 17-Kuspen-Flächen herstellt, war gut, aber das Ziel war 18. Die Autoren wussten, dass das Hinzufügen einer weiteren Spitze nur zwei zusätzliche Bedingungen erforderte (wie das Festziehen von zwei spezifischen Schrauben). Sie versuchten, diese 18-Kuspen-Flächen zu finden, indem sie das Problem durch die Linse von „endlichen Körpern“ betrachteten.

Stellen Sie sich einen endlichen Körper als eine Videospiel-Welt vor, in der Zahlen sich im Kreis drehen. Anstatt 1, 2, 3, ... unendlich weiterzuzählen, zählt man vielleicht 1, 2, 3, 4, 5, 1, 2... wieder. In diesen kleinen, kreisförmigen Welten ist die Mathematik viel schneller zu berechnen. Das Team schrieb ein Computerprogramm, um durch diese winzigen digitalen Welten zu suchen. Sie fanden mehrere Beispiele, bei denen die Fläche genau 18 Spitzen aufwies.

Das Finden einer Fläche in einer „kreisförmigen“ Videospiel-Welt ist jedoch nicht dasselbe wie der Beweis, dass sie in der echten, unendlichen mathematischen Welt existiert. Um diese Lücke zu schließen, nutzten sie eine Technik namens „Newton–Hensel-Lifting“. Stellen Sie sich vor, Sie haben ein verschwommenes Foto eines Gesichts. Sie wissen, dass es eine Person ist, aber die Details sind unscharf. Das „Lifting“ ist wie das Nehmen dieses verschwommenen Fotos und die Verwendung eines superstarken Zoom-Objektivs, um das Gesicht Pixel für Pixel schärfer zu machen, bis es kristallklar ist. Sie begannen mit ihrem 18-Kuspen-Beispiel aus dem endlichen Körper und nutzten diese Methode, um mit extremer Präzision „heranzuzoomen“ und die Zahlen so lange zu verfeinern, bis sie die Fläche exakt beschreiben konnten.

Der finale Beweis: Eine Fläche aus reiner Mathematik

Sobald sie die exakten Zahlen hatten, nutzten sie ein mächtiges Werkzeug namens LLL (eine Art mathematische Detektivarbeit, die verborgene Muster in Zahlen findet), um das exakte algebraische Rezept der Fläche zu bestimmen. Sie entdeckten, dass die Fläche unter Verwendung von Zahlen aus einem „Zahlkörpers“ vom Grad 22 beschrieben werden kann. Dies ist eine schicke Art zu sagen, dass die beteiligten Zahlen komplex sind, aber wohldefiniert und real.

Schließlich legten sie die Fläche unter ein Mikroskop. Sie überprüften jeden einzelnen Punkt, um sicherzustellen, dass es exakt 18 gewöhnliche Kuspen gab und sonst nichts – keine zusätzlichen Wölbungen, keine seltsamen Risse, keine versteckten Überraschungen. Sie bestätigten, dass die Fläche stabil war und exakt so aussah, wie sie es vorhergesagt hatten.

Während der ultimative Traum, eine Quintik mit 20 Kuspen zu finden, ein „Vielleicht“ für die Zukunft bleibt, beweist diese Arbeit, dass 18 definitiv möglich ist. Sie haben nicht nur suggeriert, dass es wahr sein könnte; sie haben die Fläche gebaut, sie aus einer digitalen Annäherung in ein exaktes mathematisches Objekt gehoben und uns gezeigt, wie sie genau aussieht. Es ist ein solider Schritt nach vorn, um die Grenzen dessen zu verstehen, wie viele scharfe Spitzen eine mathematische Skulptur halten kann.