Tomasz Mrowka: O topólogo que domou quatro dimensões

Tomasz Mrowka passou grande parte de sua carreira provando coisas sobre o espaço quadridimensional que ninguém mais conseguia tocar — usando equações emprestadas da física de partículas para resolver questões centenárias em topologia pura. Seu resultado mais citado, desenvolvido com um colaborador de longa data, resolveu uma conjectura que os matemáticos haviam desistido de provar, fazendo-a cair em poucas páginas densas de análise.

Uma herança matemática

Mrowka nasceu em 8 de setembro de 1961, filho do matemático polaco-americano Stanisław Mrówka, especialista em topologia geral que emigrou para os Estados Unidos e lecionou na City University of New York. O caminho do filho passou pelo MIT como estudante de graduação, onde obteve seu bacharelado em 1983, e depois pela Universidade da Califórnia, Berkeley, onde completou seu doutorado em 1988 sob a orientação de Clifford Taubes e Robion Kirby com uma tese sobre espaços de módulos de Yang-Mills. A escolha do orientador foi crucial: Taubes estava no centro de uma revolução que remodelava a topologia de baixa dimensão, importando a maquinaria da física teórica — a teoria de gauge, a matemática desenvolvida para descrever as forças que unem os núcleos atômicos — para o estudo de formas abstratas.

Teoria de gauge como ferramenta do topólogo

A percepção que impulsionou essa revolução, associada acima de tudo a Simon Donaldson, foi que as soluções para as equações de campo dos físicos, quando estudadas em uma variedade de quatro dimensões, codificam informações sutis sobre a forma da variedade que nenhuma técnica topológica clássica poderia ver. Mrowka tornou-se um dos manipuladores mais hábeis dessa maquinaria. No início de sua carreira, passou por Stanford, uma posição de visitante no Caltech e depois uma cátedra lá de 1992 a 1996, antes de ingressar no corpo docente de matemática do MIT em 1996, onde permaneceu pelo resto de sua carreira — ocupando a Cátedra Simons de 2007 a 2010, a Cátedra Singer de 2010 em diante, e servindo como chefe do departamento de 2014 a 2017.

A parceria com Kronheimer

O relacionamento científico definidor de Mrowka tem sido sua colaboração de décadas com o matemático britânico-americano Peter Kronheimer, a quem conheceu como colega de pós-graduação no círculo de Yang-Mills dos anos 1980. Juntos, os dois produziram um corpo de trabalho substancial o suficiente para que a American Mathematical Society o tenha honrado duas vezes como uma conquista conjunta, em vez de creditar apenas um dos homens. Seu primeiro grande resultado introduziu o que o campo agora chama de classes básicas de Kronheimer-Mrowka, invariantes que extraem informações topológicas sobre uma quadrivariedade a partir da estrutura de seus espaços de módulos de instantons — refinando os invariantes originais de Donaldson em uma forma mais nítida e computável.

Resolvendo a Conjectura de Thom

Sua conquista individual mais célebre veio no início dos anos 1990, depois que a descoberta das equações de Seiberg-Witten deu aos teóricos de gauge uma alternativa tecnicamente mais simples à abordagem mais antiga de Yang-Mills. Kronheimer e Mrowka usaram as novas equações para provar a conjectura de Thom, uma afirmação — aberta desde os anos 1950 — sobre o gênero mínimo de uma superfície que representa uma dada classe de homologia no plano projetivo complexo. A prova foi uma das primeiras e mais dramáticas demonstrações de que a teoria de Seiberg-Witten poderia resolver problemas que a geração anterior de teóricos de gauge considerava intratáveis, e ajudou a desencadear a migração em massa do campo para as novas equações.

Nós, monopolos e a Propriedade P

O trabalho posterior de Mrowka levou o mesmo conjunto de ferramentas para a teoria dos nós. Com Kronheimer, ele usou a homologia de Floer de monopolos de Seiberg-Witten para provar a conjectura da Propriedade P, uma questão de longa data sobre quais cirurgias em um complemento de nó podem produzir a três-esfera — um resultado com impacto direto na topologia de três-variedades de forma mais ampla. A dupla demonstrou que a homologia de Khovanov, um invariante combinatório de nós sem origem geométrica óbvia, é poderosa o suficiente para detectar o nó trivial, unindo dois ramos do assunto — a homologia de Floer da teoria de gauge e a construção algébrica de Mikhail Khovanov — que haviam se desenvolvido quase independentemente. Sua monografia sobre monopolos e três-variedades, publicada em 2007, permanece uma referência padrão no campo.

Reconhecimento

O julgamento da comunidade matemática sobre este corpo de trabalho tem sido incomumente consistente. Mrowka e Kronheimer compartilharam o Prêmio Oswald Veblen em Geometria em 2007, o Prêmio Joseph L. Doob da AMS em 2011 e — o sinal mais claro que os pares de um matemático podem enviar — o Prêmio Leroy P. Steele por uma contribuição seminal à pesquisa em 2023, concedido especificamente pelos artigos que introduziram as classes básicas de Kronheimer-Mrowka e as aplicaram à conjectura de Thom. Mrowka foi eleito independentemente para a American Academy of Arts and Sciences em 2007 e para a National Academy of Sciences em 2015, e proferiu palestras plenárias no Congresso Internacional de Matemáticos em 1994 e novamente em 2018 no Rio de Janeiro. Ele também recebeu bolsas Sloan e Guggenheim e orientou dezenas de estudantes de doutorado e pós-doutorandos no MIT.

Por que Tomasz é chamado de gênio

O caso de Mrowka baseia-se em um tipo específico e bem documentado de domínio técnico: a capacidade de pegar equações da física teórica e levá-las, através de uma análise extremamente delicada de equações diferenciais parciais não lineares, a responder perguntas em topologia pura que estavam sem solução há décadas. A conjectura de Thom resistiu ao ataque direto desde os anos 1950; a conjectura da Propriedade P pertencia a uma família igualmente antiga e teimosa de problemas de três-variedades. Ambas caíram não diante de uma nova ideia sobre nós ou superfícies como tais, mas diante do domínio de Mrowka e Kronheimer da análise de espaços de módulos — a camada técnica mais difícil da teoria de gauge, onde a maioria dos matemáticos que entendiam a física ainda não conseguia fazer as estimativas funcionarem. Sua eleição para a National Academy of Sciences e a citação do Prêmio Steele refletem um consenso genuíno entre os topólogos de que este foi um trabalho singular. A complicação honesta é que quase nada disso é solo: cada resultado histórico discutido aqui é conjunto com Peter Kronheimer, e os prêmios Veblen, Doob e Steele foram todos concedidos à dupla, o que torna o gênio de Mrowka, pelas evidências, inseparável de uma parceria em vez de um dom solitário.

Legado

As classes básicas de Mrowka e seus argumentos de Seiberg-Witten com Kronheimer são agora ferramentas padrão ensinadas a todo estudante de pós-graduação que entra na topologia de baixa dimensão, e seu mandato à frente do departamento de matemática do MIT deixou uma marca institucional ao lado da matemática. As provas de Thom e da Propriedade P permanecem, quatro décadas depois que Taubes e Donaldson abriram o campo, entre as demonstrações mais claras do que a teoria de gauge pode fazer pela topologia.