Local height arguments toward the dynamical Mordell-Lang conjecture

Sintesi Tecnica: Argomenti di Altezza Locale verso la Congettura di Mordell–Lang Dinamica

Enunciato del Problema
Questo articolo indaga la congettura di Mordell–Lang dinamica (DML) per endomorfismi regolari dello spazio affine complesso $\mathbb{A}^N_{\mathbb{C}}$. La congettura DML afferma che, per un endomorfismo $f$ di una varietà quasi-proiettiva $X$, l'insieme di ritorno $\{n \in \mathbb{N} \mid f^n(x) \in V\}$ di un punto $x$ in una sottovarietà chiusa $V$ è una unione finita di progressioni aritmetiche. Sebbene la congettura sia nota per casi specifici (ad esempio, endomorfismi étale o $\mathbb{A}^2$), questo lavoro si concentra sul caso in cui $V$ è una curva (la proprietà DML(1)) per una specifica classe di endomorfismi regolari con un "divario di grado".

Gli autori considerano endomorfismi regolari $f: \mathbb{A}^N \to \mathbb{A}^N$ che si estendono a $\mathbb{P}^N$. Tali mappe sono della forma $f(x) = (f_1+g_1, \dots, f_N+g_N)$, dove $f_i$ sono polinomi omogenei di grado $d$ senza zeri comuni, e $g_i$ sono polinomi di grado $\le d-k$. L'intero $k$ è il "divario di grado". Il comportamento della mappa indotta $f_\infty$ sull'iperpiano all'infinito $H_\infty$ è cruciale. Il problema centrale è determinare in quali condizioni su $k$ e sulla ramificazione di $f_\infty$ vale la proprietà DML(1) e caratterizzare le curve periodiche.

Metodologia
Gli autori impiegano un "argomento di altezza locale", una tecnica distinta dagli argomenti di altezza globale utilizzati in lavori precedenti (ad esempio, di Ghioca, Tucker e Xie) che si basano sul fatto che il sistema sia "polarizzato" in modo da consentire due velocità di crescita distinte. Poiché i sistemi studiati qui sono polarizzati, l'argomento di altezza globale fallisce. Invece, gli autori utilizzano:

1. Teoria di Arakelov per Campi Funzionali Aritmetici: Per lavorare su $\mathbb{C}$, gli autori scendono a un campo funzionale aritmetico $K$ (un'estensione finitamente generata di $\mathbb{Q}$) dove tutti i dati sono definiti. Utilizzano la teoria di Arakelov sviluppata da Vojta e Moriwaki, che fornisce una formula del prodotto e uno spazio di misura di valori assoluti $M_K$.
2. Altezze Locali (Funzioni di Weil): Definiscono funzioni di Weil $\lambda_P$ per i punti e $\lambda_{H_\infty}$ per l'iperpiano all'infinito sull'insieme dei posti $S$. Queste funzioni misurano la vicinanza dei punti a specifiche sottovarietà.
3. Teorema di Roth: Uno strumento centrale è il teorema di Roth sui campi funzionali aritmetici (stabilito da Vojta). Gli autori lo usano per controllare la distribuzione dei punti sulle curve. Nello specifico, dimostrano che se una curva è "sufficientemente verticale" (il che significa che i punti sulla curva si avvicinano all'iperpiano all'infinito in un modo specifico rispetto alla loro proiezione), la curva deve essere una linea retta.
4. Proprietà di Finitudine di Northcott: Questa viene utilizzata per stabilire la finitudine dei punti periodici con altezza limitata, assicurando che le orbite inverse dei punti all'infinito siano insiemi finiti di punti periodici.
5. Disuguaglianza Triangolare e Iterazione: La dimostrazione comporta la costruzione di una sequenza di pre-immagini della curva $C$ (denotate $C_{-n}$) e la dimostrazione che, sotto la condizione del divario di grado, queste curve diventano sempre più "verticali" nei loro punti di intersezione con $H_\infty$.

Contributi e Risultati Chiave

• Teorema Principale (Teorema 1.3): Sia $f$ un endomorfismo regolare di $\mathbb{A}^N$ con divario di grado $k$. Se $C$ è una sottocurva chiusa irriducibile con un'intersezione infinita con un'orbita di $f$, e se $k > 2 \max_{P \in I_0} e_{f_\infty}(P)$ (dove $I_0$ è l'orbita in avanti dei punti di intersezione $C \cap H_\infty$ e $e_{f_\infty}(P)$ è la molteplicità di $f_\infty$ in $P$), allora:

  1. L'intersezione $C \cap H_\infty$ consiste di 1 o 2 punti, che sono periodici sotto $f_\infty$.
  2. $C$ è una "linea verticale" (una linea retta passante per l'origine).

• Proprietà DML(1) (Teorema 1.7): Sotto la stessa condizione ($k > 2 \max_{P \in \text{Per}(f_\infty)} e_{f_\infty}(P)$), la mappa $f$ soddisfa la proprietà DML(1). Inoltre, ogni curva $f$-periodica irriducibile è una linea verticale.

• Esistenza di Esempi (Proposizione 1.6): Gli autori dimostrano che per un endomorfismo generale $f_\infty$ di $H_\infty \cong \mathbb{P}^{N-1}$ di grado $d$, la molteplicità massima è limitata da $(N-1)! \cdot 2^{N-1}$. Di conseguenza, se il divario di grado $k$ è scelto come $(N-1)! \cdot 2^N + 1$, la condizione per il teorema principale è soddisfatta per $f_\infty$ generale.

• Ottimalità (Esempio 1.8): L'articolo fornisce esempi che dimostrano che la condizione $k > 2 \max e_{f_\infty}(P)$ è ottimale. Nello specifico, se la disuguaglianza è rilassata a $\ge$, esistono curve invarianti che non sono linee verticali.

• Caratterizzazione delle Curve Periodiche: Come sottoprodotto, gli autori caratterizzano completamente le curve periodiche per tali mappe: esse sono strettamente linee verticali. Se l'unione di queste linee è densa di Zariski, i termini di grado inferiore $g_i$ devono annullarsi.

Significato e Affermazioni
L'articolo afferma di avanzare la comprensione della congettura DML in dimensioni superiori introducendo un "argomento di altezza locale" adattato ai sistemi polarizzati con un divario di grado visibile. Il significato risiede in:

1. Rottura dell'Isotropia: La condizione sul divario di grado e sulla ramificazione è interpretata come un meccanismo per "rompere l'isotropia" del sistema, permettendo agli autori di trovare due diverse velocità di crescita dell'altezza locale, necessarie per applicare il teorema di Roth.
2. Classificazione Completa: A differenza di lavori precedenti che potrebbero stabilire solo la proprietà DML, questo approccio permette la determinazione esplicita di tutte le curve periodiche (identificandole come linee verticali) come diretta conseguenza della dimostrazione.
3. Ottimalità: Gli autori affrontano esplicitamente la precisione delle loro condizioni, mostrando che la disuguaglianza stretta è necessaria per imporre la rigidità geometrica delle curve periodiche.
4. Limitazioni in Caratteristica Positiva: L'articolo nota che il loro metodo si basa pesantemente sul teorema di Siegel e sul teorema di Roth, che non valgono nella stessa forma in caratteristica positiva. Forniscono un controesempio in caratteristica positiva dove le curve invarianti non sono linee verticali, suggerendo che sono necessari nuovi metodi per quel contesto.

Il lavoro è presentato come un successore dei precedenti argomenti basati sull'altezza (riferendosi specificamente a [XYb]) ma adattato ai vincoli specifici degli endomorfismi regolari con divari di grado, utilizzando il contesto del campo funzionale aritmetico per gestire il caso complesso.