Intrinsic Subgroups and the $\ell$-adic Galois image

Resumo Técnico: Subgrupos Intrínsecos e a Imagem de Galois $\ell$-ádica

Enunciado do Problema
Este artigo aborda a classificação e o cálculo do "subgrupo intrínseco" dos pontos de torção de uma curva elíptica $E$ sobre um corpo $k$. Baseando-se no trabalho de Yamazaki et al. [5], que definiram um pareamento simétrico biaditivo $\langle -, - \rangle$ no subgrupo de torção $\text{Pic}(X)_{\text{tors}}$ de uma curva algébrica suave $X$ com valores em $k^\times \otimes \mathbb{Q}/\mathbb{Z}$, o subgrupo intrínseco é definido como o núcleo deste pareamento. Para uma curva elíptica $E$, onde $E(k) \cong \text{Pic}^0(E)$, este subgrupo $E(k)_{\text{is}}^{\text{tors}}$ consiste nos pontos de torção ortogonais a todos os outros pontos de torção sob o pareamento.

Embora Yamazaki et al. tenham fornecido uma classificação para curvas elípticas sobre $\mathbb{Q}$ utilizando métodos analíticos, este artigo busca generalizar esses resultados para corpos arbitrários $k$ (especificamente subcorpos de $\mathbb{C}$) e fornecer critérios algébricos explícitos e algoritmos para determinar a estrutura deste subgrupo.

Metodologia
O artigo emprega uma combinação de geometria algébrica, teoria de Galois e teoria de curvas modulares:

1. Caracterização Algébrica via Isogenias: Na Seção 2, o autor utiliza a funtorialidade do pareamento para derivar condições suficientes para o tamanho do subgrupo intrínseco. Especificamente, o Lema 2.1 estabelece que, se uma isogenia $\psi: E_1 \to E_2$ possui um núcleo igual ao subgrupo de torção total $E_1(k)_{\text{tors}}$, então a imagem da isogenia dual $\hat{\psi}$ aplicada a $E_2(k)_{\text{tors}}$ reside dentro de $E_1(k)_{\text{is}}^{\text{tors}}$. Isso leva ao Teorema 2.2, que relaciona a existência de isogenias cíclicas específicas com a ordem do subgrupo intrínseco.
2. Curvas Modulares e Twists: A Seção 3 estende a análise para subcorpos $k \subset \mathbb{C}$. O autor constrói modelos planos explícitos para curvas modulares $X_1(N)$ e suas twists. Ao expressar o valor do pareamento $\langle P, P \rangle$ em termos de funções theta de Jacobi e funções racionais na curva modular, o artigo demonstra que curvas elípticas com uma estrutura de torção e subgrupo intrínseco específicos correspondem a pontos racionais em twists específicas $X_1(N)^\zeta_M$ da curva modular $X_{1,0}(N, MN)$.
3. Cálculo Algorítmico: A Seção 4 detalha um algoritmo computacional para o caso $k=\mathbb{Q}$. Este procedimento transforma uma curva elíptica em uma forma normal de Tate, utiliza funções racionais pré-computadas $f_N(t)$ derivadas das relações das funções theta, e determina a ordem do subgrupo intrínseco analisando o expoente do número racional resultante na fórmula do pareamento.

Principais Contribuições e Resultados

• Generalização de Yamazaki et al.: O artigo generaliza a classificação de subgrupos intrínsecos de $\mathbb{Q}$ para corpos arbitrários $k \subset \mathbb{C}$. Prova-se que, para uma curva elíptica $E$ com torção cíclica $\mathbb{Z}/N\mathbb{Z}$ e subgrupo intrínseco $\mathbb{Z}/M\mathbb{Z}$, a curva corresponde a um ponto racional em uma twist específica da curva modular $X_{1,0}(N, MN)$.
• Condições Algébricas: O Teorema 2.2 fornece uma condição suficiente puramente algébrica: se $E$ admite um subgrupo cíclico de ordem $MN$ definido sobre $k$ contendo um ponto $P$ de ordem $N$, então o subgrupo gerado por $[N/M]P$ está contido no subgrupo intrínseco.
• Caracterização da Imagem de Galois: O Teorema 3.2 estabelece uma relação entre o subgrupo intrínseco e a imagem de Galois ádelica. Se $E(k)_{\text{tors}} \cong \mathbb{Z}/N\mathbb{Z}$ e $E(k)_{\text{is}}^{\text{tors}} \cong \mathbb{Z}/M\mathbb{Z}$, então a imagem de Galois de $E$ é conjugada a um subgrupo de $\Gamma_{1,0}(N, MN)$.
• Algoritmo Explícito: Um algoritmo (Algoritmo 4.2) é fornecido para calcular a ordem e o gerador de $E(\mathbb{Q})_{\text{is}}^{\text{tors}}$ dados os coeficientes de Weierstrass e um gerador do subgrupo de torção. Este algoritmo foi implementado e utilizado para calcular ordens de subgrupos intrínsecos para todas as curvas elípticas no LMFDB.
• Problema de Móduli: O artigo identifica a curva modular $X_{1,0}(N, MN)$ e suas twists como a solução para o problema de módulos de classificar curvas elípticas com estruturas prescritas de torção e subgrupo intrínseco, pelo menos sobre subcorpos de $\mathbb{C}$.

Significância e Limitações
O artigo reivindica significância ao deslocar o estudo dos subgrupos intrínsecos de métodos analíticos restritos a $\mathbb{Q}$ para métodos algébricos aplicáveis a corpos gerais. Ele fornece um arcabouço concreto para compreender a relação entre o subgrupo intrínseco, isogenias e representações de Galois.

Contudo, o autor é modesto quanto ao escopo destes resultados:

• A condição algébrica na Seção 2 é suficiente, mas não necessária; nem toda curva com o subgrupo intrínseco desejado surge como um ponto racional da twist específica da curva modular $X_{1,0}(N, MN)$ sem considerar as twists.
• A generalização para corpos arbitrários $k$ (fora de subcorpos de $\mathbb{C}$) permanece uma conjectura (Conjectura 5.1). O artigo observa que, embora o problema de módulos seja resolvido para $k \subset \mathbb{C}$, os métodos ainda não provam isso para corpos gerais.
• Os resultados atuais concentram-se primordialmente no caso onde o subgrupo de torção é cíclico. O artigo reconhece que a abordagem analítica não se generaliza imediatamente para casos de torção não-cíclica, deixando a relação entre o subgrupo intrínseco e imagens de Galois no caso não-cíclico como uma questão em aberto.
• O algoritmo para corpos gerais enfrenta desafios no teste de identidade dentro de $k^\times \otimes \mathbb{Q}/\mathbb{Z}$ e na pré-computação de funções $f_N$ para $N$ grandes, cujo grau cresce linearmente.