Samuel James Patterson: Uma medida nomeada duas vezes

Um matemático de vinte e oito anos que trabalhava nos conjuntos limite de grupos fuchsianos — os padrões de contorno intrincados, muitas vezes fractais, deixados por certos grupos de simetria que agem sobre o plano hiperbólico — introduziu em 1976 uma forma de atribuir uma medida precisa a esses limites. Três anos depois, o matemático americano Dennis Sullivan redescobriu de forma independente e ampliou drasticamente a mesma ideia num contexto diferente, e a ferramenta que ambos construíram juntos, a medida de Patterson-Sullivan, tem sido central para a geometria hiperbólica e a teoria ergódica desde então. Samuel James Patterson construiu a primeira metade dessa história quase sozinho, antes de o nome de Sullivan ser associado a ela.

De Belfast a Cambridge

Patterson nasceu a 7 de setembro de 1948 em Belfast, na Irlanda do Norte, e frequentou a Grosvenor High School no leste da cidade antes de ingressar no Clare College, em Cambridge, onde se licenciou em matemática em 1970. Permaneceu em Cambridge para realizar estudos de doutoramento sob a orientação de Alan Beardon, um especialista em análise complexa e geometria hiperbólica, concluindo uma tese intitulada "The Limit Set of a Fuchsian Group" — a semente direta do seu trabalho posterior mais conhecido —, terminada em 1974 e formalmente atribuída em 1975. O seu irmão, David Joseph Patterson, tornou-se um taxonomista notável, evidência de uma predisposição familiar para a ciência rigorosa e classificatória que se expressou em duas disciplinas muito diferentes.

Dos grupos fuchsianos a um novo tipo de medida

Um grupo fuchsiano é um grupo discreto de simetrias do plano hiperbólico, e o seu "conjunto limite" — os pontos fronteiriços para os quais as suas órbitas acumulam — é frequentemente um objeto fractal delicado que resiste à medição geométrica ordinária. Em 1976, trabalhando em Göttingen pouco depois do seu doutoramento, Patterson introduziu uma construção, agora chamada medida de Patterson, que atribui uma medida natural e bem comportada exatamente a esses conjuntos limite, construída a partir da própria dinâmica do grupo em vez de ser imposta do exterior. Dennis Sullivan generalizou a construção a partir de 1979 para os grupos kleinianos — o análogo tridimensional dos grupos fuchsianos, agindo sobre o espaço hiperbólico em vez do plano hiperbólico — e para a teoria mais ampla dos fluxos geodésicos, e a construção combinada ficou conhecida como a medida de Patterson-Sullivan. Atualmente, encontra-se na base de uma vasta área da teoria ergódica moderna e da geometria hiperbólica, oferecendo aos matemáticos uma forma de traduzir questões sobre a geometria e a dinâmica da ação de um grupo em questões sobre uma medida concreta e calculável — uma das ferramentas padrão utilizadas para estudar a distribuição de geodésicas fechadas, a entropia e a estrutura fina das variedades hiperbólicas.

A refutação de uma conjectura de Kummer

A outra grande conquista de Patterson adveio de um canto completamente diferente da teoria dos números. Em 1978, trabalhando com o teórico dos números britânico Roger Heath-Brown, refutou a conjectura de Kummer sobre as somas de Gauss cúbicas — uma previsão do século XIX, com origem em Ernst Kummer, sobre a distribuição estatística dos argumentos de certas somas exponenciais cúbicas que surgem no estudo da reciprocidade cúbica. Derrubar uma conjectura com um século de idade de um matemático da estatura de Kummer é por si só um resultado significativo, mas Patterson e Heath-Brown foram mais longe, propondo uma conjectura revista própria para a substituir — uma previsão que permaneceu em aberto durante mais de quatro décadas até ser finalmente provada em 2021 por Alexander Dunn e Maksym Radziwiłł, um exemplo marcante de uma conjectura que sobreviveu ao seu criador durante décadas antes de ser validada.

Uma carreira em Göttingen

Após o seu doutoramento, Patterson passou por uma sequência de cargos prestigiosos mas temporários — Göttingen (1974–75), o regresso a Cambridge (1975–79) e depois Harvard, onde deteve o cargo de Benjamin Peirce Lectureship (1979–81) — antes de se estabelecer em 1981 num professorado de matemática na Universidade de Göttingen, a universidade alemã com uma das histórias mais célebres da matemática, que vai de Gauss e Riemann até Hilbert e Emmy Noether. Patterson permaneceu em Göttingen durante trinta anos, até à sua reforma em 2011, trabalhando em grupos descontínuos, grupos fuchsianos e kleinianos, funções zeta de Ruelle e Selberg, grupos metapléticos, funções teta e somas exponenciais — um portefólio de investigação que abrange a geometria hiperbólica e a teoria analítica dos números, refletindo uma amplitude técnica invulgarmente larga para uma única carreira. Editou o Crelle's Journal, uma das revistas de investigação matemática mais antigas e prestigiadas, de 1982 a 1994, e foi eleito membro da Academia de Ciências e Humanidades de Göttingen em 1998, onde desde então tem servido no comité executivo dos Arquivos Leibniz em Hanôver. A London Mathematical Society atribuiu-lhe o Prémio Whitehead em 1984, concedido a matemáticos nas fases iniciais da sua carreira por contribuições excecionais, e os colegas celebraram o seu sexagésimo aniversário com uma conferência em julho de 2009, seguida de um volume de ensaios em sua honra em 2012.

Porque é que Samuel é chamado de génio

A conquista específica que rende a Patterson esse rótulo é a construção, em idade jovem e de forma largamente independente, de um objeto matemático genuinamente novo — a medida de Patterson — que captura informação dinâmica de forma geométrica como nenhuma ferramenta anterior o fizera, e que outro matemático de proeminência, Dennis Sullivan, julgou suficientemente importante para redescobrir de forma independente e construir toda uma teoria adicional apenas três anos depois. Esse tipo de redescubrimiento convergente por um matemático independente de primeira linha é um dos sinais externos mais fiáveis de que uma ideia estava genuinamente à frente do seu tempo em vez de ser meramente engenhosa. A refutação da conjectura de Kummer acrescenta um segundo fio condutor de evidência não relacionado: derrubar uma previsão estabelecida do século XIX e substituí-la por uma melhor que ela própria sobreviveu mais de quarenta anos antes de ser provada demonstra o mesmo instinto para ver estrutura que outros tinham perdido, aplicado à teoria dos números em vez de à geometria. A limitação honesta é que, tal como com vários matemáticos em atividade da sua geração, o reconhecimento de Patterson — um Prémio Whitehead atribuído relativamente cedo na sua carreira, pertença à Academia, cargos editoriais — situa-se abaixo do nível mais alto das honras matemáticas, e grande parte da sua influência opera através de um aparato técnico (medidas de conjuntos limite, funções zeta de grupos discretos) que permanece largamente invisível fora da geometria e da teoria dos números especializadas.

Legado

A medida de Patterson-Sullivan é hoje uma ferramenta padrão ensinada em cursos de pós-graduação sobre geometria hiperbólica e teoria ergódica em todo o mundo, citada em trabalhos muito além dos grupos fuchsianos em que Patterson a estudou originalmente, e a prova de Dunn-Radziwiłł da conjectura de Patterson-Heath-Brown em 2021 confirmou, quase meio século mais tarde, que o instinto de Patterson sobre onde residia realmente a verdade do problema de Kummer tinha estado correto desde o início.