Profinite isomorphisms, stable commutator length, and fixed point properties

Mediante la combinación de construcciones de Rips y rellenos de Dehn iterados en grupos hiperbólicos virtualmente especiales, los autores demuestran que el largo de conmutador estable, los cuasimorfismos, la propiedad NL y la propiedad FW$_\infty$ no son invariantes profinitos, respondiendo así a una pregunta abierta de Echtler y Kammeyer.

Lo esencial

¡Hola! Imagina que tienes dos máquinas de juguetes muy complejas. A simple vista, parecen idénticas: tienen el mismo número de botones, los mismos colores y, si las desarmas y las vuelves a armar de todas las formas posibles (sus "versiones finales" o completaciones profinitas), funcionan exactamente igual.

El matemático Francesco Fournier-Facio se pregunta: ¿Son realmente las mismas máquinas?

En el mundo de las matemáticas, estas "máquinas" son grupos (colecciones de reglas y movimientos). La pregunta es: si dos grupos se ven idénticos cuando los miramos a través de un "microscopio de versiones finitas", ¿tienen que compartir todas sus propiedades internas?

La respuesta corta de este artículo es: No.

Aquí te explico cómo lo demuestra el autor usando una analogía de construcción y demolición.

1. El Problema: La Ilusión de la Identidad

Imagina que tienes dos grupos, llamémoslos G (el grupo grande) y N (un grupo más pequeño escondido dentro de G).

• Si miras sus "huellas dactilares" (sus versiones finitas), G y N son idénticas.
• Sin embargo, internamente, G es un caos salvaje y N es un orden absoluto.

El autor construye un par de estos grupos (llamados pares de Grothendieck) para demostrar que ciertas propiedades importantes no se pueden detectar solo mirando las huellas dactilares.

2. Las Propiedades "Invisibles"

El paper demuestra que cuatro cosas importantes no son invariables (no se pueden deducir solo mirando las versiones finitas):

• La "Estabilidad del Caos" (SCL - Longitud de Conmutador Estable):

  • Analogía: Imagina que tienes que arreglar un desorden. En el grupo G, puedes hacer movimientos que crean un desorden gigante que nunca se arregla solo (longitud infinita). En el grupo N, por más que intentes hacer desorden, siempre puedes arreglarlo con muy pocos movimientos (longitud cero).
  • Resultado: Aunque sus huellas dactilares sean iguales, G es un grupo "ruidoso" y N es un grupo "silencioso".

• Los "Mapas de Medición" (Cuasimorfismos):

  • Analogía: Imagina que quieres medir la distancia entre dos puntos en un mapa, pero el mapa tiene reglas extrañas. En G, puedes crear un mapa de medición que crece sin límite (puedes medir distancias infinitas). En N, todos los mapas de medición se quedan cortos; no puedes medir nada que sea muy grande.
  • Resultado: Esto responde a una pregunta que tenían otros matemáticos: ¿Puedes saber si un grupo tiene estas reglas de medición infinitas solo mirando sus versiones finitas? La respuesta es no.

• Los "Puntos Fijos" (Propiedades de Puntos Fijos):

  • Analogía: Imagina que intentas empujar un objeto pesado sobre una superficie.
    • En N, si intentas moverlo sobre ciertos terrenos (espacios hiperbólicos o cubos), el objeto nunca se mueve; siempre se queda quieto en un punto (tiene un "punto fijo global").
    • En G, el objeto se desliza, gira y viaja sin parar.
  • Resultado: N es un grupo "pegajoso" que no puede moverse en ciertos espacios, mientras que G es libre para moverse. Y, de nuevo, sus huellas dactilares no revelan esta diferencia.

• Los "Subgrupos Libres" (Grupos no abelianos libres):

  • Analogía: Es como si G tuviera un motor de cohete (un subgrupo libre que permite movimientos complejos e impredecibles), mientras que N es un motor de vapor antiguo que solo va en línea recta.
  • Resultado: A pesar de que N parece tener el mismo "motor" que G en sus versiones finitas, internamente N no tiene ese motor de cohete.

3. El Truco de Construcción: El "Llenado de Dehn" Iterado

¿Cómo construye el autor estos grupos tan extraños?

Imagina que tienes una pieza de Lego muy compleja (G).

1. El punto de partida: Empieza con una estructura sólida y conocida (un grupo hiperbólico).
2. El truco: El autor usa una técnica llamada "Llenado de Dehn" (como rellenar agujeros en un globo).
   • En cada paso, toma un pequeño grupo de reglas dentro de N y añade una nueva regla que "rompe" o "aplana" ciertas propiedades (como hacer que el desorden se arregle solo o que los movimientos libres dejen de existir).
   • Pero, ¡cuidado! Hace esto de una manera muy cuidadosa para que G (el grupo grande) no se rompa y siga teniendo sus propiedades salvajes.
3. La repetición: Repite este proceso una y otra vez, infinitamente.
   • Al final, el grupo N se ha convertido en una versión "pulida" donde todo el caos se ha eliminado (longitud cero, sin movimientos libres).
   • Pero, gracias a cómo se hizo el proceso, las "huellas dactilares" (las versiones finitas) de N y G siguen siendo idénticas.

En Resumen

Este paper es como un mago que te muestra dos cartas que parecen idénticas por detrás. Te dice: "Mira, si solo miras el dorso, son iguales". Pero luego voltea las cartas y revela que una es un As y la otra es un 2.

La lección principal: En matemáticas, no puedes confiar ciegamente en las "versiones pequeñas" o finitas de un objeto para entender su verdadera naturaleza. A veces, la diferencia entre un grupo salvaje y un grupo ordenado es invisible para los microscopios que usamos habitualmente, y se necesita una construcción muy ingeniosa (como la de Fournier-Facio) para demostrarlo.

El autor ha logrado crear un "gemelo malvado" (el grupo N) que engaña a todos los detectores de versiones finitas, pero que internamente es radicalmente diferente a su hermano mayor (G).

Resumen técnico

Aquí presento un resumen técnico detallado del artículo "Profinite isomorphisms, stable commutator length, and fixed point properties" de Francesco Fournier-Facio, estructurado según los puntos solicitados.

1. El Problema: Rigidez Profinite y Propiedades No Invariantes

El artículo aborda el problema central de la rigidez profinite en la teoría de grupos. Una propiedad $P$ de un grupo finitamente generado y residualmente finito se considera un invariante profinite si dos grupos $G$ y $H$ con completaciones profinitas isomorfas ($\widehat{G} \cong \widehat{H}$) comparten dicha propiedad ($G$ tiene $P$ si y solo si $H$ tiene $P$).

Aunque existen resultados positivos para ciertas clases de grupos, la mayoría de las propiedades algebraicas y geométricas importantes no son invariantes profinitas. El objetivo de este trabajo es demostrar que varias propiedades críticas, que han sido objeto de estudio reciente, tampoco lo son. Específicamente, el autor construye un par de Grothendieck (una inclusión de subgrupos $N \hookrightarrow G$ que induce un isomorfismo de completaciones profinitas) donde $N$ y $G$ difieren drásticamente en las siguientes propiedades:

• Longitud de Conmutador Estable (scl) y Cuasimorfismos: Si $N$ tiene scl nulo (y por tanto, sin cuasimorfismos no acotados), $G$ puede tener scl no acotado y un espacio infinito-dimensional de cuasimorfismos homogéneos. Esto responde a una pregunta abierta de Echtler y Kammeyer.
• Propiedad NL (No Loxodrómicos): La incapacidad de actuar en un espacio hiperbólico con un elemento loxodrómico.
• Propiedad FW8: La propiedad de punto fijo para acciones en complejos cúbicos CAT(0) de dimensión finita.
• Subgrupos Libres No Abelianos: La existencia de tales subgrupos no es un invariante.

2. Metodología: Construcción Iterativa y Relleno Dehn

El método combina dos herramientas principales: la construcción de Rips y el relleno Dehn de grupo (group-theoretic Dehn filling) iterado sobre grupos hiperbólicos virtualmente especiales.

A. La Construcción de Rips Inicial

El proceso comienza con una versión flexible de la construcción de Rips (basada en Arenas [Are24]). Se toma un grupo $Q$ (en este caso, el grupo de Higman, que no tiene cocientes finitos no triviales y tiene un espacio infinito-dimensional de cuasimorfismos) y se construye una sucesión exacta corta:
$$1 \to N_0 \to G_0 \to Q \to 1$$
donde $G_0$ es hiperbólico, virtualmente especial y residualmente finito, y $N_0$ es un subgrupo normal finitamente generado. Inicialmente, ambos $N_0$ y $G_0$ tienen espacios grandes de cuasimorfismos.

B. Relleno Dehn Iterado (El Núcleo de la Prueba)

Para "arreglar" las propiedades de $N_0$ sin romper el isomorfismo profinito, el autor aplica una secuencia infinita de rellenos Dehn de grupo.

1. Selección de Subgrupos: Se identifican subgrupos malnormales y cuasiconvexos dentro de $N_i$ (usando el Teorema de Subgrupos Malnormales de grupos hiperbólicos).
2. Añadir Relaciones: Se añaden relaciones de tipo small cancellation ($C'(1/6)$) que fuerzan ciertas longitudes estables a disminuir. Específicamente, se eligen palabras $w$ tales que en el cociente, elementos específicos $a \in N_i$ satisfacen relaciones que reducen su $scl$ o eliminan la generación de subgrupos libres.
3. Teorema de Cociente Especial Malnormal (MSQT): Se utiliza el teorema de Agol-Groves-Manning [AGM16] para garantizar que los cocientes $G_{i+1} = G_i / \langle \langle W \rangle \rangle$ sigan siendo hiperbólicos y virtualmente especiales (y por tanto, residualmente finitos).
4. Límite Inductivo: Se construye una sucesión de cocientes $G_0 \to G_1 \to G_2 \dots$ y sus núcleos correspondientes $N_0 \to N_1 \to N_2 \dots$.
   • En el límite, $G_\infty$ y $N_\infty$ mantienen el isomorfismo de completaciones profinitas porque las relaciones añadidas se encuentran dentro de subgrupos de índice finito que no afectan la estructura de los cocientes finitos (gracias a que $Q$ no tiene cocientes finitos no triviales).
   • Sin embargo, las relaciones añadidas destruyen progresivamente las propiedades no deseadas en $N_\infty$ (reduciendo $scl$ a 0, eliminando subgrupos libres, etc.), mientras que $G_\infty$ hereda las propiedades "grandes" de $Q$.

3. Contribuciones Clave y Resultados Principales

El Teorema Principal establece la existencia de un grupo $G_\infty$ y un subgrupo normal $N_\infty$ tales que:

1. Isomorfismo Profinite: La inclusión $N_\infty \hookrightarrow G_\infty$ induce un isomorfismo $\widehat{N_\infty} \cong \widehat{G_\infty}$.
2. Contraste en $N_\infty$:
   • scl nulo: $\text{scl}_{N_\infty}(g) = 0$ para todo $g$.
   • Sin cuasimorfismos no acotados: Todo cuasimorfismo en $N_\infty$ es acotado.
   • Sin subgrupos libres no abelianos: $N_\infty$ no contiene copias de $F_2$.
   • Propiedad NL y FW8: $N_\infty$ no puede actuar en espacios hiperbólicos con elementos loxodrómicos ni en complejos cúbicos CAT(0) de dimensión finita sin punto fijo global.
   • No amenable: A diferencia de ejemplos anteriores, $N_\infty$ puede elegirse para ser no amenable.
3. Contraste en $G_\infty$:
   • scl no acotado: Posee un espacio infinito-dimensional de cuasimorfismos homogéneos.
   • Acciones ricas: Admite acciones de tipo general en árboles y en espacios hiperbólicos.

Teoremas Específicos:

• Teorema 3.2: Demuestra que la longitud de conmutador estable (y más generalmente, la longitud $w$-estable) no es un invariante profinito.
• Teorema 4.1: Refina la construcción para eliminar subgrupos libres y asegurar que $N_\infty$ sea perfecto y no tenga mapas virtuales a $\mathbb{Z}$, estableciendo así la falta de invariancia de las propiedades de punto fijo (NL y FW8).

4. Significado e Impacto

Este trabajo tiene implicaciones profundas en la teoría de grupos geométrica y el estudio de la rigidez profinite:

• Respuesta a Preguntas Abiertas: Resuelve negativamente la pregunta de Echtler y Kammeyer sobre si la existencia de cuasimorfismos no acotados es un invariante profinito.
• Nuevas Herramientas: Introduce una técnica robusta que combina construcciones de Rips con relleno Dehn iterado en grupos virtualmente especiales. Esta metodología es flexible y permite imponer múltiples restricciones algebraicas y geométricas simultáneamente.
• Distinción de Propiedades: Muestra que propiedades como la amenableidad, la existencia de subgrupos libres y la rigidez de acciones en espacios CAT(0) son "invisibles" para la completación profinita, incluso cuando se restringe a grupos bien comportados (hiperbólicos, virtualmente especiales).
• Contraste con Resultados Previos: A diferencia de ejemplos anteriores que utilizaban grupos de rama (branch groups) o productos diagonales, este trabajo produce contraejemplos en el contexto de grupos hiperbólicos y virtualmente especiales, y logra que el subgrupo $N$ sea no amenable, lo cual era un obstáculo en construcciones previas.
• Limitaciones y Futuro: El autor discute que, aunque se ha resuelto la invariancia para complejos cúbicos de dimensión finita (FW8), la propiedad para complejos de dimensión infinita (FW) sigue siendo abierta. También señala que la "perfección uniforme" (longitud de conmutador acotada) podría ser un invariante, lo cual permanece como una pregunta abierta.

En resumen, el artículo demuestra que la estructura de los cocientes finitos de un grupo es insuficiente para determinar propiedades dinámicas y cohomológicas fundamentales como la longitud de conmutador estable, la existencia de cuasimorfismos y la rigidez de acciones en espacios hiperbólicos y cúbicos.