Proportion of periodic points in reduction of polynomials

Resumen Técnico: Proporción de Puntos Periódicos en la Reducción de Polinomios

1. Planteamiento del Problema

El artículo aborda una cuestión fundamental en la dinámica aritmética, formulada originalmente por Juul, Kurlberg, Madhu y Tucker en 2014. El problema se centra en el comportamiento asintótico de la proporción de puntos periódicos al reducir un polinomio $f$ con coeficientes en un cuerpo de números $K$ módulo ideales primos $\mathfrak{p}$ del anillo de enteros $\mathcal{O}_K$.

Sea $f_{\mathfrak{p}}$ la reducción de $f$ en el cuerpo residual finito $\mathbb{F}_{\mathfrak{p}} = \mathcal{O}_K/\mathfrak{p}$. Dado que $\mathbb{F}_{\mathfrak{p}}$ es finito, todo punto es preperiódico. Se define $Per(f, \mathbb{F}_{\mathfrak{p}})$ como el conjunto de puntos periódicos de $f_{\mathfrak{p}}$. La pregunta central es determinar el límite inferior de la proporción de estos puntos cuando la norma del ideal primo tiende a infinito:

$$Per_{inf}(f, K) := \liminf_{N(\mathfrak{p}) \to +\infty} \frac{\# Per(f, \mathbb{F}_{\mathfrak{p}})}{N(\mathfrak{p})}$$

Anteriormente, se sabía que para polinomios cuadráticos sobre $\mathbb{Q}$ (donde 0 no es preperiódico) y para ciertos casos con múltiples puntos críticos, este límite es 0. Sin embargo, para los polinomios de Chebyshev ($T_d$), el límite es positivo. El objetivo de este trabajo es proporcionar una clasificación completa para cualquier polinomio $f$ de grado $d \geq 2$ sobre cualquier cuerpo de números $K$.

2. Metodología

El autor emplea una combinación de herramientas de teoría de números algebraicos, teoría de Galois iterada y dinámica algebraica:

• Grupos de Galois Iterados y Proporción de Puntos Fijos (FPP): Se utiliza el resultado clave que acota $Per_{inf}(f, K)$ mediante la proporción de puntos fijos del grupo de Galois iterado geométrico $G_{\infty}(\mathbb{C}, f, t)$. Resultados recientes del autor y Fariña-Asategui clasifican este FPP: es 0 si $f$ no es linealmente conjugado sobre $\mathbb{C}$ a $\pm T_d$, y positivo en caso contrario.
• Conjugación Lineal y Extensiones de Cuerpo: Se analiza la relación entre un polinomio $f$ y los polinomios de Chebyshev $T_d$. Si $f$ es conjugado a $\pm T_d$ sobre $\mathbb{C}$ pero no sobre $K$, el autor estudia cómo la extensión de grado 2 necesaria para la conjugación afecta la distribución de puntos periódicos en los cuerpos residuales (casos de primos que se descomponen o permanecen inertes).
• Teorema de Chebotarev y Raíces de la Unidad: Para calcular el límite inferior explícito en el caso de Chebyshev, se utiliza el Teorema de Chebotarev para encontrar infinitos ideales primos $\mathfrak{p}$ con normas $N(\mathfrak{p})$ que satisfacen sistemas de congruencias específicas. La estructura de las raíces de la unidad en $K$ (denotada por $m_K$, el máximo entero tal que $K$ contiene una raíz $m_K$-ésima primitiva) es crucial para determinar qué divisores de $N(\mathfrak{p}) \pm 1$ son coprimos con el grado $d$.
• Función $r(a, b)$: Se introduce y utiliza la función $r(a, b)$, definida como el mayor divisor de $a$ coprimo con $b$, para cuantificar el número de puntos periódicos en términos de $N(\mathfrak{p})$.

3. Contribuciones Clave

1. Reducción al Caso Chebyshev: Se demuestra que si un polinomio $f$ no es linealmente conjugado sobre $\mathbb{C}$ a $\pm T_d$, entonces $Per_{inf}(f, K) = 0$. Esto resuelve la gran mayoría de los casos, dejando solo los polinomios conjugados a Chebyshev como los únicos candidatos a tener una proporción positiva.
2. Invariancia bajo Conjugación: Se prueba que si $f$ es conjugado a $\pm T_d$ sobre $\mathbb{C}$, entonces $Per_{inf}(f, K) = Per_{inf}(T_d, K)$, independientemente de si la conjugación está definida sobre $K$ o requiere una extensión cuadrática. Esto unifica el tratamiento de todos los polinomios de tipo Chebyshev.
3. Fórmula Asintótica General: Se establece una fórmula explícita para el límite inferior en términos de la función $r$:
   $$Per_{inf}(T_d, K) = \frac{1}{2} \liminf_{N(\mathfrak{p}) \to +\infty} \frac{r(N(\mathfrak{p})-1, d) + r(N(\mathfrak{p})+1, d)}{N(\mathfrak{p})}$$
4. Clasificación Completa: Se resuelve completamente el problema clasificando el valor del límite en función de la factorización prima de $d$ y la relación entre los factores primos de $d$ y $m_K$ (la estructura de raíces de la unidad de $K$).

4. Resultados Principales (Teorema 1)

El teorema principal clasifica $Per_{inf}(f, K)$ para un polinomio de grado $d$ sobre un cuerpo de números $K$:

• Casos Triviales: Si $d=0$, el límite es 0. Si $d=1$, el límite es 1.
• No Chebyshev: Si $d \geq 2$ y $f$ no es conjugado a $\pm T_d$ sobre $\mathbb{C}$, el límite es 0.
• Caso Chebyshev ($f \sim \pm T_d$): El valor depende de $d$ y $m_K$:
  1. Si $d$ tiene al menos dos factores primos y $\text{rad}(d) \nmid \text{rad}(m_K)$, el límite es 0.
  2. Si $d$ es impar, tiene $\geq 2$ factores primos y $\text{rad}(d) \mid \text{rad}(m_K)$, el límite es 1/2.
  3. Si $d$ es par, tiene $\geq 2$ factores primos, $\text{rad}(d) \mid \text{rad}(m_K)$ y $v_2(m_K) \geq 2$, el límite es 1/4.
  4. Si $d$ es par, tiene $\geq 2$ factores primos, $\text{rad}(d) \mid \text{rad}(m_K)$ y $v_2(m_K) = 1$, el límite es 0.
  5. Si $d$ es una potencia de un primo impar, el límite es 1/2.
  6. Si $d$ es una potencia de un primo par, el límite es 1/4.

Corolario para $K=\mathbb{Q}$: Dado que $m_{\mathbb{Q}} = 2$, la clasificación se simplifica: el límite es 1 si $d=1$, 1/2 si $d$ es potencia de primo impar y $f \sim \pm T_d$, 1/4 si $d$ es potencia de primo par y $f \sim \pm T_d$, y 0 en todos los demás casos.

5. Significado e Impacto

• Resolución de una Conjetura Abierta: El artículo cierra la clasificación iniciada por Juul et al. (2014) para polinomios, demostrando que los únicos casos donde la proporción de puntos periódicos no tiende a cero son aquellos asociados a la dinámica de Chebyshev.
• Conexión Profunda entre Estructura Algebraica y Dinámica: El trabajo revela cómo la estructura aritmética del cuerpo base (específicamente, qué raíces de la unidad contiene) dicta el comportamiento dinámico asintótico de los polinomios. La presencia de ciertas raíces de la unidad en $K$ permite "salvar" la proporción de puntos periódicos al evitar que $N(\mathfrak{p}) \pm 1$ sean coprimos con $d$.
• Herramientas para Futuras Investigaciones: La metodología desarrollada, especialmente el uso de la función $r(a,b)$ combinada con el teorema de Chebotarev, ofrece un marco robusto para estudiar problemas similares en otros contextos de dinámica aritmética.
• Contraste con Funciones Racionales: El autor señala que, a diferencia de los polinomios, la clasificación para funciones racionales generales (como los mapas de Lattès) sigue abierta, sugiriendo que la dinámica de Chebyshev es un caso excepcional y altamente estructurado.

En resumen, este artículo proporciona la respuesta definitiva a la pregunta de Juul et al. para polinomios, estableciendo que la "rareza" de los puntos periódicos es la norma, y que la "abundancia" (límite positivo) es una propiedad exclusiva y altamente dependiente de la estructura de raíces de la unidad del cuerpo base, reservada únicamente para los polinomios de Chebyshev.