Dynamical Mordell-Lang conjecture for split self-maps of affine curve times projective curve

Aquí presento un resumen técnico detallado del artículo "Conjetura de Mordell–Lang Dinámica para Autoaplicaciones Divididas de Curvas Afines por Curvas Proyectivas" de Junyi Xie, She Yang y Aoyang Zheng.

1. El Problema: La Conjetura de Mordell–Lang Dinámica (DML)

El artículo aborda uno de los problemas centrales en la dinámica aritmética: la Conjetura de Mordell–Lang Dinámica (DML). Propuesta originalmente por Ghioca y Tucker, la conjetura establece lo siguiente:

Dada una variedad cuasi-proyectiva $X$ sobre un cuerpo $K$ de característica 0, una endomorfismo $f: X \to X$ y una subvariedad cerrada $V \subseteq X$, el conjunto de retorno de cualquier punto $x \in X(K)$, definido como:
$$\{n \in \mathbb{N} \mid f^n(x) \in V(K)\}$$
debe ser una unión finita de progresiones aritméticas.

Contexto previo:

• La conjetura se ha demostrado para endomorfismos étales en variedades cuasi-proyectivas sobre $\mathbb{C}$ (Bell, Ghioca, Tucker).
• Se ha demostrado para el plano afín $\mathbb{A}^2_{\mathbb{C}}$ (Xie).
• El desafío actual reside en casos mixtos o productos de variedades con comportamientos dinámicos distintos, específicamente cuando se combinan curvas afines y proyectivas.

2. Contribuciones Principales y Resultados

Los autores demuestran la validez de la conjetura DML para productos de endomorfismos de curvas afines y proyectivas sobre $\mathbb{Q}$.

Teorema Principal (Teorema 1.1):
Sea $X$ una curva afín y $Y$ una curva proyectiva sobre $\mathbb{Q}$. Si $f: X \to X$ y $g: Y \to Y$ son endomorfismos, entonces la conjetura DML se cumple para el sistema producto $(X \times Y, f \times g)$.

Proposición Clave (Proposición 1.2):
El caso central y más difícil del Teorema 1.1 se reduce a:
$$( \mathbb{A}^1 \times \mathbb{P}^1, f \times g )$$
donde $f$ y $g$ son endomorfismos sobre $\mathbb{Q}$. Los autores prueban que la intersección entre la órbita de un punto y una curva irreducible $C$ (que no sea una fibra) es finita, lo que implica la propiedad DML.

Corolario de Generalización (Corolario 1.3):
Se extiende el resultado a variedades de dimensión superior bajo ciertas condiciones. Si $X$ es una variedad afín y $Y$ una variedad proyectiva sobre $\mathbb{Q}$, y ambos sistemas $(X, f)$ y $(Y, g)$ satisfacen la propiedad DML(1) (donde el conjunto de retorno intersecta cualquier curva en una unión finita de progresiones), entonces el producto $(X \times Y, f \times g)$ también satisface la propiedad DML(1).

3. Metodología y Estrategia de Prueba

La demostración se basa en un análisis fino del comportamiento asintótico de las órbitas bajo diferentes topologías (valores absolutos en lugares de un cuerpo numérico).

A. Reducción de Casos

Los autores utilizan resultados previos ([BGT10], [Xie17], [XY]) para reducir el problema a un caso específico:

1. Se asume que $\deg(f) = \deg(g) = d > 1$.
2. Se asume que ninguna iteración de $g$ es conjugada a un polinomio (esto evita casos triviales que ya se conocían en $\mathbb{A}^2$).
3. Se asume que el punto inicial $(x_0, y_0)$ no es preperiódico y la curva $C$ no es una fibra.

B. El Lema Técnico Fundamental (Lema 2.1)

Se utiliza un resultado de Silverman ([Sil93]) generalizado: Para un endomorfismo $g: \mathbb{P}^1 \to \mathbb{P}^1$ de grado $d$ sobre un cuerpo numérico $K$, y un punto no excepcional $p$, la velocidad de convergencia de una órbita no preperiódica hacia $p$ es estrictamente menor que $d^n$. Formalmente:
$$\lim_{n \to +\infty} \frac{-\log \min\{|g^n(x) - p|_v, 1\}}{d^n} = 0$$
Esto implica que las órbitas no pueden acercarse a un punto con la "velocidad máxima" posible ($d^n$) a menos que el punto sea excepcional.

C. Análisis de Velocidades en el Producto $\mathbb{A}^1 \times \mathbb{P}^1$

La estrategia central consiste en comparar la velocidad de crecimiento de las coordenadas:

1. Coordenada Afín ($x$): Mediante el Lema 2.2, se demuestra que si $x_0$ no es preperiódico, existe un lugar $v$ (un valor absoluto) donde $|f^n(x_0)|_v$ crece exponencialmente con la velocidad máxima $d^n$ (es decir, $c_1 d^n < \log |f^n(x_0)|_v < c_2 d^n$).
2. Coordenada Proyectiva ($y$): Si la órbita $(f^n(x_0), g^n(y_0))$ permanece en una curva $C$ infinitamente, la ecuación definitoria de $C$ impone restricciones. Al analizar la ecuación en el lugar $v$ donde $x$ tiende a infinito, se deduce que la coordenada $y$ debe acercarse a ciertos puntos fijos (raíces de la ecuación en el infinito) con una velocidad específica.
3. Contradicción:
   • La ecuación de la curva fuerza a que $|y_n - b|_v$ tienda a 0 con una velocidad que, al tomar logaritmos, escala como $d^n$.
   • Sin embargo, el Lema 2.1 establece que para una función racional $g$ (que no es conjugada a un polinomio y por tanto no tiene puntos excepcionales en el sentido que permitiría tal velocidad), la órbita no puede acercarse a ningún punto con velocidad $d^n$.
   • Esta contradicción prueba que la intersección debe ser finita.

D. Clasificación por Género (Prueba del Teorema 1.1)

Para el caso general de curvas $X$ y $Y$, los autores analizan el género de sus clausuras proyectivas $\bar{X}$ y $\bar{Y}$:

• Género > 1: El endomorfismo es idéntico en alguna iteración (trivial).
• Género = 1: Los endomorfismos son étales (ya resuelto por [BGT10]).
• Género = 0: Se reduce al caso $\mathbb{P}^1$. Si una es afín ($\mathbb{A}^1$) y la otra proyectiva ($\mathbb{P}^1$), se aplica la Proposición 1.2.

4. Significado e Impacto

• Resolución de un Caso Abierto: El trabajo cierra una brecha significativa en la teoría de la dinámica aritmética, demostrando la conjetura DML para productos de variedades de naturaleza geométrica distinta (afín vs. proyectiva).
• Método de "Velocidad de Crecimiento": La técnica de comparar la tasa de crecimiento de las alturas (heights) o valores absolutos en diferentes coordenadas para forzar una contradicción es una herramienta poderosa que podría aplicarse a otros sistemas dinámicos mixtos.
• Generalización: El Corolario 1.3 sugiere que la propiedad DML(1) se preserva bajo productos, lo que abre la puerta a demostrar la conjetura en variedades de dimensión superior construidas como productos de curvas.
• Relevancia en Teoría de Números: Al trabajar sobre $\mathbb{Q}$ y utilizar propiedades de cuerpos numéricos (lugares, alturas, propiedad de Northcott), el resultado conecta profundamente la dinámica compleja con la aritmética de los puntos racionales.

En resumen, el artículo de Xie, Yang y Zheng proporciona una demostración robusta y elegante de la Conjetura DML para una clase importante de sistemas dinámicos divididos, utilizando un análisis sofisticado de la velocidad de divergencia de las órbitas en diferentes topologías.