Casal de matemáticos resolve importante problema de teoria dos grupos após 20 anos

• Em 2003, a estudante de pós-graduação alemã Britta Späth teve contato com a conjectura de McKay, um dos principais problemas em aberto na área de teoria dos grupos (Group Theory).
• Späth ficou fascinada pelo problema e continuou pesquisando-o, apostando sua carreira nisso.
• Trabalhando com Marc Cabanes, ela se apaixonou, e os dois formaram uma família.

Conjectura de McKay

• A conjectura de McKay propõe o princípio de que, para compreender um objeto matemático complexo chamado grupo, basta observar apenas pequenas partes dele.
• Essa conjectura desempenha um papel importante para entender a estrutura dos grupos finitos.
• A ideia é que, por meio do normalizador de Sylow, um subconjunto específico de um grupo finito, é possível obter informações importantes sobre o grupo inteiro.

Avanços importantes

• Desde que foi proposta na década de 1970, muitos matemáticos tentaram provar a conjectura de McKay, mas uma prova completa era difícil.
• Após 20 anos de pesquisa, Späth e Cabanes conseguiram provar a conjectura.
• O resultado deles causou grande impacto na comunidade matemática, e colegas prestaram homenagem à conquista.

O poder dos números primos

• McKay defendia que, para compreender a estrutura de grupos finitos, era importante observar pequenos subconjuntos formados por números primos.
• O normalizador de Sylow desempenha um papel importante na compreensão da estrutura de grupos finitos, e McKay conjecturou que ele teria o mesmo papel no cálculo de quantidades importantes do grupo.

Um grande salto na teoria dos grupos

• O projeto de classificar todos os componentes dos grupos finitos levou mais de 100 anos e foi concluído em 2004.
• Essa classificação teve papel fundamental na prova da conjectura de McKay.
• Isaacs, Navarro e Malle reformularam a conjectura de McKay de uma nova maneira, abrindo caminho para resolver o problema.

A pesquisa de Späth e Cabanes

• Späth começou a estudar a conjectura de McKay sob orientação de Malle.
• Junto com Cabanes, ela conduziu pesquisas sobre grupos do tipo de Lie, e os dois acabaram provando a conjectura de McKay.
• Nesse processo, desenvolveram uma compreensão profunda dos grupos do tipo de Lie.

'Uma conquista monumental'

• Späth e Cabanes publicaram a prova da conjectura de McKay em 2023.
• O trabalho deles permitiu que matemáticos estudassem propriedades importantes dos grupos apenas por meio dos normalizadores de Sylow.
• Ainda assim, a razão para a estranha coincidência descoberta por McKay continua sendo um mistério.

Conclusão

• Späth e Cabanes estão buscando novos temas de pesquisa e têm dificuldade em encontrar um problema tão envolvente quanto a conjectura de McKay.

[GN⁺]

Opiniões do Hacker News

• Faz lembrar a Abstract Interpretation criada em conjunto pelo casal Patrick e Radhia Cousot. Essa técnica é útil, e cheguei a estudá-la em uma disciplina de verificação formal
• A frase "havia o risco de que se dedicar a um problema tão difícil prejudicasse sua carreira acadêmica, mas Späth dedicou todo o seu tempo a isso" parece estar em todos os artigos por um motivo. Ainda bem que existem pessoas tão obsessivas assim, e um brinde aos contrafactuais que não são mencionados
• Quando o casal anunciou o resultado, os colegas ficaram maravilhados. Persi Diaconis, da Stanford University, disse que "esperava que houvesse um desfile". Esse apoio positivo — "depois de anos de trabalho duro, ela conseguiu, eles conseguiram" — foi uma das coisas de que eu realmente gostei ao lidar com problemas de combinatória. Pessoas como Persi Diaconis e D.J.A. Welsh são muito gentis e fazem essa área parecer mais atraente
• A conjectura de McKay é a seguinte. Suponha que você esteja interessado em representar grupos por matrizes sobre os números complexos. Há várias maneiras de fazer isso, e cada uma tem um character, como uma impressão digital dessa representação. Por outro lado, sabe-se que todo grupo contém um grande subgrupo cuja ordem é uma potência de um primo. Vamos chamá-lo de P. Esse grupo tem um normalizador no qual P é normal. O surpreendente é que o número de characters de G é igual ao número de characters de N(P), embora N(P) seja uma parte menor de G
  • Observação técnica: em ambos os casos, excluem-se as representações cujo grau é múltiplo de p
• Ontem à noite comecei a ver "Prime Target" na Apple TV, e a premissa dessa história pareceu familiar. O protagonista fica obcecado por um problema sobre números primos. É uma história sem relação, mas fico curioso sobre o que esse casal pensa a respeito do uso de ferramentas de IA em problemas de matemática formal. Fico me perguntando se eles usaram ferramentas de IA nos últimos dois anos para resolver esse problema
• Artigo: link
• Por coincidência, eu estava lendo recentemente a parte sobre grupos do Infinite Napkin, depois de ela ter sido postada no HN. Entendo as definições e afins, mas ainda não consegui captar a importância central dos grupos. Por exemplo, o artigo diz que existem 50 grupos de ordem 72 (o chatGPT diz que há 50 grupos não abelianos e 5 abelianos). Isso parece ser um insight importante, mas fico me perguntando em relação a quê
• Uma dedicação impressionante. Gostei muito da história pessoal. Em STEM, nem sempre vemos esse tipo de história. Agora que o principal objetivo deles foi alcançado, espero que a relação deles lide bem com a nova realidade
• A prova deles: link (2024)
• Casais que fazem matemática juntos permanecem juntos