Profinite isomorphisms, stable commutator length, and fixed point properties

Este artigo constrói pares de Grothendieck que demonstram que o comprimento de comutador estável, quasimorfismos, a propriedade NL e a propriedade FW$_\infty$ não são invariantes profinitos, utilizando construções de Rips combinadas com preenchimento de Dehn iterado em grupos hiperbólicos virtualmente especiais.

O essencial

Imagine que você tem dois grupos de pessoas (grupos matemáticos) que parecem ser exatamente iguais quando você olha apenas para as suas "fotos de perfil" ou "resumos" (chamados de completamentos profinitos). Na matemática, se dois grupos têm os mesmos "resumos" de todas as suas versões finitas, dizemos que eles são isomorfos profinitamente.

A grande pergunta que a matemática tenta responder é: Se os resumos são iguais, as pessoas dentro dos grupos são iguais? Ou seja, se um grupo tem uma certa "personalidade" ou "superpoder", o outro também tem?

O artigo de Francesco Fournier-Facio diz, com muita clareza: "Não necessariamente!".

O autor construiu um exemplo genial de dois grupos, vamos chamá-los de Grupo G (o grande) e Grupo N (o pequeno, que vive dentro do G). Eles são tão parecidos nos seus "resumos" que ninguém consegue diferenciá-los olhando apenas para as fotos. Mas, na vida real (na estrutura completa deles), eles são totalmente opostos.

Aqui está a explicação dos "superpoderes" que eles têm (ou não têm), usando analogias do dia a dia:

1. O Conceito de "Custo de Movimento" (Stable Commutator Length - scl)

Imagine que você está em uma cidade e quer ir do ponto A ao ponto B.

• No Grupo N: O "custo" para fazer qualquer movimento é zero. É como se o grupo fosse um lago calmo onde qualquer tentativa de criar um movimento complexo (uma "comutação") se dissipa instantaneamente. Não importa o quanto você tente, você não consegue criar um "desgaste" ou "cansaço" (quasimorfismos ilimitados).
• No Grupo G: O custo é infinito. É como um labirinto caótico onde você pode criar movimentos complexos infinitos, gerando um "cansaço" que nunca acaba.

A descoberta: O autor mostrou que, mesmo que os "resumos" digam que ambos são iguais, o Grupo N é um lago calmo e o Grupo G é um furacão. Isso responde a uma pergunta antiga: "O 'cansaço' matemático é algo que podemos ver apenas olhando para as fotos?" A resposta é não.

2. A Capacidade de "Andar" (Propriedades de Ponto Fixo)

Imagine que esses grupos são exploradores tentando caminhar em diferentes terrenos.

• Propriedade NL (Sem Loxodromias): Significa que o grupo não consegue "andar" em um terreno hiperbólico (como uma sela de cavalo infinita) de forma que alguém se afaste para sempre.
  • Grupo N: É como um grupo de pessoas que, não importa para onde tentem andar, sempre acabam voltando para o mesmo lugar ou dando voltas em círculos. Eles estão "presos".
  • Grupo G: É um grupo de exploradores ágeis que consegue caminhar infinitamente em uma direção, explorando o terreno hiperbólico sem parar.
• Propriedade FW8 (Cubos): Imagine um labirinto feito de cubos (como um cubo mágico gigante).
  • Grupo N: Se você tentar fazer esse grupo se mover nesse labirinto, eles sempre acabam parando em um ponto central. Eles têm um "ponto de ancoragem" global. Eles não conseguem escapar.
  • Grupo G: Eles conseguem se mover pelo labirinto sem nunca precisar parar em um ponto fixo.

A descoberta: O Grupo N é "preguiçoso" e preso ao centro, enquanto o Grupo G é "ativo" e livre. Mas, novamente, se você olhar apenas para as "fotos" (os quocientes finitos), você não consegue ver essa diferença.

3. A Existência de "Subgrupos Livres"

• Grupo N: Não consegue formar um "time livre" (um subgrupo não abeliano livre). É como se, dentro desse grupo, fosse impossível ter dois membros que não se influenciassem mutuamente; eles sempre têm que cooperar de forma rígida.
• Grupo G: Consegue formar times livres e independentes.

Como eles fizeram isso? (A Receita do Chef)

O autor usou uma técnica culinária matemática muito sofisticada, misturando duas ideias:

1. Construção de Rips: Pegar um grupo "selvagem" e colocar dentro de uma "caixa" controlada.
2. Preenchimento Dehn Iterado: Imagine que você tem um balão (o grupo) e está injetando ar (relações) nele, mas de uma forma muito específica. A cada etapa, ele "aperta" o balão, forçando certas partes a se comportarem de maneira mais rígida, enquanto mantém a estrutura externa (as fotos) intacta.

Ele fez isso repetidamente, como se estivesse refinando um diamante, até que o "interior" (o Grupo N) se tornasse tão rígido e calmo que perdeu todos os seus "superpoderes" de movimento, enquanto o "exterior" (o Grupo G) manteve sua natureza caótica e livre.

Por que isso importa?

Por muito tempo, os matemáticos acharam que, se dois grupos fossem indistinguíveis pelos seus "resumos" finitos, eles deveriam ser idênticos em tudo. Este artigo é como um truque de mágica que mostra que a aparência engana.

Você pode ter dois objetos que parecem idênticos sob uma lupa de baixa resolução (os quocientes finitos), mas quando você olha de perto (a estrutura completa), um é feito de água e o outro de aço. Isso muda a forma como entendemos a rigidez e a identidade dos grupos matemáticos.

Em resumo: O autor provou que você não pode confiar apenas nas "fotos de perfil" para saber se um grupo matemático é capaz de se mover livremente, se é "cansado" ou se tem liberdade interna. A verdadeira natureza de um grupo é mais profunda do que seus resumos sugerem.

Resumo técnico

Resumo Técnico: Isomorfismos Profinitos, Comprimento de Comutador Estável e Propriedades de Ponto Fixo

1. Problema e Contexto

O artigo aborda o problema da rigidez profinita na teoria de grupos. A questão central é: até que ponto as propriedades de um grupo finitamente gerado e residualmente finito $G$ podem ser detectadas pelo seu completamento profinito $\hat{G}$ (ou, equivalentemente, pelo conjunto de seus quocientes finitos)?

Uma propriedade $P$ é chamada de invariante profinita se, para quaisquer dois grupos finitamente gerados e residualmente finitos $G$ e $H$ com $\hat{G} \cong \hat{H}$, $G$ possui $P$ se e somente se $H$ possui $P$. Embora existam resultados positivos para certas classes de grupos, a maioria das propriedades conhecidas (como a propriedade (T), amenabilidade, separabilidade de conjugação, etc.) já foi demonstrada como não sendo um invariante profinito.

O objetivo deste trabalho é demonstrar que várias propriedades geométricas e algébricas importantes não são invariantes profinitos, especificamente:

• O comprimento de comutador estável (scl) e a existência de quasimorfismos ilimitados.
• A Propriedade NL (No Loxodromics - ausência de elementos loxodrômicos em ações em espaços hiperbólicos).
• A Propriedade FW8 (ponto fixo global em ações em complexos cúbicos CAT(0) de dimensão finita).
• A existência de subgrupos livres não abelianos.

2. Metodologia

O autor constrói um par de Grothendieck $(N, G)$, onde $N$ é um subgrupo normal finitamente gerado de $G$, tal que a inclusão $N \hookrightarrow G$ induz um isomorfismo entre seus completamentos profinitos ($\hat{N} \cong \hat{G}$), mas $N$ e $G$ possuem propriedades radicalmente diferentes.

A construção combina duas técnicas principais:

1. Construção de Rips (Versão Flexível): Utiliza-se uma versão da construção de Rips (adaptada por Arenas) para obter uma sequência exata curta $1 \to N_0 \to G_0 \to Q \to 1$, onde$G_0$é um grupo hiperbólico virtualmente especial (e, portanto, residualmente finito) e$N_0$é um subgrupo normal. O grupo quociente$Q$ é escolhido para ser o Grupo de Higman, que não possui quocientes finitos não triviais e possui um espaço infinito-dimensional de quasimorfismos homogêneos.
2. Preenchimento de Dehn Grupal Iterado (Iterated Group-theoretic Dehn Filling): Para "corrigir" as propriedades indesejadas de $N_0$ (que inicialmente herda propriedades de $G_0$, como ter muitos quasimorfismos), o autor aplica um processo iterativo de preenchimento de Dehn em grupos hiperbólicos virtualmente especiais.
   • Em cada passo da iteração, adicionam-se relações de pequeno cancelamento (small cancellation) ao subgrupo normal $N_i$ para reduzir o comprimento de comutador estável de elementos específicos e eliminar subgrupos livres.
   • O Teorema do Quociente Especial Malnormal (Malnormal Special Quotient Theorem) de Agol-Groves-Manning é utilizado para garantir que os grupos quocientes $G_i$ resultantes permaneçam hiperbólicos e virtualmente especiais (mantendo a residual finitude).
   • O processo é realizado dentro de subgrupos de índice finito para preservar a isomorfia dos completamentos profinitos no limite.

No limite, obtém-se uma sequência exata $1 \to N_\infty \to G_\infty \to Q \to 1$, onde$N_\infty$e$G_\infty$ são os grupos finais.

3. Principais Resultados

O Teorema Principal estabelece a existência de um grupo $G_\infty$ e um subgrupo normal $N_\infty$ com as seguintes características:

• Isomorfismo Profinito: A inclusão $N_\infty \hookrightarrow G_\infty$ induz um isomorfismo $\hat{N}_\infty \cong \hat{G}_\infty$.
• Propriedades de $N_\infty$ (O subgrupo "rígido"):
  • scl nulo: O comprimento de comutador estável de todo elemento é zero ($\text{scl}(g) = 0$).
  • Sem quasimorfismos ilimitados: Todo quasimorfismo em $N_\infty$ é limitado.
  • Sem subgrupos livres não abelianos: $N_\infty$ não contém cópias de $F_2$.
  • Propriedade NL: Não admite ações com elementos loxodrômicos em espaços hiperbólicos.
  • Propriedade FW8: Toda ação em um complexo cúbico CAT(0) de dimensão finita possui um ponto fixo global.
  • Perfeito: $N_\infty$ é perfeito (igual ao seu subgrupo derivado) e não admite homomorfismos virtuais para $\mathbb{Z}$.
• Propriedades de $G_\infty$ (O grupo "flexível"):
  • scl ilimitado: Possui comprimento de comutador estável ilimitado.
  • Quasimorfismos: Possui um espaço infinito-dimensional de quasimorfismos homogêneos (fatorando através de $Q$).
  • Ações: Admite uma ação de tipo geral em uma árvore (o que implica a existência de elementos loxodrômicos e ausência de ponto fixo global em certas ações).

4. Contribuições Específicas e Significância

1. Resposta a uma Questão Aberta: O trabalho responde afirmativamente a uma pergunta de Echtler e Kammeyer [EK24], provando que a existência de quasimorfismos ilimitados (e a anulação do scl) não é um invariante profinito.
2. Novos Exemplos de Falta de Rigidez:
   • Demonstra que a Propriedade NL e a Propriedade FW8 não são invariantes profinitos. Isso é significativo porque essas propriedades são obstáculos fortes para ações em espaços hiperbólicos e complexos cúbicos.
   • Reforça o fato de que a existência de subgrupos livres não abelianos não é um invariante profinito. Diferente de exemplos anteriores (como os de [KS23] que usavam grupos amenáveis), o subgrupo $N_\infty$ construído aqui pode ser escolhido para ser não amenável, o que torna o contraexemplo muito mais forte e surpreendente.
3. Flexibilidade do Método: O autor demonstra que a técnica de preenchimento de Dehn iterado em grupos virtuais especiais é extremamente flexível. Ela permite impor múltiplas propriedades algébricas e geométricas simultaneamente (como perfeição, ausência de subgrupos livres, e controle de cohomologia) enquanto mantém a isomorfia profinita.
4. Distinção de Resultados Anteriores:
   • O resultado sobre a cohomologia limitada de segunda ordem ($H^2_b$) é independente do trabalho de [EK24]. Enquanto [EK24] mostrou que a dimensão de $H^2_b$ não é invariante usando reticulados de Lie, este artigo mostra que a existência de quasimorfismos ilimitados (que implica $H^2_b$ não trivial) não é invariante, mesmo em grupos que não são reticulados de Lie.
   • O trabalho melhora resultados anteriores sobre a Propriedade FA (ponto fixo em árvores), estendendo a falta de invariância para ações em espaços CAT(0) de dimensão finita (Propriedade FW8).

5. Conclusão

O artigo fornece uma construção robusta de pares de Grothendieck que separam propriedades geométricas profundas (como a dinâmica em espaços hiperbólicos e a estrutura de quasimorfismos) da estrutura profinita. Isso demonstra que o completamento profinito de um grupo não captura informações suficientes para determinar se o grupo possui ou não subgrupos livres, se admite ações loxodrômicas, ou se possui quasimorfismos ilimitados, mesmo quando o grupo é residualmente finito e hiperbólico. A metodologia desenvolvida abre caminho para futuras investigações sobre a rigidez profinita de outras propriedades em teoria geométrica de grupos.