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$: