A refined non-vanishing of the $p$-adic logarithm of a rational point on an abelian variety

1. Il Problema e il Contesto

Il lavoro nasce dall'analisi della formula BDP (Bertolini-Darmon-Prasanna), che esprime un valore speciale di una funzione L p-adica associata a una nuova forma modulare come il quadrato dell'immagine di un ciclo di Heegner generalizzato sotto una mappa di Abel-Jacobi p-adica.

La formula BDP, nel caso di una nuova forma $f$ di peso 2, assume la forma:
$$L_p(f, N_K) = (1 - a_p(f) + p^{-1})^2 (\log_{\omega_{B_f}}(P_f))^2$$
dove $P_f$ è un punto di Heegner su una varietà abeliana $B_f$ associata a $f$.

La domanda centrale:
Se il punto di Heegner $P_f$ (o più in generale un punto razionale non di torsione $x$ su una varietà abeliana $A$) è non nullo, è garantito che il suo logaritmo p-adico $\log_\omega(x)$ sia non nullo per ogni differenziale $\omega$ rilevante?

• Per le curve ellittiche, la risposta è affermativa: il nucleo del logaritmo p-adico è esattamente il gruppo dei punti di torsione.
• Per le varietà abeliane di dimensione superiore (tipo $GL_2$), la questione è più sottile. Sebbene si sappia che $\log_A(x) \neq 0$, non è immediato che la proiezione su ogni componente specifica $\log_\omega(x)$ sia non nulla.
• Una risposta affermativa è cruciale per la validità delle congetture di Birch e Swinnerton-Dyer (BSD) e per la teoria di Iwasawa associata a queste varietà.

2. Metodologia

L'approccio principale degli autori si basa sulla teoria della trascendenza p-adica, in particolare sul Teorema del Sottogruppo Analitico p-adico (p-adic analytic subgroup theorem).

• Strumenti Chiave: Il Teorema 3.1 (una versione del teorema di Bertrand, Bost, e altri) afferma che se un punto razionale $x$ ha il suo logaritmo p-adico contenuto in un sottospazio vettoriale $W$ definito su $\mathbb{Q}$, allora esiste un sottogruppo algebrico commutativo $B \subset A$ definito su $\mathbb{Q}$ tale che il punto (o un suo multiplo) appartiene a $B$ e lo spazio tangente $t_B$ è contenuto in $W$.
• Strategia di Dimostrazione: Gli autori procedono per assurdo. Assumono che esista un differenziale $\omega$ tale che $\log_\omega(x) = 0$. Questo implica che $\log_A(x)$ giace nel nucleo della mappa lineare associata a $\omega$. Applicando il teorema del sottogruppo, si deduce l'esistenza di una sottovarietà abeliana $B$ con proprietà specifiche (stabilità rispetto all'azione di un campo di endomorfismi $E$, dimensione ridotta, ecc.).
• Analisi Strutturale: Si studia l'interazione tra la struttura degli endomorfismi della varietà (campi di numeri $F$, $E$, azioni di CM), i campi di traccia e le estensioni di Galois per dimostrare che l'esistenza di tale sottovarietà $B$ porta a una contraddizione con le ipotesi iniziali (ad esempio, l'assenza di certe estensioni di campi o la natura dei campi di riflessione).

3. Risultati Principali

Teorema 1.1 (Risultato Principale per Varietà $GL_2$)

Sia $A/\mathbb{Q}$ una varietà abeliana con un'immersione $F \hookrightarrow \text{End}^0_{\mathbb{Q}}(A)$ di un campo $F$. Se:

1. $\dim(A) = [F : \mathbb{Q}]$,
2. $F$ ha almeno un'immersione reale,
   Allora, per ogni punto non di torsione $x \in A(\mathbb{Q})$, si ha:
   $$\log_\omega(x) \neq 0$$
   per tutti i differenziali non nulli $\omega$ nelle componenti $\Omega_\sigma$ associate agli embedding $\sigma \in \Sigma_F$.
   Questo risponde affermativamente alla domanda posta nell'introduzione per le varietà associate a forme modulari di peso 2.

Teoremi Generali (2.3, 2.5, 2.6)

Gli autori estendono il risultato a contesti più ampi:

• Teorema 2.3: Fornisce condizioni generali su un campo $E$ e un'estensione $H$ che garantiscono la non-vanishing, basandosi sull'assenza di estensioni dell'azione di $E$ a $E \times E$ che contengano il "campo di traccia".
• Teorema 2.5: Tratta il caso in cui $A$ ammette moltiplicazione complessa (CM) da un'estensione quadratica $E'$ di $E$ (con $E'$ campo CM).
• Teorema 2.6: Fornisce un risultato parziale anche quando le condizioni precedenti non sono soddisfatte, identificando la più piccola sottovarietà $B$ contenente un multiplo di $x$ e garantendo la non-vanishing sui differenziali non nulli su $B$.

Applicazioni alle Forme Modulari e CM (Sezioni 2.3.1 - 2.3.2)

• Viene analizzato il caso di twist di punti di Heegner tramite caratteri di Hecke di ordine finito.
• Viene dimostrato che la non-vanishing del logaritmo p-adico è una condizione necessaria e sufficiente per stabilire la parte $\lambda$-adica della congettura BSD per varietà abeliane di tipo $GL_2$ quando il rango analitico è 1. In particolare, conferma che $\text{rank}_{\mathbb{Z}} A(\mathbb{Q}) = [F:\mathbb{Q}]$ e che il gruppo di Tate-Shafarevich è finito nella parte $\lambda$.

Teorema 1.2 e Congettura di Poonen

Nella sezione conclusiva, gli autori collegano i loro risultati alla domanda di Poonen sulla dimensione del gruppo di Lie p-adico generato dalla chiusura di un sottogruppo finitamente generato di punti razionali.

• Dimostrano che, sotto la Congettura del Rango Strutturale (Conjecture 5.2), la dimensione dello spazio generato dai logaritmi p-adici di punti linearmente indipendenti è esattamente $\min\{r \cdot \deg(F), \dim(A)\}$ nel caso totalmente reale.
• Questo conferma la congettura di Poonen per il caso di matrici $1 \times 1$ (punti singoli) e fornisce una struttura precisa per casi più generali.

4. Significato e Impatto

1. Risoluzione di una questione aperta: Il lavoro fornisce la prima prova rigorosa della non-vanishing del logaritmo p-adico per punti razionali non di torsione su varietà abeliane di tipo $GL_2$ (e generalizzazioni), un fatto che era stato implicitamente assunto in lavori precedenti (es. [24]) ma mai dimostrato.
2. Collegamento alla Congettura BSD: La non-vanishing del logaritmo è un tassello fondamentale per collegare i valori speciali delle funzioni L p-adiche (tramite la formula BDP) ai ranghi algebrici delle varietà abeliane. Senza questo risultato, la deduzione della formula BSD per il termine di rango 1 rimarrebbe incompleta.
3. Teoria di Iwasawa e Trascendenza: Il lavoro dimostra l'efficacia del teorema del sottogruppo analitico p-adico in contesti aritmetici moderni, offrendo uno strumento potente per studiare la struttura dei punti razionali su varietà abeliane con moltiplicazioni complesse o azioni di campi di numeri.
4. Generalizzazione: I risultati non si limitano alle curve ellittiche ma si applicano a varietà abeliane di dimensione arbitraria associate a forme modulari di Hilbert e forme CM, aprendo la strada a ulteriori sviluppi nella teoria dei numeri.

In sintesi, il paper colma un divario tecnico critico tra la teoria delle funzioni L p-adiche e la geometria aritmetica delle varietà abeliane, fornendo le basi necessarie per confermare le previsioni della congettura di Birch e Swinnerton-Dyer in casi di rango 1 per una classe ampia di varietà.