Strong Weil Degree Divisibility at Higher Levels

Resumo Técnico: Divisibilidade de Grau de Weil Forte em Níveis Superiores

Enunciado do Problema
O artigo investiga as propriedades aritméticas de morfismos de curvas modulares $X_0(N)$ (e curvas intermediárias como $X_1(N)$) para curvas elípticas $E'$ na classe de isogenia racional de uma curva de Weil forte $E$ de condutor $M$. Especificamente, aborda duas questões primordiais relativas à relação entre o grau da parametrização de Weil forte $\pi_E: X_0(M) \to E$ e os graus de morfismos $g: X_0(N) \to E'$ onde $N$ é um múltiplo de $M$:

1. Divisibilidade: $\deg \pi_E$ divide $\deg g$? Se não, quais fatores explícitos controlam a falha da divisibilidade?
2. Estrutura Integral: Os homomorfismos "antigos" induzidos por mapas de degeneração formam uma base integral para o grupo de homomorfismos $\text{Hom}_{\mathbb{Q}}(J_0(N), E')$? Se não, os denominadores dos coeficientes dos homomorfismos integrais podem ser explicitamente limitados?

O caso $N=M$ é bem compreendido via a propriedade universal de quocientes ótimos, mas o comportamento em níveis superiores $N > M$ envolve interações complexas entre mapas de degeneração, constantes de Manin e a estrutura de jacobianos modulares.

Metodologia
Os autores empregam uma combinação de geometria algébrica, teoria de formas modulares e teoria de reticulados (lattice theory). A metodologia central envolve:

• Decomposição de Formas Antigas: Utilizando a decomposição de Atkin–Lehner–Li para identificar o espaço vetorial racional $\text{Hom}_{\mathbb{Q}}(J_0(N), E') \otimes \mathbb{Q}$ com o subespaço de homomorfismos "antigos" induzidos por mapas de degeneração $\iota_r: X_0(N) \to X_0(M)$.
• Pareamentos de Grau: Definindo um pareamento de grau positivo-definido sobre os homomorfismos. Isso permite que o grau de um morfismo seja expresso como uma forma quadrática envolvendo as coordenadas do homomorfismo na base antiga e uma "matriz de grau" $A_{E,N}$.
• Limites de Denominadores via Expansões de Cúspides: Para controlar os denominadores dos coeficientes nos fundamentos racionais, os autores analisam o pullback de diferenciais invariantes (diferenciais de Néron) sob os morfismos. Eles estabelecem condições de integridade examinando as expansões em $q$ em duas cúspides específicas: a cúspide padrão $\infty$ e sua imagem sob a involução de Fricke $w_N$.
• Argumentos de Descida: Para primos $\ell$ onde $\ell^2 \mid (N/M)$, os autores utilizam um argumento de descida. Eles mostram que os mapas de degeneração $\delta_\ell: X_0(N) \to X_0(N/\ell)$ são totalmente ramificados em $\infty$ (para $X_0$) ou sobrejetivos no grupo fundamental (para curvas intermediárias), implicando que o mapa induzido nos jacobianos possui um núcleo geometricamente conexo. Esta propriedade garante que a integridade desça de nível $N$ para $N/\ell$.
• Critério de Torre: Os autores abstraem essas propriedades em um "critério de torre" (Condições T1–T3) para estender os resultados de $X_0$ para torres compatíveis de curvas modulares intermediárias, incluindo $X_1$ e torres de diamante.

Contribuições Principais e Resultados

1. Teorema de Divisibilidade (Teorema 1.1):
   O artigo prova que, para qualquer morfismo não constante $g: X_0(N) \to E'$, o grau da parametrização de Weil forte divide o grau de $g$ até um fator controlado pela constante de Manin $c_E$ e pelo número de fatores primos de $N/M$. Especificamente:
   $$\deg \pi_E \mid c_E^{\Omega(N/M)} \deg g$$
   onde $\Omega(n)$ é o número de fatores primos de $n$ contados com multiplicidade.

   • Refinamento: O expoente de qualquer primo $\ell \mid c_E$ pode ser refinado de $\text{ord}_\ell(c_E)\Omega(N/M)$ para $\text{ord}_\ell(c_E) + \lfloor \text{ord}_\ell(N/M)/2 \rfloor$.
   • Caso Incondicional: Se $c_E = 1$ (o que é conhecido por ocorrer quando $M$ é livre de quadrados, ou verificado para $M < 500.000$), então $\deg \pi_E \mid \deg g$ incondicionalmente.

2. Base Integral e Teorema de Denominador (Teorema 1.2):
   Os autores estabelecem condições sob as quais os homomorfismos antigos formam uma $\mathbb{Z}$-base. Se a constante de Manin do mapa composto $u \circ \pi_E$ for 1 (onde $u$ gera $\text{Hom}_{\mathbb{Q}}(E, E')$), então o conjunto $\{ \Phi_{r,u} : r \mid (N/M) \}$ forma uma $\mathbb{Z}$-base de $\text{Hom}_{\mathbb{Q}}(J_0(N), E')$.

   • Limite Geral: No caso geral, os denominadores dos coeficientes de qualquer homomorfismo integral são limitados por um inteiro explícito $D_{u \circ \pi_E}(N/M)$, que depende da fatoração em primos de $N/M$ e da constante de Manin.
   • Espectro de Grau: Quando a constante de Manin é 1, o grau de qualquer morfismo é exatamente determinado pela forma quadrática $b^T A_{E,N} b$, onde $b$ é o vetor de coeficientes inteiros do homomorfismo na base antiga.

3. Extensão para Curvas Intermediárias (Teoremas 5.12–5.19):
   Os resultados são estendidos para torres compatíveis de curvas modulares intermediárias, incluindo a torre $X_1$.

   • Para $X_1(N)$, resultados análogos de divisibilidade e base ocorrem, governados pela constante de Manin–Stevens $c_1$.
   • O artigo demonstra que o argumento de ramificação total usado para $X_0$ deve ser substituído por um argumento topológico envolvendo a sobrejetividade de mapas no grupo fundamental para curvas intermediárias, embora as conclusões finais de divisibilidade e base permaneçam estruturalmente similares.

Significância e Alegações
O artigo afirma fornecer uma descrição aritmética completa dos graus de morfismos de curvas modulares de nível superior para curvas elípticas em termos da parametrização de nível mínimo.

• Divisibilidade Incondicional: Confirma que a divisibilidade $\deg \pi_E \mid \deg g$ é incondicional sempre que $c_E = 1$, uma condição satisfeita para todos os condutores livres de quadrados e verificada computacionalmente para uma ampla gama de condutores.
• Visão Estrutural: Esclarece a estrutura do grupo Hom integral, mostrando que os mapas "antigos" geram o reticulado completo até um denominador controlado. Isso resolve a questão de se o reticulado "antigo" é saturado.
• Limites Explícitos: O artigo fornece limites explícitos e computáveis para a falha de integridade e divisibilidade, refinando estimativas anteriores ao reduzir o expoente do fator da constante de Manin com base na multiplicidade dos fatores primos na razão de níveis.
• Generalização: Ao formular um "critério de torre", os autores demonstram que estes fenômenos não são exclusivos de $X_0$, mas são intrínsecos a famílias compatíveis de curvas modulares, incluindo $X_1$.

O trabalho baseia-se no caso semiestável da conjectura da constante de Manin (provada por Česnavičius) para os resultados incondicionais no caso livre de quadrados e utiliza verificações computacionais existentes (Cremona) para condutores específicos. O artigo não propõe novas aplicações, mas solidifica a base teórica para a compreensão de parametrizações modulares em níveis superiores.