Jan Denef : Donner un sens aux fonctions zêta infinies

Il existe en théorie des nombres une famille de problèmes de dénombrement — combien de solutions une équation polynomiale possède-t-elle modulo une puissance première, et comment ce nombre évolue-t-il à mesure que la puissance première croît — qui génère une infinité de nombres distincts pour chaque polynôme. La contribution centrale de Jan Denef a été de montrer, maintes et maintes fois, que ces familles infinies de nombres ne sont jamais réellement infinies en complexité : elles peuvent toujours être englobées dans une unique fonction bien comportementée. Cette intuition, et l'appareil géométrique qu'il a bâti pour le prouver, ont remodelé tout autant un coin de la théorie des nombres et de la théorie des modèles.

Du dixième problème de Hilbert à Louvain

Denef est né le 4 septembre 1951 en Belgique. Il a obtenu son doctorat à la KU Leuven (Université catholique de Louvain) en 1975, sous la codirection de Louis Philippe Bouckaert et Willem Kuijk, avec une thèse consacrée au dixième problème de Hilbert — la question posée par David Hilbert en 1900 de savoir s'il existe un algorithme général pour décider si une équation polynomiale donnée possède des solutions entières. Le problème complet, pour les entiers, avait été résolu par la négative quelques années plus tôt par Iouri Matiiassevitch en 1970 ; les premiers travaux de Denef ont étendu et affiné des résultats d'indécidabilité apparentés dans de nouveaux contextes de théorie des nombres, un début ambitieux pour une thèse de doctorat. Il a passé toute sa carrière à la KU Leuven, y devenant professeur et y restant jusqu'à sa retraite, moment où il a été nommé professeur émérite de mathématiques.

Intégration p-adique et rationalité des fonctions zêta

Une grande partie des travaux les plus influents de Denef concerne l'intégration p-adique — une façon de faire du calcul non pas sur les nombres réels mais sur les nombres p-adiques, un système de nombres alternatif construit autour d'un nombre premier fixe p dans lequel la « proximité » est mesurée par la divisibilité plutôt que par la distance ordinaire. Les théoriciens des nombres utilisent les intégrales p-adiques pour étudier la fonction zêta d'Igusa d'un polynôme, une fonction génératrice qui code, d'un seul coup, le nombre de solutions de l'équation du polynôme modulo chaque puissance d'un nombre premier. Denef a démontré des résultats profonds de rationalité concernant ces fonctions zêta, montrant que, bien qu'elles codent une infinité de problèmes de dénombrement distincts, elles sont régies par une quantité finie de données algébriques — en essence, que la suite infinie des nombres de solutions modulo p, p², p³, et ainsi de suite obéit à une unique loi algébrique plutôt que de se comporter de manière arbitraire. Cela a nécessité de combiner l'analyse p-adique avec la logique mathématique, en particulier l'élimination des quantificateurs pour les corps p-adiques, une technique de théorie des modèles qui permet de simplifier des énoncés sur les nombres p-adiques sous une forme standard et plus maniable — l'un des exemples les plus clairs en mathématiques modernes de la logique fournissant l'outil décisif pour un problème de théorie des nombres classique.

Intégration motivique avec François Loeser

À partir de la fin des années 1990, Denef et le mathématicien français François Loeser ont développé l'intégration motivique, une généralisation de grande envergure de l'intégration p-adique qui remplace les fonctions zêta numériques par des objets dans l'anneau de Grothendieck des variétés algébriques — un système de comptabilité formel pour la « forme » des objets géométriques plutôt que de simples dénombrements numériques. Leurs articles « Motivic Igusa Zeta Functions » (1998) et « Germs of Arcs on Singular Algebraic Varieties and Motivic Integration » (1999) ont introduit des techniques permettant aux mathématiciens d'étudier les singularités des variétés algébriques — les points où une forme géométrique cesse d'être lisse — en intégrant sur l'espace des arcs (courbes formelles en séries formelles) qui y passent. L'intégration motivique a fourni à la théorie des singularités un tout nouvel ensemble d'outils et a depuis été appliquée bien au-delà de son domaine d'origine en théorie des nombres, notamment dans des domaines de la géométrie algébrique adjacents à la théorie des cordes. Cet ensemble de travaux a valu à Denef d'être invité comme conférencier au Congrès international des mathématiciens de 2002 à Pékin, l'une des marques de reconnaissance les plus claires du domaine, réservée aux mathématiciens dont les travaux sont jugés avoir façonné l'orientation de leur discipline au cours des années précédentes.

Extension du théorème d'Ax–Kochen

Denef a également démontré une conjecture de Jean-Louis Colliot-Thélène qui généralise le théorème d'Ax–Kochen, un résultat fondamental de 1965 reliant le comportement algébrique des corps p-adiques à celui des corps de séries formelles sur des corps finis, pour tous les nombres premiers p à l'exception d'un nombre fini d'entre eux. Étendre des résultats de ce type — initialement prouvés à l'aide d'outils profonds de la logique mathématique (la construction d'ultraproduits) — à des contextes géométriques plus vastes a été un thème récurrent de la carrière de Denef, reflétant sa méthode constante consistant à utiliser l'appareil abstrait de la logique pour régler des questions de théorie des nombres très concrètes.

Pourquoi Jan est qualifié de génie

Le talent particulier visible dans l'œuvre de Denef est une aisance inhabituelle entre deux dialectes mathématiques dont la plupart des chercheurs se spécialisent dans l'un ou l'autre : l'appareil abstrait de la logique mathématique (élimination des quantificateurs, complétude des modèles, ultraproduits) et les questions concrètes de la géométrie algébrique classique et de la théorie des nombres concernant les équations et leurs solutions. À plusieurs reprises, le geste décisif de Denef a consisté à voir qu'une question géométrique ou de théorie des nombres difficile était, au fond, un énoncé que les outils de la logique pouvaient résoudre — de la manière la plus visible dans l'invention par lui et Loeser de l'intégration motivique, qui a repris une technique logique (l'élimination des quantificateurs sur les corps p-adiques) pour bâtir une théorie d'intégration entièrement nouvelle pour la géométrie algébrique. Une allocution invitée au ICM est un signal authentique, indépendant du nombre de citations, que la communauté mathématique a jugé ce travail structurant pour le domaine. La limite honnête est que la réputation de Denef, contrairement à celle d'un médaillé Fields, est concentrée spécifiquement au sein de la théorie des nombres, de la théorie des modèles et de la géométrie algébrique — les profils disponibles ne font état d'aucune médaille Fields, de prix Wolf ou d'honneur équivalent de premier plan, et une grande partie des éloges adressés à son travail provient du nombre de citations et de la reconnaissance de spécialistes (plus de 5 000 citations, une conférence invitée au ICM) plutôt que de la plus large acclamations attachée aux noms les plus célèbres des mathématiques. C'est un génie authentique, techniquement profond, visible principalement pour ceux qui travaillent dans son coin particulier du domaine.

Héritage

L'intégration motivique, la théorie que Denef a construite avec Loeser, demeure un domaine de recherche actif plus de deux décennies après son introduction, s'étant développée bien au-delà de son application initiale aux fonctions zêta d'Igusa pour devenir un outil standard d'étude des singularités en géométrie algébrique. La méthode plus vaste de Denef — recourir à l'appareil abstrait de la théorie des modèles pour résoudre des problèmes concrets en théorie des nombres — a contribué à cimenter le statut de la logique comme une branche véritablement utile des mathématiques plutôt que purement fondationnelle, un cas toujours cité par les mathématiciens expliquant pourquoi la théorie des modèles fait partie de la boîte à outils du théoricien des nombres en activité.