Height arguments toward the dynamical Mordell-Lang problem in arbitrary characteristic

Sintesi Tecnica: Argomenti di Altezza verso il Problema di Mordell–Lang Dinamico in Caratteristica Arbitraria

Enunciato del Problema
Il lavoro affronta la congettura di Mordell–Lang Dinamico (DML), un problema centrale nella dinamica aritmetica. La congettura afferma che, per una mappa razionale $f$ di una varietà $X$ e un punto $x$ con un'orbita ben definita, l'insieme di ritorno $\{n \in \mathbb{N} \mid f^n(x) \in V\}$ (dove $V$ è una sottovarietà chiusa) è un'unione finita di progressioni aritmetiche. Mentre questa congettura "0-DML" vale in caratteristica 0 per casi specifici (ad esempio, endomorfismi étale, endomorfismi di $\mathbb{A}^2$), essa fallisce in caratteristica positiva $p > 0$. In caratteristica positiva, gli insiemi di ritorno possono esibire strutture complesse, portando al problema "pDML", che mira a caratterizzare la forma di tali insiemi. Lavori precedenti di Corvaja, Ghioca, Scanlon e Zannier [6] e degli autori [37] hanno stabilito che gli insiemi di ritorno per certi sistemi sono insiemi "p-normali" o "ampiamente p-normali". Tuttavia, la struttura generale degli insiemi di ritorno per endomorfismi arbitrari in caratteristica positiva rimane in gran parte sconosciuta e potenzialmente più complessa di quanto ipotizzato in precedenza.

Metodologia
Gli autori impiegano argomenti di altezza per investigare il problema DML in caratteristica arbitraria. La strategia fondamentale consiste nell'identificare due distinte "velocità" di crescita dell'altezza per l'orbita di un punto sotto diversi fibrati in linea. Se l'orbita interseca una sottovarietà infinite volte, i tassi di crescita dell'altezza calcolati tramite questi diversi fibrati devono essere compatibili. Gli autori dimostrano che, sotto specifiche condizioni dinamiche, questi tassi di crescita sono incompatibili, costringendo l'intersezione a essere finita.

Gli strumenti tecnici chiave includono:

1. Moltiplicatori di Lyapunov Cohomologici ($\mu_i(f)$): Introdotti dal primo autore [29, 35], sono definiti come rapporti di gradi dinamici ($\lambda_i(f)/\lambda_{i-1}(f)$). Funzionano come autovalori della mappa di pullback sul gruppo di classe numerico. Gli autori utilizzano la condizione secondo cui questi moltiplicatori non sono radici dell'unità (specificamente, non appartengono all'insieme $\text{Root} = \{a^{1/n} \mid a, n \in \mathbb{Z}^+\}$) per generare tassi di crescita distinti.
2. Coniugati di Galois: Per costruire il necessario secondo fibrato in linea per l'argomento di altezza, gli autori utilizzano i coniugati di Galois dei moltiplicatori di Lyapunov coomologici. L'assunzione che $\mu_i(f) \notin \text{Root}$ garantisce l'esistenza di un coniugato $\mu'$ tale che $|\mu| \neq |\mu'|$, creando la disparità richiesta nelle velocità di crescita.
3. Mappe di Albanese: Per varietà proiettive generali, gli autori riducono il problema a casi estremi (dove il numero di Picard è banale o la varietà è una varietà abeliana) utilizzando mappe di Albanese.
4. Altezze di Moriwaki: Sebbene le dimostrazioni principali siano condotte in caratteristica positiva utilizzando altezze di Weil, gli autori notano che gli argomenti si estendono alla caratteristica 0 sostituendo la macchina delle altezze di Weil con la macchina delle altezze di Moriwaki [22], che soddisfa la proprietà di Northcott per campi di funzioni aritmetici.

Contributi e Risultati Chiave

1. Finitudine degli Insiemi di Ritorno per Orbite Dense (Teorema 1.1):
   Gli autori dimostrano che per un endomorfismo suriettivo $f$ di una varietà proiettiva $X$, se i moltiplicatori di Lyapunov coomologici $\mu_i(f)$ non appartengono a $\text{Root}$ per ogni $i$, allora l'insieme di ritorno di un'orbita densa in qualsiasi sottocurva chiusa $C$ è finito. Questo risultato generalizza le precedenti scoperte sugli automorfismi coomologicamente iperbolici di superfici [34] a dimensioni e varietà arbitrarie.

   • Corollario 1.3: Questo si estende ai casi in cui l'insieme dei moltiplicatori ha un'intersezione vuota con l'intervallo $[1, \deg(f)]$, inclusi gli automorfismi coomologicamente iperbolici e gli automorfismi amplificati.

2. Endomorfismi Scomposti e Sistemi Prodotto (Teorema 1.8):
   Il lavoro stabilisce un risultato per endomorfismi scomposti di spazi prodotto $X \times C$. Se $f: X \to X$ e $g: C \to C$ sono endomorfismi suriettivi tali che il grado di $g$ supera il primo grado dinamico di $f$ ($\deg(g) > \lambda_1(f)$), e se $(X, f)$ soddisfa la proprietà DML di tipo $\epsilon$ (dove $\epsilon \in \{0, 1, 2\}$), allora il sistema prodotto $(X \times C, f \times g)$ soddisfa anch'esso la proprietà DML di tipo $\epsilon$.

   • Meccanismo: La condizione $\deg(g) > \lambda_1(f)$ crea un fattore "veloce" ($C$) e un fattore "lento" ($X$). L'argomento di altezza forza la componente dell'orbita nel fattore veloce a essere preperiodica, riducendo il problema al fattore più lento.
   • Corollario 1.9: Applicato a prodotti di curve con gradi distinti, ciò implica che se i gradi dei fattori sono strettamente crescenti (con il primo uguale a 1), il sistema soddisfa la proprietà DML2 (insiemi ampiamente p-normali).

3. Controesempi e Complessità degli Insiemi di Ritorno (Sezione 5):
   Gli autori dimostrano che l'argomento di altezza non può essere applicato a tutti i sistemi, specificamente a quelli con entropia zero o endomorfismi int-amplificati (che sono "isotropi" in termini di crescita).

   • Proposizione 1.12: Costruiscono un automorfismo di un toro lineare con entropia zero che non soddisfa la proprietà DML1. Questo smentisce una congettura di Ghioca [9] riguardante le varietà affini.
   • Esempi 5.5 e 5.6: Gli autori forniscono esempi euristici e rigorosi che mostrano come gli insiemi di ritorno possano essere significativamente più complessi degli "insiemi ampiamente p-normali". Nello specifico, costruiscono sistemi in cui l'insieme di ritorno coinvolge soluzioni a sistemi di equazioni polinomiali-esponenziali, producendo insiemi della forma $\{p^{m_1} + p^{m_2} + p^{m_1+m_2}\}$, che ricadono al di fuori della portata degli insiemi p-normali precedentemente definiti.

Significato e Affermazioni
Il lavoro afferma di avanzare la comprensione del problema DML in caratteristica positiva attraverso:

• Fornire un approccio unificato basato sull'altezza che funziona in caratteristica arbitraria (con la macchina delle altezze appropriata).
• Identificare una vasta classe di sistemi dinamici (quelli con moltiplicatori di Lyapunov non radici dell'unità) in cui gli insiemi di ritorno sono finiti, estendendo risultati noti dalle superfici a dimensioni superiori.
• Chiarire la relazione strutturale tra sistemi dinamici scomposti e i loro fattori, mostrando come le disparità di grado controllino la complessità degli insiemi di ritorno.
• Sfida l'intuizione prevalente secondo cui gli insiemi di ritorno in caratteristica positiva sono limitati da strutture "ampiamente p-normali". Gli autori affermano esplicitamente che i loro esempi mostrano che gli insiemi di ritorno possono essere "molto complicati — più complicati di quanto gli esperti avessero una volta immaginato", anche per endomorfismi di tori a entropia zero.

Gli autori mantengono un atteggiamento modesto riguardo alla portata completa del problema pDML, notando che il caso degli endomorfismi di tori è equivalente alla risoluzione di difficili equazioni diofantee [6] e che i loro controesempi suggeriscono la necessità di una congettura raffinata (Domanda 5.9) che coinvolga insiemi semilineari e sistemi di equazioni. Non affermano di aver risolto il problema generale pDML, ma piuttosto delineano i confini in cui gli argomenti di altezza hanno successo e dove il problema esibisce una complessità senza precedenti.