An analogue of Kida's formula for Mazur-Tate elements

Sintesi Tecnica: Un Analogo della Formula di Kida per gli Elementi di Mazur–Tate

Enunciato del Probleamento
Il saggio affronta il problema di stabilire un analogo della formula di Kida per gli invarianti di Iwasawa ($\mu$ e $\lambda$) associati agli elementi di Mazur–Tate legati a curve ellittiche su $\mathbb{Q}$. Mentre la formula classica di Kida mette in relazione la crescita dei numeri di classe in estensioni $p$-arie di campi numerici con i dati di ramificazione, e successivi lavori di Hachimori–Matsuno e Matsuno hanno esteso tali risultati ai gruppi di Selmer e alle funzioni $L$ $p$-adiche rispettivamente, un formula unificata per gli elementi di Mazur–Tate — analoghi a livelli finiti delle funzioni $L$ $p$-adiche — non era stata pienamente stabilita per curve ellittiche con tipi di riduzione arbitrari in $p$. Nello specifico, gli autori mirano a determinare come la scomparsa dell'invariante $\mu$ e il valore dell'invariante $\lambda$ si comportino nel passaggio da un campo numerico abeliano $K$ a un'estensione $p$-aria $L$, senza imporre ipotesi restrittive sul comportamento locale della curva ellittica in $p$ (ad esempio, escludendo la riduzione additiva).

Metodologia
Gli autori impiegano una combinazione di teoria di Iwasawa, simboli modulari e l'aritmetica degli elementi di Mazur–Tate. La metodologia centrale prevede:

1. Elementi di Mazur–Tate su Estensioni Abeliane: Gli autori definiscono gli elementi di Mazur–Tate $\Theta_n(E/K)$ per una curva ellittica $E$ su un'estensione abeliana $K/\mathbb{Q}$ ai livelli finiti $n$ dell'estensione ciclotomica $\mathbb{Z}_p$. Questi elementi sono costruiti tramite simboli modulari associati alla nuova forma di peso 2 $f$ corrispondente a $E$ (tramite il Teorema della Modularità).
2. Proprietà di Interpolazione: Utilizzando il Lemma di Birch e le proprietà dei simboli modulari, il saggio stabilisce che questi elementi interpolano i valori speciali di funzioni $L$ torce $L(f/K, \chi, 1)$.
3. Analisi Locale dei Fattori di Euler: Un passaggio tecnico critico riguarda l'analisi della compatibilità degli elementi di Mazur–Tate sotto mappe di proiezione tra diversi livelli della torre ciclotomica. Gli autori definiscono un invariante locale $g_{\psi, n}(\ell)$ che misura il contributo di un primo $\ell$ al cambiamento dell'invariante $\lambda$. Questo è derivato esaminando i fattori di Euler di tipo Iwasawa-teorico $h_\ell(\psi, T)$ associati agli operatori di Hecke.
4. Sommatoria dei Caratteri: Per passare dal campo base $K$ all'estensione $L$, gli autori sommano i contributi locali $g_{\psi, n}(\ell)$ su tutti i caratteri del gruppo di Galois $\text{Gal}(K/\mathbb{Q})$. Questa sommatoria si basa su risultati di conteggio dei caratteri per estensioni abeliane per relazionare il comportamento locale della curva su $K$ con gli indici di ramificazione in $L$.
5. Tipi di Riduzione: L'analisi distingue tra riduzione moltiplicativa scissa, riduzione buona con $p$-torsione locale e riduzione additiva. Per la riduzione additiva, gli autori si affidano alla condizione di "potenzialmente buona ordinaria" (ipotesi di Delbourgo) per relazionare gli elementi di Mazur–Tate a funzioni $L$ $p$-adiche limitate.

Contributi Chiave e Risultati

• Teorema Principale (Teorema 1.3): Il saggio dimostra una formula di tipo Kida per gli invarianti di Iwasawa degli elementi di Mazur–Tate. Sia $L/K$ un'estensione galoisiana di campi numerici abeliani con un gruppo di Galois $p$-ario. Se l'invariante $\mu$ dell'elemento di Mazur–Tate su $K$ svanisce ($\mu(\Theta_{n+n_L-n_K}(E/K)) = 0$), allora anche l'invariante $\mu$ su $L$ svanisce. Inoltre, gli invarianti $\lambda$ soddisfano:
  $$\lambda(\Theta_n(E/L)) = [L_\infty : K_\infty] \lambda(\Theta_{n+n_L-n_K}(E/K)) + \sum_{w \in P_1} f(w)(e(w)-1) + 2 \sum_{w \in P_2} f(w)(e(w)-1)$$
  dove $P_1$ è l'insieme dei primi dove $E$ ha riduzione moltiplicativa scissa, $P_2$ è l'insieme dei primi dove $E$ ha riduzione buona e $p$-torsione non banale, $e(w)$ è l'indice di ramificazione e $f(w)$ è il grado inerziale.

• Generalizzazione alle Forme Modulari: Il risultato è generalizzato a forme cuspidali proprie di Hecke (Teorema 3.7), eliminando la necessità che la curva sia definita su $\mathbb{Q}$ in senso stretto, purché i tipi di riduzione siano definiti localmente.

• Applicazioni alle Funzioni $L$ $p$-adiche:

  • Riduzione Semistabile: Gli autori mostrano che il loro formula recupera il risultato di Matsuno per curve ellittiche $p$-ordinarie e lo estende al caso di riduzione supersingolare buona (dove $a_p(E)=0$), fornendo una formula di Kida per le funzioni $L$ $p$-adiche "firmate" costruite da Pollack (Teorema 4.2).
  • Riduzione Additiva: Sotto l'ipotesi di potenzialmente buona ordinaria di Delbourgo, gli autori derivano una formula di Kida per le funzioni $L$ $p$-adiche costruite da Delbourgo per curve ellittiche con riduzione additiva (Teorema 4.5).

Significato e Rivendicazioni
Il saggio sostiene che i suoi risultati unificano casi precedentemente disparati della formula di Kida per invarianti di Iwasawa analitici. Lavorando direttamente con gli elementi di Mazur–Tate, che approssimano le funzioni $L$ $p$-adiche nel limite, gli autori forniscono un quadro che si applica a curve ellittiche con qualsiasi tipo di riduzione in $p$ (inclusa la riduzione additiva) sotto ipotesi moderate.

Gli autori affermano che questo lavoro è parallelo ai risultati algebrici di Hachimori–Matsuno sui gruppi di Selmer, ma opera sul lato analitico. Un significato primario è la capacità di gestire casi in cui l'esistenza di una funzione $L$ $p-adica$ limitata era precedentemente sconosciuta o richiedeva condizioni specifiche (come la condizione di potenzialmente buona ordinaria). Il saggio asserisce che queste formule si allineano con la filosofia delle congetture principali raffinate, suggerendo che un analogo algebrico implicherebbe congetture raffinate per i campi base che sono estensioni abeliane di $\mathbb{Q}$. Gli autori notano esplicitamente che i loro risultati non inventano nuove applicazioni, ma forniscono piuttosto la base teorica per ottenere formule di crescita per i gruppi di Tate–Shafarevich in estensioni $p$-arie di campi numerici abeliani, subordinatamente alla validità della Congettura Principale.