Jan Denef: Dem Sinn unendlicher Zetafunktionen auf der Spur

Es gibt in der Zahlentheorie eine Familie von Abzählungsproblemen — wie viele Lösungen hat eine Polynomgleichung modulo einer Primzahlpotenz, und wie ändert sich diese Anzahl, wenn die Primzahlpotenz wächst —, die für jedes Polynom unendlich viele separate Zahlen erzeugt. Jan Denefs zentraler Beitrag bestand darin, immer wieder zu zeigen, dass diese unendlichen Familien von Zahlen in ihrer Komplexität niemals wirklich unendlich sind: Sie lassen sich stets in eine einzige, wohlverhaltenskonforme Funktion verpacken. Diese Erkenntnis und der geometrische Apparat, den er zu ihrer Beweisführung konstruierte, formten einen Teilbereich der Zahlentheorie und der Modelltheorie gleichermaßen um.

Von Hilberts zehnter Problemstellung nach Leuven

Denef wurde am 4. September 1951 in Belgien geboren. Er promovierte 1975 an der KU Leuven (Katholieke Universiteit Leuven) unter gemeinsamer Betreuung von Louis Philippe Bouckaert und Willem Kuijk mit einer Dissertation über Hilberts zehntes Problem — die von David Hilbert im Jahr 1900 aufgeworfene Frage, ob es einen allgemeinen Algorithmus gibt, der entscheidet, ob eine gegebene Polynomgleichung ganzzahlige Lösungen besitzt. Das vollständige Problem für die ganzen Zahlen war erst wenige Jahre zuvor 1970 von Yuri Matiyasevich negativ gelöst worden; Denefs frühe Arbeiten erweiterten und schärften verwandte Unentscheidbarkeitsergebnisse in neue zahlentheoretische Kontexte, ein ehrgeiziger Einstand für eine Doktorarbeit. Er verbrachte seine gesamte Karriere an der KU Leuven, wo er Professor wurde und bis zu seiner Emeritierung als emeritierter Professor für Mathematik verblieb.

p-adische Integration und die Rationalität von Zetafunktionen

Ein Großteil von Denefs einflussreichster Arbeit betrifft die p-adische Integration — eine Methode, Analysis nicht über den reellen Zahlen zu betreiben, sondern über den p-adischen Zahlen, einem alternativen Zahlensystem um eine feste Primzahl p, in dem „Nähe“ durch Teilbarkeit statt durch gewöhnlichen Abstand gemessen wird. Zahlentheoretiker verwenden p-adische Integrale zur Untersuchung der Igusa-Zetafunktion eines Polynoms, einer Erzeugendenfunktion, die gleichzeitig die Anzahl der Lösungen der Polynomgleichung modulo jeder Primzahlpotenz kodiert. Denef bewies tiefgreifende Rationalitätsresultate über diese Zetafunktionen und zeigte, dass sie, obwohl sie unendlich viele separate Abzählungsprobleme kodieren, durch endlich viele algebraische Daten gesteuert werden — im Wesentlichen, dass die unendliche Folge von Anzahlwerten modulo p, p², p³ und so weiter einem einzigen algebraischen Gesetz gehorcht, anstatt sich willkürlich zu verhalten. Dies erforderte die Kombination p-adischer Analysis mit mathematischer Logik, insbesondere der Quantorenelimination für p-adische Körper, einer modelltheoretischen Technik, die es ermöglicht, Aussagen über p-adische Zahlen in eine Standardform zu vereinfachen, die besser handhabbar ist — eines der klarsten Beispiele in der modernen Mathematik dafür, dass die Logik das entscheidende Werkzeug für ein Problem der klassischen Zahlentheorie liefert.

Motivische Integration mit François Loeser

Beginnend in den späten 1990er Jahren entwickelten Denef und der französische Mathematiker François Loeser die motivische Integration, eine weitreichende Verallgemeinerung der p-adischen Integration, die numerische Zetafunktionen durch Objekte im Grothendieck-Ring algebraischer Varietäten ersetzt — ein formales Buchhaltungssystem für die „Gestalt“ geometrischer Objekte anstelle blierter numerischer Anzahlwerte. Ihre Arbeiten „Motivic Igusa Zeta Functions“ (1998) und „Germs of Arcs on Singular Algebraic Varieties and Motivic Integration“ (1999) führten Techniken ein, die es Mathematikern ermöglichen, die Singularitäten algebraischer Varietäten — jene Punkte, an denen eine geometrische Form nicht glatt ist — durch Integration über den Raum der Bögen (formale Potenzreihenkurven), die durch sie verlaufen, zu untersuchen. Die motivische Integration verlieh der Singularitätentheorie ein völlig neues Werkzeugset und wurde seither weit über ihre ursprüngliche zahlentheoretische Heimat hinaus angewendet, unter anderem in stringtheorienahen Bereichen der algebraischen Geometrie. Diese Arbeiten führten zu Denefs Einladung als Redner auf dem Internationalen Mathematikerkongress 2002 in Peking, einem der klarsten Anerkennungszeichen des Fachgebiets, das Mathematikern vorbehalten ist, von denen man annimmt, dass ihre Arbeit die Ausrichtung ihres Fachs über die vorangegangenen Jahre hinweg geprägt hat.

Erweiterung des Ax–Kochen-Theorems

Denef bewies zudem eine Vermutung von Jean-Louis Colliot-Thélène, die den Satz von Ax–Kochen verallgemeinert. Hierbei handelt es sich um ein grundlegendes Resultat aus dem Jahr 1965, das das algebraische Verhalten p-adischer Körper mit demjenigen von Körpern formaler Potenzreihen über endlichen Körpern für alle bis auf endlich viele Primzahlen p verbindet. Die Ausweitung solcher Ergebnisse — die ursprünglich mit tiefen Werkzeugen der mathematischen Logik (der Ultraproduktkonstruktion) bewiesen wurden — auf breitere geometrische Settings war ein wiederkehrendes Motiv von Denefs Karriere, was seine konsistente Methode widerspiegelt, den abstrakten Apparat der Logik zur Lösung sehr konkreter zahlentheoretischer Fragen einzusetzen.

Warum Jan als Genie bezeichnet wird

Das spezifische Talent, das in Denefs gesamter Arbeit sichtbar wird, ist eine ungewöhnliche Geläufigkeit in zwei mathematischen Dialekten, von denen die meisten Forscher sich auf den einen oder den anderen spezialisieren: dem abstrakten Apparat der mathematischen Logik (Quantorenelimination, Modellvollständigkeit, Ultraprodukte) und den konkreten Fragen der klassischen algebraischen Geometrie und Zahlentheorie zu Gleichungen und ihren Lösungen. Wiederholt bestand Denefs entscheidender Schritt darin zu erkennen, dass eine schwierige geometrische oder zahlentheoretische Frage im Grunde eine Aussage war, die logische Werkzeuge lösen konnten — am deutlichsten sichtbar in seiner und Loersers Erfindung der motivischen Integration, die eine logische Technik (Quantorenelimination über p-adischen Körpern) aufgriff und nutzte, um eine gänzlich neue Integrationstheorie für die algebraische Geometrie aufzubauen. Ein eingeladener ICM-Vortrag ist ein echtes, zitunabhängiges Signal dafür, dass die mathematische Gemeinschaft diese Arbeit als fachprägend bewertete. Die ehrliche Einschränkung besteht darin, dass Denefs Ruf im Gegensatz zu dem eines Fields-Medaillengewinners spezifisch auf die Zahlentheorie, Modelltheorie und algebraische Geometrie konzentriert ist; die verfügbaren Profile verzeichnen keine Fields-Medaille, keinen Wolf-Preis oder eine gleichwertige Auszeichnung der Spitzenklasse, und viel des Lobes für seine Arbeit stammt aus Zitationszahlen und der Anerkennung durch Spezialisten (über 5.000 Zitate, ein eingeladener ICM-Vortrag) statt aus der breiteren Bekanntheit, die den berühmtesten Namen der Mathematik anhaftet. Es handelt sich um ein echtes, technisch tiefes Genie, das hauptsächlich für jene sichtbar ist, die in seiner spezifischen Ecke des Fachgebiets arbeiten.

Vermächtnis

Die motivische Integration, die Theorie, die Denef mit Loeser aufgebaut hat, bleibt mehr als zwei Jahrzehnte nach ihrer Einführung ein aktives Forschungsgebiet und hat sich weit über ihre ursprüngliche Anwendung auf Igusa-Zetafunktionen hinaus zu einem Standardwerkzeug für das Studium von Singularitäten in der algebraischen Geometrie entwickelt. Denefs breitere Methode — der Griff nach dem abstrakten Apparat der Modelltheorie, um konkrete Probleme in der Zahlentheorie aufzubrechen — trug dazu bei, das Ansehen der Logik als einen wahrhaft nützlichen Zweig der Mathematik anstelle eines rein fundamentalen zu festigen, ein Fall, der noch immer von Mathematikern zitiert wird, wenn sie erklären, warum die Modelltheorie in das Werkzeugkasten des arbeitenden Zahlentheoretikers gehört.