Rational Preperiodic Points of Quadratic Rational Maps over $\mathbb{Q}$ with Nonabelian Automorphism Groups

Este artículo clasifica completamente las aplicaciones racionales cuadráticas definidas sobre $\mathbb{Q}$ con grupos de automorfismos no abelianos que poseen puntos periódicos racionales de periodos 1, 2 y 3, demuestra la inexistencia de tales puntos para periodos exactos 4 y 5, y establece que el número total de puntos preperiódicos racionales es como máximo 6 si no existen puntos de periodo mayor a 3.

Lo esencial

Imagina que tienes un juguete mágico que es una máquina de funciones matemáticas. Esta máquina toma un número, lo mete en su interior, lo transforma según una regla específica y te devuelve un nuevo número. Si vuelves a meter ese nuevo número, la máquina lo transforma de nuevo, y así sucesivamente.

En el mundo de las matemáticas, a esta secuencia de números se le llama órbita.

Los autores de este artículo, Hasan Bilgili y Mohammad Sadek, se preguntaron: ¿Qué pasa si esta máquina tiene una "personalidad" muy especial y compleja?

1. La Máquina y su "Personalidad" (El Grupo de Automorfismos)

La mayoría de estas máquinas (llamadas mapas racionales cuadráticos) son bastante simples. Pero los autores se centraron en un tipo muy raro y especial: aquellas que tienen un grupo de automorfismos no abeliano.

• La analogía: Imagina que tienes un cubo. Puedes girarlo de muchas formas. Si giras el cubo hacia la derecha y luego hacia arriba, el resultado es diferente a si lo giras primero hacia arriba y luego hacia la derecha. El orden importa. Esto es lo que significa "no abeliano": el orden de las operaciones cambia el resultado.
• En el lenguaje de los matemáticos, esta "personalidad" compleja se llama grupo $S_3$ (el grupo de simetría de un triángulo). Es como si la máquina tuviera un código de seguridad interno muy intrincado que solo ciertas formas de girar pueden respetar.

2. El Gran Misterio: ¿Cuántos números pueden entrar en bucle?

El objetivo del artículo es responder a una pregunta fundamental en la dinámica aritmética: ¿Cuántos números racionales (fracciones como 1/2, -3/4, etc.) pueden entrar en un ciclo infinito dentro de esta máquina especial?

• Puntos periódicos: Son números que, después de un tiempo, vuelven a ser ellos mismos. Es como un carrusel: subes, das vueltas y vuelves a tu asiento original.
• Puntos preperiódicos: Son números que entran en el carrusel después de dar algunas vueltas previas. Son como un niño que corre hacia el carrusel, sube, y luego empieza a dar vueltas.

3. Lo que Descubrieron (Los Resultados)

Los autores usaron computadoras muy potentes (como Magma y Mathematica) para analizar esta máquina especial y llegaron a conclusiones fascinantes:

• Los ciclos cortos (1, 2 y 3 vueltas): ¡Sí existen! Encontraron exactamente cómo construir estas máquinas para que tengan puntos que vuelven a sí mismos después de 1, 2 o 3 vueltas. Es como encontrar la receta exacta para que el carrusel tenga 1, 2 o 3 asientos.
• Los ciclos medios (4 y 5 vueltas): ¡Imposible! Demostraron que ninguna de estas máquinas especiales puede tener un número racional que vuelva a sí mismo exactamente después de 4 o 5 vueltas. Es como si la física de la máquina prohibiera mágicamente esos números de vueltas.
• Los ciclos largos (6 vueltas o más): Es muy probable que no existan. Aunque no pudieron probarlo al 100% para todos los casos, demostraron que si existen, solo hay un número finito de máquinas que podrían hacerlo.
• El límite total: Si asumimos que no hay ciclos largos (más de 3 vueltas), entonces la cantidad total de números racionales que pueden entrar en el sistema (ya sea en el carrusel o corriendo hacia él) nunca puede superar a 6.

4. ¿Por qué es importante esto?

Imagina que los matemáticos son como exploradores de un bosque desconocido. Hay una gran teoría (la Conjetura de Uniformidad) que dice: "En cualquier bosque de este tipo, nunca encontrarás más de X árboles".

Este artículo es como un mapa detallado de un bosque muy específico (las máquinas con la personalidad compleja $S_3$).

• Antes, sabíamos que los bosques "simples" (polinomios) tenían límites.
• Ahora, los autores han mapeado este bosque "complejo" y han dicho: "Aquí, los árboles (puntos racionales) no pueden ser más de 6, y ciertos tipos de árboles (ciclos de 4 o 5) simplemente no crecen aquí".

En resumen

Este paper es una cacería de patrones matemáticos. Los autores tomaron una clase de funciones matemáticas con una estructura de simetría muy compleja (como un rompecabezas de tres piezas que encaja de formas extrañas) y demostraron que, a pesar de su complejidad, son muy restrictivas: no permiten ciertos tipos de ciclos y tienen un límite estricto de cuántos números racionales pueden "jugar" en ellas.

Es como descubrir que, aunque un juego de mesa tenga reglas muy complicadas, al final solo permite un número muy pequeño de movimientos posibles antes de que el juego se repita o se detenga.

Resumen técnico

Aquí presento un resumen técnico detallado del artículo "Rational Preperiodic Points of Quadratic Rational Maps Over Q with Nonabelian Automorphism Groups" (Puntos Preperiódicos Racionales de Mapas Racionales Cuadráticos sobre Q con Grupos de Automorfismos No Abelianos) de Hasan Bilgili y Mohammad Sadek.

1. Planteamiento del Problema

El artículo aborda un problema central en la dinámica aritmética: la conjetura de acotación uniforme propuesta por Morton y Silverman. Esta conjetura postula que, para cualquier cuerpo de números $K$, existe una constante $C$ tal que el número de puntos preperiódicos $K$-racionales de cualquier morfismo $f: \mathbb{P}^n \to \mathbb{P}^n$ de grado $d$ definido sobre $K$ está acotado por $C$.

El foco específico de este trabajo son los mapas racionales cuadráticos ($d=2$) definidos sobre el campo de los números racionales $\mathbb{Q}$, que poseen un grupo de automorfismos no abeliano.

• Se sabe que un mapa racional cuadrático tiene un grupo de automorfismos no trivial si y solo si es conjugado a la forma normal $k(z + 1/z)$.
• Si $k \neq -1/2$, el grupo de automorfismos es cíclico de orden 2 ($C_2$).
• Si $k = -1/2$, el grupo de automorfismos es no abeliano de orden 6, isomorfo al grupo simétrico $S_3$.

El objetivo es clasificar completamente los puntos racionales preperiódicos para estos mapas con grupo $S_3$, determinando los períodos posibles y acotando el número total de puntos preperiódicos.

2. Metodología

Los autores utilizan una combinación de teoría de números algebraicos, geometría algebraica y cálculo computacional asistido por ordenador.

1. Forma Normal Paramétrica:
   Utilizan la clasificación de mapas con grupo $S_3$ para reducir el problema al estudio de la familia uniparamétrica (tras conjugación lineal):
   $$\theta_{d,k}(z) = \frac{kz^2 - 2dz + dk}{z^2 - 2kz + d}$$
   donde $k, d \in \mathbb{Q}$, $d \neq 0$ y $k^2 \neq d$.

2. Polinomios Dinámicos (Dynatomic Polynomials):
   Para determinar la existencia de puntos periódicos de un período exacto $n$, emplean los polinomios dinámicos $\Phi^*_{f,n}(z)$. Las raíces racionales de estos polinomios corresponden a puntos de período exacto $n$.

   • Para períodos $n=1, 2, 3$, resuelven las ecuaciones algebraicas resultantes para parametrizar los mapas que admiten tales puntos.
   • Para períodos $n=4, 5, 6$, la existencia de puntos racionales se traduce en la búsqueda de puntos racionales en curvas algebraicas definidas por la anulación de $\Phi^*_{f,n}$.

3. Análisis de Curvas Algebraicas:

   • Demuestran que las curvas asociadas a los períodos 4 y 5 no son geométricamente irreducibles. Se descomponen en componentes irreducibles definidas sobre extensiones de cuerpos numéricos.
   • Utilizan la independencia lineal de las bases de estos cuerpos sobre $\mathbb{Q}$ para reducir el problema a la intersección de curvas planas definidas sobre $\mathbb{Q}$.
   • Demuestran que las únicas soluciones racionales en estas intersecciones son puntos singulares que no corresponden a mapas racionales cuadráticos válidos.
   • Para el período 6, utilizan el Teorema de Faltings (Mordell) sobre curvas de género $g \geq 2$, demostrando que el número de puntos racionales es finito.

4. Herramientas Computacionales:
   Se emplearon intensivamente los sistemas Magma y Mathematica para:

   • Calcular polinomios dinámicos de alto grado.
   • Verificar la irreducibilidad de polinomios y la estructura de las curvas.
   • Determinar los puntos racionales en las intersecciones de curvas y calcular géneros de curvas normalizadas.

3. Contribuciones Clave y Resultados Principales

El artículo establece resultados definitivos sobre la dinámica de esta familia específica de mapas:

A. Clasificación de Períodos Racionales

• Períodos 1, 2 y 3: Se proporciona una parametrización completa de todos los mapas $\theta_{d,k}$ que poseen puntos racionales de período exacto 1, 2 y 3.
  • Período 1: Condiciones explícitas en $k$ y $d$.
  • Período 2: Ocurre si y solo si $d$ es un cuadrado racional.
  • Período 3: Ocurre si y solo si $-3d$ es un cuadrado racional (con restricciones adicionales en $k$).
• No Existencia de Períodos 4 y 5:
  • Teorema 4.1 y 4.2: Se prueba rigurosamente que no existe ningún mapa $\theta_{d,k}$ definido sobre $\mathbb{Q}$ con grupo de automorfismos $S_3$ que tenga un punto periódico racional de período exacto 4 o 5.
• Período 6:
  • Teorema 4.3: Se demuestra que solo existen finitamente muchos mapas de esta familia que poseen un punto periódico racional de período exacto 6.

B. Conjetura de Acotación de Períodos

Basado en los resultados anteriores, los autores proponen la Conjetura 1.2:

Un mapa racional cuadrático definido sobre $\mathbb{Q}$ con grupo de automorfismos $S_3$ no tiene puntos racionales de período exacto $N > 3$.

C. Acotación del Número de Puntos Preperiódicos

Bajo la suposición de que la Conjetura 1.2 es cierta (es decir, asumiendo que no hay períodos $>3$), los autores realizan un análisis exhaustivo de los puntos preperiódicos:

• Teorema 1.3: Si un mapa $\theta_{d,k}$ no tiene puntos racionales de período exacto $\geq 6$, entonces el número total de puntos preperiódicos racionales es máximo 6 ($|PrePer(f, \mathbb{Q})| \leq 6$).
• Se demuestra que este límite es agudo (se alcanza en casos específicos).
• Se clasifican todas las posibles estructuras de grafos dirigidos (diagramas de órbitas) asociados a los puntos preperiódicos de estos mapas.

D. Incompatibilidad de Ciclos

Se establecen restricciones sobre la coexistencia de diferentes ciclos racionales. Por ejemplo, un mapa no puede tener simultáneamente un punto fijo racional y un ciclo de período 2, ni un ciclo de período 2 junto con uno de período 3, bajo ciertas condiciones de los parámetros.

4. Significado e Impacto

Este trabajo es significativo por varias razones:

1. Completitud en un Caso Específico: Es uno de los primeros resultados que logra una clasificación completa de los puntos preperiódicos para una familia infinita de mapas racionales (aunque restringida por el grupo de simetría $S_3$) sobre $\mathbb{Q}$.
2. Analogía con Polinomios: Proporciona un análogo directo a los resultados conocidos para polinomios cuadráticos (donde se conjetura que el período máximo es 3 y el número máximo de puntos preperiódicos es 9). Aquí, para mapas racionales con simetría $S_3$, el límite es más estricto (período máximo 3 y máximo 6 puntos).
3. Método de Descomposición de Curvas: La técnica de demostrar que las curvas de Dynatomic no son irreducibles y reducir la búsqueda de puntos racionales a intersecciones de curvas definidas sobre $\mathbb{Q}$ es un método potente que podría aplicarse a otros problemas de dinámica aritmética.
4. Validación Computacional Rigurosa: El uso de verificación computacional para manejar polinomios de grados muy altos (hasta grado 35 y 42 en los casos de períodos 5 y 6) asegura la precisión de las conclusiones, ofreciendo un modelo para futuros estudios en dinámica aritmética.

En resumen, el artículo cierra la brecha de conocimiento sobre la dinámica racional de mapas cuadráticos con simetría $S_3$, confirmando la ausencia de períodos 4 y 5 y estableciendo un límite superior estricto de 6 para el número total de puntos preperiódicos racionales.