On the Finiteness of Isolated $j$-invariants for $X_1(N)$

Resumo Técnico: Sobre a Finitude dos Invariantes $j$ Isolados para $X_1(N)$

Enunciado do Problema
A classificação de pontos racionais em curvas modulares $X_1(N)$ é um problema central na geometria aritmética. Enquanto pontos pertencentes a famílias parametrizadas infinitas (como aquelas decorrentes de aplicações para $\mathbb{P}^1$ ou variedades abelianas) são bem compreendidos, os pontos "isolados" — aqueles que não pertencem a tais famílias — apresentam uma obstrução significativa para uma classificação completa de pontos de um grau fixo. Este artigo foca especificamente na coleção de invariantes $j$ isolados para $X_1(N)$, definidos como os valores de $j$ de pontos isolados em $X_1(N)$ mapeados para a reta $j$, $X_1(1) \cong \mathbb{P}^1$.

A questão principal abordada é a Questão 1 (de Bourdon et al. [10]): Existem apenas finitos invariantes $j$ isolados de cada grau fixo? Embora o Teorema da Unicidade de Merel garanta a finitude de pontos isolados de um grau fixo em qualquer $X_1(N)$ específica, isso não implica imediatamente a finitude de invariantes $j$ isolados conforme $N$ varia. Este artigo investiga a relação entre esta questão e outras conjecturas de unicidade no campo e estabelece novos resultados de finitude, particularmente para curvas elípticas com invariantes $j$ racionais.

Metodologia
O artigo emprega uma combinação de teoria de módulos, análise de representação de Galois e limites geométricos em curvas modulares.

1. Interação de Hipóteses: O autor estabelece implicações lógicas entre quatro grandes hipóteses relativas à unicidade de curvas elípticas sobre corpos numéricos de grau fixo $d$:

   • Hipótese 1: Unicidade de Serre Generalizada (surjetividade de representações de Galois $p$-ádicas para $p$ grande).
   • Hipótese 2: Finitude de invariantes $j$ isolados de grau $d$.
   • Hipótese 3: Limites de Isogenia Não-CM (finitude de pontos não-cuspidais e não-CM de grau $d$ em $X_0(N)$ para $N$ grande).
   • Hipótese 4: Limites Polinomiais Refinados sobre o crescimento de torção.
     O artigo prova que a Hipótese 1 implica a Hipótese 2 e, crucialmente, que a Hipótese 2 implica tanto a Hipótese 3 quanto a Hipótese 4. Isso posiciona a Questão 1 como um refinamento das limitações de isogenia e torção que carece da força total da unicidade de Serre generalizada.

2. Representação de Galois e Emaranhamento: Para abordar o caso racional ($d=1$), o artigo analisa a imagem das representações de Galois mod $p$ e $p$-ádicas $\rho_{E,p}$ e $\rho_{E,p^\infty}$. Utiliza resultados de classificação para essas imagens (ex: Mazur, Serre, Bilu, Parent, Rebolledo, Lemos) para determinar o grau de pontos em $X_1(N)$. Uma ferramenta técnica fundamental é a análise de "emaranhamento" (entanglement) entre campos de torção de distintos primos. O autor deriva novos limites inferiores para o grau de pontos em $X_1(N)$ ao controlar a ramificação e a contribuição de primos onde a imagem não é surjetiva (especificamente subgrupos de Cartan não-divididos).

3. Gonalidade e Isolamento: O artigo utiliza limites inferiores para a gonalidade de curvas modulares (Abramovich) e a relação entre o grau de um ponto e o gênero da curva. Se o grau de um ponto excede o gênero (ou limites específicos de gonalidade), o ponto não pode ser isolado.

Principais Contribuições e Resultados

• Implicações Entre Hipóteses (Teorema 9): O artigo prova formalmente que a finitude de invariantes $j$ isolados (Hipótese 2) é uma condição suficiente para estabelecer tanto a finitude de pontos não-CM em $X_0(N)$ para níveis elevados (Hipótese 3) quanto limites polinomiais no crescimento de torção (Hipótese 4).
• Finitude para Invariantes $j$ Racionais (Teorema 3): O principal resultado incondicional estabelece que existem apenas finitos invariantes $j$ isolados racionais associados a curvas modulares da forma $X_1(p^a q^b)$, onde $p$ e $q$ são primos. Isso é alcançado combinando:
  • O trabalho de Lemos [39, 40] sobre a estrutura de imagens de Galois para primos não-surjetivos.
  • Resultados de ramificação de Smith [58] (Lema 3) para limitar o grau de pontos quando a imagem é um subgrupo de Cartan não-dividido.
  • Um novo limite inferior no grau de pontos (Corolário 1) que melhora o trabalho anterior do autor e de Genao [11].
    A prova demonstra que, para primos suficientemente grandes, o grau de qualquer ponto em $X_1(p^a q^b)$ com um invariante $j$ racional excede o gênero da curva, tornando o ponto não-isolado.
• Limites de Torção Refinados (Teorema 4): Para curvas elípticas não-CM $E/F$ com $j(E) \in \mathbb{Q}$, o artigo prova que para qualquer $\epsilon > 0$, existe uma constante $C_\epsilon$ tal que:
  $$\exp E(F)_{\text{tors}} \leq C_\epsilon \cdot [F:\mathbb{Q}]^{1/2 + \epsilon}$$
  $$\#E(F)_{\text{tors}} \leq C_\epsilon \cdot [F:\mathbb{Q}]^{1 + \epsilon}$$
  Isso melhora o expoente do limite de grau por um fator de raiz quadrada em comparação com resultados anteriores [11, 18]. O expoente $1/2$ para o expoente do grupo de torção mostra-se quase ótimo.
• Dados Experimentais e Classificação: O artigo fornece uma tabela abrangente de invariantes $j$ não-CM isolados conhecidos de grau $\leq 10$, justificando seu isolamento via computações de posto de Jacobiano e limites de gonalidade.

Significância e Alegações
O artigo alega que a Questão 1 serve como um "refinamento" crítico dos problemas de unicidade mais amplos no campo. Ao estabelecer que a finitude de invariantes $j$ isolados implica limites fortes em isogenias e torção, o trabalho sugere que atacar a finitude desses pontos específicos é um caminho viável para resolver conjecturas mais amplas.

Os resultados para invariantes $j$ racionais representam um passo significativo em direção a uma classificação completa, pois eliminam a possibilidade de famílias infinitas de invariantes $j$ isolados para curvas com níveis da forma $p^a q^b$. O autor observa que, embora o controle atual sobre o "emaranhamento" (a interação entre campos de torção de distintos primos) seja insuficiente para provar a Hipótese 2 incondicionalmente para todos os invariantes $j$ racionais, dados experimentais sugerem que o problema pode ser acessível via argumentos de imersão formal, particularmente porque as "curvas modulares de emaranhamento" relevantes frequentemente possuem quotas de posto 0 não triviais, diferentemente dos produtos fibrados de curvas modulares padrão.

O artigo conclui que, embora a finitude total dos invariantes $j$ isolados permaneça aberta, os métodos desenvolvidos aqui conseguem refinar com sucesso os limites conhecidos de torção para invariantes $j$ racionais e esclarecem o cenário lógico que conecta esses problemas de unicidade.