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

1. Il Problema: La Congettura di Mordell-Lang Dinamica (DML)

Il lavoro si inserisce nel campo della dinamica aritmetica e affronta la Congettura di Mordell-Lang Dinamica, proposta originariamente da Ghioca e Tucker.

• Enunciato: Sia $f: X \to X$ un endomorfismo di una varietà quasi-proiettiva su un campo $K$ di caratteristica zero, e sia $V$ una sottovarietà chiusa di $X$. Per ogni punto $x \in X(K)$, l'insieme dei tempi di ritorno $\{n \in \mathbb{N} \mid f^n(x) \in V(K)\}$ deve essere una unione finita di progressioni aritmetiche.
• Stato dell'arte: La congettura è stata dimostrata in casi specifici, come quando $f$ è un endomorfismo étale o quando $X = \mathbb{A}^2_{\mathbb{C}}$. Tuttavia, rimane aperta per molte altre configurazioni.
• Obiettivo del paper: Dimostrare la congettura per prodotti di endomorfismi su varietà della forma $X \times Y$, dove $X$ è una curva affine e $Y$ è una curva proiettiva definite su $\mathbb{Q}$.

2. Metodologia e Strumenti Chiave

Gli autori adottano un approccio che combina geometria aritmetica, teoria dell'altezza e analisi asintotica delle orbite.

A. Riduzione al Caso Principale ($\mathbb{A}^1 \times \mathbb{P}^1$)

Il teorema principale (Teorema 1.1) viene ridotto allo studio del caso specifico $X = \mathbb{A}^1$ e $Y = \mathbb{P}^1$ (Proposizione 1.2).

• Si assume che i gradi degli endomorfismi $f$ e $g$ siano uguali e maggiori di 1 ($\deg(f) = \deg(g) = d > 1$).
• Si assume che nessuna iterata di $g$ sia coniugabile a un polinomio (caso non banale).
• Si riduce il problema mostrando che l'intersezione tra un'orbita non pre-periodica e una curva irriducibile $C$ (non verticale e non orizzontale) è finita.

B. Analisi delle Altezze e Velocità di Fuga

Il cuore della dimostrazione risiede nel confronto tra il comportamento asintotico delle coordinate nelle due componenti del prodotto:

1. Coordinate Affini ($\mathbb{A}^1$): Utilizzando il Lemma 2.2, gli autori dimostrano che per un punto non pre-periodico $x_0$, esiste un posto $v$ (valutazione) tale che la coordinata $f^n(x_0)$ tende all'infinito con la massima velocità possibile, ovvero $|f^n(x_0)|_v \sim d^n$.
2. Coordinate Proiettive ($\mathbb{P}^1$): Si applica il Lemma 2.1 (basato su un risultato di Silverman), che afferma che per un endomorfismo su $\mathbb{P}^1$ senza punti eccezionali, nessuna sottosuccessione di un'orbita non pre-periodica può tendere a un punto con la stessa velocità massima.

C. Contraddizione Geometrica

La strategia di prova per la Proposizione 1.2 procede per assurdo:

• Si assume che l'intersezione tra l'orbita e la curva $C$ sia infinita.
• Si considera l'equazione definitoria della curva $C$ e si analizza il comportamento asintotico quando la coordinata $x$ (in $\mathbb{A}^1$) tende all'infinito.
• Si dimostra che affinché un punto dell'orbita rimanga sulla curva $C$, la coordinata $y$ (in $\mathbb{P}^1$) deve convergere a uno dei punti di intersezione della chiusura di $C$ con la retta all'infinito ($l_\infty$) con una velocità specifica.
• Tuttavia, la velocità di convergenza richiesta per $y$ è incompatibile con il comportamento asintotico garantito dal Lemma 2.1 (che impone un limite superiore alla velocità di avvicinamento a un punto non eccezionale).
• Questa discrepanza genera una contraddizione, provando che l'intersezione deve essere finita.

3. Risultati Principali

Teorema 1.1 (Risultato Principale)

La congettura DML vale per $(X \times Y, f \times g)$, dove:

• $X$ è una curva affine su $\mathbb{Q}$.
• $Y$ è una curva proiettiva su $\mathbb{Q}$.
• $f$ e $g$ sono endomorfismi.

La dimostrazione copre tutti i casi di genere delle curve (genere 0, 1 o >1), utilizzando:

• Risultati noti per curve di genere >1 (dove le iterazioni sono identità o étale).
• Risultati noti per curve di genere 1 (mappe étale).
• La Proposizione 1.2 per il caso di genere 0 (dove $X \cong \mathbb{A}^1$ e $Y \cong \mathbb{P}^1$).

Corollario 1.3 (Generalizzazione)

Se $(X, f)$ e $(Y, g)$ soddisfano la proprietà DML(1) (la congettura vale per curve), allora anche il prodotto $(X \times Y, f \times g)$ soddisfa la proprietà DML(1).

• Questo risultato estende la validità della congettura a varietà di dimensione superiore che sono prodotti di varietà che già soddisfano la proprietà per le curve.

4. Contributi Chiave e Significato

• Risoluzione di un caso split: Il lavoro risolve la congettura DML per una classe significativa di sistemi dinamici "split" (prodotto cartesiano) che non erano coperti dai risultati precedenti su $\mathbb{A}^2$ o sulle varietà étale.
• Nuova tecnica di confronto asintotico: L'uso combinato della crescita esponenziale delle altezze in $\mathbb{A}^1$ e dei limiti di velocità di convergenza in $\mathbb{P}^1$ fornisce un metodo potente per trattare le intersezioni in prodotti di varietà di natura diversa (affine vs proiettiva).
• Implicazioni strutturali: Il Corollario 1.3 suggerisce che la proprietà DML(1) è stabile sotto il prodotto cartesiano, offrendo un percorso per affrontare casi di dimensione superiore decomponendo le varietà in fattori più semplici.
• Rilevanza per la dinamica aritmetica: Il risultato consolida la comprensione della distribuzione dei punti razionali nelle orbite dinamiche, confermando la natura "rigida" delle intersezioni tra orbite e sottovarietà in contesti non banali.

In sintesi, il paper di Xie, Yang e Zheng rappresenta un passo avanti significativo nella teoria della dinamica aritmetica, fornendo una dimostrazione rigorosa della congettura DML per prodotti di curve affini e proiettive, sfruttando sottili analisi metriche sui campi numerici.