Determination of Hilbert modular forms using squarefree coefficients

Resumo Técnico: Determinação de Formas Modulares de Hilbert Usando Coeficientes Livres de Quadrados

Enunciado do Problema
O artigo aborda o problema de determinar unicamente formas modulares de Hilbert de peso seminteiro sobre um corpo numérico totalmente real $F$ (de número de classe estreito 1) por um subconjunto de seus coeficientes de Fourier. Embora a coleção completa de coeficientes de Fourier determine unicamente uma forma modular, os autores investigam se um conjunto "mínimo" é suficiente. Especificamente, eles focam em coeficientes suportados em inteiros algébricos livres de quadrados. Esta investigação estende o trabalho anterior de Kohnen (restrito ao "espaço plus" sobre $\mathbb{Q}$) e de Luo-Ramakrishnan (relativo a formas de peso integral e valores $L$ centrais) para o cenário mais geral de formas modulares de Hilbert com pesos e níveis variados.

Metodologia
Os autores empregam uma combinação de técnicas de teoria analítica dos números, especificamente aproveitando a correspondência de Shimura, a fórmula de Waldspurger e a teoria de Rankin-Selberg.

1. Correspondência de Shimura e Equações Funcionais: A estratégia central envolve relacionar as formas de peso seminteiro $f$ e $g$ aos seus levantamentos de Shimura de peso inteiro, denotados por $\tilde{f}$ e $\tilde{g}$. Os autores estabelecem as equações funcionais para as séries de Dirichlet associadas a essas formas. Um passo crítico envolve a involução de Fricke e o operador $W(n)$, que permitem aos autores relacionar a função $L$ de uma forma à de seu twist.
2. Comparação de Séries de Dirichlet: Assumindo que os coeficientes de Fourier normalizados de $f$ e $g$ coincidem em todos os inteiros livres de quadrados (até uma constante $\kappa$), os autores constroem uma razão de suas funções $L$ completas, $C(s) = \Lambda(s, f) / \Lambda(s, g)$.
3. Continuação Analítica e Contradição: Ao analisar as equações funcionais das funções $L$ e as propriedades dos fatores Gamma envolvidos, os autores demonstram que $C(s)$ deve ser uma constante. Isso envolve uma prova por contradição em relação aos pesos e níveis das formas, utilizando a fórmula de duplicação de Legendre e o comportamento das funções $L$ em pontos específicos para excluir parâmetros desalinhados.
4. Unicidade via Twists: Uma vez estabelecida a igualdade das funções $L$, os autores utilizam um lema (Lema 2) referente ao desaparecimento de séries de Dirichlet torcidas (twisted). Este lema, derivado da ortogonalidade de caracteres e das propriedades de grupos de classes de raio, permite concluir que, se as funções $L$ dos twists são iguais, as próprias formas devem ser iguais.
5. Teoria de Rankin-Selberg: Para o resultado de não-desaparecimento, os autores utilizam a função $L$ de Rankin-Selberg $L(s, f \times f)$ e seu polo em $s=1$. Ao estimar a soma dos quadrados dos coeficientes e aplicar a cota de Ramanujan, eles derivam uma cota inferior para a magnitude dos coeficientes suportados em inteiros livres de quadrados.

Principais Contribuições e Resultados

• Teorema 3 (Resultado Principal de Determinação): Os autores provam que, se $f$ e $g$ são formas Hecke eigenformas de Hilbert de peso seminteiro e cuspidais de pesos e níveis variados, e seus coeficientes de Fourier normalizados satisfazem $\lambda_f(\tau) = \kappa \lambda_g(\tau)$ para todo $\tau$ livre de quadrados $\in \mathcal{O}_F$ (com $\kappa \neq 0$), então $f = \kappa g$. Isso generaliza o resultado de Kohnen ao remover a restrição ao "espaço plus" e permitir pesos e níveis variados, embora mantenha o requisito de que a igualdade ocorra para todo inteiro livre de quadrados, em vez de "quase todos".
• Teorema 4 (Resultado de Não-Desaparecimento): O artigo fornece uma "prova suave" de que, para uma Hecke eigenforma não nula $f$, o limite superior absoluto de seus coeficientes de Fourier suportados em inteiros livres de quadrados é não nulo. Especificamente, $\limsup_{T \to \infty, N(\tau)<T, \tau \text{ livre de quadrados}} |\lambda_f(\tau)| \gg_{f,F} 1$. Isso confirma que infinitamente muitos desses coeficientes não se anulam.
• Corolário 1 (Especialização do Espaço Plus): Os autores recuperam um resultado análogo ao Teorema 1 de Kohnen para o espaço plus de Kohnen sobre $F$, mostrando que a igualdade de coeficientes em discriminantes fundamentais implica que as formas são idênticas.

Significância e Alegações
O artigo afirma fornecer uma formulação rigorosa da expectativa filosófica de que os coeficientes livres de quadrados carregam toda a informação necessária para determinar unicamente uma forma modular de Hilbert de peso seminteiro. Os autores posicionam o Teorema 3 como um resultado intermediário entre o caso específico de Kohnen (peso/nível fixos, espaço plus) e o resultado de Luo-Ramakrishnan (peso integral, valores $L$ centrais).

Os autores são modestos quanto ao escopo de sua generalização. Eles declaram explicitamente que seus métodos atuais não parecem capazes de remover o requisito de que a igualdade dos coeficientes ocorra para todo inteiro livre de quadrados (em vez de "quase todos") ou de relaxar a igualdade dos coeficientes para uma igualdade de suas magnitudes. Além disso, embora o Teorema 4 estabeleça o não-desaparecimento, os autores observam que provar o resultado mais forte de que o limite superior é infinito (ou seja, $\limsup |\lambda_f(\tau)| = \infty$) permanece um problema em aberto, embora citem o trabalho recente de GKS24 como um passo nessa direção.

A suposição de que o número de classe estreito de $F$ é 1 é notada como uma conveniência e uma necessidade parcial para a estrutura atual da prova, embora os autores sugiram que partes do argumento poderiam ser adaptadas para corpos onde o discriminante é um ideal principal. O trabalho depende fortemente da robustez da correspondência de Shimura e das equações funcionais das funções $L$ associadas para preencher a lacuna entre os domínios de peso seminteiro e peso inteiro.