2025-11-10T02:51:47.431303

On the Number of Small Points for Rational Maps

Yap
Let $K$ be a number field and $f: \mathbb{P}^1 \to \mathbb{P}^1$ a rational map of degree $d \geq 2$ with at most $s$ places of bad reduction, where we include all archimedean places. We prove that there exists constants $c_1,c_2 > 0$, depending only on $d$ and not on $f$ or $K$, such that $$ \# \left\{ x \in \mathbb{P}^1(K) \mid \widehat{h}_f(x) \leq \frac{c_1}{s} h_{\operatorname{rat}_d}(\langle f \rangle) \right\} \leq c_2 s \log(s). $$ Here, $\operatorname{rat}_d$ is the moduli space of rational maps up to conjugacy, $h_{\operatorname{rat}_d}$ is an ample height and $\langle f \rangle$ is the equivalence class associated to $f$. This gives a uniform version of a theorem of Baker as well as generalizing the results of Benedetto and Looper from polynomials to rational maps. The main tool used is the degeneration of sequences of rational maps by Luo which has been recently formalized by Favre-Gong via Berkovich spaces.
academic

Sul Numero di Punti Piccoli per Mappe Razionali

Informazioni Fondamentali

  • ID Articolo: 2510.12039
  • Titolo: On the Number of Small Points for Rational Maps
  • Autore: Jit Wu Yap
  • Classificazione: math.NT (Teoria dei Numeri), math.DS (Sistemi Dinamici)
  • Data di Pubblicazione: 14 ottobre 2025 (preprint arXiv)
  • Link Articolo: https://arxiv.org/abs/2510.12039

Riassunto

Sia KK un campo numerico e f:P1P1f: \mathbb{P}^1 \to \mathbb{P}^1 una mappa razionale di grado d2d \geq 2 con al più ss posizioni di cattiva riduzione (includendo tutti i posti archimedei). Questo articolo dimostra l'esistenza di costanti c1,c2>0c_1, c_2 > 0, dipendenti solo da dd e indipendenti da ff o KK, tali che #{xP1(K)h^f(x)c1shratd(f)}c2slog(s)\# \left\{ x \in \mathbb{P}^1(K) \mid \widehat{h}_f(x) \leq \frac{c_1}{s} h_{\operatorname{rat}_d}(\langle f \rangle) \right\} \leq c_2 s \log(s) dove ratd\operatorname{rat}_d è lo spazio dei moduli delle mappe razionali sotto l'azione di coniugazione, hratdh_{\operatorname{rat}_d} è l'altezza ampia, e f\langle f \rangle è la classe di equivalenza associata a ff.

Contesto di Ricerca e Motivazione

Sfondo del Problema

Questa ricerca appartiene al campo dei sistemi dinamici aritmetici, focalizzandosi sullo studio del problema dei punti piccoli per mappe razionali. Specificamente:

  1. Problema Centrale: Per una data mappa razionale ff, quanti punti xx possiedono un'altezza canonica piccola h^f(x)\widehat{h}_f(x)? Questo problema è strettamente correlato alla distribuzione dei punti preperiodici, poiché i punti preperiodici sono esattamente quelli con altezza canonica nulla.
  2. Importanza:
    • È un problema fondamentale della geometria aritmetica, correlato a importanti congetture come la congettura di Silverman
    • Possiede significato cruciale per comprendere le proprietà aritmetiche delle mappe razionali
    • Occupa una posizione centrale nell'intersezione tra teoria algebrica dei numeri e sistemi dinamici
  3. Limitazioni Esistenti:
    • Il risultato di Baker (2006) dipende dalla specifica mappa ff, con costanti non uniformi
    • I risultati di Benedetto (2007) e Looper (2019) si applicano solo al caso polinomiale
    • Mancano limitazioni uniformi per mappe razionali generali

Motivazione della Ricerca

Questo articolo mira a generalizzare i risultati polinomiali esistenti a mappe razionali generali e fornire limitazioni uniformi che dipendono solo dal grado dd e dal numero di posizioni di cattiva riduzione ss.

Contributi Principali

  1. Uniformizzazione del Teorema di Baker: Dimostra una versione uniforme del teorema di Baker, dove le costanti dipendono solo dal grado dd, indipendentemente dalla specifica mappa o dal campo numerico
  2. Generalizzazione dei Risultati di Benedetto-Looper: Estende i risultati di Benedetto e Looper sui polinomi a mappe razionali generali
  3. Dipendenza Ottimale: Ottiene una dipendenza O(slogs)O(s \log s) dal numero di posizioni di cattiva riduzione, significativamente migliore della dipendenza esponenziale di Troncoso
  4. Innovazione Tecnica: Applica per la prima volta sistematicamente la teoria della degenerazione di sequenze di mappe razionali di Luo e la formalizzazione dello spazio di Berkovich di Favre-Gong al problema dei punti piccoli
  5. Risultati di Limitazione Inferiore: Come corollario, ottiene limitazioni uniformi inferiori per l'altezza canonica di punti non preperiodici

Spiegazione Dettagliata dei Metodi

Definizione del Compito

Data una mappa razionale f:P1P1f: \mathbb{P}^1 \to \mathbb{P}^1 di grado dd su un campo numerico KK con al più ss posizioni di cattiva riduzione, l'obiettivo è stimare la cardinalità dell'insieme {xP1(K)h^f(x)c1shratd(f)}\left\{ x \in \mathbb{P}^1(K) \mid \widehat{h}_f(x) \leq \frac{c_1}{s} h_{\operatorname{rat}_d}(\langle f \rangle) \right\}

Quadro Tecnico Principale

1. Metodo della Funzione di Arakelov-Green

Per ogni posto vMKv \in M_K, si definisce la funzione dinamica di Arakelov-Green: gf,v(x,y)=logx~y~+H^F(x~)+H^F(y~)1d(d1)logRes(F)g_{f,v}(x,y) = -\log |x̃ \wedge ỹ| + \widehat{H}_F(x̃) + \widehat{H}_F(ỹ) - \frac{1}{d(d-1)}\log|\text{Res}(F)|

dove FF è il sollevamento omogeneo di ff, e x~,y~x̃, ỹ sono sollevamenti di x,yx, y a A2\mathbb{A}^2.

2. Disuguaglianza Chiave

Baker ha dimostrato che per z1,,zNP1(K)z_1, \ldots, z_N \in \mathbb{P}^1(K): ijgf,v(zi,zj)Of(NlogN)\sum_{i \neq j} g_{f,v}(z_i, z_j) \geq -O_f(N \log N)

3. Realizzazione dell'Uniformità

La sfida tecnica principale è uniformizzare la disuguaglianza gf,w(x,y)>δg_{f,w}(x,y) > \delta per x,yx,y nello stesso insieme aperto, in modo che δ\delta sia proporzionale a hratd(f)h_{\operatorname{rat}_d}(\langle f \rangle).

Applicazione della Teoria della Degenerazione

1. Costruzione dello Spazio di Berkovich

Per una sequenza di mappe razionali (fn)(f_n), si costruisce l'anello di Banach: Aε={(xn)n=1Knxnεn eˋ limitato}A^ε = \left\{(x_n) \in \prod_{n=1}^∞ K_n \mid |x_n|^{ε_n} \text{ è limitato}\right\}

dove εn=(logRes(fn))1ε_n = (-\log|\text{Res}(f_n)|)^{-1}.

2. Proprietà della Mappa Limite

Attraverso un ultrafiltro ωω, si ottiene una mappa limite fωf_ω su un campo H(ω)H(ω), che soddisfa:

  • Se limωxnεn=0\lim_ω |x_n|^{ε_n} = 0, allora H(ω)H(ω) è un campo non archimedeo
  • fωf_ω possiede proprietà di cattiva riduzione

3. Argomento di Continuità

Utilizzando la densità delle funzioni modello e argomenti di compattezza, si trasferiscono i risultati dal caso non archimedeo al caso archimedeo.

Punti di Innovazione Tecnica

  1. Degenerazione Transcaratteristica: Realizza per la prima volta sistematicamente la degenerazione da campi archimedei a campi non archimedei, superando i limiti dei metodi tradizionali
  2. Costanti Uniformi: Attraverso analisi raffinata, ottiene costanti uniformi dipendenti solo dal grado dd
  3. Altezza del Risultante Minimo: Introduce l'"altezza" del risultante minimo hres(f)h_{\text{res}}(f) e dimostra la sua comparabilità con l'altezza dei moduli hratd(f)h_{\operatorname{rat}_d}(\langle f \rangle)

Teoremi Principali

Teorema 1.1 (Risultato Principale)

Sia KK un campo numerico e f:PK1PK1f: \mathbb{P}^1_K \to \mathbb{P}^1_K una mappa razionale di grado d2d \geq 2 con ss posizioni di cattiva riduzione. Esistono costanti c1,c2>0c_1, c_2 > 0, dipendenti solo da dd, tali che #{xP1(K)h^f(x)c1shratd(f)}c2slog(s)\# \left\{ x \in \mathbb{P}^1(K) \mid \widehat{h}_f(x) \leq \frac{c_1}{s} h_{\operatorname{rat}_d}(\langle f \rangle) \right\} \leq c_2 s \log(s)

Teorema 1.2 (Limitazione Inferiore dell'Altezza)

Nelle stesse condizioni, esiste una costante c3>0c_3 > 0 tale che per xP1(K)x \in \mathbb{P}^1(K): h^f(x)=0oppureh^f(x)1dc3slogshratd(f)\widehat{h}_f(x) = 0 \quad \text{oppure} \quad \widehat{h}_f(x) \geq \frac{1}{dc_3 s \log s} h_{\operatorname{rat}_d}(\langle f \rangle)

Teorema 1.3 (Ricoprimento Aperto Uniforme)

Esistono una costante δ>0\delta > 0 e un intero positivo NN, dipendenti solo da dd, tali che per qualsiasi campo algebricamente chiuso completo (K,)(K, |\cdot|) e qualsiasi mappa razionale di grado dd su di esso ff, è possibile ricoprire P1(K)\mathbb{P}^1(K) con NN insiemi aperti U1,,UNU_1, \ldots, U_N soddisfacenti gf(x,y)>δ(logres(f))g_f(x,y) > \delta(-\log|\text{res}(f)|) per qualsiasi x,yUix, y \in U_i.

Strategia di Dimostrazione

Primo Passo: Riduzione al Ricoprimento Uniforme

Attraverso riduzione all'assurdo, si assume l'esistenza di troppi punti di altezza piccola e si utilizza il principio della piccionaia per distribuirli nel ricoprimento aperto.

Secondo Passo: Applicazione della Disuguaglianza della Funzione di Arakelov-Green

Per punti nello stesso insieme aperto, si utilizza il Teorema 1.3 per ottenere una limitazione inferiore della funzione di Green.

Terzo Passo: Sommatoria Globale e Contraddizione

Si sommano i contributi di tutti i posti, utilizzando la formula globale dell'altezza canonica: vMKijNvgf,v(zi,zj)=2(M1)i=1Mh^f(zi)\sum_{v \in M_K} \sum_{i \neq j} N_v g_{f,v}(z_i, z_j) = 2(M-1) \sum_{i=1}^M \widehat{h}_f(z_i)

Quarto Passo: Argomento di Degenerazione

La dimostrazione del Teorema 1.3 si basa sulla teoria della degenerazione:

  • Si assume la non esistenza di un ricoprimento uniforme
  • Si costruisce una sequenza di mappe razionali (fn)(f_n)
  • Si applica la degenerazione di Favre-Gong per ottenere una mappa limite
  • Si utilizza il risultato di Baker nel caso non archimedeo
  • Si trasferisce il risultato al problema originale attraverso argomenti di continuità

Lavori Correlati

Sviluppo Storico

  1. Baker (2006): Dimostra per la prima volta limitazioni sui punti piccoli nel caso di estensioni finite, ma le costanti dipendono dalla mappa
  2. Benedetto (2007): Fornisce limitazioni uniformi per il caso polinomiale
  3. Looper (2019): Migliora i risultati di Benedetto e fornisce limitazioni inferiori dell'altezza
  4. Troncoso (2017): Fornisce limitazioni uniformi per i punti preperiodici, ma con dipendenza esponenziale

Sfondo Tecnico

  1. Kiwi (2006, 2014): Utilizza per la prima volta campi non archimedei per comprendere la degenerazione di famiglie di mappe razionali
  2. DeMarco-Faber (2014, 2016): Sviluppa la teoria della degenerazione delle misure di equilibrio
  3. Luo (2021, 2022): Stabilisce la teoria della degenerazione per sequenze di mappe razionali
  4. Favre-Gong (2024): Formalizza la costruzione di Luo attraverso spazi di Berkovich

Conclusioni e Discussione

Conclusioni Principali

Questo articolo generalizza con successo le limitazioni sui punti piccoli dal caso polinomiale a mappe razionali generali, ottenendo la dipendenza ottimale O(slogs)O(s \log s) e fornendo costanti uniformi. Questo risolve una versione indebolita della congettura di Silverman.

Limitazioni

  1. Effettività delle Costanti: Sebbene si ottengono costanti uniformi, queste sono ineffettive (non calcolabili)
  2. Complessità Tecnica: La dimostrazione dipende da una teoria della degenerazione complessa, difficile da tradurre in stime esplicite
  3. Ambito di Applicabilità: I risultati si applicano solo a mappe razionali su P1\mathbb{P}^1

Direzioni Future

  1. Generalizzazione ad Alte Dimensioni: Estendere i risultati a mappe iniettive su Pn\mathbb{P}^n
  2. Costanti Effettive: Cercare metodi che forniscono costanti effettive
  3. Caso del Campo Funzionale: Investigare ulteriormente problemi analoghi su campi funzionali
  4. Compattificazione dello Spazio dei Moduli: Sviluppare una compattificazione soddisfacente dello spazio dei moduli delle mappe razionali

Valutazione Approfondita

Punti di Forza

  1. Profondità Teorica: Combina abilmente la geometria aritmetica, i sistemi dinamici e la teoria dello spazio di Berkovich
  2. Innovazione Tecnica: Applica per la prima volta sistematicamente la teoria della degenerazione al problema dei punti piccoli
  3. Risultati Ottimali: Ottiene la dipendenza ottimale, migliorando i risultati precedenti
  4. Uniformità: Fornisce un trattamento veramente uniforme, indipendente dalla mappa specifica

Carenze

  1. Ineffettività delle Costanti: Le costanti chiave non sono calcolabili, limitando l'applicazione pratica
  2. Soglia Tecnica: Richiede una profonda conoscenza della geometria algebrica e degli spazi di Berkovich
  3. Difficoltà di Generalizzazione: Il metodo è difficile da generalizzare direttamente a situazioni più generali

Impatto

  1. Contributo Teorico: Fornisce nuovi strumenti tecnici per i sistemi dinamici aritmetici
  2. Significato Metodologico: Dimostra la potenza della teoria della degenerazione nei problemi di teoria dei numeri
  3. Ricerca Successiva: Fornisce nuove idee e metodi per la ricerca su problemi correlati

Scenari di Applicabilità

  1. Ricerca Teorica: Sviluppo teorico dei sistemi dinamici aritmetici
  2. Problemi Correlati: Altri problemi sui punti piccoli e limitazioni dell'altezza
  3. Prestito di Metodi: Applicazione del metodo della degenerazione ad altri problemi di teoria dei numeri

Bibliografia

L'articolo cita i lavori principali del campo, includendo:

  • I lavori fondamentali di Baker
  • I risultati di Benedetto e Looper sui polinomi
  • La teoria della degenerazione di Luo
  • La formalizzazione dello spazio di Berkovich di Favre-Gong
  • I lavori di DeMarco e altri sulla degenerazione dei sistemi dinamici

Questo articolo rappresenta un importante progresso nel campo dei sistemi dinamici aritmetici, risolvendo problemi di lunga data attraverso tecniche innovative e fornendo contributi significativi allo sviluppo del campo.