🔢 mathematics

Branch iterated Galois groups with positive fixed-point proportion and positive Hausdorff dimension

Este artículo establece que los grupos de monodromía iterada profinitos aritméticos de los polinomios unicríticos de infinitos puntos críticos son grupos de rama regulares con dimensión de Hausdorff positiva y proporción de puntos fijos positiva (para grados impares), proporcionando los primeros ejemplos fuera del árbol raíz binario que responden negativamente a la pregunta de Jones de 2008.

Autores originales: Santiago Radi

Publicado 2026-08-12

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Santiago Radi

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

Imagina un mundo construido no de átomos, sino de elecciones. En la rama de las matemáticas conocida como la teoría de grupos, los científicos estudian la "simetría" y la "estructura" observando cómo los objetos pueden ser reordenados sin romper sus reglas. Un patio de recreo particularmente fascinante para esto es el "árbol con raíz". Imagina un árbol genealógico que nunca termina: comienza con un único ancestro en la cima, y cada persona tiene exactamente el mismo número de hijos, quienes a su vez tienen el mismo número de hijos, para siempre. Este es un "árbol con raíz regular".

Imagina un grupo de "automorfismos"—piensa en ellos como reordenadores mágicos. Estos reordenadores pueden reorganizar las ramas del árbol, pero deben seguir reglas estrictas: no pueden romper las conexiones y no pueden cambiar el número de hijos de nadie. Hay algunos de estos reordenadores que son increíblemente poderosos y pueden mover cualquier rama a cualquier otra rama en el mismo nivel; los matemáticos llaman a estos grupos "transitivos por niveles".

Durante décadas, los matemáticos han intentado medir dos cosas específicas sobre estos reordenadores. Primero, qué tan "grandes" o "densos" son dentro del universo de todos los posibles reordenadores. Esto se mide mediante algo llamado "dimensión de Hausdorff". Piensa en esto como comprobar cuánto espacio llena una nube de humo en una habitación; una dimensión de 1 significa que llena la habitación, mientras que 0 es solo un hilo delgado e invisible. Segundo, con qué frecuencia estos reordenadores dejan al menos una rama exactamente donde comenzó. Esta es la "proporción de puntos fijos". Un punto fijo es una carta que se queda en su lugar original si barajas un mazo de cartas. Una proporción alta significa que el reordenador deja muchas cosas quietas; una proporción baja significa que es un movilizador caótico que cambia casi todo.

Durante mucho tiempo, una gran pregunta quedó suspendida sobre este campo: ¿Es posible encontrar un grupo que sea tanto "grande" (que ocupe mucho espacio, teniendo una dimensión de Hausdorff positiva) como que "deje muchas cosas quietas" (dejando un número significativo de ramas quietas, teniendo una proporción de puntos fijos positiva)? Un famoso matemático, Jones, supuso que la respuesta era no. Él pensaba que si un grupo era lo suficientemente grande como para ser interesante, tendría que ser tan caótico que nunca dejaría nada quieto. Este artículo se propone poner a prueba esa suposición.

El autor, Santiago Radi, demuestra que Jones estaba equivocado. El artículo construye ejemplos específicos de estos reordenadores mágicos que son tanto "grandes" como que "dejan muchas cosas quietas". El principal descubrimiento es una nueva familia de grupos construidos a partir de un tipo especial de ecuación polinómica (específicamente, ecuaciones como $x^d + c$ ). Cuando observas las simetrías de las soluciones de estas ecuaciones, obtienes un grupo que actúa sobre el árbol infinito. Radi muestra que si el grado de la ecuación (el número $d$ ) es un número impar, este grupo tiene una dimensión de Hausdorff positiva (es una nube de humo sustancial) y una proporción de puntos fijos positiva (deja un número mensurable de ramas intactas).

Para entender cómo funciona esto, imagina el árbol como un gigantesco juego de "elige tu propia aventura". El autor construye un grupo donde las reglas para reordenar son muy específicas. En cada paso hacia abajo en el árbol, el reordenador debe elegir un movimiento de un conjunto específico de patrones permitidos. El artículo introduce una forma ingeniosa de calcular exactamente con qué frecuencia estos reordenadores dejan una rama sola. Resulta que, para estos grupos específicos, puedes contar los movimientos que "dejan muchas cosas quietas" usando una fórmula simple que involucra números primos. Si el número de ramas en cada paso ( $d$ ) es impar, las matemáticas garantizan que hay una probabilidad no nula de que el reordenador deje algo en su lugar.

El artículo también aborda una pregunta relacionada sobre los "grupos de rama" (branch groups). Estos son grupos que, en lo más profundo del árbol, actúan como copias más pequeñas de sí mismos. El autor demuestra que estos grupos son "rama regular", una forma elegante de decir que tienen una naturaleza estructurada y autorrepetitiva que garantiza que son "grandes" (dimensión de Hausdorff positiva). Al combinar esta prueba estructural con el cálculo de los movimientos que "dejan muchas cosas quietas", el artículo ofrece un contraejemplo definitivo a la conjetura de Jones.

Es importante notar que el artículo no solo supone o simula estos resultados; proporciona una prueba matemática rigurosa. El autor construye los grupos de manera explícita, define las reglas de sus acciones y utiliza fórmulas algebraicas para calcular las proporciones exactas. El artículo también explora qué sucede cuando el número de ramas es par. En esos casos, las matemáticas sugieren que el "dejar muchas cosas quietas" podría desaparecer (la proporción de puntos fijos podría ser cero), pero para los casos impares, la prueba es sólida.

Entonces, ¿qué significa esto para un adolescente curioso? Significa que en el vasto e infinito bosque de las simetrías matemáticas, existen de hecho grupos "grandes" que no son tan caóticos como pensábamos. Pueden llenar mucho espacio y, al mismo tiempo, ser lo suficientemente gentiles como para dejar algunas cosas exactamente donde comenzaron. Este descubrimiento abre la puerta a nuevas formas de entender cómo los números y las formas interactúan en las capas profundas y ocultas de las matemáticas, demostando que, a veces, las cosas más grandes pueden seguir siendo las más cuidadosas.

Resumen Técnico: Grupos de Galois Iterados de Ramificación con Proporción de Puntos Fijos Positiva y Dimensión de Hausdorff Positiva

Planteamiento del Problema
El artículo aborda una pregunta específica en la dinámica aritmética y la teoría de grupos que actúan sobre árboles enraizados, planteada originalmente por Jones (2008). El problema central concierne a la relación entre la dimensión de Hausdorff y la proporción de puntos fijos (FPP) de subgrupos transitivos por niveles del grupo de automorfismos de un árbol enraizado $d$ -regular, $\text{Aut}(T)$ .

Jones conjeturó que si un grupo $G \leq \text{Aut}(T)$ transitivo por niveles tiene una dimensión de Hausdorff positiva ( $H(G) > 0$ ), entonces su proporción de puntos fijos debe ser cero ($FPP(G) = 0$). Aunque Boston (2008) proporcionó un contraejemplo a esta conjetura en el árbol binario ( $d=2$ ), no se conocían ejemplos para árboles de grado $d > 2$ , ni ejemplos de tales grupos que surgieran como grupos de Galois iterados (grupos de monodromía iterada aritmética). El presente artículo investiga si los grupos de Galois iterados de ramificación regular pueden poseer simultáneamente una dimensión de Hausdorff positiva y una proporción de puntos fijos positiva.

Metodología
El autor emplea una combinación de construcción teórica de grupos y análisis de dinámica aritmética:

Generalización de Productos de Wreath Iterados: El artículo extiende la definición de productos de wreath iterados $W_S$ a subconjuntos arbitrarios $S \subseteq \text{Sym}(d)$ . Establece una relación de recurrencia para la proporción de puntos fijos de estos conjuntos, derivando un polinomio característico $f_S(x)$ . Se demuestra que la FPP es el punto fijo más grande de este polinomio en $[0, 1]$ .
Construcción de Grupos de Ramificación Regular ( $G^P_Q$ ): Se construye una nueva familia de grupos, denominados $G^P_Q$ , para subgrupos $Q \triangleleft P \leq \text{Sym}(d)$ . Estos grupos consisten en automorfismos donde la acción sobre los hijos de cualquier vértice pertenece al mismo cociente de $P/Q$ . El artículo demuestra que estos grupos son de ramificación regular (y, por lo tanto, tienen una dimensión de Hausdorff positiva) si $Q$ es transitivo.
Cálculo Explícito de la FPP: Utilizando el método del polinomio característico, el autor deriva una fórmula explícita para la FPP de $G^P_Q$ como un promedio de las FPP de los productos de wreath iterados asociados a los cocientes de $P/Q$ .
Realización Aritmética: Los grupos construidos se vinculan con los grupos de Galois iterados de polinomios unicríticos $f(x) = x^d + c$ . Al analizar la acción de Galois sobre las preimágenes de un elemento trascendente $t$ , el autor demuestra que, para elecciones específicas de $K$ y $c$ , el grupo de Galois iterado aritmético $G_\infty(K, x^d+c, t)$ es isomorfo al grupo construido $G^P_Q$ .

Contribuciones Clave y Resultados

Teorema 1 (Resultado Principal): Para un polinomio unicrítico post-críticamente infinito $f(x) = x^d + c$ sobre un cuerpo $K$ (donde $\text{char}(K) \nmid d$ ), el grupo de Galois iterado aritmético $G_\infty(K, x^d+c, t)$ es de ramificación regular.
- Su dimensión de Hausdorff se calcula explícitamente como $H(G) = \frac{\log(d)}{\log(d!)}$ .
- Su proporción de puntos fijos está dada por:
  $FPP(G) = \frac{\#\{a \in I : a - 1 \in (\mathbb{Z}/d\mathbb{Z})^\times\}}{\Phi(d)}$
  donde $I$ es la imagen del grupo de Galois $\text{Gal}(K(\xi)/K)$ en $(\mathbb{Z}/d\mathbb{Z})^\times$ .
- Hallazgo Crucial: Si $K = \mathbb{Q}$ y $d$ es impar, la proporción de puntos fijos es positiva. Específicamente, $FPP = \prod_{p|d} \frac{p-2}{p-1}$ . Esto proporciona los primeros ejemplos fuera del árbol binario donde un grupo transitivo por niveles tiene tanto dimensión de Hausdorff positiva como FPP positiva.
Teorema 2 (Familia General): El artículo construye una familia más amplia de grupos de ramificación regular $G^P_Q$ para $d = 2^n r$ (con $r$ impar) donde $Q = C_2^n \times C_r$ . Estos grupos también exhiben dimensión de Hausdorff positiva y, para $d \not\equiv 2 \pmod 4$ , proporción de puntos fijos positiva.
Teorema 3 (Proporción de Puntos Fijos de Productos de Wreath Iterados): El artículo proporciona un algoritmo general para calcular la FPP de cualquier producto de wreath iterado $W_S$ (donde $S \subseteq \text{Sym}(d)$ ). Demuestra que la FPP es el punto fijo más grande de un polinomio $f_S(x)$ de grado a lo sumo $d-1$ . Caracteriza cuándo la FPP es 0, 1 o estrictamente entre 0 y 1 basándose en la transitividad y las propiedades de puntos fijos de los elementos en $S$ .
Resolución de la Conjetura: El artículo responde a la Pregunta 1.1 de Jones en sentido negativo para la clase de grupos de Galois iterados de ramificación regular. Demuestra que la condición "dimensión de Hausdorff positiva implica proporción de puntos fijos cero" no se cumple para estos grupos cuando el grado $d$ es impar.

Significado
El artículo afirma proporcionar los primeros ejemplos fuera del árbol enraizado binario ( $d=2$ ) donde un grupo transitivo por niveles posee tanto dimensión de Hausdorff positiva como proporción de puntos fijos positiva. Esto refuta directamente la conjetura de que tales propiedades son mutuamente excluyentes para grupos "grandes" en el contexto de los grupos de Galois iterados.

Además, el trabajo cierra la brecha entre la teoría de grupos abstracta (grupos de ramificación regular) y la dinámica aritmética (grupos de Galois iterados). Al calcular explícitamente la FPP para estos grupos aritméticos, el artículo ofrece nuevas herramientas para comprender la densidad de Dirichlet de los primos que dividen términos en secuencias dinámicas, una aplicación primaria de las proporciones de puntos fijos en la teoría de números. La construcción de la familia $G^P_Q$ y la derivación del polinomio característico $f_S(x)$ proporcionan un marco sistemático para analizar las proporciones de puntos fijos en grupos que actúan sobre árboles, extendiendo resultados previos que estaban limitados a casos específicos o subgrupos.

El autor señala que, si bien el caso del árbol binario ( $d=2$ ) fue abordado previamente por Boston, el caso de grado impar ( $d \geq 3$ ) presentó una obstrucción significativa en la literatura previa, la cual este artículo supera mediante el uso de la estructura específica de los polinomios unicríticos y la aritmética de los cuerpos ciclotómicos.

Más como este