Locally imprimitive points on elliptic curves

1. O Problema e o Contexto

O artigo investiga uma generalização da conjectura de Artin sobre raízes primitivas para o contexto de curvas elípticas. O problema central é determinar a densidade de primos $p$ em um corpo de números $K$ para os quais um ponto global $P \in E(K)$ de ordem infinita gera o grupo de pontos reduzidos $E(\mathbb{k}_p)$ (o grupo de pontos da curva elíptica reduzida módulo $p$).

O trabalho contrasta três cenários:

1. Caso Multiplicativo (I): Um elemento $x \in K^*$ é raiz primitiva módulo $p$. Sob a Hipótese de Riemann Generalizada (GRH), se $x$ é "globalmente primitivo" (não é uma potência perfeita em $K^*$), ele é localmente primitivo em um conjunto de primos de densidade positiva.
2. Redução Cíclica (II): A curva $E$ tem redução cíclica módulo $p$. Sob GRH, a densidade é positiva a menos que existam obstruções triviais (como a presença de torção racional completa).
3. Raiz Primitiva Elíptica (III): O ponto $P$ gera $E(\mathbb{k}_p)$. Este é o foco do artigo.

A Questão Central: Diferentemente dos casos I e II, no caso III, é possível que um ponto $P$ seja globalmente primitivo (não pertence a $m \cdot E(K)$ para nenhum $m > 1$) mas seja localmente imprimitivo (falha em gerar $E(\mathbb{k}_p)$ para quase todos os primos $p$). O artigo busca caracterizar e construir exemplos explícitos desse fenômeno, que os autores chamam de "contra-exemplos elípticos" à analogia direta do Teorema 1.1.

2. Metodologia

Os autores utilizam uma combinação de teoria de Galois, representações de Galois e geometria aritmética:

• Representações de Galois: O comportamento local do ponto $P$ é analisado através da ação do grupo de Galois absoluto $G_K$ no subgrupo de pontos $Q \in E(K)$ tais que $kQ \in \langle P \rangle$ para algum $k$. Isso define uma representação de Galois de dimensão 3:
  $$\rho_{E/K,P}: G_K \to GL_3(\hat{\mathbb{Z}})$$
  A redução módulo $N$ (onde $N$ é um inteiro sem fatores quadrados) fornece representações em $GL_3(\mathbb{Z}/N\mathbb{Z})$.

• Condições de Splitting (Fatoração): A condição de que $P$ gera $E(\mathbb{k}_p)$ é traduzida em condições sobre o elemento de Frobenius $\text{Frob}_p$ na representação de Galois. Especificamente, $P$ falha em gerar o grupo local se o posto de $(\text{Frob}_p - I)$ for $\leq 1$ em certos espaços vetoriais associados aos divisores de $N$.

• Análise de Obstruções:

  • Obstruções Triviais (Nível Primo): Correspondem a casos onde a torção global ou a existência de isogenias racionais forçam a imprimitividade local.
  • Obstruções Não-Triviais (Nível Primo): Ocorre quando a representação de Galois tem uma estrutura específica (como um subgrupo de Borel) que força a imprimitividade, mesmo sem torção global completa.
  • Obstruções de Nível Composto (Entrelaçamento): Fenômenos onde primos diferentes (ex: 2 e 3) interagem de forma que as extensões de divisão se "entrelaçam", criando obstruções que não existem em níveis individuais.

3. Principais Contribuições e Resultados

A. Caracterização de Pontos Localmente $\ell$-Imprimitivos (Teorema 1.2)

Os autores provam que um ponto não-torsão $P \in E(K)$ é localmente $\ell$-imprimitivo (falha em gerar $E(\mathbb{k}_p)$ para quase todos $p$) se e somente se uma das seguintes condições for satisfeita:

• A. $E(K)$ contém um ponto de torção de ordem $\ell$ e $P \in \ell \cdot E(K)$.
• B. $E$ tem torção $\ell$-completa racional sobre $K$ (o grupo $E[\ell](K)$ tem ordem $\ell^2$).
• C. Existe uma isogenia $\phi: E' \to E$ definida sobre $K$, com núcleo gerado por um ponto de torção de ordem $\ell$ em $E'(K)$, tal que $P \in \phi[E'(K)]$.

O artigo destaca que a Condição C é nova e não tem análogo no caso multiplicativo. Ela permite que $P$ seja globalmente primitivo (não é múltiplo de $\ell$ em $E(K)$ e não há torção $\ell$ em $E(K)$), mas ainda assim seja localmente imprimitivo.

B. Construção de Exemplos Não-Triviais

• Caso $\ell = 2$ (Teorema 1.3): Os autores demonstram que, para qualquer curva elíptica $E/K$ com exatamente um ponto de ordem 2 racional, existem infinitas torções quadráticas de $E$ que possuem pontos não-triviais localmente 2-imprimitivos. A prova utiliza a descrição explícita de isogenias 2-racionais e a construção de pontos em curvas torcidas.
• Caso $\ell = 3$ (Teorema 6.2): Utilizando a forma normal de Deuring e isogenias 3-racionais, os autores constroem famílias de curvas elípticas sobre corpos de números com pontos localmente 3-imprimitivos não-triviais.
• Casos $\ell = 5$ e $\ell = 7$: O artigo fornece exemplos explícitos (embora com fórmulas complexas) para primos maiores, mostrando que o fenômeno ocorre para $\ell \leq 7$ sobre $\mathbb{Q}$.

C. Obstruções de Nível Composto (Seção 8)

O trabalho identifica um novo tipo de obstrução que surge do "entrelaçamento" (entanglement) entre campos de divisão de diferentes primos (ex: campos de divisão 2 e 3).

• É demonstrado que, mesmo que não haja obstrução em nível 2 nem em nível 3 individualmente, a interação entre eles pode criar uma obstrução de nível 6.
• Um exemplo concreto é fornecido usando a curva 12100.j1 do banco de dados LMFDB, onde um ponto $P$ nunca gera o grupo local porque o índice é sempre divisível por 2 ou 3 devido a restrições conjuntas nas extensões de Galois.

4. Significância e Impacto

• Refutação de Analogias Diretas: O trabalho mostra que a intuição baseada na conjectura de Artin (caso multiplicativo) falha na teoria elíptica. A existência de pontos globalmente primitivos que são localmente imprimitivos para todos os primos (ou um conjunto de densidade 1) é um fenômeno exclusivo das curvas elípticas, decorrente da estrutura mais rica das representações de Galois de dimensão 3.
• Novos Fenômenos de Entrelaçamento: A descoberta de obstruções de nível composto (Seção 8) revela que a análise de densidade de primos em problemas de Lang-Trotter não pode ser feita apenas olhando para primos individuais; a interação entre diferentes níveis de divisão é crucial.
• Ferramentas Construtivas: O artigo fornece métodos sistemáticos (via isogenias e torções) para gerar famílias infinitas de curvas elípticas com pontos de comportamento "patológico" em relação à geração de grupos locais, enriquecendo o estudo da aritmética de curvas elípticas.
• Conexão com Representações de Galois: A caracterização rigorosa via a representação $\rho_{E/K,P}$ e a análise de subgrupos de $GL_3$ oferecem um quadro teórico sólido para futuros estudos sobre a densidade de primos onde pontos elípticos geram o grupo de pontos.

Em resumo, o artigo estabelece uma teoria completa para a "imprimitividade local" em curvas elípticas, identificando as condições necessárias e suficientes para esse fenômeno e fornecendo exemplos explícitos que desafiam a intuição baseada em casos multiplicativos clássicos.