El número de preimágenes iteradas racionales del origen bajo mapeos polinomiales unicríticos

Información Básica

• ID del Artículo: 2510.14397
• Título: El número de preimágenes iteradas racionales del origen bajo mapeos polinomiales unicríticos
• Autor: Kaoru Sano (Instituto NTT para Matemáticas Fundamentales)
• Clasificación: math.NT (Teoría de Números), math.AG (Geometría Algebraica), math.DS (Sistemas Dinámicos)
• Fecha de Publicación: 17 de octubre de 2025
• Enlace del Artículo: https://arxiv.org/abs/2510.14397v1

Resumen

Este artículo estudia las preimágenes iteradas racionales del origen bajo mapeos unicríticos $f_{d,c}(x) = x^d + c$. Basándose en trabajos anteriores de Faber-Hutz-Stoll y Hutz-Hyde-Krause que establecieron finitud y cotas condicionales en el caso cuadrático, demostramos que para $d=2$ y $c \in \mathbb{Q}\setminus\{0,-1\}$, el origen no posee preimágenes racionales de cuarto orden; para todo $d \geq 3$, no existen preimágenes racionales de segundo orden excepto en casos triviales. La demostración se basa en análisis geométrico de curvas de preimágenes, el método de Chabauty elíptico y reducción diofántica. Por lo tanto, determinamos el número de preimágenes iteradas racionales del origen para $f_{d,c}$ en todos los casos $d \geq 2$.

Antecedentes y Motivación de la Investigación

Descripción del Problema

El problema central de este artículo es determinar el número de preimágenes iteradas racionales del origen bajo mapeos polinomiales unicríticos $f_{d,c}: x \mapsto x^d + c$. Específicamente, para un campo numérico dado $L$, nos interesa el tamaño del conjunto $\bigcup_{N \geq 1} f_{d,c}^{-N}(a)(L) = \{x \in A^1(L) | f_{d,c}^{\circ N}(x) = a \text{ para algún } N \geq 1\}$ donde $f_{d,c}^{\circ N}$ denota la $N$-ésima iteración de $f_{d,c}$.

Importancia de la Investigación

1. Teoría de Sistemas Dinámicos: Este problema está estrechamente relacionado con la distribución de puntos racionales en sistemas dinámicos polinomiales, siendo un problema fundamental en dinámica algebraica
2. Geometría Aritmética: Involucra la distribución de puntos racionales en curvas algebraicas de alto grado, conectando teoría de números y geometría algebraica
3. Teoría de Representaciones de Galois: Desde la perspectiva de representaciones arborescentes, esto se relaciona con la acción del grupo de Galois absoluto

Limitaciones del Trabajo Existente

• Los trabajos de Faber-Hutz-Stoll se concentraban principalmente en el caso cuadrático ($d=2$)
• Para la no existencia de preimágenes de cuarto orden, los resultados previos dependían de la conjetura de Birch-Swinnerton-Dyer
• Faltaba investigación sistemática para el caso $d \geq 3$

Contribuciones Principales

1. Demostración Incondicional: Se prueba que para $d=2$ y $c \in \mathbb{Q}\setminus\{0,-1\}$, $f_{2,c}$ no posee preimágenes racionales de cuarto orden del origen, eliminando la dependencia de la conjetura BSD en resultados previos
2. Resolución Completa del Caso de Orden Superior: Se demuestra que para $d \geq 3$, no existen preimágenes racionales de segundo orden excepto en casos triviales
3. Resultado de Clasificación Completa: Se proporciona una fórmula exacta para el número de preimágenes iteradas racionales en todos los casos $d \geq 2$
4. Innovación Metodológica: Se combinan el método de Chabauty elíptico, análisis geométrico y reducción diofántica en una técnica integral

Explicación Detallada de Métodos

Resultados Principales

Teorema 1.3:

• (i) Para números racionales $c \in \mathbb{Q}\setminus\{0,-1\}$, el mapeo $f_{2,c}$ no posee preimágenes racionales de cuarto orden del origen
• (ii) Para enteros $d \geq 3$ y números racionales $c \in \mathbb{Q}$, bajo condiciones apropiadas, el mapeo $f_{d,c}$ no posee preimágenes racionales de segundo orden del origen

Estrategia Técnica

Estrategia de Demostración para el Caso Cuadrático ($d=2$)

1. Reducción Geométrica: Se utiliza el mapeo de cobertura de grado 2 $\pi: X^{\text{pre}}(2,4,0) \to X^{\text{pre}}(2,3,0) \cong E$ donde $E: v^2 = u^3 - u + 1$ es una curva elíptica
2. Análisis de Ramificación: Se analiza la ramificación sobre $E[2]$, construyendo coberturas dobles finitas y planas apropiadas mediante cambio de base
3. Reducción de Curvas: Se reduce el problema a curvas $C_D$ de género inferior, donde $D$ está clasificado por clases $[D] \in R^\times/(R^\times)^2$, con $R = \mathbb{Z}[1/2, 1/23]$

Aplicación del Método de Chabauty Elíptico

Teorema 1.5: Para $D = (-1)^{\varepsilon_0} 2^{\varepsilon_1} 23^{\varepsilon_2}$ ($\varepsilon_i \in \{0,1\}$), considerando la curva afín del plano $C_D: D^2 y^4 = x^3 - x + 1$

Se demuestra que $C_D(\mathbb{Q})$ es no vacío si y solo si $D = \pm 1$, y $C_1(\mathbb{Q}) = C_{-1}(\mathbb{Q}) = \{(0,\pm 1), (\pm 1, \pm 1)\}$

Demostración para el Caso de Orden Superior ($d \geq 3$)

Se utiliza el teorema de Darmon-Merel, que se basa en la modularidad de curvas elípticas: Teorema 4.1: Cuando $n \geq 4$, la ecuación $x^n + y^n = z^2$ no posee soluciones primitivas no triviales.

Mediante transformaciones algebraicas ingeniosas, se convierte la existencia de preimágenes racionales de segundo orden en problemas de ecuaciones diofánticas de este tipo.

Puntos de Innovación Técnica

1. Evitar la Conjetura BSD: Mediante el método de Chabauty elíptico se evita la dependencia de la conjetura de Birch-Swinnerton-Dyer
2. Combinación Geométrico-Aritmética: Se combinan ingeniosamente la teoría de coberturas de geometría algebraica y problemas de puntos racionales de teoría de números
3. Viabilidad Computacional: Comparado con el descenso generalizado n-ádico, este método tiene menor costo computacional y no requiere conjeturas adicionales

Configuración Experimental

Herramientas Computacionales

Se utiliza el sistema de álgebra computacional Magma para:

1. Cálculo del grupo de Mordell-Weil de curvas elípticas
2. Determinación de puntos racionales
3. Implementación del método de Chabauty

Cálculos Clave

1. Curva Elíptica $E: v^2 = u^3 - u + 1$:
   • Grupo de Mordell-Weil: $E(\mathbb{Q}) \cong \mathbb{Z}$, generado por $Q_0 = (1,-1)$
   • 10 puntos racionales conocidos en $X^{\text{pre}}(2,4,0)$
2. Campo Numérico $K = \mathbb{Q}(\theta)$ (donde $\theta^3 - \theta + 1 = 0$):
   • Discriminante: $-23$
   • Número de clases: 1
   • Grupo de unidades: generado por $\pm 1$ y $\theta$

Resultados Experimentales

Resultados Principales

Corolario 1.4:

• Para $d$ par, $d \geq 3$: $\kappa(d,0,\mathbb{Q}) = 3$
• Para $d$ impar, $d \geq 3$: $\kappa(d,0,\mathbb{Q}) = 1$
• Para $d = 2$: $\kappa(2,0,\mathbb{Q}) = 6$

Número Específico de Preimágenes Iteradas Racionales

Para diferentes parámetros $c$, se proporciona el número exacto de preimágenes iteradas racionales:

Para $d$ par, $d \geq 3$: $\#\bigcup_{N \geq 1} f_{d,c}^{-N}(0)(\mathbb{Q}) = \begin{cases} 3 & \text{si } c = -1 \\ 1 & \text{si } c = 0 \\ 2 & \text{si } c = -r^d \text{ para } r \in \mathbb{Q}\setminus\{0,\pm 1\} \\ 0 & \text{en otros casos} \end{cases}$

Para $d$ impar, $d \geq 3$: $\#\bigcup_{N \geq 1} f_{d,c}^{-N}(0)(\mathbb{Q}) = \begin{cases} 1 & \text{si } c = -r^d \text{ para algún } r \in \mathbb{Q} \\ 0 & \text{en otros casos} \end{cases}$

Verificación Computacional

Se verificaron mediante código Magma los resultados computacionales del método de Chabauty elíptico, confirmando la distribución de puntos racionales en las curvas $C_D$.

Trabajo Relacionado

Desarrollo Histórico

1. Faber-Hutz-Stoll et al. (2009): Establecieron finitud en el caso cuadrático
2. Hutz-Hyde-Krause (2011): Proporcionaron cotas condicionales
3. Faber-Hutz-Stoll (2011): Bajo la conjetura BSD, dieron resultados parciales

Teorías Relacionadas

1. Teoría de Representaciones Arborescentes: Comprensión de preimágenes iteradas desde la perspectiva de representaciones de Galois
2. Método de Chabauty para Curvas Elípticas: Determinación de puntos racionales en curvas algebraicas
3. Teoría de Formas Modulares: El teorema de Darmon-Merel depende de la modularidad de curvas elípticas

Conclusiones y Discusión

Conclusiones Principales

Este artículo resuelve completamente el problema del número de preimágenes iteradas racionales del origen bajo mapeos polinomiales unicríticos, proporcionando resultados exactos para todos los casos $d \geq 2$.

Significado Teórico

1. Perfeccionamiento de la Teoría Aritmética de Sistemas Dinámicos: Proporciona una imagen completa de la distribución de puntos racionales en sistemas dinámicos polinomiales
2. Demostración de la Efectividad del Método: Aplicación exitosa del método de Chabauty elíptico en este tipo de problemas
3. Conexión de Ramas Matemáticas Distintas: Refleja la conexión profunda entre geometría algebraica, teoría de números y sistemas dinámicos

Limitaciones

1. Alcance del Método: Se aplica principalmente a mapeos unicríticos; para mapeos polinomiales más generales se requieren nuevas técnicas
2. Complejidad Computacional: Aunque más simple que el descenso n-ádico generalizado, aún presenta desafíos computacionales para casos de orden superior

Direcciones Futuras

1. Generalización a Mapeos Más Generales: Considerar casos con múltiples puntos críticos
2. Investigación en Otros Campos Numéricos: Extender a campos numéricos generales
3. Sucesiones de División Elíptica: Aplicación a la investigación de potencias perfectas en sucesiones de división elíptica

Evaluación Profunda

Fortalezas

1. Contribución Teórica Significativa: Resuelve completamente un importante problema abierto
2. Innovación Metodológica: Combinación ingeniosa de múltiples herramientas matemáticas, evitando dependencia de conjeturas no resueltas
3. Completitud de Resultados: Proporciona respuestas exactas para todos los casos
4. Viabilidad Computacional: Ofrece algoritmos y código prácticamente implementables

Aspectos Técnicos Destacados

1. Elegancia de la Reducción Geométrica: Reducción ingeniosa de problemas de curvas de género alto a curvas elípticas
2. Aplicación Efectiva del Método de Chabauty: Demuestra el poder de este método en problemas concretos
3. Uso Ingenioso del Teorema de Modularidad: Aprovecha resultados profundos de la teoría de números moderna

Impacto

1. Contribución al Campo: Aportación importante a la teoría aritmética de sistemas dinámicos algebraicos
2. Valor Metodológico: Demuestra el potencial del método de Chabauty elíptico en problemas diofánticos
3. Valor Práctico: Proporciona herramientas efectivas para problemas computacionales relacionados

Escenarios de Aplicación

1. Investigación en Sistemas Dinámicos: Distribución de puntos racionales en mapeos polinomiales
2. Ecuaciones Diofánticas: Problemas de puntos racionales en curvas algebraicas de alto grado
3. Geometría Aritmética: Investigación de propiedades aritméticas de curvas elípticas y curvas de género superior

Referencias Bibliográficas

El artículo cita múltiples referencias matemáticas importantes, incluyendo:

• Trabajos de Darmon-Merel sobre ecuaciones de Fermat generalizadas
• Investigación de Bruin sobre el método de Chabauty elíptico
• Trabajos fundamentales de Wiles et al. sobre modularidad de curvas elípticas
• Literatura relacionada con sistemas dinámicos algebraicos

Este artículo representa un excelente ejemplo de la combinación de teoría y cálculo en la teoría de números moderna, resolviendo mediante técnicas matemáticas ingeniosas un problema desafiante y realizando contribuciones importantes al desarrollo de campos relacionados.