Counting rational maps on $\mathbb{P}^1$ with prescribed local conditions

Sintesi Tecnica: Conteggio di Mappe Razionali su $\mathbb{P}^1$ con Condizioni Locali Prescritte

Enunciato del Problema
Questo articolo investiga questioni di distribuzione per mappe razionali sulla retta proiettiva $\mathbb{P}^1$ su $\mathbb{Q}$ all'interno del quadro della dinamica aritmetica. Tracciando un'analogia con la statistica aritmetica delle curve ellittiche, gli autori affrontano problemi di conteggio per mappe razionali $\phi$ di un grado fissato $d \ge 2$ con proprietà di riduzione prescritte. Nello specifico, il lavoro si concentra nel determinare la densità delle mappe razionali che possiedono un "risultante globalmente minimale".

Una mappa razionale $\phi \in \mathbb{Q}(z)$ è rappresentata da una coppia di polinomi omogenei coprimi $F, G \in \mathbb{Z}[X, Y]$ di grado $d$. Il risultante $\text{Res}(\phi) = \text{Res}(F, G)$ è un invariante globale. La mappa si dice avere un risultante globalmente minimale se $\text{Res}(\phi)$ è uguale al risultante minimale $R_\phi$, definito come il prodotto dei risultanti minimi locali su tutti i luoghi non archimedei. La questione centrale è se una proporzione positiva di mappe razionali (ordinate per altezza o densità di scatola) soddisfi questa condizione di minimalità, analogamente ai risultati riguardanti la densità di modelli di Weierstrass globalmente minimali per le curve ellittiche (ad esempio, Cremona e Sadek [CS23]).

Metodologia
Gli autori impiegano una combinazione di geometria aritmetica, teoria del setaccio e algebra computazionale esplicita per stabilire limiti inferiori sulle densità di specifici sottoinsiemi di mappe razionali.

1. Framework di Densità: Il documento utilizza due misure di densità primarie:

   • Densità di Altezza: Basata sull'altezza di Weil multipli-assoluta $H(\phi)$ del punto $P(\phi) \in \mathbb{P}^{2d+1}(\mathbb{Q})$ associato ai coefficienti della mappa.
   • Densità di Scatola Debole (Weak Box Densities): Seguendo il lavoro di Poonen [Poo03], queste densità considerano la distribuzione dei coefficienti all'interno di scatole nello spazio affine $\mathbb{Z}^{2d+2}$, permettendo limiti indipendenti sui vincoli delle coordinate.

2. Condizioni Locali e Setaccio: Gli autori definiscono sottoinsiemi di mappe razionali tramite condizioni locali nei numeri primi. Una mappa è inclusa in un insieme se la sua riduzione modulo $p^k$ soddisfa criteri specifici (ad esempio, buona riduzione o risultante privo di $p^k$-fattori).

   • Essi stabiliscono che se un insieme di mappe soddisfa una "condizione di ammissibilità" (specificamente, che la densità di mappe che falliscono la condizione per numeri primi grandi sia nulla), la densità globale è il prodotto delle densità locali (Proposizione 3.4).
   • Ciò si basa su un argomento di teoria del setaccio per dimostrare che la densità di mappe con un fattore comune (non minimale) o un'alta valutazione del risultante sia trascurabile.

3. Geometria Algebrica dei Risultanti:

   • Il polinomio risultante $r$ di due polinomi generici di grado $d$ viene analizzato. Gli autori utilizzano il fatto che $r$ è assolutamente irriducibile (Proposizione 4.11).
   • Per limitare il numero di punti in cui il risultante svanisce modulo $p^k$, gli autori analizzano il luogo singolare definito da $r=0$ e dalle sue derivate parziali $s=0$.
   • Utilizzando i risultati di Warning, Schwartz-Zippel e il Lemma di Hensel, derivano limiti superiori per il numero di soluzioni a questi sistemi su campi finiti e i loro lembi in $\mathbb{Z}/p^k\mathbb{Z}$.

4. Computazione Esplicita per $d=2$: Per il grado 2, gli autori eseguono una decomposizione primaria esplicita dell'ideale generato dal risultante e dalle sue derivate parziali utilizzando il software Macaulay2. Ciò permette di contare con precisione i punti in $(\mathbb{Z}/p\mathbb{Z})^6$ e $(\mathbb{Z}/p^2\mathbb{Z})^6$ per calcolare le densità locali esatte per numeri primi piccoli e limiti rigorosi per numeri primi più grandi.

Contributi Chiave e Risultati

• Teorema A (Densità di Altezza): Per interi dispari $d \ge 3$, l'insieme delle mappe razionali con risultante privo di potenze $2d$ e buona riduzione in un insieme finito di numeri primi $\Sigma$ ha una densità di altezza positiva. Di conseguenza, una proporzione positiva di tali mappe ha risultanti globalmente minimali.
• Teorema B (Densità di Scatola Debole): Per ogni intero $d \ge 2$, l'insieme delle mappe razionali con risultante privo di potenze $d$ e buona riduzione in un insieme finito di numeri primi $\Sigma$ ha una densità di scatola debole $\mu_n$ positiva. Ciò implica che una proporzione positiva di mappe ha risultati minimi sotto questa misura di densità.
• Teorema C (Limite Esplicito per $d=2$): Per le mappe razionali di grado 2, gli autori forniscono un limite inferiore esplicito. Essi dimostrano che più del 32,7% delle mappe razionali di grado 2 su $\mathbb{Q}$ possiede un risultante privo di quadrati (e quindi minimale) rispetto alle densità di scatola debole.

Significato e Rivendicazioni
Il documento si posiziona come una continuazione del programma di analogia tra la dinamica aritmetica su $\mathbb{P}^1$ e la geometria diofantica delle curve ellittiche. Mentre i precedenti risultati statistici nella dinamica aritmetica spesso si basavano su processi stocastici coinvolgenti la composizione casuale di mappe, questo lavoro affronta la distribuzione di mappe razionali statiche con proprietà aritmetiche prescritte.

Gli autori affermano che i loro risultati forniscono le prime prove che una proporzione positiva di mappe razionali possiede risultati globalmente minimali, analogamente ai risultati di densità per le curve ellittiche di Cremona e Sadek. La computazione esplicita per $d=2$ serve come illustrazione concreta del quadro teorico, fornendo un limite inferiore specifico e non banale (32,7%).

Il documento si conclude con modestia, osservando che, sebbene le condizioni locali utilizzate forniscano limiti inferiori positivi, esse non descrivono ancora l'intera collezione di mappe con risultato minimale. La questione se una proporzione positiva di mappe razionali possieda un risultante globalmente minimale rispetto alla densità di scatola standard (anziché alle densità di scatola debole) è identificata come un tema per lavori futuri.