Tomasz Mrowka: Der Topologe, der vier Dimensionen zähmte

Tomasz Mrowka verbrachte einen Großteil seiner Karriere damit, Eigenschaften des vierdimensionalen Raums zu beweisen, die niemand sonst angehen konnte – indem er Gleichungen aus der Teilchenphysik nutzte, um jahrhundertealte Fragen der reinen Topologie zu klären. Sein meistzitiertes Ergebnis, das er mit einem lebenslangen Mitarbeiter erarbeitete, löste eine Vermutung, deren Beweis Mathematiker bereits aufgegeben hatten, in wenigen dichten Seiten der Analyse.

Ein mathematisches Erbe

Mrowka wurde am 8. September 1961 als Sohn des polnisch-amerikanischen Mathematikers Stanisław Mrówka geboren, einem Spezialisten für allgemeine Topologie, der in die USA emigriert war und an der City University of New York lehrte. Der Weg des Sohnes führte über das MIT, wo er 1983 seinen Bachelor-Abschluss machte, und dann an die University of California, Berkeley, wo er 1988 unter Clifford Taubes und Robion Kirby mit einer Dissertation über Yang-Mills-Modulräume promovierte. Die Wahl des Betreuers war entscheidend: Taubes stand im Zentrum einer Revolution, die die niedrigdimensionale Topologie umgestaltete, indem sie die Maschinerie der theoretischen Physik – die Eichtheorie, die Mathematik zur Beschreibung der Kräfte, die Atomkerne zusammenhalten – in das Studium abstrakter Formen einführte.

Eichtheorie als Werkzeug des Topologen

Die Erkenntnis, die diese Revolution vorantrieb und vor allem mit Simon Donaldson verbunden ist, war, dass Lösungen der Feldgleichungen der Physiker, wenn sie auf einer vierdimensionalen Mannigfaltigkeit untersucht werden, subtile Informationen über die Form der Mannigfaltigkeit kodieren, die keine klassische topologische Technik sehen konnte. Mrowka wurde zu einem der geschicktesten Anwender dieser Maschinerie. Zu Beginn seiner Karriere war er in Stanford, als Gastprofessor am Caltech und dann von 1992 bis 1996 als Professor dort tätig, bevor er 1996 an die mathematische Fakultät des MIT wechselte, wo er den Rest seiner Karriere blieb – er hielt die Simons-Professur von 2007 bis 2010, die Singer-Professur ab 2010 und fungierte von 2014 bis 2017 als Fachbereichsleiter.

Die Partnerschaft mit Kronheimer

Mrowkas prägende wissenschaftliche Beziehung war seine jahrzehntelange Zusammenarbeit mit dem britisch-amerikanischen Mathematiker Peter Kronheimer, den er als Doktorand im Yang-Mills-Kreis der 1980er Jahre kennenlernte. Gemeinsam produzierten die beiden ein so umfangreiches Werk, dass die American Mathematical Society es zweimal als gemeinsame Leistung würdigte, anstatt einen der beiden allein zu nennen. Ihr erstes großes Ergebnis führte das ein, was das Fachgebiet heute als Kronheimer-Mrowka-Basisklassen bezeichnet – Invarianten, die topologische Informationen über eine Vier-Mannigfaltigkeit aus der Struktur ihrer Instanton-Modulräume extrahieren und Donaldsons ursprüngliche Invarianten in eine schärfere, berechenbarere Form verfeinern.

Die Lösung der Thom-Vermutung

Ihr berühmtester Einzelerfolg kam Anfang der 1990er Jahre, nachdem die Entdeckung der Seiberg-Witten-Gleichungen den Eichtheoretikern eine technisch einfachere Alternative zum älteren Yang-Mills-Ansatz bot. Kronheimer und Mrowka nutzten die neuen Gleichungen, um die Thom-Vermutung zu beweisen, eine seit den 1950er Jahren offene Aussage über das minimale Geschlecht einer Fläche, die eine gegebene Homologieklasse in der komplexen projektiven Ebene repräsentiert. Der Beweis war eine der ersten und dramatischsten Demonstrationen dafür, dass die Seiberg-Witten-Theorie Probleme lösen konnte, die die frühere Generation von Eichtheoretikern für unlösbar gehalten hatte, und trug dazu bei, die massenhafte Abwanderung des Fachgebiets zu den neuen Gleichungen auszulösen.

Knoten, Monopole und Eigenschaft P

Mrowkas spätere Arbeit übertrug dasselbe Werkzeugset auf die Knotentheorie. Zusammen mit Kronheimer nutzte er die Seiberg-Witten-Monopol-Floer-Homologie, um die Eigenschaft-P-Vermutung zu beweisen, eine langjährige Frage darüber, welche Operationen an einem Knotenkomplement die Drei-Sphäre erzeugen können – ein Ergebnis mit direkter Bedeutung für die Topologie von Drei-Mannigfaltigkeiten im weiteren Sinne. Das Paar zeigte weiter, dass die Khovanov-Homologie, eine kombinatorische Knoteninvariante ohne offensichtlichen geometrischen Ursprung, mächtig genug ist, um den Unknoten zu erkennen, und verband damit zwei Zweige des Fachgebiets – die eichtheoretische Floer-Homologie und Mikhail Khovanovs algebraische Konstruktion –, die sich fast unabhängig voneinander entwickelt hatten. Ihre 2007 veröffentlichte Monographie über Monopole und Drei-Mannigfaltigkeiten bleibt ein Standardwerk auf dem Gebiet.

Anerkennung

Das Urteil der mathematischen Gemeinschaft über dieses Werk war ungewöhnlich konsistent. Mrowka und Kronheimer teilten sich 2007 den Oswald Veblen Prize in Geometry, 2011 den Joseph L. Doob Prize der AMS und – das deutlichste Signal, das Fachkollegen senden können – 2023 den Leroy P. Steele Prize für einen wegweisenden Beitrag zur Forschung, der speziell für die Arbeiten verliehen wurde, die die Kronheimer-Mrowka-Basisklassen einführten und auf die Thom-Vermutung anwandten. Mrowka wurde 2007 unabhängig in die American Academy of Arts and Sciences und 2015 in die National Academy of Sciences gewählt und hielt Plenarvorträge auf dem Internationalen Mathematikerkongress 1994 und erneut 2018 in Rio de Janeiro. Er erhielt zudem Sloan- und Guggenheim-Stipendien und betreute Dutzende von Doktoranden und Postdocs am MIT.

Warum Tomasz als Genie bezeichnet wird

Der Fall Mrowka beruht auf einer spezifischen und gut dokumentierten Art technischer Meisterschaft: der Fähigkeit, Gleichungen aus der theoretischen Physik zu nehmen und sie durch extrem feine Analyse nichtlinearer partieller Differentialgleichungen dazu zu bringen, Fragen der reinen Topologie zu beantworten, die jahrzehntelang ungelöst geblieben waren. Die Thom-Vermutung hatte seit den 1950er Jahren direkten Angriffen widerstanden; die Eigenschaft-P-Vermutung gehörte zu einer ähnlich alten und hartnäckigen Familie von Drei-Mannigfaltigkeits-Problemen. Beide fielen nicht durch eine neue Idee über Knoten oder Flächen an sich, sondern durch Mrowkas und Kronheimers Beherrschung der Modulraum-Analyse – der schwierigsten technischen Schicht der Eichtheorie, bei der die meisten Mathematiker, die die Physik verstanden, die Abschätzungen nicht zum Funktionieren bringen konnten. Seine Wahl in die National Academy of Sciences und die Steele-Preis-Begründung spiegeln einen echten Konsens unter Topologen wider, dass dies eine singuläre Arbeit war. Die ehrliche Komplikation ist, dass fast nichts davon ein Alleingang ist: Jedes hier diskutierte Meilensteinergebnis ist eine gemeinsame Arbeit mit Peter Kronheimer, und die Veblen-, Doob- und Steele-Preise wurden alle dem Paar gemeinsam verliehen, was Mrowkas Genie, den Beweisen nach, untrennbar von einer Partnerschaft und nicht von einer solitären Begabung macht.

Vermächtnis

Mrowkas Basisklassen und seine und Kronheimers Seiberg-Witten-Argumente sind heute Standardwerkzeuge, die jedem Doktoranden vermittelt werden, der in die niedrigdimensionale Topologie einsteigt, und seine Amtszeit als Leiter des Fachbereichs Mathematik am MIT hinterließ neben der mathematischen auch eine institutionelle Spur. Die Thom- und Eigenschaft-P-Beweise bleiben, vier Jahrzehnte nachdem Taubes und Donaldson das Feld eröffneten, unter den klarsten Demonstrationen dessen, was Eichtheorie für die Topologie leisten kann.