$p$-twisted Selmer near-companion curves

Resumo Técnico de "p-TWISTED SELMER NEAR-COMPANION CURVES"

Enunciado do Problema e Contexto
O artigo aborda a relação entre as propriedades aritméticas de curvas elípticas e seus grupos de Selmer sob torção (twisting). Baseando-se no trabalho de Mazur e Rubin [7], que definiram curvas quase-companheiras de Selmer n-ésimas (n-Selmer near-companion curves), o artigo investiga a relação entre a limitação das diferenças de rank de Selmer e o isomorfismo de subgrupos de torção. Mazur e Rubin conjecturaram que, se duas curvas elípticas $E_1$ e $E_2$ sobre um corpo numérico $K$ são quase-companheiras de Selmer $n$-ésimas (ou seja, a diferença nas dimensões de seus grupos de Selmer sob torções quadráticas é limitada), então seus subgrupos de torção $n$-ésimos $E_1[n]$ e $E_2[n]$ devem ser isomorfos como módulos de $G_K$.

Embora Yu [11] tenha provado esta conjectura para o caso $n=2$, o caso geral para primos ímpares $p$ permanecia em aberto. Uma dificuldade fundamental observada na introdução é que a igualdade dos corpos gerados pelos pontos de torção, $K(E_1[p]) = K(E_2[p])$, não implica automaticamente um isomorfismo de módulos de $G_K$, $E_1[p] \cong E_2[p]$. Para preencher essa lacuna e estender o arcabouço, o autor introduz o conceito de quase-companheiras de Selmer $p$-torcidas (p-twisted Selmer near-companions ou $p$-TSNC). Diferente da definição original, que considera apenas torções quadráticas, as $p$-TSNC consideram torções por todos os caracteres $\chi \in \text{Hom}(G_K, \mu_p)$.

Metodologia
A estratégia central envolve analisar o comportamento dos ranks de Selmer sob $p$-torções. O autor define o grupo de Selmer $p$-torcido $S_p(E/K, \chi)$ e investiga a diferença nas dimensões $r_p(E_1, \chi) - r_p(E_2, \chi)$.

A prova baseia-se em um "argumento de densidade" utilizando o Teorema de Densidade de Chebotarev. A metodologia procede da seguinte forma:

1. Análise de Extensão de Corpo: O autor assume que $K(E_1[p]) \neq K(E_2[p])$ e analisa as representações de Galois associadas a $E_1$ e $E_2$. A prova é dividida em casos baseados na estrutura dos corpos $M_i = K(E_i[p])$ e dos pontos de torção $p$-ésimos $E_i(K)[p]$.
2. Princípios Local-Global: Utilizando ferramentas da teoria de classes globais e as propriedades de condições de Selmer locais (especificamente as imagens dos mapas de Kummer $\gamma_v(\chi_v)$), o autor constrói caracteres globais $\chi$ que satisfazem condições locais específicas em primos $q$ cuidadosamente escolhidos.
3. Manipulação de Rank: Através da seleção de primos $q$ com propriedades de Frobenius específicas (por exemplo, $q \in P_2(E)$ onde o Frobenius atua trivialmente em $E[p]$), o autor constrói caracteres que aumentam o rank de Selmer de uma curva em 2 enquanto deixam a outra inalterada, ou aumentam ambos por quantidades diferentes.
4. Construção Indutiva: Através de uma série de lemas (Seções 3–8), o artigo demonstra que, se $K(E_1[p]) \neq K(E_2[p])$, é possível encontrar infinitos caracteres $\chi$ tais que a diferença $|r_p(E_1, \chi) - r_p(E_2, \chi)|$ cresça arbitrariamente. Isso contradiz a definição de $p$-TSNC, que exige que essa diferença seja limitada por uma constante $C$.

Contribuições Principais e Resultados
O artigo introduz a definição de quase-companheiras de Selmer $p$-torcidas e estabelece os seguintes teoremas principais:

• Teorema 1.6 (Não existência de $p$-TSNC com corpos distintos): Se $E_1$ e $E_2$ são $p$-TSNC sobre $K$, então $K(E_1[p]) = K(E_2[p])$, desde que pelo menos uma das seguintes condições seja satisfeita:

  • $E_i[p] \subset E_i(K)$ para algum $i$.
  • $E_i(K)[p] \cong \mathbb{Z}/p\mathbb{Z}$ para $i=1,2$.
  • $E_1(K)[p] \cong \mathbb{Z}/p\mathbb{Z}$ e $K(\mu_p) \subsetneq M_2$.
  • O grau $[M_i : K(\mu_p)]$ não divide $p$ para $i=1,2$.
  • $\mu_p \subset K$.
    Essencialmente, sob estas condições, a propriedade de ser $p$-TSNC força os corpos gerados pelos pontos de torção $p$-ésimos a serem idênticos.

• Teorema 1.7 (Suficiência do Isomorfismo): Se existe um isomorfismo de módulos de $G_K$, $E_1[p] \cong E_2[p]$ (para $p \ge 3$), então $E_1$ e $E_2$ são $p$-TSNC sobre $K$. Isso confirma a direção inversa da principal conjectura no contexto da nova definição.

• Corolários: O artigo deriva que, se $\mu_p \subset K$ e $E_i(K)[p] \cong \mathbb{Z}/p\mathbb{Z}$, então $p$-TSNC implica $E_1[p] \cong E_2[p]$ como módulos de $G_K$ (Corolário 1.9). Da mesma forma, se $E_1[p] \subset E_1(K)$, $p$-TSNC implica isomorfismo (Corolário 1.10).

Significância
O artigo estende o arcabouço de Mazur e Rubin ao generalizar o mecanismo de torção de caracteres quadráticos para todos os caracteres em $\mu_p$. A principal significância reside em provar que, para uma ampla gama de curvas elípticas (cobrindo casos onde a torção $p$-ésima é racional, parcialmente racional ou onde a imagem de Galois é grande), a condição de serem quase-companheiras de Selmer $p$-torcidas é suficiente para forçar a igualdade dos corpos $K(E_1[p]) = K(E_2[p])$.

O autor observa que, para curvas elípticas sem multiplicação complexa, o teorema de Faltings implica que $K(E_1[p]) \neq K(E_2[p])$ para infinitos primos se as curvas não forem isógenas. Consequentemente, o artigo sugere que, se duas curvas não isógenas são $p$-TSNC para todos os primos exceto um conjunto finito, elas devem ser isógenas. O trabalho fornece uma resolução parcial rigorosa à conjectura de Mazur-Rubin no contexto de grupos de Selmer $p$-torcidos, estabelecendo especificamente o elo entre diferenças limitadas de rank de Selmer e a igualdade de corpos de torção sob restrições aritméticas específicas.