Co-Hopfianity is not a profinite property

Este artículo demuestra que la propiedad de ser co-Hopfiano no es invariante bajo completación profinita, exhibiendo dos grupos finitamente generados y residualmente finitos con completaciones profinitas isomorfas, donde uno es co-Hopfiano y el otro no, mediante una construcción basada en la versión residualmente finita del método de Rips de Wise.

Lo esencial

¡Claro que sí! Imagina que este artículo es como una historia de detectives matemáticos que intentan resolver un misterio sobre la "identidad" de los grupos (estructuras matemáticas abstractas).

Aquí tienes la explicación en español, usando analogías sencillas:

🕵️‍♂️ El Gran Misterio: ¿La huella dactilar define a la persona?

En matemáticas, los investigadores estudian grupos (colecciones de objetos que se pueden combinar de ciertas reglas). A veces, para entender un grupo, no lo miramos directamente, sino que miramos todas sus "versiones pequeñas" o "finales" (sus cocientes finitos). A esto se le llama completación profínita.

Piensa en la completación profínita como una huella dactilar o un retrato borroso de un grupo. Si dos grupos tienen la misma huella dactilar (la misma completación profínita), los matemáticos se preguntan: "¿Significa esto que son exactamente el mismo grupo en todos sus detalles?"

Si una propiedad (como ser "co-Hopfiano") se mantiene siempre que la huella dactilar sea la misma, decimos que es una propiedad profínita. Es decir, si la huella dactilar es idéntica, la "personalidad" del grupo debe ser idéntica.

🧩 El Problema: ¿Qué es "Co-Hopfiano"?

Para entender el truco, primero definamos qué significa ser co-Hopfiano:

• Imagina un grupo como una caja de herramientas.
• Un grupo es co-Hopfiano si es "rígido" o "completo". No puedes tomar una parte de la caja (un subgrupo) y encontrar que esa parte es idéntica a toda la caja original. Es como intentar meter una caja grande dentro de una caja más pequeña que es idéntica a la grande; es imposible.
• Un grupo NO co-Hopfiano es como una caja mágica que puede contener una copia exacta de sí misma dentro de sí misma, pero dejando espacio vacío. Es decir, puedes encontrar una "versión más pequeña" dentro de la caja que es idéntica a la caja entera.

🏗️ La Construcción: Los Gemelos Separados

Los autores, Baik y Jang, construyen dos grupos, llamémoslos G y H.

1. El Grupo G (El Rígido):

   • Construyen un grupo gigante y complejo usando una técnica especial (la construcción de Rips).
   • Este grupo G es como una caja de herramientas perfecta: es co-Hopfiano. No tiene copias de sí mismo dentro de sí mismo. Es "uno solo".

2. El Grupo H (El Flexible):

   • Ahora, toman el mismo grupo G y cortan una pieza específica para crear H.
   • La magia está en cómo cortan: eligen una parte que, si la giras o la mueves un poco (conjugación), se convierte en una versión más pequeña de sí misma.
   • Resultado: H es NO co-Hopfiano. Dentro de H, hay un subgrupo que es idéntico a H, pero es más pequeño.

🪞 El Truco de Magia: ¿Tienen la misma huella dactilar?

Aquí viene lo sorprendente. A pesar de que G es rígido y H es flexible (y por tanto, tienen "personalidades" matemáticas diferentes), los autores demuestran que:

La huella dactilar de G es idéntica a la huella dactilar de H.

¿Cómo es posible?
Usan un grupo especial llamado U (un grupo "fantasma" o "cíclico" que no deja rastro en las huellas dactilares).

• Construyen G para que sea una versión "estirada" de U.
• Construyen H para que sea otra versión "estirada" de U, pero cortada de forma diferente.
• Como el grupo U es tan especial que su huella dactilar es "vacía" (trivial), al mirar las huellas dactilares de G y H, ambas parecen exactamente iguales.

🎯 La Conclusión: ¡El Misterio Resuelto!

El artículo demuestra que la propiedad de ser "co-Hopfiano" NO es una propiedad profínita.

La analogía final:
Imagina que tienes dos personas, Juan y Pedro.

• Juan es una persona que nunca puede ser reemplazada por una versión más pequeña de sí mismo (es co-Hopfiano).
• Pedro es una persona que sí puede ser reemplazada por una versión más pequeña de sí mismo (no es co-Hopfiano).
• Sin embargo, si solo miras sus huellas dactilares (su completación profínita), ¡son idénticas!

Esto significa que las huellas dactilares no cuentan toda la historia. No puedes saber si una persona es "rígida" o "flexible" solo mirando su huella dactilar; necesitas verla en acción (su estructura interna).

💡 ¿Por qué importa esto?

Antes de este trabajo, los matemáticos sabían que algunas cosas (como ser abeliano) se podían deducir de la huella dactilar. Pero ahora sabemos que propiedades más complejas y sutiles, como la "co-Hopficidad", no se pueden deducir solo de las huellas dactilares. Es una prueba de que la identidad de un grupo es más profunda y misteriosa de lo que pensábamos.

En resumen: Los autores crearon dos grupos gemelos en sus "huellas dactilares" pero con personalidades opuestas, demostrando que la huella dactilar no lo dice todo.

Resumen técnico

A continuación presento un resumen técnico detallado del artículo "CO-HOPFIANITY IS NOT A PROFINITE PROPERTY" (La propiedad co-Hopfiana no es una propiedad profinita), escrito por Hyungryul Baik y Wonyong Jang.

1. El Problema y el Contexto

En la teoría de grupos geométrica, un tema central es la clasificación de grupos finitamente generados y residualmente finitos mediante sus completaciones profinitas ($\hat{\Gamma}$). Dado que la completación profinita codifica todos los cocientes finitos de un grupo, surge la pregunta fundamental: ¿hasta qué punto $\hat{\Gamma}$ determina las propiedades algebraicas o geométricas del grupo original $\Gamma$?

Una propiedad $P$ se denomina propiedad profinita si, para dos grupos finitamente generados y residualmente fintos $G_1$ y $G_2$ con $\hat{G}_1 \cong \hat{G}_2$, se cumple que $G_1$ tiene la propiedad $P$ si y solo si $G_2$ la tiene.

El artículo se centra en la propiedad co-Hopfiana. Un grupo es co-Hopfiano si no contiene ningún subgrupo propio isomorfo a sí mismo (es decir, todo endomorfismo inyectivo es sobreyectivo). Aunque se sabe que los grupos finitamente generados y residualmente finitos son Hopfianos (todo endomorfismo sobreyectivo es inyectivo), la propiedad co-Hopfiana es más delicada. El objetivo del trabajo es demostrar que la co-Hopfianidad no es una propiedad profinita, es decir, existen dos grupos con completaciones profinitas isomorfas donde uno es co-Hopfiano y el otro no.

2. Metodología y Herramientas Constructivas

La construcción de los contraejemplos ($G$ y $H$) se basa en una combinación sofisticada de tres herramientas principales:

1. Construcción de Rips (Versión Residualmente Finita de Wise):
   Se utiliza una variante de la construcción de Rips que garantiza que el grupo resultante sea hiperbólico, sin torsión y residualmente finito. Para cualquier grupo finitamente presentado $Q$, existe una sucesión exacta corta:
   $$1 \to K \to G \xrightarrow{\pi} Q \to 1$$
   donde $K$ es finitamente generado (generado por 3 elementos) y $G$ posee las propiedades mencionadas.

2. El Grupo Universal Acíclico de Bridson:
   Se emplea un grupo $U$ construido por Bridson, que posee las siguientes propiedades críticas:

   • Es finitamente presentado.
   • Es acíclico ($H_i(U, \mathbb{Z}) = 0$ para todo $i \geq 1$).
   • Tiene completación profinita trivial ($\hat{U} = 1$).
   • Tiene una propiedad de universalidad: todo grupo finitamente presentado se incrusta en $U$.

3. Criterio de Isomorfismo de Completaciones (Bridson-Grunewald):
   Se utiliza un lema que establece que si $1 \to N \to G \to Q \to 1$es una sucesión exacta con$Q$finitamente presentado, entonces la inclusión induce un isomorfismo$\hat{N} \cong \hat{G}$si y solo si$\hat{Q} = 1$y$H_2(Q, \mathbb{Z}) = 0$. Dado que$U$ es acíclico, cumple ambas condiciones.

3. Construcción de los Grupos $G$ y $H$

El Grupo $G$ (Co-Hopfiano)

• Se aplica la construcción de Rips con $Q = U$, obteniendo $1 \to K \to G \to U \to 1$.
• Propiedades: $G$ es hiperbólico, sin torsión y residualmente finito.
• Demostración de Co-Hopfianidad:
  • Por el teorema de Sela, todo grupo hiperbólico sin torsión y de un solo extremo (one-ended) es co-Hopfiano.
  • Se prueba que $G$ es de un solo extremo. Si no lo fuera, por el teorema de Stallings, $G$ se descompondría en un producto libre no trivial. Sin embargo, $K$ es un subgrupo normal finitamente generado no trivial; en un producto libre no trivial, tal subgrupo tendría índice finito, lo que implicaría que $U \cong G/K$ es finito. Esto contradice que $U$ es infinito.
  • Por tanto, $G$ es co-Hopfiano.

El Grupo $H$ (No Co-Hopfiano)

• Se utiliza la propiedad de universalidad de $U$ para encontrar un subgrupo $A < U$ y un elemento $t \in U$ tales que $A \cong U$ y $t^{-1}At \subsetneq A$ (un subgrupo propio isomorfo a sí mismo).
  • Esto se logra incrustando $U * F_2$ en $U$ y construyendo una extensión HNN ascendente que luego se incrusta en $U$.
• Se define $H$ como la preimagen de $A$ bajo la proyección $\pi$: $H := \pi^{-1}(A) < G$.
• Demostración de No Co-Hopfianidad:
  • Sea $g \in G$ tal que $\pi(g) = t$. La conjugación por $g$, denotada $c_g$, induce un isomorfismo de $H$ a $c_g(H)$.
  • Se demuestra que $c_g(H) = \pi^{-1}(t^{-1}At)$.
  • Dado que $t^{-1}At \subsetneq A$, sus preimágenes también mantienen la inclusión estricta: $\pi^{-1}(t^{-1}At) \subsetneq \pi^{-1}(A) = H$.
  • Así, $H$ es isomorfo a un subgrupo propio de sí mismo, por lo que no es co-Hopfiano.

4. Resultados Principales

El teorema central del artículo (Teorema 3.1) establece la existencia de dos grupos finitamente generados y residualmente finitos, $G$ y $H$, tales que:

1. Isomorfismo Profinito: $\hat{G} \cong \hat{H}$.
   • Esto se sigue del Lema 2.5: como $U$ y $A$ (isomorfo a $U$) tienen completación profinita trivial y homología segunda nula, las inclusiones $K \hookrightarrow G$ y $K \hookrightarrow H$ inducen isomorfismos en las completaciones profinitas. Por transitividad, $\hat{G} \cong \hat{K} \cong \hat{H}$.
2. Diferencia Estructural: $G$ es co-Hopfiano, mientras que $H$ no lo es.

Resultado Secundario (Proposición 2.9):
Como corolario de la misma construcción, los autores demuestran que la hiperbolicidad relativa toral tampoco es una propiedad profinita. Mientras que $G$ es hiperbólico relativo a subgrupos abelianos finitamente generados (de hecho, es hiperbólico), el núcleo $K$ (que tiene la misma completación profinita) no lo es, ya que no es finitamente presentado (una propiedad de la construcción de Rips cuando el cociente es infinito).

5. Significado e Impacto

• Refutación de Rigidez: El trabajo demuestra que la completación profinita, aunque poderosa, no puede distinguir entre grupos que difieren en la propiedad co-Hopfiana. Esto añade un nuevo ejemplo a la lista de propiedades geométricas y algebraicas que no son "detectables" por los cocientes finitos.
• Método de Construcción: La técnica de construir $H$ como una preimagen de un subgrupo conjugado a un subgrupo propio dentro de un grupo universal ofrece un método elegante para generar contraejemplos sin necesidad de un análisis estructural detallado del núcleo de Rips ($K$).
• Contraste con Clases Específicas: El artículo nota que, aunque la rigidez falla en general, en clases específicas como los grupos "virtually compact special", la hiperbolicidad relativa toral sí es una propiedad profinita (según resultados recientes de Zalesskii). Esto resalta la sutileza de la rigidez profinita: depende fuertemente de la clase de grupos considerada.

En conclusión, Baik y Jang han resuelto una pregunta abierta en la teoría de grupos geométrica, estableciendo que la co-Hopfianidad es una propiedad que escapa a la detección mediante completaciones profinitas.