Dimension formulas for modular form spaces of rational weights, the classification of eta-quotient characters and an extension of Martin's theorem

Resumo Técnico: Fórmulas de Dimensão para Espaços de Formas Modulares de Pesos Racionais, a Classificação de Caracteres de Cocientes de Eta e uma Extensão do Teorema de Martin

Enunciado do Problema
O artigo aborda a falta de atenção sistemática e de ferramentas computacionais explícitas para formas modulares de pesos racionais, particularmente aquelas com sistemas de multiplicadores induzidos por cocientes de eta de expoentes fracionários. Embora existam fórmulas de dimensão para pesos inteiros e semipessoais (frequentemente baseadas em caracteres de Dirichlet ou multiplicadores de séries theta), fórmulas explícitas para pesos racionais gerais $k \in \mathbb{Q}$ com multiplicadores de cociente de eta têm sido escassas ou incompletas. Além disso, a classificação de caracteres induzidos por cocientes de eta no duplo revestimento de $\Gamma_0(N)$ e a extensão das propriedades multiplicativas (comportamento de autoforça de Hecke) para esses contextos de peso racional permanecem desafios em aberto.

Metodologia
O autor utiliza uma abordagem teórica de divisores baseada no teorema clássico de Riemann-Roch e na fórmula de Riemann-Hurwitz, seguindo o método estabelecido por Petersson [Pet38]. O arcabouço técnico central envolve:

1. Formalismo D-Cover: O artigo utiliza o $D$-revestimento de $GL_2^+(\mathbb{R})$ para lidar com a natureza multivalorada das potências fracionárias no fator automórfico $(c\tau+d)^k$. Isso permite que os sistemas de multiplicadores sejam tratados como caracteres de grupo no revestimento.
2. Construção de Divisores: Um divisor com valores em $\mathbb{Q}$ é associado a formas modulares meromorfas de peso racional na curva modular compacta $X_{\Gamma_0(N)}$. A fórmula de valência é estabelecida para pesos racionais, relacionando o grau do divisor ao peso $k$ e ao índice do grupo.
3. Avaliação Explícita: A principal conquista técnica é a avaliação explícita da fórmula de divisor teórica para sistemas de multiplicadores de cociente de eta. Isso envolve o cálculo das ordens de cocientes de eta nos cúspides usando somas de Dedekind e fórmulas de transformação.
4. Álgebra Linear e Inversão: Para relacionar os expoentes de cocientes de eta com suas ordens nos cúspides, o artigo utiliza uma transformação de matriz invertível (baseada no trabalho de Bhattacharya) para resolver para os expoentes dadas as ordens, e vice-versa.
5. Extensão do Operador de Hecke: Para a aplicação referente à multiplicatividade, o artigo estende a teoria de operadores de duplo cosseno de Wohlfahrt para pesos racionais e cocientes de eta com sistemas de multiplicadores arbitrários, derivando fórmulas explícitas para a ação desses operadores sobre os coeficientes de Fourier.

Principais Contribuições e Resultados

1. Fórmulas de Dimensão Explícitas (Teorema Principal):
   O artigo fornece uma fórmula explícita para $\dim_{\mathbb{C}} M_k(\Gamma_0(N), \chi)$ onde $k \in \mathbb{Q}$ e $\chi$ é o sistema de multiplicadores induzido por um cociente de eta $f = \prod_{n|N} \eta(n\tau)^{r_n}$ com expoentes fracionários $r_n \in \mathbb{Q}$.

   • A fórmula é válida sob condições específicas sobre o peso $k$ em relação ao nível $N$ e às ordens nos cúspides (especificamente quando $k > 2 - \dots$ ou quando a dimensão é suficientemente grande).
   • A fórmula generaliza resultados anteriores de Ibukiyama e outros, cobrindo casos onde o sistema de multiplicadores não é induzido por um caráter de Dirichlet ou pela série theta.
   • Listas completas de dimensões para pesos $1/2, 1, 3/2$ e níveis pequenos são geradas e apresentadas em tabelas.

2. Classificação de Caracteres de Cociente de Eta:
   O artigo classifica completamente os caracteres lineares induzidos por cocientes de eta de expoentes inteiros no duplo revestimento de $\Gamma_0(N)$.

   • Estabelece uma bijeção entre esses caracteres e vetores específicos de expoentes módulo um subgrupo $Z(N)$.
   • Contagens concretas são fornecidas para vários níveis; por exemplo, existem exatamente 384 tais caracteres no duplo revestimento de $\Gamma_0(4)$ para qualquer peso fixo $k \in \frac{1}{2}\mathbb{Z}$.

3. Extensão do Teorema de Martin:
   O artigo estende a classificação de 1996 de Yves Martin para cocientes de eta holomórficos multiplicativos (pesos inteiros, multiplicadores de caráter de Dirichlet) para um cenário mais amplo.

   • Multiplicatividade Generalizada: A definição de multiplicatividade é estendida para cocientes de eta com sistemas de multiplicadores arbitrários.
   • Cocientes de Eta Admissíveis: O autor identifica cocientes de eta "admissíveis" (aqueles que residem em espaços unidimensionais ou satisfazem condições específicas de formas de cúspide) e prova que são autoforças para um conjunto generalizado de operadores de Hecke (extensão de Wohlfahrt).
   • Tabela de Resultados: Uma tabela contendo 2.277 tais cocientes de eta admissíveis (Tipo I) é apresentada para níveis $N \in \{1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 15, 17, 19, 21, 27\}$.
   • Identidades: O artigo deriva novas identidades envolvendo coeficientes de Fourier desses cocientes de eta, mostrando que $c_f(n_1)c_f(n_2) = c_f(n_1 n_2)$ para $n_1, n_2$ coprimos sob condições específicas.

4. Aplicação a Produtos Infinitos:
   Como uma aplicação direta das fórmulas de dimensão, o artigo deriva expressões em série para os coeficientes de Fourier da enésima raiz de certos produtos $q$-infinitos. Ao identificar espaços unidimensionais onde um cociente de eta é proporcional a uma série de Eisenstein, fórmulas explícitas para os coeficientes são obtidas.

Significado e Alegações
O artigo alega preencher uma lacuna na teoria das formas modulares ao fornecer as primeiras fórmulas de dimensão totalmente explícitas para espaços de formas modulares de peso racional com multiplicadores de cociente de eta. Afirma que essas fórmulas não são meramente teóricas, mas computacionalmente eficazes, como demonstrado pela geração de extensas tabelas e programas em SageMath.

Em relação à extensão do teorema de Martin, o artigo afirma ampliar significativamente o escopo dos cocientes de eta multiplicativos conhecidos. Ao relaxar o requisito de multiplicadores de caráter de Dirichlet e incorporar pesos racionais (via $D$-revestimento), o autor identifica mais de 2.000 novos exemplos de autoforças de Hecke. O artigo enfatiza que esses resultados dependem da identificação de espaços unidimensionais, uma técnica que permite a derivação de relações não triviais entre coeficientes de Fourier sem exigir uma teoria de Hecke completa para pesos racionais gerais, a qual o autor nota ainda não estar totalmente desenvolvida.

O trabalho é apresentado como um passo fundamental, fornecendo as ferramentas necessárias (fórmulas de dimensão, classificação de caracteres e ações de operadores) para explorar mais a fundo as formas modulares de não-congruência e as propriedades aritméticas de cocientes de eta com expoentes fracionários.