Jan Denef: Dando sentido a las funciones zeta infinitas

Existe una familia de problemas de recuento en teoría de números —cuántas soluciones tiene una ecuación polinómica módulo una potencia prima y cómo cambia ese recuento a medida que crece la potencia prima— que genera infinitos números independientes para cada polinomio. La contribución central de Jan Denef fue demostrar, una y otra vez, que estas familias infinitas de números nunca son realmente infinitas en complejidad: siempre pueden empaquetarse en una sola función bien comportada. Esa idea, y la maquinaria geométrica que construyó para demostrarla, remodeló por igual un rincón de la teoría de números y de la teoría de modelos.

Del décimo problema de Hilbert a Lovaina

Denef nació el 4 de septiembre de 1951 en Bélgica. Se doctoró en la KU Leuven (Universidad Católica de Lovaina) en 1975, bajo la codirección de Louis Philippe Bouckaert y Willem Kuijk, con una tesis sobre el décimo problema de Hilbert —la cuestión planteada por David Hilbert en 1900 sobre si existe un algoritmo general para decidir si una ecuación polinómica dada tiene soluciones enteras—. El problema completo para los números enteros se había resuelto negativamente pocos años antes por Yuri Matiyasevich en 1970; los primeros trabajos de Denef ampliaron y agudizaron resultados de indecidibilidad relacionados en nuevos contextos de la teoría de números, un comienzo ambicioso para una tesis doctoral. Pasó su carrera en la KU Leuven, donde se convirtió en profesor y permaneció hasta su jubilación, momento en el que fue nombrado profesor emérito de matemáticas.

Integración p-ádica y la racionalidad de las funciones zeta

Gran parte de la obra más influyente de Denef concierne a la integración p-ádica, una forma de hacer cálculo no sobre los números reales sino sobre los números p-ádicos, un sistema numérico alternativo construido en torno a un primo fijo p en el que la «cercanía» se mide por la divisibilidad en lugar de la distancia ordinaria. Los teóricos de números utilizan integrales p-ádicas para estudiar la función zeta de Igusa de un polinomio, una función generatriz que codifica de una sola vez el número de soluciones de la ecuación del polinomio módulo cada potencia de un primo. Denef demostró profundos resultados de racionalidad sobre estas funciones zeta, mostrando que, a pesar de codificar infinitos problemas de recuento independientes, están regidas por una cantidad finita de datos algebraicos; en esencia, que la secuencia infinita de recuentos módulo p, p², p³, y así sucesivamente obedece a una única ley algebraica en lugar de comportarse arbitrariamente. Esto requirió combinar el análisis p-ádico con la lógica matemática, en particular la eliminación de cuantificadores para cuerpos p-ádicos, una técnica de teoría de modelos que permite simplificar afirmaciones sobre números p-ádicos en una forma estándar y más tratable, uno de los ejemplos más claros en las matemáticas modernas de la lógica proporcionando la herramienta decisiva para un problema en la teoría de números clásica.

Integración motívica con François Loeser

A finales de la década de 1990, Denef y el matemático francés François Loeser desarrollaron la integración motívica, una generalización de gran alcance de la integración p-ádica que sustituye las funciones zeta numéricas por objetos en el anillo de Grothendieck de las variedades algebraicas, un sistema de contabilidad formal para la «forma» de los objetos geométricos en lugar de meros recuentos numéricos. Sus artículos «Motivic Igusa Zeta Functions» (1998) y «Germs of Arcs on Singular Algebraic Varieties and Motivic Integration» (1999) introdujeron técnicas que permiten a los matemáticos estudiar las singularidades de las variedades algebraicas —los puntos donde una forma geométrica deja de ser lisa— integrando sobre el espacio de arcos (curvas formales de series de potencias) que pasan a través de ellas. La integración motívica proporcionó a la teoría de singularidades un conjunto de herramientas completamente nuevo y desde entonces se ha aplicado mucho más allá de su hogar original en la teoría de números, incluso en áreas de la geometría algebraica adyacentes a la teoría de cuerdas. Este conjunto de obras condujo a la invitación de Denef como conferenciante en el Congreso Internacional de Matemáticos de 2002 en Pekín, una de las marcas de reconocimiento más claras del campo, reservada a los matemáticos cuyo trabajo se considera que ha dado forma a la dirección de su materia durante los varios años precedentes.

Extensión del teorema de Ax–Kochen

Denef también demostró una conjetura de Jean-Louis Colliot-Thélène que generaliza el teorema de Ax–Kochen, un resultado fundacional de 1965 que conecta el comportamiento algebraico de los cuerpos p-ádicos con el de los cuerpos de series de potencias formales sobre cuerpos finitos, para todos los primos p salvo un número finito. Extender resultados de este tipo —probados originalmente utilizando herramientas profundas de la lógica matemática (la construcción de ultraproductos)— a entornos geométricos más amplios ha sido un tema recurrente en la carrera de Denef, lo que refleja su método constante de utilizar la maquinaria abstracta de la lógica para resolver cuestiones de teoría de números muy concretas.

Por qué se considera a Jan un genio

El talento específico visible en toda la obra de Denef es una fluidez inusual en dos dialectos matemáticos en los que la mayoría de los investigadores se especializan en uno u otro: la maquinaria abstracta de la lógica matemática (eliminación de cuantificadores, completitud de modelos, ultraproductos) y las cuestiones concretas de la geometría algebraica clásica y la teoría de números sobre ecuaciones y sus soluciones. Repetidamente, el movimiento clave de Denef fue ver que una pregunta geométrica o de teoría de números difícil era, en el fondo, una afirmación que las herramientas de la lógica podían resolver; más visiblemente en su invención y la de Loeser de la integración motívica, que tomó una técnica lógica (la eliminación de cuantificadores sobre cuerpos p-ádicos) y la usó para construir una teoría de integración totalmente nueva para la geometría algebraica. Una conferencia invitada en el ICM es una señal genuina, independiente de las citas, de que la comunidad matemática juzgó este trabajo como formador del campo. La limitación honesta es que la reputación de Denef, a diferencia de la de un medallista Fields, está concentrada específicamente en la teoría de números, la teoría de modelos y la geometría algebraica; los perfiles disponibles no documentan ninguna Medalla Fields, Premio Wolf u honor de primer nivel equivalente, y gran parte de los elogios a su trabajo provienen de recuentos de citas y reconocimiento de especialistas (más de 5 000 citas, una charla invitada en el ICM) en lugar del aplauso más amplio asociado a los nombres más famosos de las matemáticas. Se trata de un genio genuino, técnicamente profundo, visible principalmente para quienes trabajan en su rincón específico del campo.

Legado

La integración motívica, la teoría que Denef construyó con Loeser, sigue siendo un área de investigación activa más de dos décadas después de su introducción, habiendo crecido mucho más allá de su aplicación original a las funciones zeta de Igusa hasta convertirse en una herramienta estándar para estudiar singularidades en geometría algebraica. El método más amplio de Denef —recurrir a la maquinaria abstracta de la teoría de modelos para resolver problemas concretos en teoría de números— ayudó a consolidar la posición de la lógica como una rama genuinamente útil de las matemáticas en lugar de una puramente fundacional, un caso que todavía citan los matemáticos que explican por qué la teoría de modelos pertenece a la caja de herramientas del teórico de números en activo.