On the height boundedness of periodic and preperiodic points of dominant rational self-maps on projective varieties

Il paper fornisce un controesempio alla congettura sulla limitatezza dell'altezza dei punti periodici isolati di automorfismi su spazi affini, dimostra che i punti periodici sono limitati in altezza su un aperto di Zariski per le mappe razionali dominanti coomologicamente iperboliche su varietà proiettive, e suggerisce che tale proprietà potrebbe non valere per i punti preperiodici.

L'essenziale

Immaginate di avere una macchina matematica, un "motore" che prende un punto in uno spazio (come un punto su una mappa) e lo sposta in un nuovo punto secondo regole precise. Se continuate a premere il tasto "avanti" (applicare la macchina ripetutamente), il punto potrebbe:

1. Tornare al punto di partenza dopo un po' di giri (questo è un punto periodico, come un'auto che fa il giro completo di un circuito).
2. Entrare in un ciclo dopo aver fatto qualche giro di prova (questo è un punto pre-periodico, come un'auto che entra in un'autostrada dopo aver girato in un parcheggio).

Gli matematici si chiedono: "Se facciamo girare questa macchina all'infinito, i punti che tornano indietro o entrano in un ciclo rimangono tutti vicini tra loro, o possono disperdersi all'infinito?"

In termini matematici, "vicini" o "dispersi" si misura con una cosa chiamata altezza (che non è la distanza fisica, ma una misura di quanto i numeri che descrivono il punto siano "complessi" o "grandi").

Ecco cosa hanno scoperto gli autori di questo articolo, Yohsuke Matsuzawa e Kaoru Sano, usando metafore semplici:

1. La Smentita: "Non sempre tutto rimane ordinato"

Per molto tempo, i matematici hanno creduto a una regola d'oro: Se la macchina è abbastanza complessa (di grado almeno due), allora tutti i punti che tornano indietro rimarranno sempre in una zona "controllata" (altezza limitata).

Gli autori hanno detto: "Fermatevi! Abbiamo trovato un'eccezione!"
Hanno costruito una macchina specifica in uno spazio tridimensionale (come una stanza 3D).

• L'analogia: Immaginate un labirinto 3D. Per la maggior parte dei labirinti, se tornate al punto di partenza, siete rimasti nella stessa zona. Ma questa macchina speciale è come un labirinto magico: ci sono percorsi che vi portano a tornare al punto di partenza, ma ogni volta che tornate, siete su una scala che vi porta sempre più in alto, verso l'infinito.
• Il risultato: Hanno dimostrato che esistono punti che tornano al punto di partenza (periodici), ma la loro "complessità" (altezza) cresce all'infinito. Quindi, la vecchia regola non vale per tutte le macchine in 3 dimensioni.

2. La Soluzione: "La chiave è l'ipercarattere"

Dopo aver rotto la regola, si sono chiesti: "Allora quando funziona la regola?"
Hanno scoperto che la chiave è una proprietà chiamata Iperbolicità Cohomologica.

• L'analogia: Immaginate che la macchina abbia delle "forze" che tirano in direzioni diverse.
  • Se la macchina è iperbolica, significa che ha una direzione dominante molto forte che "stira" lo spazio in modo prevedibile, mentre le altre direzioni si comportano in modo diverso. È come se la macchina avesse un "motore principale" molto potente che tiene tutto sotto controllo.
  • Se la macchina non è iperbolica (come nel caso del labirinto 3D sopra), le forze sono bilanciate in modo strano e i punti possono scappare all'infinito.
• Il risultato: Hanno dimostrato che se la macchina è "Iperbolica", allora esiste una zona sicura (un'area aperta) dove, se i punti tornano indietro, rimarranno sempre vicini e non scapperanno all'infinito. È come dire: "Finché resti in questa stanza sicura, non puoi diventare troppo complesso".

3. Il Mistero dei "Pre-Periodici": "Il caso dei punti che arrivano da lontano"

C'è una differenza tra chi torna al punto di partenza (periodico) e chi arriva al punto di partenza dopo un viaggio (pre-periodico).

• L'analogia:
  • I punti periodici sono come turisti che fanno un giro turistico e tornano all'hotel.
  • I punti pre-periodici sono come persone che arrivano in città da molto lontano, fanno un giro e poi si uniscono al gruppo dei turisti.
• Il problema: Gli autori hanno costruito un esempio di macchina "iperbolica" (quindi dovrebbe essere sicura) dove i turisti (periodici) stanno bene, ma le persone che arrivano da lontano (pre-periodici) provengono da distanze infinite e la loro complessità esplode.
• La domanda aperta: Non sono ancora sicuri se questo sia un difetto della loro prova o se sia una vera proprietà della natura. Chiedono alla comunità matematica: "È possibile che anche nelle macchine sicure, le persone che arrivano da molto lontano possano essere infinitamente complesse?"

In sintesi

Questo articolo è come un viaggio di esplorazione:

1. Hanno trovato un mostro (un controesempio) che rompe la vecchia legge sulla sicurezza dei punti periodici.
2. Hanno scoperto che la legge della natura (l'iperbolicità) salva la situazione per i punti periodici, garantendo che rimangano in una zona controllata.
3. Hanno lasciato una scatola misteriosa aperta riguardo ai punti pre-periodici, suggerendo che anche nelle macchine più sicure, chi arriva da molto lontano potrebbe portare con sé una complessità infinita.

È un lavoro che ci insegna che in matematica, anche le regole che sembrano ovvie possono avere eccezioni sorprendenti, e che la "sicurezza" di un sistema dipende dalla sua struttura interna profonda.

Sommario tecnico

Ecco un riassunto tecnico dettagliato del paper "On the height boundedness of periodic and preperiodic points of dominant rational self-maps on projective varieties" di Yohsuke Matsuzawa e Kaoru Sano.

1. Problema e Contesto

Il lavoro si inserisce nel campo della dinamica aritmetica, focalizzandosi sulla proprietà di limitatezza dell'altezza (height boundedness) degli insiemi di punti periodici e preperiodici per mappe razionali su varietà algebriche.

• Contesto noto: Per le mappe suriettive non isomorfe $f: \mathbb{P}^N_{\mathbb{Q}} \to \mathbb{P}^N_{\mathbb{Q}}$, è ben noto che l'insieme dei punti preperiodici è limitato in altezza. Questo deriva dal fatto che i punti preperiodici sono caratterizzati dall'annullamento dell'altezza canonica $\hat{h}_f$, che è limitata rispetto all'altezza naive.
• La Congettura: Si è posto il problema di estendere questo risultato ad altri tipi di mappe, in particolare agli automorfismi dello spazio affine $\mathbb{A}^N_{\mathbb{Q}}$. La Congettura 1.1 (proposta in letteratura precedente) affermava che per un automorfismo $f: \mathbb{A}^N_{\mathbb{Q}} \to \mathbb{A}^N_{\mathbb{Q}}$ con grado massimo delle coordinate $\ge 2$, l'insieme dei punti periodici isolati dovrebbe avere altezza limitata.
• L'obiettivo: Gli autori investigano la validità di questa congettura in dimensioni superiori e identificano le condizioni (come l'iperbolicità coomologica) necessarie per garantire la limitatezza dell'altezza, fornendo al contempo controesempi quando tali condizioni non sono soddisfatte.

2. Metodologia

Gli autori adottano un approccio misto che combina:

1. Costruzione di controesempi espliciti: Utilizzando strutture algebriche specifiche (mappe di Hénon e automorfismi lineari su campi finiti) per generare sequenze di punti con altezza crescente.
2. Teoria dei gradi dinamici e iperbolicità coomologica: Analisi delle proprietà asintotiche delle iterazioni della mappa ($d_i(f)$) per definire la "iperbolicità coomologica".
3. Disuguaglianze ricorsive sull'altezza: Adattamento di tecniche sviluppate in lavori precedenti (Wang, Matsuzawa-Wang) per stabilire limiti superiori sull'altezza dei punti periodici sotto specifiche condizioni dinamiche.
4. Geometria Algebrica e Teoria dei Numeri: Uso di riduzioni modulo primi, campi di definizione, proprietà di etalità e teoremi di sollevamento per analizzare il comportamento dei punti periodici e preperiodici.

3. Risultati Chiave e Contributi

A. Smentita della Congettura 1.1 in Dimensione 3

Gli autori forniscono un controesempio alla Congettura 1.1 per $N=3$.

• Costruzione: Considerano l'automorfismo $f: \mathbb{A}^3_{\mathbb{Q}} \to \mathbb{A}^3_{\mathbb{Q}}$ definito da:
  $$f(x, y, z) = (y, x + y - y^3, 2z - y)$$
• Risultato (Teorema 1.3):
  1. Per ogni $n \ge 1$, l'insieme dei punti $n$-periodici è finito (quindi tutti i punti periodici sono isolati).
  2. L'insieme di tutti i punti periodici è illimitato in altezza.
• Meccanismo: La mappa agisce sulle prime due coordinate come una mappa di Hénon $g$. La coordinata $z$ è costruita in modo tale che, riducendo modulo 3, la mappa diventi lineare. Questa struttura permette di dimostrare che le coordinate $z$ dei punti periodici corrispondenti hanno un'altezza che tende all'infinito. Inoltre, la mappa non è coomologicamente iperbolica (i suoi gradi dinamici soddisfano $d_1(f) = d_2(f) = 3$), il che suggerisce che l'iperbolicità è una condizione necessaria per la limitatezza.

B. Limitatezza dell'Altezza per Mappe Iperboliche

Gli autori dimostrano un risultato positivo per le mappe coomologicamente iperboliche.

• Definizione: Una mappa dominante $f$ è $p$-coomologicamente iperbolica se esiste un unico $p$ tale che il grado dinamico $d_p(f)$ è strettamente maggiore di tutti gli altri $d_i(f)$.
• Teorema 1.8: Se $f: X \dashrightarrow X$ è una mappa dominante coomologicamente iperbolica su una varietà proiettiva definita su $\mathbb{Q}$, allora esiste un aperto di Zariski non vuoto $U \subset X$ tale che l'insieme dei punti periodici la cui orbita è contenuta in $U$ è limitato in altezza.
• Significato: Questo risultato generalizza lavori precedenti rimuovendo l'assunzione che la mappa debba essere birazionale. La prova si basa su disuguaglianze ricorsive sull'altezza lungo l'orbita, sfruttando la proprietà di "big" (grande) di certi divisori costruiti tramite combinazioni lineari di pull-back della mappa.

C. Comportamento dei Punti Preperiodici

Il comportamento dei punti preperiodici è più complesso e la limitatezza non è garantita nemmeno sotto l'ipotesi di iperbolicità coomologica.

• Teorema 1.9: Gli autori costruiscono una mappa razionale $f: \mathbb{P}^2_{\mathbb{Q}} \dashrightarrow \mathbb{P}^2_{\mathbb{Q}}$ (con $d \ge 3$) che è 1-coomologicamente iperbolica ($d_1(f)=d, d_2(f)=2$).
• Risultato: Esiste un punto fisso $P_0$ e una sequenza di punti preperiodici $\{P_n\}_{n \ge 1}$ tali che $f(P_n) = P_{n-1}$, l'insieme è denso di Zariski e l'altezza $\lim_{n \to \infty} h(P_n) = \infty$.
• Implicazione: Questo suggerisce che la condizione di iperbolicità coomologica da sola non è sufficiente per garantire la limitatezza dell'altezza per i punti preperiodici, a differenza dei punti periodici. La mappa costruita è finita in un intorno di $P_0$, quindi l'illimitatezza non è dovuta a curve contratte in punti preperiodici (un caso banale noto).

4. Significato e Conclusioni

Il lavoro di Matsuzawa e Sano è fondamentale per la dinamica aritmetica per i seguenti motivi:

1. Delimitazione dei confini delle congetture: Dimostra che la congettura sulla limitatezza dell'altezza per gli automorfismi affini è falsa in dimensione $\ge 3$, chiudendo una questione aperta e mostrando che la dimensionalità gioca un ruolo critico.
2. Ruolo dell'Iperbolicità Coomologica: Identifica l'iperbolicità coomologica come la condizione chiave che garantisce la limitatezza dell'altezza per i punti periodici (in un aperto opportuno), fornendo una classe ampia di mappe per cui il comportamento è "buono".
3. Distinzione tra Periodici e Preperiodici: Evidenzia una differenza sostanziale nel comportamento aritmetico: mentre i punti periodici di mappe iperboliche sono limitati in altezza, i punti preperiodici possono sfuggire a tale limitazione anche in presenza di iperbolicità.
4. Domande Aperte: Il paper solleva questioni importanti sulla natura esatta delle condizioni necessarie per la limitatezza dei punti preperiodici e sulla validità di versioni più deboli delle congetture (es. finitudine su campi numerici fissi).

In sintesi, il paper risolve negativamente una congettura specifica in dimensione alta, ma offre un quadro teorico robusto (basato sull'iperbolicità coomologica) che spiega quando e perché la limitatezza dell'altezza si verifica, distinguendo chiaramente tra i casi periodici e preperiodici.