Theorema Magnum MMXXV: die Kakeya-Vermutung – Mathlog

Was ist die minimale Fläche in der Ebene, die man braucht, um eine Nadel der Länge 1 einmal um 360 Grad zu drehen? Eine offensichtliche Möglichkeit ist ein Kreis von Durchmesser 1, in dem man die Nadel natürlich einmal herumdrehen kann. Die Fläche dieses Kreises ist π/4=0.78..
Eine bessere Möglichkeit ist das unten dargestellte Deltoid. Es hat Fläche π/8=0.39..
und, wie das Applet zeigt, kann man die Nadel einmal ganz herumdrehen.

Mengen, in denen man eine Nadel der Länge 1 herumdrehen kann, werden als Kakeya-Mengen bezeichnet, weil der japanische Mathematiker Sōichi Kakeya 1917 vermutete, dass es eine positive untere Schranke für das Maß solcher Mengen geben sollte.

Besicovitch fand 1928 Kekaya-Mengen mit Flächeninhalt 0 und widerlegte damit Kekaya’s Vermutung. (Er löste damit ein Problem der Integrationstheorie, um das es ihm eigentlich gegangen war. Kakeya’s Vermutung hatte er überhaupt nicht gekannt und eigentlich hatte Kakeya seine Vermutung auch nur für konvexe Mengen formuliert, wo sie von einem ungarischen Mathematiker bewiesen wurde. Die optimale Lösung war das gleichschenklige Dreieck.) Obwohl Kekaya-Mengen Flächeninhalt 0 haben können, wurde aber später bewiesen, daß sie immer 2-dimensional sein müssen. Die analoge Frage in Dimension 3 (also ob eine Teilmenge des Raumes, die in jeder Richtung eine Strecke der Länge 1 enthält, 3-dimensional sein muß) war dagegen lange nicht gelöst und unter dem Namen Kakeya-Vermutung bekannt.

Auch wenn diese Frage zunächst vielleicht wie ein elementar-geometrisches Problem aussieht, stand sie in Verbindung mit zentralen ungelösten Fragen der Fourier-Analysis, denn Kakeya-Mengen wurden immer wieder zur Konstruktion von Gegenbeispielen in der Analysis verwendet.

Begonnen hat diese Entwicklung damit, dass Fefferman 1971 eine überraschende Anwendung der Kakeya-Mengen auf die harmonische Analysis entdeckte.
In der klassischen harmonischen Analysis betrachtet man L¹-Funktionen f mit ebenfalls L¹-Fourier-Transformierter für Frequenzen , mit der man f als Integral trigonometrischer Funktionen (für fast alle x) zerlegen kann. Im allgemeineren Fall, dass nur eine L^p-Funktion mit p>1 ist, funktioniert das nicht mehr, weil das Integral nicht konvergiert. (Die L¹-Bedingung für impliziert einen schnellen Abfall für wachsende ξ, die hohen Frequenzen haben also eine kleine Amplitude. Solche Funktionen können keine großen Sprünge machen, müssen also recht regulär sein.) Für eine L^p-Funktion kann man aber jedenfalls über Intervalle [-R,R] integrieren die erhaltenen Funktionen konvergieren für R gegen unendlich in der L^p-Norm gegen f. (Aus Arbeiten von Carleson und Hunt in den 60er Jahren folgt, dass sie sogar fast überall konvergieren.)
Höher-dimensional kann man entsprechend über Würfel der Kantenlänge 2R integrieren und erhält analoge Resultate. Entsprechend würde man auch ein analoges Resultat erwarten, wenn man über höher-dimensionale Kugeln vom Radius R integriert, und tatsächlich ist das im Fall der L²-Norm leicht zu beweisen als Anwendung des Satzes von Plancherel. Es war deshalb eine große Überraschung, als Charles Fefferman 1971 mit einem Gegenbeispiel bewies, dass dies für alle anderen p außer p=2 nicht funktioniert.
Feffermans Beispiel beruhte auf Besicovitchs Beispielen von Kakeya-Mengen mit Maß 0. Nachdem dieses Beispiel zeigte, dass Integration über Kugeln nicht funktioniert, entwickelten Mathematiker eine potentielle Alternative, die Bochner-Riesz-Methode. Die Frage ist dann, ob diese Methode funktioniert. Während Feffermans Argument mit Hilfe von Besicovitchs Kakeya-Mengen vom Maß 0 nicht als Gegenbeispiel zur Bochner-Riesz-Methode funktioniert, würden aber Kakeya-Mengen im Rⁿ mit Dimension kleiner n Gegenbeispiele zur Bochner-Riesz-Methode liefern. Damit wurde plötzlich die Kakeya-Vermutung, dass es auch für n>2 keine Kakeya-Mengen der Dimension kleiner n im Rⁿ gibt, zu einer zentralen Frage der harmonischen Analysis, von der dann die Existenz von Gegenbeispielen auch zu einer Reihe weiterer Fragen abhing.

Seit den 70er Jahren stellte man dann Beziehungen zu Zahlentheorie, geometrischer Kombinatorik, arithmetischer Kombinatorik, oszillatorischen Integralen und der Analysis von dispersiven und Wellengleichungen her. Zunächst hatte man einige Erfolge mit der Anwendung inzidenzgeometrischer Mathoden, die dann aber nicht weiter führten. Bourgain führte 1998 einen neuen Ansatz ein, der auf additiver Kombinatorik beruhte. In seinem Ansatz ging es darum, die Geometrie der Kakeya-Menge zu verstehen, also zu beweisen, dass gewisse geometrische Strukturen (“Büsche” und “Haarbürsten”) vorkommen müssen. Es gab dann in den folgenden Jahren zahlreiche Verbesserungen von Bourgains Resultaten. Mit Hilfe von Bourgains Resultaten hofften Katz und Tao dann, einen Ansatz zum Beweis der Kakeya-Vermutung gefunden haben, worüber Tao 2014 einen Blogpost schrieb, der wiederum Hong Wang zur Beschäftigung mit dem Problem anregte. Der letztendlich von Wang und Zahl 2025 auf dem ArXiv veröffentlichte Beweis ging aber weit über die Methoden von Katz und Tao hinaus und verwendete zum Teil auch andere Ansätze, insbesondere verschiedene kurz zuvor bewiesene Ergebnisse aus der geometrischen Maßtheorie.