On the Finiteness of Isolated $j$-invariants for $X_1(N)$

Sintesi Tecnica: Sulla finitezza degli invarianti $j$ isolati per $X_1(N)$

Enunciato del Problema
La classificazione dei punti razionali sulle curve modulari $X_1(N)$ è un problema centrale nella geometria aritmetica. Mentre i punti appartenenti a famiglie parametrizzate infinite (come quelli derivanti da mappe verso $\mathbb{P}^1$ o varietà abeliane) sono ben compresi, i punti "isolati"—quelli che non appartengono a tali famiglie—presentano un ostacolo significativo alla completa classificazione dei punti di un dato grado. Questo articolo si concentra specificamente sulla collezione di invarianti $j$ isolati per $X_1(N)$, definiti come i valori $j$ di punti isolati su $X_1(N)$ mappati sulla retta $j$, ovvero $X_1(1) \cong \mathbb{P}^1$.

La domanda principale affrontata è la Domanda 1 (di Bourdon et al. [10]): Esistono solo finiti invarianti $j$ isolati di ogni grado fissato? Sebbene il Teorema di Uniformità di Merel garantisca la finitezza dei punti isolati di un dato grado su qualsiasi specifica $X_1(N)$, ciò non implica immediatamente la finitezza degli invarianti $j$ isolati al variare di $N$. Questo articolo investiga la relazione tra questa domanda e altre congetture di uniformità nel campo e stabilisce nuovi risultati di finitezza, in particolare per le curve ellittiche con invarianti $j$ razionali.

Metodologia
L'articolo impiega una combinazione di teoria dei moduli, analisi delle rappresentazioni di Galois e limiti geometrici sulle curve modulari.

1. Interazione tra Ipotesi: L'autore stabilisce implicazioni logiche tra quattro ipotesi principali riguardanti l'uniformità delle curve ellittiche su campi numerici di grado fisso $d$:

   • Ipotesi 1: Uniformità di Serre generalizzata (suriettività delle rappresentazioni di Galois $p$-adiche per $p$ grandi).
   • Ipotesi 2: Finitezza degli invarianti $j$ isolati di grado $d$.
   • Ipotesi 3: Limiti di isogenia non-CM (finitezza dei punti non-cuspidali e non-CM di grado $d$ su $X_0(N)$ per $N$ grande).
   • Ipotesi 4: Limiti polinomiali raffinati sulla crescita del torsione.
     L'articolo dimostra che l'Ipotesi 1 implica l'Ipotesi 2 e, crucialmente, che l'Ipotesi 2 implica sia l'Ipotesi 3 che l'Ipotesi 4. Ciò posiziona la Domanda 1 come un raffinamento dei limiti di isogenia e di torsione che manca della piena forza dell'uniformità di Serre generalizzata.

2. Rappresentazione di Galois e Entanglement: Per affrontare il caso razionale ($d=1$), l'articolo analizza l'immagine delle rappresentazioni di Galois mod $p$ e $p$-adiche $\rho_{E,p}$ e $\rho_{E,p^\infty}$. Utilizza i risultati di classificazione per queste immagini (ad esempio, Mazur, Serre, Bilu, Parent, Rebolledo, Lemos) per determinare il grado dei punti su $X_1(N)$. Uno strumento tecnico chiave è l'analisi dell' "entanglement" (aggrovigliamento) tra i campi di torsione di primi distinti. L'autore deriva nuovi limiti inferiori sul grado dei punti su $X_1(N)$ controllando la ramificazione e il contributo dei primi $p$ dove l'immagine non è suriettiva (specificamente i sottogruppi di Cartan non-split).

3. Gonalità e Isolamento: L'articolo utilizza i limiti inferiori sulla gonalità delle curve modulari (Abramovich) e la relazione tra il grado di un punto e il genere della curva. Se il grado di un punto supera il genere (o specifici limiti di gonalità), il punto non può essere isolato.

Contributi Chiave e Risultati

• Implicazioni tra le Ipotesi (Teorema 9): L'articolo dimostra formalmente che la finitezza degli invarianti $j$ isolati (Ipotesi 2) è una condizione sufficiente per stabilire sia la finitezza dei punti non-CM su $X_0(N)$ per livelli grandi (Ipotesi 3) sia i limiti polinomiali sulla crescita della torsione (Ipotesi 4).
• Finitezza per invarianti $j$ razionali (Teorema 3): Il principale risultato incondizionato stabilisce che esistono solo finiti invarianti $j$ isolati razionali associati a curve modulari della forma $X_1(p^a q^b)$, dove $p$ e $q$ sono numeri primi. Ciò viene ottenuto combinando:
  • Il lavoro di Lemos [39, 40] sulla struttura delle immagini di Galois per i primi non-suriettivi.
  • I risultati di ramificazione di Smith [58] (Lemma 3) per limitare il grado dei punti quando l'immagine è un sottogruppo di Cartan non-split.
  • Un nuovo limite inferiore sul grado dei punti (Corollario 1) che migliora il lavoro precedente dell'autore e di Genao [11].
    La dimostrazione mostra che, per primi sufficientemente grandi, il grado di qualsiasi punto su $X_1(p^a q^b)$ con un invariante $j$ razionale eccede il genere della curva, rendendo il punto non-isolato.
• Limiti di Torsione Affinati (Teorema 4): Per curve ellittiche non-CM $E/F$ con $j(E) \in \mathbb{Q}$, l'articolo dimostra che per ogni $\epsilon > 0$, esiste una costante $C_\epsilon$ tale che:
  $$\exp E(F)_{\text{tors}} \leq C_\epsilon \cdot [F:\mathbb{Q}]^{1/2 + \epsilon}$$
  $$\#E(F)_{\text{tors}} \leq C_\epsilon \cdot [F:\mathbb{Q}]^{1 + \epsilon}$$
  Questo migliora l'esponente del limite di grado di un fattore radice quadrata rispetto ai risultati precedenti [11, 18]. L'esponente $1/2$ per l'esponente del gruppo di torsione è mostrato essere quasi ottimale.
• Dati Sperimentali e Classificazione: L'articolo fornisce una tabella completa degli invarianti $j$ non-CM isolati noti di grado $\leq 10$, giustificando il loro isolamento tramite calcoli del rango del Jacobiano e limiti di gonalità.

Significato e Rivendicazioni
L'articolo sostiene che la Domanda 1 funge da "raffinamento" critico dei problemi di uniformità più ampi nel campo. Stabilendo che la finitezza degli invarianti $j$ isolati implica forti limiti su isogenie e torsione, il lavoro suggerisce che attaccare la finitezza di questi punti specifici sia una via percorribile per risolvere congetture più ampie.

I risultati per gli invarianti $j$ razionali rappresentano un passo significativo verso una piena classificazione, poiché eliminano la possibilità di famiglie infinite di invarianti $j$ isolati per curve con livelli della forma $p^a q^b$. L'autore osserva che, sebbene l'attuale controllo sull' "entanglement" (l'interazione tra i campi di torsione di primi distinti) sia insufficiente per provare l'Ipotesi 2 incondizionatamente per tutti gli invarianti $j$ razionali, i dati sperimentali suggeriscono che il problema potrebbe essere accessibile tramite argomenti di immersione formale, in particolare perché le rilevanti "curve modulari di entanglement" possiedono spesso prodotti fibrati con quozienti di rango 0 non triviali, a differenza dei prodotti fibrati delle standard curve modulari.

L'articolo conclude che, sebbene la piena finitezza degli invarianti $j$ isolati rimanga aperta, i metodi sviluppati qui riescono ad affinare i limiti noti sulla torsione per gli invarianti $j$ razionali e a chiarire il panorama logico che connette questi problemi di uniformità.