Twisted periods of modular forms

Resumo Técnico: Períodos Torcidos de Formas Modulares

Enunciado do Problema
O artigo investiga a independência linear de "períodos torcidos" associados a formas de cuspídeas de peso $k$ e nível um, denotadas pelo espaço $S_k$. Embora a teoria clássica de Eichler-Shimura estabeleça que os períodos geram o espaço dual $S_k^*$, esses períodos satisfazem numerosas relações de dependência linear (relações de Eichler-Shimura), o que significa que não são linearmente independentes. Trabalhos anteriores de Fukuhara, Lei et al., e outros abordaram a independência linear de subconjuntos específicos de períodos ímpares ou pares. Este artigo estende essas investigações para períodos torcidos, definidos para um caractere de Dirichlet primitivo $\chi$ módulo $D$ e um inteiro $0 \le n \le k-2$ como:
$$r_{n,\chi}(f) := \int_0^{i\infty} f_\chi(z) z^n dz = \frac{n!}{(-2\pi i)^{n+1}} L(f, \chi, n+1),$$
onde $f_\chi$ é o torção (twist) da forma de cuspídea $f$. O problema central é determinar as condições sob as quais conjuntos de períodos torcidos são linearmente independentes. Especificamente, os autores abordam dois cenários:

1. Caractere Fixo, Índices Diferentes: Os períodos $\{r_{\ell_i-1, \chi}\}$ (ou $\{r_{\ell_i, \chi}\}$) são linearmente independentes para um $\chi$ fixo e índices distintos $\ell_i$?
2. Índice Fixo, Caracteres Diferentes: Os períodos \{r_{\ell-1, \chi_i\} (ou $\{r_{\ell, \chi_i}\}$) são linearmente independentes para um índice $\ell$ fixo e distintos caracteres primitivos $\chi_i$ módulo $D$?

Metodologia
Os autores empregam uma estratégia análoga a trabalhos recentes sobre períodos não torcidos, baseando-se no método de Rankin-Selberg e no estudo de funções núcleo (kernel functions). O fluxo lógico central é o seguinte:

1. Construção da Forma Núcleo: O período torcido $r_{n,\chi}(f)$ é realizado como um produto interno de Petersson $\langle f, K_{n,\chi} \rangle$. Em vez de analisar o núcleo $K_{n,\chi}$ diretamente (que possui coeficientes de Fourier transcendentais), os autores constroem formas de cuspídeas explícitas $F_{K,\ell,\chi}$ e $G_{K,\ell,\chi}$ em $S_K$ que estão relacionadas a esses períodos.

   • Para períodos ímpares (índices $\ell-1$), $F_{K,\ell,\chi}$ é derivada da projeção cuspidal do traço do produto de séries de Eisenstein: $\text{Tr}_1^D(G_{\ell,\chi} G_{K-\ell,\chi})$.
   • Para períodos pares (índices $\ell$), $G_{K,\ell,\chi}$ é derivada do colchete de Rankin-Cohen de séries de Eisenstein: $\text{Tr}_1^D([G_{\ell,\chi}, G_{K-2-\ell,\chi}]_1)$.

2. Equivalência de Independência: Usando fórmulas de convolução de Rankin-Selberg, os autores provam que a independência linear do conjunto de períodos torcidos é equivalente à independência linear do conjunto correspondente de formas de cuspídeas $\{F_{K,\ell_i,\chi}\}$ ou $\{G_{K,\ell,\chi_i}\}$.

3. Análise de Coeficientes de Fourier: Para provar a independência linear das formas de cuspídeas, os autores analisam seus coeficientes de Fourier. Eles derivam fórmulas explícitas para os coeficientes das séries de Eisenstein, produtos e colchetes de Rankin-Cohen sob o mapa de traço.

   • Eles estabelecem comportamentos assintóticos para esses coeficientes conforme o peso $K$ se torna suficientemente grande em relação aos índices e ao nível $D$.
   • Especificamente, eles mostram que os coeficientes de Fourier $q^{2j}$ normalizados desses períodos de cuspídeas comportam-se assintoticamente como $\sigma_{\ell-1,\chi}(2^j)$ (para $F$) e $2^j \sigma_{\ell-1,\chi}(2^j)$ (para $G$), com termos de erro que desaparecem quando $K \to \infty$.

4. Não-Singularidade de Matrizes: A independência linear das formas de cuspídeas é reduzida à não-singularidade de matrizes formadas por esses coeficientes de Fourier.

   • Para caracteres fixos e variando os índices, as matrizes relevantes são mostradas como perturbações de matrizes do tipo Vandermonde envolvendo potências de $\chi(2)$.
   • Para índices fixos e variando os caracteres, as matrizes envolvem potências de $\chi_i(2)$.
   • Ao limitar os termos de erro e comparar o determinante da matriz perturbada com o termo principal (usando propriedades do determinante de Vandermonde), os autores demonstram que essas matrizes são não-singulares quando $K$ é suficientemente grande.

Principais Contribuições e Resultados
O artigo estabelece quatro teoremas principais sobre a independência linear de períodos torcidos, assumindo que $D$ é um inteiro ímpar livre de quadrados e $K$ é suficientemente grande em relação a $n$ e $D$:

• Teoremas 1.1 & 1.2: Para um caractere primitivo $\chi$ fixo, quaisquer $n$ períodos torcidos com a mesma torção mas índices diferentes (seja de tipo ímpar ou par) são linearmente independentes.
• Teoremas 1.3 & 1.4: Para um índice fixo, quaisquer $n$ períodos torcidos com diferentes caracteres primitivos $\chi_i$ (satisfazendo $\chi_i(-1) = (-1)^\ell$ e valores distintos em um primo fixo, por exemplo, $\chi_i(2)$) são linearmente independentes.

Aplicações
Os autores demonstram duas aplicações de seu método:

1. Somas de Convolução: Eles derivam identidades explícitas avaliando somas de convolução de funções divisoras torcidas em termos de números de Bernoulli generalizados. Essas identidades surgem do fato de que, para certos pesos onde $\dim S_K = 0$, as formas de cuspídeas construídas devem desaparecer, forçando relações entre seus coeficientes de Fourier.
2. Não-anulação de Valores L: Assumindo a conjectura de Maeda (especificamente que os conjugados galois de uma forma própria de Hecke geram $S_K$), os autores mostram que os valores centrais torcidos $L(f, \chi, K/2)$ não são nulos para formas próprias de Hecke normalizadas quando $K \ge 10D + 2$. Isso se baseia em provar que a forma núcleo associada $F_{K, K/2, \chi}$ não é identicamente zero.

Significância e Alegações
O artigo afirma fornecer a primeira evidência sistemática para a independência linear de períodos torcidos, estendendo resultados anteriores sobre períodos não torcidos para o cenário torcido. Os autores declaram explicitamente que a questão de se os períodos torcidos geram todo o espaço $S_k^*$ e a existência de relações do tipo Eichler-Shimura para eles estão além do escopo deste trabalho, embora proponham conjecturas (Conjecturas 6.1–6.4) sugerindo que os períodos torcidos de fato geram $S_k^*$ sob certas condições. Os resultados são condicionais ao fato de o peso $K$ ser "suficientemente grande", e os autores fornecem verificação numérica para pesos pequenos ($K, D \le 40$) apoiando suas conjecturas. O trabalho conecta a aritmética de valores L, a estrutura de formas modulares e as propriedades de caracteres de Dirichlet através da lente da álgebra linear sobre coeficientes de Fourier.