Após 20 anos, casal de matemáticos resolve a conjectura de McKay na teoria dos grupos
(quantamagazine.org)- Britta Späth e Marc Cabanes concluíram a prova da conjectura de McKay, um grande problema em aberto da teoria dos grupos, ampliando o caminho para entender grupos finitos complexos por meio de subgrupos muito menores
- A conjectura parte de uma coincidência inesperada: um grupo finito e seu normalizador de Sylow têm exatamente o mesmo número de certas representações (representations)
- Após a conclusão da classificação dos grupos finitos em 2004, Isaacs, Navarro e Malle reduziram o problema a uma afirmação mais forte sobre um conjunto mais restrito de grupos; a última barreira eram os grupos de tipo Lie
- Späth e Cabanes trataram, uma a uma, as quatro categorias de grupos de tipo Lie e, depois de deixar apenas a última categoria em 2018, levaram mais 6 anos para verificar também as regras necessárias de correspondência entre representações
- Agora os matemáticos podem estudar propriedades importantes dos grupos por meio dos normalizadores de Sylow, mais fáceis de manejar, mas ainda não há explicação para por que um subconjunto pequeno contém tanta informação sobre o grupo maior
O que diz a conjectura de McKay
- A conjectura de McKay começou com uma coincidência numérica descoberta por John McKay na década de 1970
- O objeto em questão é um grupo finito (finite group), com um número finito de elementos
- Um grupo é um objeto abstrato que representa as simetrias de um sistema matemático
- À medida que o número de elementos cresce e a estrutura fica mais complexa, torna-se difícil estudar o todo diretamente
- McKay percebeu que seria possível obter informações importantes observando apenas uma pequena parte do grupo original
- Em especial, ele se concentrou no normalizador de Sylow, um grupo menor e especial dentro do grupo original
- O normalizador de Sylow pode conter apenas uma fração mínima dos elementos do grupo original, e sua estrutura também pode ser muito diferente da do grupo original
- O ponto central da conjectura é que o número de certos tipos de representações (representations) é exatamente o mesmo no grupo finito original e no normalizador de Sylow
- Uma representação é uma forma de reescrever os elementos de um grupo como matrizes
- Esse número é usado para entender como os elementos do grupo se relacionam entre si e para calcular outras propriedades importantes
Por que a coincidência é surpreendente
- A coincidência observada por McKay não é uma simples aproximação nem uma tendência, mas uma igualdade exata
- Por exemplo, um grupo com 72 elementos pode ser decomposto como 2³ × 3²
- É possível olhar para um subgrupo com 8 elementos ou para um subgrupo com 9 elementos
- Ao acrescentar certos elementos a eles, é possível formar o normalizador 2-Sylow e o normalizador 3-Sylow
- Não havia uma razão óbvia para que estruturas tão pequenas tivessem exatamente o mesmo número de representações que o grupo original inteiro
- Gabriel Navarro comparou isso a uma situação em que a proporção total de votos em uma eleição nos Estados Unidos e a proporção de votos em uma pequena cidade de Montana não fossem apenas “parecidas”, mas exatamente iguais
- Se a conjectura for verdadeira, os matemáticos podem estudar propriedades dos grupos por meio dos normalizadores de Sylow, mais fáceis de tratar, em vez de trabalhar com grupos finitos maiores
O teorema de classificação e a redução do problema
- O gigantesco projeto de classificar todos os blocos de construção dos grupos finitos durou mais de 100 anos e foi concluído em 2004
- Todos os blocos de construção pertencem a uma de três categorias ou a uma lista de 26 exceções
- Há muito tempo os matemáticos esperavam que essa classificação pudesse simplificar problemas como a conjectura de McKay
- Em 2004, Marty Isaacs, Gabriel Navarro e Gunter Malle encontraram uma forma de transformar a conjectura de McKay em uma afirmação mais forte sobre um conjunto mais restrito de grupos
- Além de exigir que o número de representações fosse igual, as representações teriam de corresponder umas às outras segundo regras específicas
- Se essa afirmação mais forte valesse para esses grupos, a conjectura de McKay para todos os grupos finitos decorreria disso
- Essa redução foi usada, nos anos seguintes, para resolver a maioria dos casos da conjectura de McKay
- O mesmo método também serve como modelo para reduzir outras conjecturas relacionadas, que estudam o todo por meio de uma parte em vez de analisar o objeto inteiro
Os grupos de tipo Lie, o último problema difícil
- Mesmo após a redução, uma classe, a dos grupos de tipo Lie (groups of Lie type), permaneceu em aberto
- Os grupos de tipo Lie são matematicamente importantes porque são os blocos de construção mais comuns de outros grupos, mas suas representações são muito difíceis de estudar
- Späth conheceu a conjectura de McKay em 2003, como doutoranda de Malle na University of Kassel
- Depois disso, estudou profundamente as representações de grupos e continuou impulsionando a conjectura
- Em 2010, Späth conheceu Cabanes na Paris Cité University
- Cabanes era especialista no conjunto restrito de grupos que está no centro da conjectura de McKay reduzida
- Os dois mergulharam juntos no problema, e Cabanes o chamou de “nossa obsessão”
- Os grupos de tipo Lie têm quatro categorias, e Späth e Cabanes passaram mais de 10 anos provando cada uma delas, uma após a outra
- Nesse processo, publicaram vários resultados importantes
- Eles trouxeram teorias difíceis de diferentes áreas da matemática e desenvolveram uma compreensão profunda dos grupos de tipo Lie
A prova final e as perguntas restantes
- Em 2018, restava apenas uma das quatro categorias de grupos de tipo Lie, e foram necessários mais 6 anos para resolver esse último caso
- Späth e Cabanes mostraram que, também na última categoria, o número de representações coincide com o do normalizador de Sylow e que as regras de correspondência entre representações necessárias também são satisfeitas
- Com a conclusão do último caso, toda a conjectura de McKay passou automaticamente a ser verdadeira
- Os dois apresentaram a prova em outubro de 2023, diante de mais de 100 matemáticos, e a publicaram online um ano depois
- Radha Kessar classificou o resultado como uma “conquista absolutamente deslumbrante”
- Agora os matemáticos podem estudar propriedades importantes dos grupos olhando apenas para o normalizador de Sylow
- É uma abordagem mais fácil do que trabalhar com o grupo original
- Também pode haver possibilidades de aplicação prática
- No entanto, permanece o mistério de por que um subconjunto pequeno fornece tanta informação sobre o grupo-pai maior
- Kessar disse que “deve haver uma razão estrutural para esses números serem iguais”
- Há algumas pesquisas preliminares, mas essa conexão ainda não é compreendida
- Späth e Cabanes estão procurando o próximo problema ao qual se dedicar
- Späth diz que nada ainda a cativou tanto quanto a conjectura de McKay
1 comentários
Opiniões no Hacker News
Acho que há um motivo para a frase “Havia o risco de que perseguir de forma tão obstinada um problema tão difícil prejudicasse sua carreira acadêmica, mas Späth mesmo assim dedicou todo o seu tempo a isso” aparecer em quase todas as matérias
Ainda bem que existem essas pessoas obstinadas, e também quero brindar às possibilidades contrafactuais que nem sequer são mencionadas
Não dá para seguir o paradigma e, ao mesmo tempo, mudá-lo. Acho que subestimar o papel dos azarões causa um grande prejuízo. Muitos fracassam, e provavelmente a maioria vai fracassar, mas, considerando o impacto, basta uma pequena porcentagem dar certo para valer a pena incentivar.
Só que, na prática, muitas vezes desencorajam ir contra a corrente, por motivos como medo do fracasso. Na pesquisa, a maioria das tentativas fracassa, mas o único fracasso real é aquele do qual não se aprende. Hoje é muito difícil publicar resultados negativos, o que reduz esse tipo de tentativa, e o sistema acaba incentivando pesquisas “seguras”, que por natureza só podem ser incrementais. E é irônico que, ao mesmo tempo, muitos artigos sejam rejeitados por “falta de novidade”
Os olhares de julgamento continuariam existindo, mas daria para ignorá-los. Pessoalmente, acho que o governo deveria apoiar mais pesquisa estilo moonshot, de alto risco e alto retorno, feita por indivíduos ou equipes pequenas. Ao distribuir entre muitas pessoas, a variabilidade diminui e podem surgir resultados. Mas o fluxo de financiamento de pesquisa nos EUA hoje parece estar indo exatamente na direção oposta, então não estou otimista
No fim deu certo, e sempre tive grande apreço pela diretoria que o apoiou
Nem todo mundo precisa dedicar a própria existência a maximizar oportunidades de carreira; é só deixar as pessoas em paz
Gostei do trecho: “Quando o casal anunciou o resultado, os colegas ficaram maravilhados. Persi Diaconis, da Stanford University, disse: ‘Eu queria que houvesse um desfile. Depois de anos de trabalho realmente, realmente, realmente difícil, ela conseguiu, eles conseguiram’”
Uma das coisas de que eu gostava ao trabalhar com problemas de combinatória era esse tipo de apoio positivo. Pessoas como Persi Diaconis e D.J.A. Welsh eram tão gentis que a área inteira parecia mais acolhedora
E essas ondas reverberam de volta em nós como felicidade, ou o contrário, dependendo de nossas intenções e ações
“Positive vibration, yeah.” --Bob Marley
Acho que a conjectura de McKay diz, grosso modo, o seguinte
Digamos que você queira representar um grupo por matrizes de números complexos. Normalmente há várias maneiras de fazer isso, e cada uma tem um caractere (character), como se fosse a impressão digital daquela representação
Por outro lado, sabe-se que todo grupo tem um grande subgrupo cujo tamanho é uma potência de algum número primo. Vamos chamá-lo de P. Esse grupo tem um normalizador no qual P é um subgrupo normal, chamado N(P)
O surpreendente é que o número de caracteres de G inteiro é igual ao número de caracteres de N(P), que é apenas uma pequena parte de G
Tecnicamente, nos dois casos são excluídas as representações cujo grau é múltiplo de p
É interessante que a conjectura tenha sido provada por análise caso a caso, e que cada caso tenha exigido técnicas diferentes
Quase parece coincidência que todos os grupos finitos tenham essa propriedade. Isso porque cada grupo tem a propriedade por “motivos” diferentes
Mas, segundo a matéria, agora os matemáticos estão procurando uma razão estrutural mais profunda para a conjectura ser verdadeira. Como já se sabe que o resultado é verdadeiro, mais matemáticos podem se dedicar seriamente a ele
É comum decompor em partes relacionadas e depois provar cada bloco. Algumas provas são simples, mas outras exigem técnicas muito mais avançadas e acabam permanecendo como problemas em aberto por anos
Artigo: https://arxiv.org/abs/2410.20392
Por coincidência, depois que isso apareceu recentemente no HN, eu estava lendo a seção sobre grupos do Infinite Napkin
Entendo as definições etc., mas ainda não tenho uma intuição de por que grupos são tão fundamentalmente importantes
Por exemplo, o artigo diz que há 50 grupos de ordem 72, e o ChatGPT diz que são 50 não abelianos e 5 abelianos, mas não sei que insight importante isso traz sobre alguma coisa
Grupos de ordem 72 são 44 não abelianos e 6 abelianos. Não acho que esses números específicos sejam superimportantes, mas os números em si são esses
Se há uma operação que deixa algum objeto inalterado — por exemplo, uma rotação que gira um triângulo equilátero de modo que um vértice vá para o lugar de outro — ela é reversível, e sua operação inversa também deixa o objeto inalterado. Essas operações, quando compostas, continuam preservando a invariância, e a função identidade sempre deixa tudo inalterado. Por isso, operações de simetria formam um grupo
O ponto um pouco mais sutil é que todo grupo é o conjunto de operações de simetria de alguma coisa. Assim, grupos capturam exatamente o conceito de simetria. Para um matemático, “grupo” e “simetria” são quase sinônimos
Grupos finitos são interessantes porque, como nas simetrias que trocam átomos de lugar em uma molécula, podem informar sobre estrutura molecular, níveis de energia, espectros e possibilidades de ligação; já grupos infinitos aparecem na física em situações como a de as leis físicas permanecerem as mesmas mesmo que se gire ou translade arbitrariamente o sistema de coordenadas. Simetria também surge como um modo de estudar outros objetos matemáticos, e matemáticos também querem saber como se parecem todos os grupos possíveis
Ninguém tenta necessariamente explicar por que os primos aparecem com aqueles espaçamentos; em vez disso, ao explicar algum fenômeno, aponta-se se algo específico é primo ou não
Por exemplo, há uma fórmula elegante para fatorar polinômios de 2º grau, isto é, a fórmula quadrática, e também há fórmulas para os de 3º e 4º graus, embora normalmente não nos façam decorá-las. Mas para o 5º grau não existe uma fórmula desse tipo. Matemáticos levaram tempo para provar que tal coisa não existe, mas a prova foi no sentido de que uma fórmula assim teria de ter por trás certos grupos finitos abaixo de determinado tamanho; ao listarmos esses grupos, não existe um grupo correspondente à fórmula do 5º grau, logo também não existe fórmula do 5º grau
Por isso, grupos são úteis como uma espécie de complexidade primordial à qual se pode fazer referência sem dar uma explicação detalhada. As propriedades dos grupos pequenos podem ser verificadas à mão e, quando se percebe, muita coisa forma um grupo se vista dessa forma
Por exemplo, o problema em questão é abeliano? Então ele necessariamente deve ter uma forma como X ou Y
A prova deles: https://arxiv.org/abs/2410.20392 (2024)
É uma dedicação realmente impressionante. Gostei especialmente da história pessoal no artigo, algo que nem sempre se vê em textos de STEM
Espero que a relação dos dois se adapte bem a essa nova realidade em que o objetivo principal foi alcançado
Mostrar apenas o resultado final faz parecer que foi fácil para eles, o que pode levar outras pessoas a desistirem até de tentar entender ou contribuir. Especialmente em matemática, as ideias em si deveriam ser simples. Afinal, não somos pessoas como Ramanujan, capazes de somar séries infinitas de cabeça. O problema é que essas ideias ficam escondidas atrás de inúmeros jargões simbólicos
Isso me lembra a interpretação abstrata criada em conjunto pelo casal Patrick Cousot e Radhia Cousot [1]
É uma técnica útil, e aprendi sobre ela em uma disciplina de verificação formal
[1] https://en.wikipedia.org/wiki/Abstract_interpretation
Artigo realmente excelente
Acabei pesquisando trabalhos relacionados por algumas horas, e entre eles havia trabalhos de John Conway
Para referência, meu nível de matemática é de BSEE. Mesmo assim, tenho um exemplar de The Algebraic Eigenvalue Problem, um dos livros de trabalho que professores universitários gostavam de consultar, e de vez em quando dou uma olhada rápida nele