Co-Hopfianity is not a profinite property

Este artigo demonstra que a propriedade de ser co-Hopfiano não é preservada pelo completamento profinito, apresentando dois grupos finitamente gerados e residuais finitos com completamentos profinitos isomórfos, dos quais um é co-Hopfiano e o outro não, utilizando uma construção baseada no método de Rips de Wise.

O essencial

Imagine que você tem duas caixas de LEGO, a Caixa G e a Caixa H.

O objetivo deste artigo é provar algo surpreendente sobre como essas caixas são feitas. A ideia central gira em torno de uma pergunta: "Se eu olhar apenas para as peças soltas que saem dessas caixas (as 'pequenas cópias' ou quotientes finitos), consigo saber se a caixa inteira tem uma propriedade muito específica chamada Co-Hopfiana?"

A resposta dos autores, Hyungryul Baik e Wonyong Jang, é um sonoro NÃO.

Vamos desmontar isso usando analogias simples:

1. O que é "Co-Hopfiana"? (A Regra da Caixa Cheia)

Imagine que uma caixa de LEGO é Co-Hopfiana se ela for "cheia" de uma maneira especial: você não consegue pegar a caixa inteira, cortar uma parte dela e ainda ter uma cópia perfeita da caixa original dentro do pedaço que sobrou.

• Se é Co-Hopfiana: A caixa é única. Você não pode encaixá-la dentro de si mesma de forma que sobe espaço. Ela é "maximamente compacta".
• Se NÃO é Co-Hopfiana: A caixa tem um truque. Você consegue pegar a caixa inteira, transformá-la (girar, mudar as peças) e encaixá-la dentro de uma parte menor dela mesma, como uma boneca russa (Matrioshka) onde a caixa cabe dentro de uma versão menor de si mesma.

O artigo prova que a Caixa G é Co-Hopfiana (não cabe em si mesma), mas a Caixa H não é (cabe em si mesma).

2. O Mistério das "Caixas de Sombras" (Completamento Profinito)

Agora, imagine que você não pode ver as caixas inteiras. Você só pode ver as "sombras" ou "fotografias" que elas projetam quando passam por filtros de diferentes tamanhos (os quotientes finitos).

• A matemática chama isso de Completamento Profinito. É como se você olhasse para a caixa através de uma grade de peneiras cada vez mais fina.
• O grande segredo do artigo é que, embora a Caixa G e a Caixa H sejam feitas de formas completamente diferentes (uma cabe em si mesma, a outra não), quando você olha através dessas peneiras (seus completamentos profinitos), elas projetam sombras idênticas.

Se você só olhasse para as sombras, diria: "Ah, essas duas caixas são a mesma coisa!". Mas, ao olhar para a caixa inteira, você vê que uma tem um truque especial e a outra não.

3. Como eles construíram isso? (O Truque do Espelho)

Os autores usaram uma ferramenta matemática chamada "Construção de Rips" (uma espécie de máquina de criar grupos complexos a partir de outros) combinada com um grupo "fantasma" chamado U.

• O Grupo U (O Fantasma): É um grupo que, quando você tenta olhar para ele através das peneiras, ele some completamente (sua sombra é vazia). Ele é "acyclic" e tem uma propriedade universal: qualquer outro grupo pode caber dentro dele.
• A Caixa G: Eles pegaram o Grupo U e construíram a Caixa G ao redor dele. Graças a uma regra matemática (Teorema de Sela), essa caixa G é tão rígida e bem construída que ela não consegue caber dentro de si mesma. Ela é Co-Hopfiana.
• A Caixa H (O Irmão Gêmeo Trapaceiro): Aqui está a parte genial. Eles pegaram a Caixa G e cortaram um pedaço específico dela (chamado de pré-imagem de um subgrupo A).
  • Dentro do Grupo U (o fantasma), existe um truque: você pode pegar uma parte do grupo, girá-la e fazê-la caber dentro de uma parte menor dela mesma.
  • Como a Caixa H foi construída baseada nessa parte do Grupo U, ela herda esse truque. A Caixa H consegue se dobrar e caber dentro de si mesma. Ela não é Co-Hopfiana.

4. Por que isso importa?

Antes desse artigo, os matemáticos sabiam que muitas propriedades (como ser "abeliano" ou "nilpotente") eram visíveis apenas olhando para as sombras (os quotientes finitos). Se duas caixas tinham sombras iguais, elas tinham essas propriedades.

Mas propriedades geométricas e de "forma" (como ser livre de torção ou ter uma certa estrutura de árvore) já sabíamos que não eram visíveis apenas pelas sombras.

Este artigo fecha um buraco importante: A propriedade de "não caber em si mesma" (Co-Hopfianidade) também não é visível pelas sombras.

Resumo da Ópera

Imagine dois edifícios, o Edifício G e o Edifício H.

• Se você olhar para os planos de arquitetura de cada andar individualmente (os quotientes finitos), os dois edifícios são idênticos.
• Mas, se você entrar no Edifício G, verá que ele é sólido e não tem espaço para se dobrar sobre si mesmo.
• Se você entrar no Edifício H, verá que ele tem um corredor secreto que permite que o prédio inteiro se encaixe dentro de uma parte dele mesmo.

O artigo prova que, apenas olhando para os planos dos andares (a estrutura finita), você nunca saberia que um deles tem esse corredor secreto e o outro não. Portanto, a "Co-Hopfianidade" não é uma propriedade que pode ser detectada apenas olhando para as partes finitas de um grupo.

É como tentar adivinhar se um quebra-cabeça tem uma peça faltando olhando apenas para as caixas de plástico onde as peças são guardadas, sem olhar para as peças em si.

Resumo técnico

Resumo Técnico do Artigo

1. O Problema e o Contexto

O artigo aborda um tema central na teoria geométrica de grupos: a rigidez profinita. A questão fundamental é até que ponto a completude profinita ($\widehat{G}$) de um grupo $G$ determina as propriedades algébricas ou geométricas do próprio grupo.

• Uma propriedade $P$ é dita profinita se, para quaisquer dois grupos finitamente gerados e residuais finitos $G_1$ e $G_2$ com completudes profinitas isomórficas ($\widehat{G_1} \cong \widehat{G_2}$), $G_1$ possui $P$ se e somente se $G_2$ possui $P$.
• Embora propriedades como ser abeliano, nilpotente ou polycíclico sejam profinitas, muitas propriedades geométricas (como amenabilidade, propriedade (T) de Kazhdan, e ordemabilidade) não o são.
• O Problema Específico: O artigo investiga se a propriedade co-Hopfiana é uma propriedade profinita. Um grupo é co-Hopfiano se não contém nenhum subgrupo próprio isomorfo a si mesmo (ou seja, todo homomorfismo injetor de $G$ em $G$ é sobrejetor). Embora grupos residuais finitos finitamente gerados sejam sempre Hopfianos (devido a Mal'cev), a propriedade co-Hopfiana é mais delicada e não é garantida.

2. Metodologia e Construção

Os autores constroem dois grupos, $G$ e $H$, que satisfazem três condições simultâneas:

1. $\widehat{G} \cong \widehat{H}$ (possuem completudes profinitas isomórficas).
2. $G$ é co-Hopfiano.
3. $H$ não é co-Hopfiano.

A construção baseia-se em três pilares teóricos principais:

A. Construção de Rips Residualmente Finita (Wise):
Utilizam uma versão da construção de Rips modificada por Wise, que permite gerar um grupo hiperbólico $G$ a partir de um grupo finitamente apresentado $Q$, através de uma sequência exata curta:
$$1 \to K \to G \xrightarrow{\pi} Q \to 1$$
Onde $K$ é finitamente gerado, $G$ é hiperbólico, sem torção e residualmente finito.

B. O Grupo Universal Acíclico (Bridson):
Utilizam um grupo $U$ construído por Bridson com as seguintes propriedades críticas:

• $U$ é finitamente apresentado e acíclico (homologia trivial em graus $\ge 1$).
• $\widehat{U} = 1$ (sua completude profinita é trivial).
• $U$ possui uma propriedade de universalidade: todo grupo finitamente apresentado pode ser embutido em $U$.
• Escolhem $Q = U$ na construção de Rips. Pelo critério de Bridson-Grunewald, como $\widehat{U}=1$ e $H_2(U, \mathbb{Z})=0$, a inclusão do núcleo induz um isomorfismo $\widehat{K} \cong \widehat{G}$.

C. A Estratégia de Não-Co-Hopfianidade:
Para criar o grupo $H$, os autores exploram a estrutura interna de $U$:

1. Demonstram que existe um subgrupo $A < U$ e um elemento $t \in U$ tais que $A \cong U$ e $t^{-1}At \subsetneq A$ (um auto-embutimento próprio via conjugação).
2. Definem $H$ como o pré-imagem de $A$ sob o mapa $\pi$: $H := \pi^{-1}(A)$.
3. A conjugação por um levantamento de $t$ em $G$ induz um isomorfismo de $H$ para um subgrupo próprio de si mesmo, provando que $H$ não é co-Hopfiano.

3. Resultados Principais

Teorema Principal (Teorema 3.1):
Existem grupos finitamente gerados e residualmente finitos $G$ e $H$ tais que:

• $\widehat{G} \cong \widehat{H}$.
• $G$ é co-Hopfiano.
• $H$ não é co-Hopfiano.

Detalhes da Prova:

• Propriedade de $G$: O grupo $G$ é construído como um grupo hiperbólico sem torção e de uma única extremidade (one-ended). Pelo teorema de Z. Sela, todo grupo hiperbólico sem torção e de uma única extremidade é co-Hopfiano. A prova de que $G$ tem uma única extremidade utiliza o fato de que o núcleo $K$ é finitamente gerado e o quociente $U$ é infinito, impedindo que $G$ se decomponha como um produto livre não trivial.
• Propriedade de $H$: O grupo $H$ é definido como $\pi^{-1}(A)$. Como $A \cong U$, a completude profinita de $H$ é isomorfa à de $K$ (e portanto de $G$). No entanto, a estrutura de $H$ permite a existência de um subgrupo próprio isomorfo a $H$ via conjugação, violando a condição co-Hopfiana.
• Isomorfismo Profinito: A isomorfia $\widehat{G} \cong \widehat{H}$ é estabelecida mostrando que ambos são isomorfos a $\widehat{K}$, utilizando o fato de que os quocientes ($U$ e $A \cong U$) têm completude profinita trivial e homologia de segundo grau nula.

Resultado Secundário (Proposição 2.9):
Os autores também demonstram que a hiperbolicidade relativa toral não é uma propriedade profinita. O grupo $G$ é hiperbólico relativo toral, enquanto o núcleo $K$ da construção de Rips (com quociente $U$ infinito) não é finitamente apresentado e, portanto, não pode ser hiperbólico relativo toral, apesar de $\widehat{G} \cong \widehat{K}$.

4. Significado e Contribuições

• Resolução de uma Questão Aberta: O artigo estabelece definitivamente que a propriedade co-Hopfiana não é detectável pela completude profinita. Isso adiciona um novo exemplo importante à lista de propriedades geométricas e algébricas que não são "rigidas" no sentido profinito.
• Método de Construção Eficiente: A abordagem utiliza uma técnica elegante onde a não-co-Hopfianidade de $H$ é obtida imediatamente através de uma estrutura de pré-imagem conjugada, sem a necessidade de uma análise estrutural detalhada do núcleo da construção de Rips (o que seria tecnicamente complexo).
• Implicações para a Rigidez Profinita: O trabalho reforça a ideia de que, embora a completude profinita capture todas as informações sobre quocientes finitos, ela falha em capturar nuances estruturais profundas relacionadas à auto-embutibilidade de grupos infinitos.
• Contexto Geral: O resultado contrasta com casos onde a rigidez profinita se mantém (como em grupos especiais compactos virtuais), mostrando que a falha da rigidez ocorre mesmo em classes de grupos bem comportados como os hiperbólicos e residualmente finitos.

Em suma, o artigo demonstra que a "forma" de um grupo (sua estrutura interna de subgrupos próprios isomorfos) não é um invariante profinito, mesmo quando se restringe a grupos com propriedades geométricas fortes (hiperbolicidade) e boas propriedades de finitude (finitamente gerados e residualmente finitos).