Strengthenings of Mazur's Conjecture for Higher Heegner Points

Riassunto Tecnico: Rafforzamenti della Congettura di Mazur per Punti di Heegner Superiori

1. Il Problema: La Congettura di Mazur

Il lavoro affronta una questione fondamentale nella teoria aritmetica delle curve modulari e di Shimura. Sia $L$ un campo quadratico immaginario e $x[n]$ un punto di Heegner di conduttore $n$ su una curva di Shimura (o modulare) $X_0(N)$. Questi punti sono definiti su campi di classi di ordini $L[n]$.

La congettura di Mazur riguarda la proprietà di "non-torsione" dei punti di Heegner superiori. Nello specifico, si interroga sulla non-torsione della traccia dei punti $y[pn]$ (dove $y[n]$ è l'immagine del punto di Heegner in una varietà abeliana $A$ ottenuta come quoziente del Jacobiano) rispetto alle estensioni anticyclotiche $\mathbb{Z}_p$. Mentre Cornut (2002) ha stabilito l'esistenza di tali punti non-torsione per $n$ sufficientemente grandi, la questione della loro distribuzione quantitativa (ovvero per quanti $n$ la traccia è non-torsione) rimaneva aperta.

2. Metodologia: Un Approccio Ergodico e Distribuzionale

La principale innovazione metodologica di Zhang risiede nel superamento delle strategie precedenti (come quelle di Cornut e Vatsal), che si basavano sui teoremi di Ratner sui flussi unipotenti e richiedevano ipotesi restrittive sulle strutture di livello.

L'approccio proposto sfrutta l'interazione tra orbite di Galois e orbite di Hecke:

• Relazione tra orbite: L'autore dimostra che l'orbita di Galois dei punti di Heegner è contenuta nell'orbita di Hecke. La dimensione relativa di queste orbite è quantificata da un termine di densità $d(n)$.
• Equidistribuzione di Hecke: Il problema viene ridotto a questioni di teoria ergodica riguardanti l'equidistribuzione degli operatori di Hecke su varietà di Shimura di tipo Hodge.
• Classificazione delle misure di "joining": Invece di usare i flussi unipotenti, l'autore utilizza la classificazione delle misure di joining (basata sul lavoro di Einsiedler-Lindenstrauss) per analizzare le riduzioni supersingolari simultanee. Questo permette di trattare casi in cui le mappe di riduzione non sono necessariamente suriettive.

3. Contributi Chiave e Risultati

Il saggio fornisce tre tipi di rafforzamenti alla congettura originale:

• Versione Verticale (Theorem 1.2 / Corollary 9.2): Dimostra che per un numero sufficientemente grande di potenze di un primo $p$ (coprimo al livello e al discriminante), la traccia dei punti di Heegner è non-torsione. Questo fornisce una risposta quantitativa alla domanda di Mazur.
• Versione Orizzontale (Theorem 1.3 / Corollary 8.4): Dimostra che per primi $p$ sufficientemente grandi, la somma dei punti di Heegner su un insieme di rappresentanti del gruppo di Galois non è un punto di torsione.
• Risultato Generale (Theorem 1.4 / 1.6): Fornisce una condizione di densità $1 - d(n) < c$ che garantisce la non-torsione. Questo risultato è estremamente potente perché si applica a curve di Shimura arbitrarie su $\mathbb{Q}$, non limitandosi alle sole curve modulari.

4. Significato e Applicazioni

Il lavoro ha un impatto profondo su diversi fronti della teoria dei numeri:

1. Teoria di Iwasawa: I risultati hanno implicazioni dirette sulla Congettura Principale di Iwasawa.
2. Sistemi di Kolyvagin: Forniscono strumenti per stabilire la non-trivialità dei sistemi di Kolyvagin per moduli di Galois.
3. Valori L di Rankin-Selberg: La tecnica potrebbe portare a nuovi risultati sulla non-vanishing dei valori $L$ di rappresentazioni automorfe con caratteri di conduttore sufficientemente grande.

In sintesi, Zhang trasforma un problema di aritmetica algebrica (la natura dei punti di torsione) in un problema di teoria ergodica e distribuzione di misure, offrendo una visione più generale e meno vincolata rispetto alla letteratura precedente.