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

Resumo Técnico: Um Análogo da Fórmula de Kida para Elementos de Mazur–Tate

Enunciado do Problema
O artigo aborda o problema de estabelecer um análogo da fórmula de Kida para os invariantes de Iwasawa ($\mu$ e $\lambda$) associados a elementos de Mazur–Tate anexados a curvas elípticas sobre $\mathbb{Q}$. Enquanto a fórmula clássica de Kida relaciona o crescimento de números de classe em extensões-$p$ de campos numéricos à dados de ramificação, e trabalhos subsequentes de Hachimori–Matsuno e Matsuno estenderam isso para grupos de Selmer e funções $L$ $p$-ádicas, respectivamente, um formulário unificado para elementos de Mazur–Tate — análogos de níveis finitos de funções $L$ $p$-ádicas — não havia sido totalmente estabelecido para curvas elípticas com tipos de redução arbitrários em $p$. Especificamente, os autores visam determinar como o desaparecimento do invariante $\mu$ e o valor do invariante $\lambda$ se comportam ao passar de um campo numérico abeliano $K$ para uma extensão-$p$ $L$, sem impor hipóteses restritivas sobre o comportamento local da curva elíptica em $p$ (por exemplo, excluindo redução aditiva).

Metodologia
Os autores empregam uma combinação de teoria de Iwasawa, símbolos modulares e a aritmética de elementos de Mazur–Tate. A metodologia central envolve:

1. Elementos de Mazur–Tate sobre Extensões Abelianas: Os autores definem elementos de Mazur–Tate $\Theta_n(E/K)$ para uma curva elíptica $E$ sobre uma extensão abeliana $K/\mathbb{Q}$ em níveis finitos $n$ da extensão cíclica $\mathbb{Z}_p$ ciclotomia. Esses elementos são construídos via símbolos modulares associados à nova forma de peso 2 $f$ correspondente a $E$ (via Teorema da Modularidade).
2. Propriedades de Interpolação: Utilizando o Lema de Birch e propriedades de símbolos modulares, o artigo estabelece que esses elementos interpolam valores especiais de funções $L$ torcidas $L(f/K, \chi, 1)$.
3. Análise Local de Fatores de Euler: Um passo técnico crítico envolve analisar a compatibilidade dos elementos de Mazur–Tate sob mapas de projeção entre diferentes níveis da torre cíclotômica. Os autores definem um invariante local $g_{\psi, n}(\ell)$ que mede a contribuição de um primo $\ell$ para a mudança no invariante $\lambda$. Isso é derivado examinando os fatores de Euler de teoria de Iwasawa $h_\ell(\psi, T)$ associados aos operadores de Hecke.
4. Soma de Caracteres: Para transitar do campo base $K$ para a extensão $L$, os autores somam as contribuições locais $g_{\psi, n}(\ell)$ sobre todos os caracteres do grupo de Galois $\text{Gal}(K/\mathbb{Q})$. Essa soma baseia-se em resultados de contagem de caracteres para extensões abelianas para relacionar o comportamento local da curva sobre $K$ aos índices de ramificação em $L$.
5. Tipos de Redução: A análise distingue entre redução multiplicativa partida, redução boa com torção local em $p$ e redução aditiva. Para redução aditiva, os autores dependem da condição "potencialmente boa ordinária" (hipótese de Delbourgo) para relacionar elementos de Mazur–Tate a funções $L$ $p$-ádicas limitadas.

Principais Contribuições e Resultados

• Teorema Principal (Teorema 1.3): O artigo prova uma fórmula do tipo Kida para os invariantes de Iwasawa de elementos de Mazur–Tate. Seja $L/K$ uma extensão galoisiana de campos numéricos abelianos com um grupo de Galois de potência de $p$. Se o invariante $\mu$ do elemento de Mazur–Tate sobre $K$ desaparece ($\mu(\Theta_{n+n_L-n_K}(E/K)) = 0$), então o invariante $\mu$ sobre $L$ também desaparece. Além disso, os invariantes $\lambda$ satisfazem:
  $$\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)$$
  onde $P_1$ é o conjunto de primos onde $E$ tem redução multiplicativa partida, $P_2$ é o conjunto de primos onde $E$ tem redução boa e torção não trivial em $p$, $e(w)$ é o índice de ramificação e $f(w)$ é o grau inercial.

• Generalização para Formas Modulares: O resultado é generalizado para formas cuspais eigenformas de Hecke (Teorema 3.7), removendo a necessidade de a curva ser definida sobre $\mathbb{Q}$ no sentido estrito, desde que os tipos de redução sejam definidos localmente.

• Aplicações a Funções $L$ $p$-ádicas:

  • Redução Semiestável: Os autores mostram que seu fórmula recupera o resultado de Matsuno para curvas elípticas $p$-ordinárias e estende para o caso de redução supersingular boa (onde $a_p(E)=0$), fornecendo uma fórmula de Kida para as funções $L$ $p$-ádicas assinadas construídas por Pollack (Teorema 4.2).
  • Redução Aditiva: Sob a hipótese potencialmente boa ordinária de Delbourgo, os autores derivam uma fórmula de Kida para as funções $L$ $p$-ádicas construídas por Delbourgo para curvas elípticas com redução aditiva (Teorema 4.5).

Significância e Alegações
O artigo alega que seus resultados unificam casos anteriormente díspares da fórmula de Kida para invariantes de Iwasawa analíticos. Ao trabalhar diretamente com elementos de Mazur–Tate, que aproximam funções $L$ $p$-ádicas no limite, os autores fornecem um arcabouço que se aplica a curvas elípticas com qualquer tipo de redução em $p$ (incluindo redução aditiva) sob hipóteses brandas.

Os autores afirmam que este trabalho é paralelo aos resultados algébicos de Hachimori–Matsuno sobre grupos de Selmer, mas opera no lado analítico. Uma significância primária é a capacidade de lidar com casos onde a existência de uma função $L$ $p$-ádica limitada era anteriormente desconhecida ou exigia condições específicas (como a condição potencialmente boa ordinária). O artigo afirma que estas fórmulas alinham-se com a filosofia das conjecturas principais refinadas, sugerindo que um análogo algébico implicaria conjecturas refinadas para campos base que são extensões abelianas de $\mathbb{Q}$. Os autores explicitamente observam que seus resultados não inventam novas aplicações, mas sim fornecem a base teórica para obter fórmulas de crescimento para grupos de Tate–Shafarevich em extensões-$p$ de campos numéricos abelianos, dependentes da validade da Conjectura Principal.