Collision-Hull Compression for Homogeneous Keller Maps and a Forty-Variable Counterexample to Zhao's Vanishing Conjecture

Stellen Sie sich vor, Sie sind ein Detektiv, der versucht, ein riesiges, unsichtbares Rätsel zu lösen, das die besten Mathematik-Detektive der Welt seit Jahrzehnten vor ein Rätsel stellt. Dieses Rätsel lebt in der seltsamen, verdrehten Welt der algebraischen Geometrie, einem Zweig der Mathematik, der Formen untersucht, die durch Gleichungen definiert sind. Das spezifische Mysterium, um das es geht, heißt Jacobian-Vermutung. Denken Sie an eine Regel darüber, wie Formen gestaucht, gedehnt oder verdreht werden können, ohne sich dabei jemals zu zerreißen oder überzuklappen. Die Regel besagt: Wenn Sie eine bestimmte Art von mathematischer Maschine (eine polynomielle Abbildung) haben, die ein gewisses „Volumen“ des Raums bewahrt, dann muss diese Maschine umkehrbar sein – man sollte die Maschine immer rückwärts laufen lassen können, um genau dorthin zurückzukehren, wo man gestartet ist.

Lange Zeit konnte niemand beweisen, dass diese Regel für jede mögliche Größe einer Maschine wahr ist. Doch ein Mathematiker namens Wenhua Zhao schlug eine clevere Abkürzung vor. Er deutete an, dass man, wenn man eine bestimmte Art von „kaputter“ Maschine findet – eine Maschine, die aus einer vierteiligen (quartischen) Gleichung besteht, die nilpotent ist (eine Form, die nach dem ständigen Stauchen schließlich zu nichts flach wird) und nicht umkehrbar ist –, dann die gesamte große Regel widerlegt wäre. Dies ist die Vanishing-Vermutung (Verschwindensvermutung): Eine Herausforderung, eine spezifische, kaputte Maschine zu finden, die oberflächlich perfekt aussieht, aber heimlich den Test nicht besteht. Wenn eine solche Maschine existiert, ist die große Regel falsch. Wenn sie nicht existiert, könnte die Regel wahr sein. Der Einsatz ist hoch, da dieses Rätsel mit unserem Verständnis der grundlegenden Struktur von Raum und Gleichungen verknüpft ist.

Hier tritt Thomas Prellberg auf den Plan, der eine sehr spezifische, sehr große „kaputte Maschine“ gebaut hat, um diese Idee zu testen. Das Paper behauptet nicht, das gesamte Rätsel für alle gelöst zu haben, aber es hat eine massive, 40-dimensionale Instanz konstruiert, die Zhaos spezifischen Test widerlegt.

So entfaltet sich die Geschichte. Prellberg begann mit einer bekannten, kleineren Maschine, die von einem Mathematiker namens Thompson erstellt wurde. Thompsons Maschine hatte 24 bewegliche Teile (Variablen) und war eine „kubische“ Maschine (gebaut aus dreiteiligen Gleichungen). Sie war bereits dafür bekannt, eine „Kollision“ aufzuweisen: zwei verschiedene Startpunkte, die genau am selben Ort endeten, was bewies, dass die Maschine nicht umkehrbar war. Jedoch war Thompsons Maschine zu unordentlich, um sie direkt für Zhaos Test zu verwenden.

Prellberg nutzte eine Technik namens Collision-Hull-Kompression (Kollisionshüllen-Kompression). Stellen Sie sich vor, Sie haben einen verhedderten Wollknäuel (die 24 Variablen) und wollen den kleinsten, engsten Knoten finden, der die beiden verhedderten Enden immer noch zusammenhält. Prellberg zeigte, dass man, wenn man die zwei kollidierenden Punkte nimmt und sie unter Verwendung der Regeln der Maschine immer wieder vermischt, schließlich einen kleineren, engeren Raum erzeugt. Im Fall von Thompson schrumpfte dieser Prozess die 24 Variablen natürlich auf genau 20 Variablen zusammen. Dies war keine Vermutung; es war eine mathematische Unausweichlichkeit. Das Paper beweist, dass dieser Raum mit 20 Variablen der kleinste mögliche Behälter ist, der die Kollision halten kann. Jeder Versuch, sie in 19 oder weniger Variablen zu pressen, würde die Kollision zerstören, was bedeuten würde, dass die Maschine aufhören würde, als Gegenbeispiel zu fungieren.

Sob einmal er diese perfekte 20-Variable-Maschine hatte, wandte Prellberg ein „symmetrisches Lifting“ an. Denken Sie an das Hochheben einer 2D-Zeichnung eines Würfels in ein 3D-Objekt, aber in der Mathematik verdoppelt dies die Dimensionen. Er verwandelte die 20-Variable-kubische Maschine in eine 40-Variable-quartische Maschine. Diese neue Maschine, die genau 350 Monome (die einzelnen Bausteine der Gleichung) besitzt, ist das Herzstück der Sache.

Das Paper beweist drei entscheidende Dinge über diese 40-Variable-Maschine:

1. Es ist ein Hessian-nilpotentes Polynom, was bedeutet, dass es die spezifische „Abflachungseigenschaft“ besitzt, die Zhaos Test erfordert.
2. Es erfüllt die „Vanishing“-Bedingung für viele Schritte (mathematisch $\Delta^m P^m = 0$ für alle $m \ge 1$), wodurch es so aussieht, als müsste es funktionieren.
3. Entscheidend ist: Es fällt beim letzten Test durch: Die Sequenz bleibt nicht dauerhaft bei Null (die Folge ist nicht für immer Null; das Paper beweist, dass das Ergebnis für unendlich viele Schritte nicht Null ist ($\Delta^m P^{m+1} \neq 0$)).

Da es diesen letzten Test nicht besteht, ist die Maschine ein gültiges Gegenbeispiel zu Zhaos Vanishing-Vermutung. Es beweist, dass die von Zhao vorgeschlagene spezifische Abkürzung nicht funktioniert; man kann nicht einfach davon ausgehen, dass die Maschine sicher ist, nur weil die frühen Schritte verschwinden. Die Maschine ist genau in der Weise „kaputt“, wie Zhaos Hypothese dies eigentlich auszuschließen versuchte.

Das Paper ist sich dessen, was es behauptet, sehr bewusst. Es sagt nicht, dass es das kleinste mögliche Gegenbeispiel in der gesamten Mathematik gefunden hat. Tatsächlich räumt es ein, dass andere Forscher 38-Variable-Beispiele mit anderen Methoden gefunden haben. Stattdessen ist der Hauptsieg des Papers die pfadspezifische Minimalität. Es beweist, dass, wenn man mit Thompsons spezifischer 24-Variable-Maschine beginnt und versucht, sie zu verkleinern, um ein Gegenbeispiel zu erstellen, man nicht unter 20 Variablen sinken kann, bevor man das Lifting anwendet. Das 40-Variable-Ergebnis ist das Kleinste, das man über diesen spezifischen Pfad erreichen kann.

Der Autor, Thomas Prellberg, ist äußerst rigoros gewesen. Die gesamte Berechnung, die massive Matrizen und komplexe Brüche umfasst, wurde von einem Computerprogramm unter Verwendung exakter Arithmetik (ohne Rundungsfehler) überprüft. Der Code wird sogar zusammen mit dem Paper veröffentlicht, damit jeder ihn ausführen und die Mathematik selbst überprüfen kann. Das Paper kommt zu dem Schluss, dass diese 40-Variable-Maschine zwar nicht die gesamte Jacobian-Vermutung löst, aber die spezifische „Vanishing“-Regel, die Zhao vorschlug, definitiv bricht und zeigt, dass der Weg zur Lösung des großen Rätsels windiger und tückischer ist als zuvor erhofft.