A family of level-transitive groups with positive fixed-point proportion and positive Hausdorff dimension

Imagina un bosque infinito donde cada rama de un árbol se divide exactamente en el mismo número de ramas más pequeñas, para siempre. En el mundo de las matemáticas, esto se llama un "árbol regular", y las criaturas que viven allí son grupos de "automorfismos"—piensa en ellos como bailarines mágicos que pueden barajar las ramas sin romper nunca la estructura del árbol. A los matemáticos les encanta estudiar a estos bailarines porque sus movimientos suelen esconder secretos profundos sobre números y ecuaciones. Uno de los mayores acertijos de este bosque es averiguar cuántos de estos bailarines dejan de moverse por completo. Específicamente, los matemáticos preguntan: si eliges un bailarín al azar, ¿cuáles son las probabilidades de que se quede quieto en al menos un camino que vaya hasta el infinito? Esta probabilidad se llama "proporción de puntos fijos". Durante mucho tiempo, la mayoría de los expertos creyeron que para la mayoría de los grupos interesantes de bailarines, esta probabilidad era cero—lo que significa que casi nadie se queda quieto. Pero existían algunas excepciones raras, y eran tan complicadas que nadie podía calcular las probabilidades exactas para ellas.

Este artículo, escrito por Santiago Radi, introduce una nueva y astuta forma de construir familias de estos bailarines matemáticos y, por primera vez, calcula exactamente cuántos de ellos dejan de moverse. El autor no solo encuentra algunos ejemplos nuevos; crea toda una fábrica para ellos. Al utilizar una receta específica que involucra "productos de corona iterados" (una forma elegante de apilar capas de reglas de barajado), Radi construye grupos que no solo son transitivos por niveles (pueden alcanzar cualquier parte del árbol) y tienen una "dimensión de Hausdorff positiva" (son grandes y complejos, capaces de llenar una parte significativa del bosque), sino que también tienen una probabilidad garantizada y no nula de quedarse quietos. Es mejor aún, el artículo proporciona una fórmula clara para calcular esa probabilidad exacta para cualquier grupo construido de esta manera. Esto es algo importante porque resuelve la conjetura de que tales grupos no podían existir, y proporciona a los matemáticos una herramienta precisa para medir el "poder de detención" de estas estructuras complejas, incluyendo aquellas que aparecen en el estudio de las ecuaciones polinómicas.

La danza del árbol infinito

Imagina un árbol infinito donde cada rama se divide en $d$ nuevas ramas, para siempre. Ahora, imagina un grupo de bailarines que pueden reorganizar estas ramas. Deben seguir reglas estrictas: si mueven una rama, deben mover todo el subárbol unido a ella de una manera consistente. Los matemáticos llaman a estos bailarines "automorfismos", y el grupo que forman es un "grupo actuando sobre un árbol".

La gran pregunta que aborda este artículo es: ¿Cuántos de estos bailarines dejan de moverse?

Para entender esto, imagina un camino específico subiendo por el árbol, desde el fondo hasta la cima (un "camino infinito"). Un bailarín "fija" un camino si, después de realizar su barajado, ese camino específico se ve exactamente igual que antes. La "proporción de puntos fijos" es simplemente el porcentaje de bailarines en el grupo que fijan al menos uno de estos caminos infinitos.

Durante décadas, los matemáticos pensaron que para la mayoría de los grupos interesantes, este porcentaje era cero. Era como creer que, en una fiesta de baile masiva y caótica, nadie se queda quieto jamás. Aunque hubo algunas excepciones conocidas, eran raras, y calcular el porcentaje exacto para ellas era casi imposible. Algunas de estas excepciones estaban relacionadas con "grupos de Galois iterados", que son grupos que aparecen cuando estudias las soluciones de ecuaciones polinómicas (como $x^d + 1 = 0$) una y otra vez.

La nueva fábrica de bailarines

El artículo de Santiago Radi hace dos cosas principales. Primero, construye un nuevo método general para calcular la proporción de puntos fijos para una clase enorme de estos grupos. Segundo, utiliza este método para construir una familia completamente nueva de grupos que son "transitivos por niveles" (pueden alcanzar cualquier nivel del árbol), tienen "dimensión de Hausdorff positiva" (son grandes y complejos, no solo motas diminutas) y, lo más importante, tienen una proporción de puntos fijos positiva.

El autor construye estos grupos utilizando una receta que involucra dos subgrupos, $Q$ y $P$, que actúan como las reglas para el baile. Los grupos se denotan como $G^P_Q$. El artículo demuestra que si eliges estas reglas correctamente, el grupo resultante definitivamente tendrá bailarines que se quedan quietos.

La fórmula mágica

El primer gran avance del artículo es una fórmula para calcular la proporción de puntos fijos para los "productos de corona iterados". Piensa en un producto de corona como una pila de capas. En la capa inferior, tienes un conjunto de movimientos permitidos (permutaciones). En la siguiente capa, aplicas esos mismos movimientos a cada rama, y así sucesivamente.

Radi define un polinomio especial, $f_S(x)$, basado en el conjunto de movimientos permitidos $S$. La proporción de puntos fijos es simplemente el número más grande entre 0 y 1 que resuelve la ecuación $f_S(x) = x$.

• Si los movimientos en $S$ son muy caóticos (transitivos), la respuesta es 0.
• Si los movimientos son muy restrictivos (cada movimiento fija al menos un punto), la respuesta es 1.
• Si los movimientos están en un punto intermedio, la respuesta es un número específico entre 0 y 1, que puede calcularse exactamente.

Esto es una mejora enorme respecto al trabajo anterior, donde tales cálculos eran a menudo imposibles o solo se sabía que eran cero.

La nueva familia de grupos

Utilizando esta fórmula, Radi construye una familia específica de grupos, $G^P_Q$, que actúan sobre un árbol con $d$ ramas (donde $d \ge 3$ y $d$ no es 2 mod 4). Estos grupos son:

1. Autosimilares: Se ven iguales sin importar qué tan profundo vayas en el árbol.
2. Transitivos por niveles: Pueden mover cualquier rama en cualquier nivel a cualquier otra rama en ese mismo nivel.
3. Grandes: Tienen una dimensión de Hausdorff positiva, lo que significa que son "grandes" en un sentido matemático.
4. De detención: Tienen una proporción de puntos fijos positiva.

El artículo calcula explícitamente esta proporción para dos ejemplos específicos.

Ejemplo 1: El baile modular
El autor construye un grupo basado en los enteros módulo $d$. La proporción de puntos fijos resulta ser:
$$\frac{\#\{a \in (\mathbb{Z}/d\mathbb{Z})^\times : a - 1 \in (\mathbb{Z}/d\mathbb{Z})^\times\}}{\Phi(d)}$$
Esto se simplifica a un producto que involucra los factores primos de $d$:
$$\prod_{p|d} \frac{p-2}{p-1}$$
Esta fórmula funciona perfectamente cuando $d$ es impar. Si $d$ es par, la proporción es cero.

Ejemplo 2: La conexión polinómica
La parte más emocionante es que esta construcción no es solo matemática abstracta. El artículo muestra que uno de estos grupos es exactamente el "grupo de Galois iterado" del polinomio $f(x) = x^d + 1$.
Esto significa que para el polinomio $x^d + 1$, el grupo de simetrías de su secuencia infinente de raíces tiene una proporción de puntos fijos calculable y positiva. El artículo demuestra que para $d \ge 3$ (y $d$ no es 2 mod 4), esta proporción es:
$$\prod_{p|d} \frac{p-2}{p-1}$$
Este es un número concreto y explícito que los matemáticos ahora pueden usar, mientras que antes era un misterio.

¿Qué pasa con los casos "imposibles"?

El artículo también aborda un caso específico donde $d \equiv 2 \pmod 4$ (como $d=2, 6, 10, \dots$). El autor intentó construir estos grupos para estos valores, pero encontró un "bloqueo". Utilizando el software de computación (GAP), revisó todos los grupos transitivos para $d$ hasta 30 y encontró que ningún grupo cumplía con las condiciones necesarias para tener una proporción de puntos fijos positiva. Esto sugiere que para estos números específicos, tales grupos podrían no existir, o al menos no de la forma en que el autor los construyó. El artículo no demuestra que no existen, pero sugiere fuertemente una obstrucción.

La conclusión

Este artículo resuelve un enigma que muchos matemáticos pensaban que era irresoluble: encontrar un grupo grande y complejo de bailarines de árboles que se detenga con una probabilidad no nula, y calcular realmente esa probabilidad. Proporciona una fórmula clara y explícita para estos valores, convirtiendo un concepto vago en una herramienta precisa. También conecta esta teoría de grupos abstracta directamente con el estudio de las ecuaciones polinómicas, mostrando que las simetrías de $x^d + 1$ tienen un "poder de detención" mensurable.

El autor concluye planteando nuevas preguntas: ¿Podemos encontrar grupos con cualquier proporción de puntos fijos que deseemos? ¿Qué sucede si elegimos bailarines al azar? Pero por ahora, el logro principal es claro: ahora tenemos una fábrica para estos grupos especiales, y sabemos exactamente cuántos de ellos dejan de bailar.