Geometric construction of modular polynomials with level structures

Resumo Técnico: Construção Geométrica de Polinômios Modulares com Estruturas de Nível

Enunciado do Problema
O polinômio modular clássico $\Phi_m(X, Y)$ descreve a relação algébrica entre os invariantes $j$ de duas curvas elípticas conectadas por uma isogenia cíclica de grau $m$. Embora existam algoritmos para computar esses polinômios (por exemplo, via expansão de Fourier, isogenias supersingulares ou teoria de deformação), há uma necessidade de estender esse arcabouço para estruturas de "nível superior". Especificamente, o artigo aborda a construção de polinômios modulares para invariantes associados a modelos específicos de curvas elípticas, como as curvas de Montgomery e Hessian, que correspondem a curvas elípticas aprimoradas com estruturas de nível $\Gamma_0(4)$ e $\Gamma(3)$, respectivamente. Antes deste trabalho, a existência de tais polinômios modulares para essas formas específicas não havia sido rigorosamente provada na literatura, nem um método de construção puramente algébrico foi estabelecido sem depender da teoria de formas modulares.

Metodologia
Os autores propõem uma abordagem puramente algébrica para construir polinômios modulares para invariantes de nível superior. A metodologia baseia-se nos seguintes conceitos centrais:

1. Invariantes e Bons Modelos: Os autores definem um "invariante de nível $\Gamma$" como uma injeção do conjunto de classes de isomorfismo de curvas elípticas aprimoradas para $\mathbb{C}$, acompanhada de uma função racional que relaciona o invariante ao invariante $j$. Crucialmente, eles introduzem o conceito de um "bom modelo", que exige a existência de fórmulas explícitas para:

   • Multiplicação escalar ($[m]P$).
   • Polinômios de divisão (identificando pontos de ordem $m$).
   • Fórmulas de isogenia (computando o invariante da curva alvo a partir da curva de origem e do gerador do núcleo).
     Estas fórmulas devem possuir coeficientes em anéis específicos (por exemplo, $\mathbb{Z}[X]$ ou $\mathbb{Z}[1/m][X]$) para garantir a integridade.

2. Prova de Existência via Teoria de Deformação: Para provar a existência do polinômio modular $\Phi^\alpha_m(X, Y)$ para um invariante $\alpha$, os autores utilizam a teoria de deformação (especificamente o arcabouço de Kunzweiler–Robert). Eles consideram o corpo de divisão mínimo do polinômio de divisão sobre um corpo de funções racionais. Ao analisar a ação do grupo de Galois sobre as raízes do polinômio de divisão (que correspondem a subgrupos cíclicos), eles constroem um polinômio cujas raízes são os invariantes das curvas alvo conectadas por isogenias.

3. Construção Algorítmica: O artigo adapta o algoritmo de Kunzweiler–Robert para computar polinômios modulares clássicos. O algoritmo opera sobre corpos finitos $\mathbb{F}_{p^2}$ e utiliza o Teorema Chinês do Resto (CRT) para elevar os resultados para $\mathbb{Z}[X, Y]$.

   • Ele seleciona primos $p$ tais que a curva possua propriedades de multiplicação complexa que permitam a computação eficiente de isogenias.
   • Ele deforma a curva e o invariante sobre um anel artiniano $R = \mathbb{F}_{p^2}[\epsilon]/(\epsilon^{\ell+2})$.
   • Ele computa isogenias e eleva o invariante alvo $\alpha(E', P')$ usando a iteração de Newton (elevação de Hensel), garantindo que o invariante elevado satisfaça a função racional definidora do modelo.

Principais Contribuições

• Existência e Propriedades: O artigo prova que, para qualquer invariante $\alpha$ que possua um "bom modelo" (satisfazendo condições específicas de integridade e de fórmula), o polinômio modular $\Phi^\alpha_m(X, Y)$ existe, possui coeficientes inteiros e é mônico de grau $\psi(m)$ em $Y$.
• Simetria e Irredutibilidade:
  • Mostra-se que o polinômio é simétrico ($\Phi^\alpha_m(X, Y) = \Phi^\alpha_m(Y, X)$) se $m > 1$ e o nível for $\Gamma_0(N)$ ou $m \equiv \pm 1 \pmod N$.
  • Se o invariante for "computável" (expressável como uma função racional do invariante $j$ e das coordenadas de estrutura de nível independentemente da curva específica), o polinômio é irredutível sobre $\mathbb{C}(X)$.
• Exemplos Específicos: Os autores demonstram que o coeficiente $A$ das curvas de Montgomery (nível $\Gamma_0(4)$) e o coeficiente $d$ das curvas Hessian (nível $\Gamma(3)$) satisfazem as condições de um bom modelo. Consequentemente, polinômios modulares para esses coeficientes existem e possuem as propriedades declaradas.
• Propriedades de Congruência: O artigo estabelece condições de congruência para os coeficientes desses polinômios. Para curvas de Montgomery, o coeficiente de $X^i Y^j$ é zero, a menos que $i+j \equiv 0 \pmod 2$. Para curvas Hessian, restrições modulares semelhantes se aplicam com base em $m \pmod 3$.
• Implementação do Algoritmo: Um algoritmo é fornecido para computar esses polinômios com uma complexidade de $\tilde{O}(\ell^3 \log^3 \ell \log \log \ell)$ operações de bits, igualando a eficiência dos melhores algoritmos conhecidos para polinômios modulares clássicos.

Resultos

• Os autores implementaram o algoritmo no SageMath e computaram polinômios modulares para curvas de Montgomery e Hessian para todos os primos $\ell < 150$.
• Resultados experimentais confirmaram que os polinômios computados satisfazem as condições de isogenia em corpos finitos.
• Os experimentos verificaram a simetria e as propriedades de congruência específicas dos coeficientes.
• A altura logarítmica dos polinômios computados geralmente aderiu a um limite conjecturado relacionado ao caso clássico, com exceções menores para primos pequenos no caso Hessian.
• O estudo da permutação $\sigma$ (relacionada à avaliação do polinômio em pontos fora da imagem do invariante) mostrou que, para curvas de Montgomery, $\sigma$ é a identidade, enquanto para curvas Hessian, é uma permutação não trivial.

Significância e Alegações
Os autores afirmam explicitamente que sua principal contribuição é fornecer outra abordagem para construir polinômios modulares de nível superior que é puramente algébrica e não depende da teoria de formas modulares. Eles não alegam que os exemplos (coeficientes de Montgomery/Hessian) não são funções modulares; em vez disso, afirmam que seu método algébrico oferece um caminho distinto e potencialmente útil para construir polinômios modulares para outras formas de curvas elípticas onde a teoria de formas modulares pode ser difícil de aplicar ou onde fórmulas explícitas para multiplicação escalar e isogenias são conhecidas, mas a natureza modular não é imediatamente óbvia.

O artigo enfatiza que a existência desses polinômios não havia sido provada anteriormente na literatura para essas formas de curvas específicas. Ao estabelecer os critérios de "bom modelo", os autores fornecem um arcabouço geral para verificar a existência e a integridade de polinômios modulares para uma classe mais ampla de modelos de curvas elípticas.