Jan Denef: Dare un senso alle funzioni zeta infinite

Esiste una famiglia di problemi di conteggio nella teoria dei numeri — quante soluzioni ha un'equazione polinomiale modulo una potenza prima, e come cambia tale conteggio al crescere della potenza prima — che genera infiniti numeri distinti per ogni polinomio. Il contributo centrale di Jan Denef è stato dimostrare, ripetutamente, che queste famiglie infinite di numeri non sono mai veramente infinite in complessità: possono sempre essere racchiuse in un'unica funzione ben comportata. Questa intuizione, e la macchina geometrica che ha costruito per dimostrarla, hanno rimodellato un angolo sia della teoria dei numeri che della teoria dei modelli.

Dal decimo problema di Hilbert a Lovanio

Denef è nato il 4 settembre 1951 in Belgio. Ha completato il suo dottorato alla KU Leuven (Università Cattolica di Lovanio) nel 1975, sotto la supervisione congiunta di Louis Philippe Bouckaert e Willem Kuijk, con una tesi sul decimo problema di Hilbert — la questione, posta da David Hilbert nel 1900, se esista un algoritmo generale per decidere se una data equazione polinomiale ha soluzioni intere. Il problema completo, per i numeri interi, era stato risolto negativamente pochi anni prima da Yuri Matiyasevich nel 1970; i primi lavori di Denef hanno esteso e affinato risultati di indecidibilità correlati in nuovi contesti di teoria dei numeri, un inizio ambizioso per una tesi di dottorato. Ha trascorso la sua carriera alla KU Leuven, diventandovi professore e rimanendovi fino al pensionamento, momento in cui è stato nominato professore emerito di matematica.

Integrazione p-adica e razionalità delle funzioni zeta

Gran parte del lavoro più influente di Denef riguarda l'integrazione p-adica — un modo di fare calcolo non sui numeri reali ma sui numeri p-adici, un sistema numerico alternativo costruito attorno a un primo fisso p in cui la "vicinanza" è misurata dalla divisibilità anziché dalla distanza ordinaria. I teorici dei numeri usano gli integrali p-adici per studiare la funzione zeta di Igusa di un polinomio, una funzione generatrice che codifica, tutta insieme, la quantità di soluzioni dell'equazione del polinomio modulo ciascuna potenza di un primo. Denef ha dimostrato profondi risultati di razionalità su queste funzioni zeta, mostrando che, nonostante codifichino infiniti problemi di conteggio distinti, esse sono governate da una quantità finita di dati algebrici — in sostanza, che la successione infinita di conteggi modulo p, p², p³ e così via obbedisce a un'unica legge algebrica anziché comportarsi in modo arbitrario. Ciò ha richiesto la combinazione dell'analisi p-adica con la logica matematica, in particolare l'eliminazione dei quantificatori per i campi p-adici, una tecnica di teoria dei modelli che consente di semplificare le affermazioni sui numeri p-adici in una forma standard e più trattabile — uno degli esempi più chiari nella matematica moderna della logica che fornisce lo strumento decisivo per un problema nella teoria dei numeri classica.

Integrazione motivica con François Loeser

A partire dalla fine degli anni '90, Denef e il matematico francese François Loeser hanno sviluppato l'integrazione motivica, una generalizzazione di vasta portata dell'integrazione p-adica che sostituisce le funzioni zeta numeriche con oggetti nell'anello di Grothendieck delle varietà algebriche — un sistema di contabilità formale per la "forma" degli oggetti geometrici anziché meri conteggi numerici. I loro articoli "Motivic Igusa Zeta Functions" (1998) e "Germs of Arcs on Singular Algebraic Varieties and Motivic Integration" (1999) hanno introdotto tecniche che consentono ai matematici di studiare le singolarità delle varietà algebriche — i punti in cui una forma geometrica cessa di essere liscia — integrando sullo spazio degli archi (curve formali in serie di potenze) che passano attraverso di esse. L'integrazione motivica ha fornito alla teoria delle singolarità un kit di strumenti completamente nuovo ed è stata da allora applicata ben oltre la sua originaria patria di teoria dei numeri, anche in aree della geometria algebrica adiacenti alla teoria delle stringhe. Questo corpo di lavoro ha portato all'invito di Denef come relatore al Congresso Internazionale dei Matematici del 2002 a Pechino, uno dei più chiari segni di riconoscimento del settore, riservato ai matematici il cui lavoro è giudicato aver plasmato la direzione della propria disciplina nel corso dei diversi anni precedenti.

Estensione del teorema di Ax–Kochen

Denef ha anche dimostrato una congiuntura di Jean-Louis Colliot-Thélène che generalizza il teorema di Ax–Kochen, un risultato fondamentale del 1965 che collega il comportamento algebrico dei campi p-adici a quello dei campi di serie di potenze formali su campi finiti, per tutti i primi p tranne un numero finito. Estendere risultati di questo tipo — originariamente dimostrati utilizzando strumenti profondi della logica matematica (la costruzione di ultraprodotti) — a contesti geometrici più ampi è stato un tema ricorrente della carriera di Denef, riflettendo il suo metodo coerente di utilizzare la macchina astratta della logica per risolvere questioni di teoria dei numeri molto concrete.

Perché Jan è definito un genio

Il talento specifico visibile nell'opera di Denef è una straordinaria fluidità tra due dialetti matematici nei quali la maggior parte dei ricercatori si specializza in uno o nell'altro: la macchina astratta della logica matematica (eliminazione dei quantificatori, completezza dei modelli, ultraprodotti) e le questioni concrete della geometria algebrica classica e della teoria dei numeri riguardanti le equazioni e le loro soluzioni. Ripetutamente, la mossa chiave di Denef è stata quella di comprendere che una difficile questione geometrica o di teoria dei numeri era, sotto sotto, un'affermazione che gli strumenti della logica potevano risolvere — in modo più visibile nella sua e di Loeser invenzione dell'integrazione motivica, che ha preso una tecnica logica (l'eliminazione dei quantificatori sui campi p-adici) e l'ha usata per costruire una teoria dell'integrazione del tutto nuova per la geometria algebrica. Un discorso su invito all'ICM è un segnale genuino, indipendente dalle citazioni, che la comunità matematica ha giudicato questo lavoro formativo per il campo. L'onesta limitazione è che la reputazione di Denef, a differenza di quella di un medagliato Fields, è concentrata specificamente all'interno della teoria dei numeri, della teoria dei modelli e della geometria algebrica — i profili disponibili non documentano alcuna Medaglia Fields, Premio Wolf o equivalente onorificienza di primo piano, e gran parte degli elogi per il suo lavoro proviene dai conteggi delle citazioni e dal riconoscimento degli specialisti (oltre 5.000 citazioni, un intervento su invito all'ICM) piuttosto che dal più ampio plauso associato ai nomi più famosi della matematica. È un genio autentico, tecnicamente profondo, visibile principalmente a coloro che lavorano nel suo specifico angolo del campo.

Eredità

L'integrazione motivica, la teoria che Denef ha costruito con Loeser, rimane un'area di ricerca attiva a più di due decenni dalla sua introduzione, essendo cresciuta ben oltre la sua applicazione originaria alle funzioni zeta di Igusa fino a diventare uno strumento standard per lo studio delle singolarità nella geometria algebrica. Il metodo più ampio di Denef — l'attingere alla macchina astratta della teoria dei modelli per scardinare problemi concreti nella teoria dei numeri — ha contribuito a consolidare lo status della logica come un ramo genuinamente utile della matematica anziché puramente fondazionale, un caso ancora citato dai matematici che spiegano perché la teoria dei modelli appartenga alla cassetta degli attrezzi del teorico dei numeri in attività.