Enteros preperiódicos para $x^d+c$ en grado grande

Información Básica

• ID del Artículo: 2510.14067
• Título: Enteros preperiódicos para $x^d+c$ en grado grande
• Autores: John R. Doyle, Wade Hindes
• Clasificación: math.NT (Teoría de Números)
• Fecha de Publicación: 15 de octubre de 2025 (preimpresión arXiv)
• Enlace del Artículo: https://arxiv.org/abs/2510.14067

Resumen

Dado un cuerpo numérico $K$, este artículo clasifica completamente las imágenes preperiódicas de la aplicación $x^d+c$, donde $c\in K$ es un entero algebraico y $d$ es suficientemente grande (dependiendo del grado de $K$). Específicamente, los autores demuestran que bajo la acción natural de raíces de la unidad, existen exactamente trece tales imágenes. En particular, reemplazando el uso de la conjetura abc con cotas de formas lineales logarítmicas, los autores obtienen incondicionalmente los resultados principales de su trabajo reciente para enteros algebraicos. Posteriormente, este trabajo se aplica a varios problemas en dinámica de semigrupos, incluyendo la construcción de polinomios irreducibles y la clasificación de conjuntos postcríticos finitos.

Antecedentes de Investigación y Motivación

Problema Central

Esta investigación aborda un problema central en dinámica aritmética: determinar cómo el conjunto de puntos preperiódicos $\text{PrePer}(f,K)$ de un polinomio $f \in K[x]$ de grado al menos 2 sobre un cuerpo numérico $K$ depende de $f$ y $K$.

Importancia del Problema

1. Conjetura de Morton-Silverman: Predice que $|\text{PrePer}(f,K)|$ está acotado por una constante que depende únicamente de $f$ y del grado de $K$
2. Fundamentos de la Dinámica Aritmética: La clasificación de puntos preperiódicos es clave para comprender las propiedades de la dinámica polinomial
3. Aplicaciones de la Teoría de Galois: Está estrechamente relacionado con la teoría de grupos de Galois dinámicos

Limitaciones de Métodos Anteriores

1. Los resultados previos tenían restricciones de condiciones (por ejemplo, $f$ definido en el anillo de enteros)
2. O dependían de la conjetura abc no demostrada
3. Carecían de una clasificación completa para el caso general

Motivación de la Investigación

Este artículo proporciona resultados incondicionales para el caso de enteros algebraicos mediante cotas de formas lineales logarítmicas del método de Baker, reemplazando el uso de la conjetura abc, y proporciona una clasificación completa de imágenes preperiódicas.

Contribuciones Principales

1. Resultado de Clasificación Completa: Demuestra que para $d$ suficientemente grande, la aplicación $f_{d,c}(x) = x^d + c$ (donde $c$ es un entero algebraico) tiene exactamente 13 posibles imágenes preperiódicas
2. Demostración Incondicional: Reemplaza la conjetura abc con el método de Baker para obtener resultados incondicionales para enteros algebraicos
3. Cota Uniforme: Establece una cota en el número de puntos preperiódicos independiente del grado $d$
4. Aplicaciones en Dinámica de Semigrupos:
   • Nuevo método para construir polinomios irreducibles
   • Clasificación de conjuntos postcríticos finitos
   • Acotación de puntos de órbita finita

Explicación Detallada de Métodos

Definición de la Tarea

Dado un cuerpo numérico $K$, un conjunto finito de lugares $S$ (que incluye todos los lugares infinitos), y el anillo de $S$-enteros $o_{K,S}$, clasificar todas las posibles imágenes preperiódicas de la aplicación $f_{d,c}(x) = x^d + c$ (donde $c \in o_{K,S}$) cuando $d$ es suficientemente grande.

Métodos Técnicos Principales

1. Método de Baker Reemplazando la Conjetura abc

Lema Clave 2.4 (Método de Baker): Para un cuerpo numérico $K$, elementos no nulos $\alpha_1, \ldots, \alpha_n \in K$ y enteros racionales $b_1, \ldots, b_n$, si $\alpha_1^{b_1} \cdots \alpha_n^{b_n} - 1 \neq 0$, entonces existen constantes positivas $c_1(t,n)$ y $V(t)$ tales que:

$\log |\alpha_1^{b_1} \cdots \alpha_n^{b_n} - 1|_v > -c_1(t,n)\frac{N(v)}{\log N(v)}\left(\prod_{i=1}^n \max\{h(\alpha_i), V(t)\}\right)\log(\max\{|b_1|, \ldots, |b_n|, 3\})$

2. Estimación de Cotas de Altura

Lema 2.2 (Mejora de Schinzel-Zassenhaus): Para un cuerpo numérico $K$ de grado $t$ y un elemento no nulo que no es raíz de la unidad $\alpha \in K$: $\max_{v \in M_K} |\alpha|_v > 1 + 2^{-(t+4)}$

3. Análisis de Estructura Preperiódica

Mediante el análisis de la estructura de puntos preperiódicos de $f_{d,c}$, se demuestra que cuando $d$ es suficientemente grande:

• Si $h(c) > \log(3)$ y existe un punto preperiódico, entonces todos los puntos preperiódicos tienen la forma $\{\zeta y : \zeta \in \mu_{K,d}\}$
• Si $h(c) \leq \log(3)$, entonces todos los puntos preperiódicos son 0 o raíces de la unidad

Puntos de Innovación Técnica

1. Aplicación Refinada del Método de Baker: Aplicación ingeniosa de cotas de formas lineales logarítmicas a la estimación de $|\alpha^d - \beta^d|_v$
2. Combinación de Altura y Valuaciones: Utiliza la función $S$-house $H_S(\alpha)$ para conectar estimaciones de altura y valuaciones
3. Marco de Tratamiento Unificado: Establece un método unificado para manejar diferentes casos de altura

Teoremas Principales y Resultados

Teorema 1.1 (Resultado Principal)

Sea $K/\mathbb{Q}$ un cuerpo numérico, $S$ un conjunto finito de lugares que contiene los lugares infinitos, y $o_{K,S}$ el anillo de $S$-enteros. Existe una constante $D(q,t)$ (que depende únicamente de $t = [K:\mathbb{Q}]$ y del máximo número primo $q$ entre los lugares no infinitos en $S$) tal que cuando $d \geq D(q,t)$, para todo $c \in o_{K,S}$:

1. Si $c$ es no nulo, entonces $f_{d,c}$ no tiene puntos $K$-racionales de período mayor que 3
2. Si $h(c) > \log(3)$ y $\text{PrePer}(f_{d,c},K)$ es no vacío, entonces $c = y - y^d \text{ y } \text{PrePer}(f_{d,c},K) = \{\zeta y : \zeta \in \mu_{K,d}\}$ para algún $y \in o_{K,S}$ único
3. Si $h(c) \leq \log(3)$, entonces todos los puntos $K$-racionales preperiódicos son 0 o raíces de la unidad

Corolario 1.2 (Cota Uniforme)

Existe una constante $B(q,t)$ tal que para todo $d \geq 2$ y $c \in o_{K,S}$: $|\text{PrePer}(x^d + c, K)| \leq B(q,t)$

Corolario 1.3 (Clasificación de Imágenes)

Cuando $d > D(q,t)$ y $c \in o_{K,S}$ es no nulo, el esqueleto $S(x^d + c, K)$ es isomorfo al grafo vacío o a uno de los 12 grafos de la Tabla 1.

Aplicaciones en Dinámica de Semigrupos

Teorema 1.5 (Construcción de Polinomios Irreducibles)

Sea $G = \langle x^d + c_1, \ldots, x^d + c_s \rangle$. Si se satisfacen:

1. $h(c_i) > \log(3)$ para todo $i$
2. Cada factor primo $p$ de $d$ satisface $p > M(q,t)$
3. El número de generadores $s > 2|\mu_{K,d}|$

entonces $G$ contiene una proporción positiva de polinomios irreducibles si y solo si contiene al menos un polinomio irreducible.

Corolario 1.8 (Finitud Postcrítica)

Sea $G = \langle x^d + c_1, \ldots, x^d + c_s \rangle$. Si la órbita de 0 contiene un punto de órbita finita, entonces existe una constante $s(t)$ que depende únicamente de $[\mathbb{Q}(c_1,\ldots,c_s):\mathbb{Q}]$ tal que $s \leq s(t)$.

Puntos Clave de la Técnica de Demostración

1. Control de Altura

Utiliza la relación entre la función de altura canónica $\hat{h}_{f_{d,c}}$ y la altura estándar $h$: $|h(\alpha) - \hat{h}_{f_{d,c}}(\alpha)| \leq \frac{1}{d-1}(h(c) + \log 2)$

2. Aplicación del Método de Baker

Para el caso donde $\beta/\alpha$ no es una raíz $d$-ésima de la unidad, se aplica el método de Baker para obtener: $\log |1 - (\beta/\alpha)^d|_v > -C_1(q,t)\max\{h(\alpha/\beta), V(t)\}\log(d)$

3. Argumento por Contradicción

Mediante estimaciones refinadas de altura, se demuestra que cuando $d$ es suficientemente grande, ciertas configuraciones conducen a contradicción, determinando así la estructura preperiódica.

Trabajos Relacionados

1. Conjetura de Morton-Silverman: Conjetura fundamental sobre la cantidad de puntos preperiódicos
2. Trabajo de Benedetto et al.: Investigación de puntos preperiódicos de polinomios en el anillo de enteros
3. Trabajo Anterior de los Autores: Resultados condicionales basados en la conjetura abc
4. Teoría de Baker: Teoría de cotas inferiores para formas lineales logarítmicas

Conclusiones y Discusión

Conclusiones Principales

1. Resuelve completamente el problema de clasificación de imágenes preperiódicas para polinomios monocríticos de grado grande
2. Proporciona cotas uniformes incondicionales que dependen únicamente del grado del cuerpo numérico y del denominador
3. Establece conexiones profundas entre la teoría de puntos preperiódicos y la dinámica de semigrupos

Limitaciones

1. Los resultados solo aplican a grados $d$ "suficientemente grandes"
2. La constante $D(q,t)$ explícita puede ser muy grande
3. El método se aplica principalmente a familias de polinomios monocríticos

Direcciones Futuras

1. Generalizar el método a familias de polinomios más generales
2. Mejorar las estimaciones de la constante $D(q,t)$
3. Investigar la clasificación completa para casos de grado pequeño

Evaluación Profunda

Fortalezas

1. Avance Teórico: Primer resultado de clasificación completa e incondicional
2. Innovación Metodológica: Aplicación ingeniosa del método de Baker reemplazando la conjetura abc
3. Amplitud de Aplicaciones: Aplicaciones importantes en dinámica de semigrupos
4. Rigor Técnico: Técnicas de demostración complejas y rigurosas

Debilidades

1. Dependencia de Constantes: Las constantes clave pueden ser extremadamente grandes, limitando aplicaciones prácticas
2. Casos Especiales: Los resultados principales se limitan a polinomios monocríticos
3. Complejidad Computacional: El cálculo práctico de imágenes preperiódicas sigue siendo difícil

Impacto

1. Contribución Teórica: Proporciona resultados estructurales importantes para la dinámica aritmética
2. Valor Metodológico: La aplicación del método de Baker ofrece nuevas perspectivas para problemas relacionados
3. Potencial de Aplicación: Posibles aplicaciones en criptografía y teoría computacional de números

Escenarios de Aplicabilidad

1. Investigación teórica en dinámica aritmética
2. Pruebas constructivas de irreducibilidad de polinomios
3. Teoría de grupos de Galois dinámicos
4. Análisis de dinámica de semigrupos

Referencias

El artículo cita 24 referencias importantes que abarcan múltiples campos incluyendo dinámica aritmética, teoría de Baker, teoría de alturas y otros trabajos clásicos y de vanguardia, reflejando la profundidad y amplitud de la investigación.