Tomasz Mrowka: El topólogo que domó cuatro dimensiones

Tomasz Mrowka dedicó gran parte de su carrera a demostrar propiedades del espacio tetradimensional que nadie más podía abordar, utilizando ecuaciones tomadas de la física de partículas para resolver cuestiones centenarias de topología pura. Su resultado más citado, desarrollado junto a un colaborador de toda la vida, resolvió una conjetura que los matemáticos habían dejado de intentar probar, lográndolo en unas pocas páginas densas de análisis.

Una herencia matemática

Mrowka nació el 8 de septiembre de 1961, hijo del matemático polaco-estadounidense Stanisław Mrówka, especialista en topología general que emigró a Estados Unidos y enseñó en la City University of New York. El camino del hijo pasó por el MIT como estudiante de grado, donde obtuvo su licenciatura en 1983, y luego por la Universidad de California, Berkeley, donde completó su doctorado en 1988 bajo la supervisión de Clifford Taubes y Robion Kirby con una tesis sobre espacios de módulos de Yang-Mills. La elección del asesor fue crucial: Taubes estaba en el centro de una revolución que transformaba la topología de baja dimensión, importando la maquinaria de la física teórica —la teoría de gauge, las matemáticas desarrolladas para describir las fuerzas que unen los núcleos atómicos— al estudio de formas abstractas.

La teoría de gauge como herramienta del topólogo

La idea que impulsó esa revolución, asociada sobre todo a Simon Donaldson, fue que las soluciones a las ecuaciones de campo de los físicos, cuando se estudian en una variedad de cuatro dimensiones, codifican información sutil sobre la forma de la variedad que ninguna técnica topológica clásica podía detectar. Mrowka se convirtió en uno de los manejadores más hábiles de esta maquinaria. Al principio de su carrera pasó por Stanford, una posición como visitante en Caltech y luego una cátedra allí desde 1992 hasta 1996, antes de unirse a la facultad de matemáticas del MIT en 1996, donde permaneció el resto de su carrera, ocupando la Cátedra Simons de 2007 a 2010, la Cátedra Singer desde 2010 en adelante y sirviendo como jefe del departamento de 2014 a 2017.

La asociación con Kronheimer

La relación científica definitoria de Mrowka ha sido su colaboración de décadas con el matemático británico-estadounidense Peter Kronheimer, a quien conoció como compañero de posgrado en el círculo de Yang-Mills de los años 80. Juntos produjeron un cuerpo de trabajo lo suficientemente sustancial como para que la Sociedad Matemática Estadounidense lo haya honrado dos veces como un logro conjunto en lugar de acreditar a uno solo. Su primer gran resultado introdujo lo que el campo llama ahora las clases básicas de Kronheimer-Mrowka, invariantes que extraen información topológica sobre una cuatrivariedad a partir de la estructura de sus espacios de módulos de instantones, refinando los invariantes originales de Donaldson en una forma más nítida y computable.

Resolviendo la conjetura de Thom

Su logro individual más célebre llegó a principios de los años 90, después de que el descubrimiento de las ecuaciones de Seiberg-Witten ofreciera a los teóricos de gauge una alternativa técnicamente más sencilla al enfoque anterior de Yang-Mills. Kronheimer y Mrowka utilizaron las nuevas ecuaciones para probar la conjetura de Thom, una afirmación abierta desde los años 50 sobre el género mínimo de una superficie que representa una clase de homología dada en el plano proyectivo complejo. La prueba fue una de las primeras y más dramáticas demostraciones de que la teoría de Seiberg-Witten podía resolver problemas que la generación anterior de teóricos de gauge consideraba intratables, y ayudó a desencadenar la migración masiva del campo hacia las nuevas ecuaciones.

Nudos, monopolos y la propiedad P

El trabajo posterior de Mrowka llevó el mismo conjunto de herramientas a la teoría de nudos. Con Kronheimer utilizó la homología de Floer de monopolos de Seiberg-Witten para probar la conjetura de la propiedad P, una cuestión de larga data sobre qué cirugías en un complemento de nudo pueden producir la tres-esfera, un resultado con impacto directo en la topología de las tres-variedades en general. La pareja demostró además que la homología de Khovanov, un invariante combinatorio de nudos sin origen geométrico obvio, es lo suficientemente potente como para detectar el nudo trivial, uniendo dos ramas de la materia —la homología de Floer de teoría de gauge y la construcción algebraica de Mikhail Khovanov— que se habían desarrollado casi independientemente. Su monografía sobre monopolos y tres-variedades, publicada en 2007, sigue siendo una referencia estándar en el campo.

Reconocimiento

El juicio de la comunidad matemática sobre este trabajo ha sido inusualmente consistente. Mrowka y Kronheimer compartieron el Premio Oswald Veblen en Geometría en 2007, el Premio Joseph L. Doob de la AMS en 2011 y, la señal más clara que los pares de un matemático pueden enviar, el Premio Leroy P. Steele por una contribución seminal a la investigación en 2023, otorgado específicamente por los artículos que introdujeron las clases básicas de Kronheimer-Mrowka y su aplicación a la conjetura de Thom. Mrowka fue elegido independientemente para la Academia Estadounidense de las Artes y las Ciencias en 2007 y para la Academia Nacional de Ciencias en 2015, y pronunció conferencias plenarias en el Congreso Internacional de Matemáticos en 1994 y nuevamente en 2018 en Río de Janeiro. También recibió becas Sloan y Guggenheim y fue mentor de decenas de estudiantes de doctorado y posdoctorados en el MIT.

Por qué se llama genio a Tomasz

El caso de Mrowka se basa en un tipo de maestría técnica específica y bien documentada: la capacidad de tomar ecuaciones de la física teórica y llevarlas, mediante un análisis extremadamente delicado de ecuaciones diferenciales parciales no lineales, a responder preguntas en topología pura que habían permanecido sin resolver durante décadas. La conjetura de Thom había resistido el ataque directo desde los años 50; la conjetura de la propiedad P pertenecía a una familia igualmente antigua y obstinada de problemas de tres-variedades. Ambas cayeron no ante una nueva idea sobre nudos o superficies como tales, sino ante el dominio de Mrowka y Kronheimer del análisis de espacios de módulos, la capa técnica más difícil de la teoría de gauge, donde la mayoría de los matemáticos que entendían la física aún no podían hacer que las estimaciones funcionaran. Su elección a la Academia Nacional de Ciencias y la mención del Premio Steele reflejan un consenso genuino entre los topólogos de que este fue un trabajo singular. La complicación honesta es que casi nada de esto es en solitario: cada resultado histórico discutido aquí es conjunto con Peter Kronheimer, y los premios Veblen, Doob y Steele fueron otorgados a la pareja, lo que hace que el genio de Mrowka, según la evidencia, sea inseparable de una asociación en lugar de un don solitario.

Legado

Las clases básicas de Mrowka y sus argumentos de Seiberg-Witten con Kronheimer son ahora herramientas estándar enseñadas a cada estudiante de posgrado que ingresa a la topología de baja dimensión, y su mandato dirigiendo el departamento de matemáticas del MIT dejó una huella institucional junto a la matemática. Las pruebas de Thom y de la propiedad P siguen siendo, cuatro décadas después de que Taubes y Donaldson abrieran el campo, una de las demostraciones más claras de lo que la teoría de gauge puede hacer por la topología.