Unsolved Problems in Group Theory. The Kourovka Notebook

O "Caderno de Kourovka" é uma coleção de problemas em aberto na teoria dos grupos, proposta por matemáticos de todo o mundo e publicada periodicamente desde 1965, com esta 21ª edição apresentando 150 novos problemas e comentários sobre edições anteriores.

O essencial

Imagine que a matemática é uma cidade gigante e cheia de mistérios. Dentro dessa cidade, existe um bairro muito especial chamado Teoria dos Grupos. É o lugar onde os matemáticos estudam como as coisas se organizam, se misturam e se transformam, seguindo regras de simetria e estrutura.

O documento que você enviou é o "Caderno Kourovka" (Kourovka Notebook), edição número 21, publicada em 2026. Para entender o que é isso, vamos usar algumas analogias:

1. O Que é o "Caderno Kourovka"?

Pense no Caderno Kourovka como um gigantesco "Quadro de Problemas" ou um "Tabuleiro de Jogo" que existe há mais de 60 anos.

• A Origem: Tudo começou em 1965, numa pequena vila chamada Kourovka, na Rússia. Um grupo de matemáticos se reuniu e decidiu: "Vamos escrever tudo o que ainda não sabemos sobre grupos".
• O Objetivo: É como uma lista de "missões" para os exploradores da matemática. Cada problema é um tesouro escondido que ninguém ainda encontrou.
• A Atualização: A cada 2 ou 4 anos, eles atualizam o caderno. Eles adicionam novos mistérios, mas também marcam quais dos antigos já foram resolvidos. É como um jogo de "Caça ao Tesouro" que dura gerações.

2. O Que Está Dentro Desse Caderno?

O documento que você tem em mãos é a 21ª edição. Ele contém:

• 150 Novos Mistérios: Problemas que ninguém conseguiu resolver até agora.
• Histórico: Ele lista problemas de 1965 até hoje. É como ver a evolução de um jogo de xadrez ao longo de 60 anos.
• Soluções: Para muitos problemas antigos, eles escrevem: "Resolvido!". E dão o nome de quem descobriu a resposta e onde está a prova.
• Comentários: Às vezes, a resposta não é um simples "sim" ou "não". Pode ser: "Isso só é verdade se usarmos uma regra muito específica chamada CFSG" (que é como uma "regra do jogo" complexa que envolve a classificação de todos os tipos de blocos básicos da matemática).

3. Exemplos dos Tipos de Problemas (Traduzidos para o Dia a Dia)

Os problemas parecem difíceis, mas podemos imaginá-los como quebra-cabeças do cotidiano:

• O Problema do "Cofre Inquebrável": Alguns problemas perguntam se é possível criar um grupo (uma estrutura matemática) que tenha certas propriedades, mas que, ao mesmo tempo, não tenha outras. É como tentar construir uma casa que seja feita inteiramente de vidro, mas que não quebre se você bater nela.
• O Problema da "Fita Infinita": Outros problemas perguntam se você pode organizar uma fita infinita de maneira que ela nunca se repita, mas siga um padrão. É como tentar criar uma música que nunca termine e nunca repita a mesma nota, mas que ainda soe harmoniosa.
• O Problema do "Espelho Quebrado": Alguns problemas tratam de simetria. Se você quebrar um espelho de um jeito específico, as peças ainda formam um padrão? Os matemáticos querem saber se certas estruturas matemáticas podem ser "quebradas" e ainda manterem sua essência.

4. Por Que Isso Importa?

Você pode estar pensando: "Mas isso é só matemática abstrata, para que serve?"

• A Base de Tudo: A Teoria dos Grupos é a linguagem da simetria. Ela está por trás de tudo: desde como os átomos se juntam para formar moléculas, até como os códigos de segurança do seu celular funcionam, e até como os físicos entendem o universo.
• Treino Mental: Resolver esses problemas é como ir para a academia do cérebro. Mesmo que a resposta de um problema específico não seja usada amanhã, o processo de tentar resolvê-lo cria novas ferramentas e ideias que podem salvar vidas ou criar tecnologias no futuro.
• Comunidade Global: O caderno mostra que a ciência é um esforço coletivo. Mais de 500 pessoas de todo o mundo contribuem. É como uma corrida de revezamento onde cada matemático corre um trecho e passa o bastão para o próximo.

5. O Resumo da Edição de 2026

Nesta edição específica (2026):

• Eles celebram que mais de 3/4 dos problemas antigos já foram resolvidos. Isso mostra que a humanidade está avançando e desvendando os segredos do universo matemático.
• Eles introduzem 150 novos desafios para a próxima geração de matemáticos.
• Eles corrigem erros antigos e atualizam as regras do jogo.

Conclusão

O Caderno Kourovka é um monumento à curiosidade humana. É um livro de "O que ainda não sabemos" que nos lembra que, mesmo depois de 60 anos de estudo, ainda há mistérios incríveis esperando para serem descobertos. É um convite para qualquer pessoa, de qualquer lugar, tentar encontrar a próxima peça desse quebra-cabeça gigante.

Em resumo: É a lista de tarefas mais famosa e duradoura da matemática, onde cada item resolvido é uma vitória para a humanidade.

Resumo técnico

Resumo Técnico Detalhado: "Kourovka Notebook" – Problemas Não Resolvidos na Teoria dos Grupos (21ª Edição, 2026)

1. Introdução e Contexto
O documento apresentado é a 21ª edição da "Kourovka Notebook" (Caderno de Kourovka), uma coleção seminal de problemas não resolvidos na teoria dos grupos e campos relacionados da matemática. Publicados pela Academia Russa de Ciências (Ramo Siberiano), Instituto de Matemática Sobolev, esta edição é editada por E. I. Khukhro e V. D. Mazurov e datada de 2026.

A obra não é um artigo de pesquisa tradicional com uma única hipótese a ser provada, mas sim um catálogo dinâmico e histórico que serve como principal meio de comunicação para pesquisadores em teoria dos grupos. A ideia original foi proposta por M. I. Kargapolov em 1965. Desde então, a coleção tem sido atualizada a cada 2-4 anos, incorporando novos problemas, comentários sobre problemas resolvidos e correções.

2. O Problema Central e o Escopo
O "problema" central abordado pelo documento é a organização e o estado da arte da pesquisa em teoria dos grupos. O caderno visa:

• Listar questões abertas fundamentais que definem os limites do conhecimento atual.
• Fornecer um histórico de progresso, indicando quais problemas foram resolvidos desde a última edição (2022).
• Manter a comunidade científica atualizada sobre conjecturas, contra-exemplos e novos campos de investigação.

A edição de 2026 contém 150 novos problemas, além de comentários atualizados para problemas anteriores. O escopo é vasto, cobrindo desde grupos finitos e infinitos, grupos de Lie, álgebras de Lie, teoria de representações, grupos topológicos, lógica matemática (teoria de modelos de grupos), até interseções com combinatória e geometria.

3. Metodologia e Estrutura
A metodologia do documento é compilatória e curatorial:

• Cronologia Histórica: Os problemas são organizados por edição, começando pela 1ª edição (1965) até a 21ª (2026). Isso permite rastrear a evolução de questões específicas ao longo de 60 anos.
• Classificação por Tópico: Os problemas cobrem áreas como:
  • Grupos Finitos (grupos simples, teoria de blocos, caracteres).
  • Grupos Infinitos (grupos de Burnside, grupos hiperbólicos, grupos de crescimento intermediário).
  • Grupos Topológicos e Algébricos.
  • Teoria de Modelos e Lógica (decidibilidade, teorias elementares).
  • Álgebras de Grupos e Representações.
• Atualização de Status: Cada problema é acompanhado de comentários que indicam seu status atual:
  • Resolvido: Com referência à publicação que contém a solução.
  • Parcialmente Resolvido: Com menção a avanços recentes.
  • Aberto: Ainda sem solução conhecida.
  • Mod CFSG: Indica que a solução depende da Classificação dos Grupos Simples Finitos (CFSG).
• Arquivo de Problemas Resolvidos: Uma seção dedicada lista todos os problemas que foram resolvidos até a data da edição anterior (2022), com referências bibliográficas detalhadas.

4. Contribuições Chave e Destaques da Edição 2026
A principal contribuição desta edição é a atualização do estado da arte com base em pesquisas publicadas entre 2022 e 2026. Alguns destaques técnicos incluem:

• Novos Problemas (Seção 21):

  • Teoria de Grupos Finitos: Questões sobre a estrutura de grupos simples, subgrupos de Hall, e propriedades de caracteres (ex: Problemas 21.2, 21.25, 21.79).
  • Grupos de Burnside e Exponente: Novas questões sobre a finitude e estrutura de grupos de Burnside e suas propriedades de crescimento (ex: Problemas 21.70, 21.72).
  • Grupos de Artin e Braid: Problemas sobre linearidade, separabilidade de conjugação e ações em árvores (ex: Problemas 21.16, 21.108).
  • Teoria de Modelos e Decidibilidade: Questões sobre a decidibilidade de teorias elementares de grupos livres e metabelianos (ex: Problemas 21.117, 21.120).
  • Grupos Topológicos e Locais Compactos: Problemas sobre a estrutura de grupos tdlc (totalmente desconectados e localmente compactos) e suas propriedades de cohomologia (ex: Problemas 21.33, 21.37).

• Atualizações de Problemas Anteriores (Soluções Recentes):

  • Muitos problemas marcados com um asterisco (*) na seção de "Novos Problemas" ou nos comentários de edições anteriores já possuem soluções publicadas em 2024 e 2025.
  • Exemplo: O Problema 19.102 (sobre subgrupos inertes e comprimidos em grupos livres) foi resolvido por A. Jaikin-Zapirain em 2024.
  • Exemplo: O Problema 20.121 (sobre subgrupos minimais em grupos quase simples) foi resolvido por T. C. Burness e H. Y. Huang em 2025.
  • A edição destaca a resolução de conjecturas sobre a propriedade de Noetheriana de Equações em grupos hiperbólicos e a decidibilidade de problemas de palavra em certas classes de grupos.

• Influência da CFSG: O documento continua a ser um ponto de referência para distinguir resultados que dependem da Classificação dos Grupos Simples Finitos (CFSG) daqueles que possuem provas independentes, uma distinção crucial na teoria moderna de grupos finitos.

5. Resultados e Significância

• Bússola de Pesquisa: O "Kourovka Notebook" funciona como o mapa mais importante para pesquisadores em teoria dos grupos. A identificação de quais problemas permanecem abertos após 60 anos de pesquisa direciona os esforços da comunidade matemática global.
• História Viva da Matemática: Ao listar problemas desde 1965, o documento documenta a evolução de técnicas matemáticas, desde a álgebra clássica até o uso intensivo de computação, teoria de modelos e geometria de grupos.
• Interdisciplinaridade: A edição de 2026 reforça a conexão entre a teoria dos grupos e outras áreas, como teoria dos números (grupos de Galois), geometria (grupos hiperbólicos e ações em árvores), e física teórica (grupos de simetria e álgebras de Lie).
• Comunidade Global: Com problemas propostos por mais de 500 autores de todo o mundo, o caderno reflete a natureza colaborativa e internacional da pesquisa matemática moderna.

Conclusão
A 21ª edição da "Kourovka Notebook" não é apenas uma lista de perguntas, mas um documento vivo que define o futuro da teoria dos grupos. Ela celebra as conquistas recentes (com centenas de problemas resolvidos desde a primeira edição) e desafia a próxima geração de matemáticos a resolver os problemas mais profundos e persistentes da área. A sua existência contínua e a sua atualização regular são fundamentais para o avanço da matemática pura, servindo como um padrão ouro para a identificação de problemas não resolvidos.