Towards a generalized Maeda conjecture for modular forms with quadratic nebentypus

Resumo Técnico: Rumo a uma Conjectura de Maeda Generalizada para Formas Modulares com Nebentypus Quadrático

Declaração do Problema
O artigo aborda o comportamento assintótico do número de órbitas de Galois de novas formas no espaço $S_k(\Gamma_0(N), \Psi)$ à medida que o peso $k$ aumenta. Enquanto a conjectura de Maeda prevê uma única órbita de Galois para nível 1, níveis superiores geralmente produzem múltiplas órbitas. Trabalhos anteriores de Dieulefait, Pacetti e Tsaknias (DPT21) estabeleceram um limite inferior para o número de órbitas de Galois não-CM, $N_{CM}(N, k)$, para nebentypus trivial, utilizando tipos inerciais locais e sinais de Atkin-Lehner como invariantes globais. Este artigo estende essa estrutura ao caso de nebentypus quadrático não trivial $\Psi$. Um desafio primário neste cenário é que a teoria clássica de Atkin-Lehner não está diretamente disponível, e a ação de Galois não preserva o espaço $S_k(\Gamma_0(N), \Psi)$ a menos que $\Psi$ seja invariante por Galois (o que vale para caracteres quadráticos).

Metodologia
Os autores desenvolvem uma estrutura local-global para contar pares admissíveis de invariantes que definem órbitas de Galois. A metodologia prossegue em três etapas principais:

1. Análise Local de Tipos Inerciais:
   O artigo analisa as órbitas de Galois de tipos inerciais locais para $GL_2(\mathbb{Q}_p)$ sob a restrição de um caractere central quadrático. Usando a correspondência de Langlands local, os autores classificam as representações em séries principais, Steinberg (especial) e tipos supercuspidais. Eles calculam explicitamente o número de órbitas de Galois distintas de tipos inerciais locais, denotado $LT(p^n, \Psi)$, para primos ímpares $p$, distinguindo entre casos de nebentypus local moderadamente ramificado e não ramificado. Isso envolve uma análise detalhada de teoria de grupos de grupos unitários em extensões quadráticas e a ação do grupo de Galois absoluto sobre caracteres primitivos.

2. Invariantes Globais e Pseudo-Valores Próprios de Atkin-Li:
   Para refinar a contagem, os autores introduzem o pseudo-valor próprio de Atkin-Li como um segundo invariante. Eles estabelecem a equivariância de Galois desses pseudo-valores próprios (Teorema 4.5), mostrando que, sob conjugação de Galois $\sigma$, o valor próprio se transforma como $\lambda_p(f^\sigma) = \Psi_p(\chi_p(\sigma))\sigma(\lambda_p(f))$. Como $\Psi$ é quadrático, isso leva a uma relação de equivalência $\sim$ no círculo unitário $S^1$.
   Crucialmente, os autores abordam a questão de que torções de alta ramificação podem obscurecer o valor próprio original. Eles definem o pseudo-valor próprio mínimo de Atkin-Li (via torções quadráticas mínimas) para garantir que o invariante seja bem definido e equivariante por Galois.
   O Teorema 4.13 determina quando um tipo local fixa unicamente o pseudo-valor próprio e quando permite dois valores que diferem por um sinal. Isso leva a uma classificação de tipos locais em órbitas simétricas (onde $\lambda \sim -\lambda$) e órbitas assimétricas (onde $\lambda \not\sim -\lambda$).

3. Existência e Realização:
   O artigo prova que todo par compatível de uma órbita de tipo inercial local e uma classe de equivalência de pseudo-valores próprios mínimos de Atkin-Li é realizado por uma nova forma não-CM para pesos suficientemente grandes. Isso depende de resultados de multiplicidade limite de Weinstein (para séries principais) e Kim-Shin-Templier (para séries discretas). Uma restrição é imposta ao nível $N$: ele deve ser uma potência de primo ou satisfazer $v_p(N) \ge 3$ (ímpar) para todo $p|N$, garantindo que representações locais prescritas possam ser fixadas simultaneamente via métodos de fórmula de traço.

Principais Contribuições e Resultados

• Extensão da Estrutura de Limite Inferior: O artigo generaliza o limite inferior de DPT21 para nebentypus quadrático. Ele define $LO(p^n, \Psi)$ como o número de pares compatíveis de órbitas de Galois de tipos locais e classes de equivalência de pseudo-valores próprios mínimos de Atkin-Li.
• Fórmulas de Contagem Explícitas: Os autores fornecem fórmulas explícitas para $LT(p^n, \Psi)$ e $LO(p^n, \Psi)$ nas Tabelas 4–7, cobrindo casos para nebentypus local moderadamente ramificado e não ramificado, e distinguindo entre $p=3$ e $p \neq 3$.
• O Teorema Principal (Teorema 1.1): Para $N$ satisfazendo as condições especificadas e $\Psi$ um caractere quadrático, existe um $k_0$ tal que para todo $k \ge k_0$:
  $$\prod_{p|N} LO(p^{v_p(N)}, \Psi) \le N_{CM}(N, k, \Psi)$$
  Isso estabelece um limite inferior concreto para o número de órbitas de Galois não-CM.
• Órbitas Simétricas vs. Assimétricas: Uma contribuição nova é a distinção entre órbitas simétricas e assimétricas em relação ao sinal do pseudo-valor próprio. Os autores mostram que, embora a análise local determine o número de tipos, a ação global de Galois determina se os dois sinais possíveis ($\lambda, -\lambda$) colapsam em um único invariante ou permanecem distintos. Isso introduz um parâmetro $|S_{asym}|$ na fórmula final de contagem, que nem sempre pode ser calculado explicitamente sem dados globais.
• Evidência Computacional: Usando dados do LMFDB, os autores demonstram que, para pesos pequenos, a desigualdade estrita $LO < N_{CM}$ pode ocorrer. Isso indica que invariantes locais que são distintos globalmente podem ser identificados pela ação de Galois de uma maneira que os corpos de coeficientes de formas de peso pequeno ainda não conseguem realizar.

Significado e Alegações
O artigo alega fornecer o primeiro limite inferior sistemático para o número de órbitas de Galois no cenário de nebentypus quadrático, preenchendo uma lacuna deixada por trabalhos anteriores sobre nebentypus trivial. Os autores afirmam que sua estrutura adapta com sucesso a estratégia de contagem "local-global" a um cenário onde o caractere central impõe restrições estritas e os sinais clássicos de Atkin-Lehner são substituídos por pseudo-valores próprios.

O artigo permanece modesto quanto à contagem assintótica exata. Embora conjecture (com base na filosofia de Maeda generalizada) que o limite inferior $LO(N)$ possa eventualmente igualar $N_{CM}(N, k, \Psi)$, a evidência computacional apresentada sugere que, para nebentypus quadrático, a desigualdade pode ser estrita mesmo para pesos grandes. Isso implica que certas equivalências locais (especificamente em relação ao sinal do pseudo-valor próprio) nem sempre são realizadas globalmente pela conjugação de Galois sobre os corpos de coeficientes das formas modulares, um fenômeno não presente no caso de nebentypus trivial. O trabalho prepara o terreno para compreender o comportamento assintótico de formas modulares com caracteres não triviais, embora a determinação explícita da contribuição da órbita assimétrica permaneça um desafio para níveis gerais.