Generalised Kato classes on CM elliptic curves of rank 2

1. Il Problema e il Contesto

Il documento affronta uno dei problemi aperti più significativi nella teoria dei numeri moderna: la costruzione sistematica di punti razionali non di torsione su curve ellittiche $E/\mathbb{Q}$ in situazioni di rango superiore, in particolare quando l'ordine di annullamento della funzione $L$ di Hasse-Weil in $s=1$ è pari a 2 (o superiore).

• Contesto: Per curve con rango 0 o 1, i punti di Heegner (costruiti da Gross-Zagier e Kolyvagin) forniscono un metodo efficace per generare il gruppo di Mordell-Weil. Tuttavia, per curve di rango $\ge 2$, non esiste un metodo generale noto per costruire punti razionali non banali.
• Obiettivo: L'autore si concentra sul caso in cui $E$ ha Moltiplicazione Complessa (CM) da parte di un campo quadratico immaginario $K$, e la funzione $L(E, s)$ ha segno $+1$ nella sua equazione funzionale, annullandosi in $s=1$ con ordine $\ge 2$.
• Sfida specifica: Estendere i risultati di Darmon e Rotger (che hanno introdotto le "classi di Kato generalizzate" per curve senza CM) al caso CM, dove le tecniche precedenti fallivano a causa di ipotesi di "immagine grande" che escludevano i casi CM.

2. Metodologia

L'approccio combina la teoria di Iwasawa anticyclotomica, le famiglie di Hida e la teoria delle classi di Kato generalizzate.

1. Costruzione delle Classi Generalizzate:
   L'autore modifica la costruzione di Darmon-Rotger per definire una classe di Kato generalizzata $\kappa_p \in \text{Sel}(\mathbb{Q}, V_p E)$, dove $V_p E$ è la rappresentazione di Galois $p$-adica associata a $E$. Questa classe è ottenuta come specializzazione di una "classe diagonale grande" $\kappa(\phi, g, h)$ associata a una terna di famiglie di Hida $(\phi, g, h)$.

   • $\phi$ è una famiglia di Hida CM associata al carattere di Hecke $\psi_E$ di $E$.
   • $g$ e $h$ sono famiglie di Hida CM associate a caratteri di Hecke di ordine finito $\lambda_1, \lambda_2$.
   • La costruzione sfrutta l'interpolazione $p$-adica di cicli diagonali generalizzati (di Gross-Kudla-Schoen).

2. Decomposizione dei Gruppi di Selmer:
   Un passo cruciale è la decomposizione del gruppo di Selmer bilanciato $\text{Sel}_{\text{bal}}(\mathbb{Q}, V^\dagger)$ associato alla rappresentazione $V^\dagger$ (un twist autoduale del prodotto tensoriale delle rappresentazioni di Galois).
   L'autore dimostra che, nel caso CM, questo gruppo si decompone in una somma diretta di gruppi di Selmer anticyclotomici classici associati a caratteri di Hecke:
   $$\text{Sel}_{\text{bal}}(\mathbb{Q}, V^\dagger_{\phi gh}) \simeq \bigoplus \text{Sel}_{\emptyset, 0}(K, T_{\lambda} \otimes \Psi) \oplus \text{Sel}_{0, \emptyset}(K, T_{\lambda} \otimes \Psi)$$
   Questa decomposizione permette di collegare il problema globale su $\mathbb{Q}$ a problemi locali su $K$.

3. Congettura Principale e Fattorizzazione:
   L'articolo prova una versione della Congettura Principale del Ciclo Diagonale (Conjecture A) nel caso CM.

   • Viene dimostrata una fattorizzazione della funzione $L$ $p$-adica del prodotto triplo $L^\phi_p(\phi, g, h)$ in un prodotto di quattro funzioni $L$ $p$-adiche di Katz anticyclotomiche.
   • Si utilizza la congettura principale di Iwasawa-Greenberg per caratteri di Hecke (già dimostrata da Agboola-Howard e Arnold) per stabilire relazioni tra i moduli di Selmer e le funzioni $L$ $p$-adiche.

4. Legge di Reciprocità Esplicita:
   Viene utilizzata una legge di reciprocità esplicita (Theorem 5.1.1) che collega la specializzazione della classe diagonale $\kappa(\phi, g, h)$ ai valori speciali delle funzioni $L$ $p$-adiche. Questo legame è fondamentale per tradurre la non-nullità della funzione $L$ in non-nullità della classe di coomologia.

3. Risultati Chiave

Teorema A (Congettura Principale nel caso CM)

Sotto ipotesi tecniche sui caratteri di Hecke (condizioni di non-congruenza modulo $p$ e segni positivi nelle equazioni funzionali), l'autore dimostra che:

• La classe diagonale grande $\kappa(\phi, g, h)$ non è torsione sull'anello delle famiglie di Hida.
• I moduli di Selmer bilanciato e il suo duale hanno rango 1 sull'anello di Iwasawa.
• Vale l'uguaglianza di ideali caratteristici:
  $$\text{char}_R(X_{\text{bal}}^{\text{tors}}) = \text{char}_R \left( \frac{\text{Sel}_{\text{bal}}}{R \cdot \kappa(\phi, g, h)} \right)^2$$
  Questo conferma la congettura principale per le curve CM, un risultato che non era accessibile con le tecniche precedenti.

Teorema B (Analogo di Rango 2 di Kolyvagin)

Questo è il risultato principale applicato alla curva ellittica $E$. Sia $E$ una curva CM con $L(E, 1)=0$ e segno $+1$.

• Implicazione Diretta: Se la classe di Kato generalizzata $\kappa_p$ è non nulla, allora la dimensione del gruppo di Selmer $p$-adico è esattamente 2:
  $$\kappa_p \neq 0 \implies \dim_{\mathbb{Q}_p} \text{Sel}(\mathbb{Q}, V_p E) = 2$$
• Implicazione Inversa: Se $\dim_{\mathbb{Q}_p} \text{Sel}(\mathbb{Q}, V_p E) = 2$, allora $\kappa_p \neq 0$ se e solo se la mappa di restrizione
  $$\text{res}_p: \text{Sel}(\mathbb{Q}, V_p E) \to E(\mathbb{Q}_p) \hat{\otimes} \mathbb{Q}_p$$
  è non nulla.
  Questo fornisce un criterio preciso per la non-nullità della classe: essa genera il sottospazio di dimensione 1 del gruppo di Selmer che si annulla sotto la restrizione locale in $p$.

Teorema C (Basi per il Gruppo di Selmer)

Sotto ipotesi aggiuntive sulla funzione $L$ $p$-adica di Katz ($L_p(s)$ e $L^*_p(s)$), l'autore costruisce esplicitamente una base per il gruppo di Selmer di rango 2:
$$\text{Sel}(\mathbb{Q}, V_p E) = \mathbb{Q}_p \kappa_p \oplus \mathbb{Q}_p x^{(2)}_p$$
dove $\kappa_p$ è la classe di Kato generalizzata e $x^{(2)}_p$ è un'unità ellittica derivata (costruita tramite la teoria di Iwasawa di Rubin).

4. Significato e Contributi

1. Superamento delle limitazioni CM: Il lavoro risolve un ostacolo tecnico significativo permettendo l'applicazione della teoria delle classi di Kato generalizzate alle curve con Moltiplicazione Complessa, un caso precedentemente escluso dalle tecniche di Darmon-Rotger a causa delle ipotesi di immagine grande.
2. Conferma di Congetture: Fornisce una conferma rigorosa delle aspettative formulate da Darmon e Rotger riguardo al comportamento delle classi di Kato generalizzate in rango 2, collegando la non-nullità della classe alla struttura del gruppo di Selmer.
3. Nuovo Legame Teorico: Stabilisce un ponte diretto tra la non-nullità delle classi di Kato generalizzate e la Congettura Principale di Iwasawa anticyclotomica per caratteri di Hecke, sfruttando la decomposizione dei gruppi di Selmer.
4. Costruzione Esplicita: Offre una costruzione esplicita di una base per il gruppo di Selmer in rango 2, combinando oggetti aritmetici diversi (classi di Kato e unità ellittiche derivate), fornendo un passo avanti verso la comprensione della Congettura di Birch e Swinnerton-Dyer in rango superiore.
5. Generalizzazione: Sebbene focalizzato sul caso CM, la metodologia introduce nuove tecniche (come la fattorizzazione delle funzioni $L$ $p$-adiche in prodotti di funzioni di Katz) che potrebbero avere applicazioni più ampie nella teoria dei numeri.

In sintesi, il paper rappresenta un avanzamento fondamentale nella teoria dei numeri $p$-adica, fornendo strumenti concreti per studiare curve ellittiche di rango 2 e collegando profondamente la geometria aritmetica (cicli diagonali) con la teoria analitica (funzioni $L$ $p$-adiche) nel contesto delle curve CM.