Twisted periods of modular forms

Resumen Técnico: Períodos Retorcidos de Formas Modulares

Planteamiento del Problema
El artículo investiga la independencia lineal de los "períodos retorcidos" asociados a formas de cuspide de peso $k$ y nivel uno, denotado por el espacio $S_k$. Mientras que la teoría clásica de Eichler-Shimura establece que los períodos generan el espacio dual $S_k^*$, estos períodos satisfacen numerosas relaciones de dependencia lineal (relaciones de Eichler-Shimura), lo que significa que no son linealmente independientes. Trabajos previos de Fukuhara, Lei et al., y otros, han abordado la independencia lineal de subconjuntos específicos de períodos impares o pares. Este artículo extiende estas investigaciones a los períodos retorcidos, definidos para un carácter de Dirichlet primitivo $\chi$ módulo $D$ y un entero $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),$$
donde $f_\chi$ es el retorcido (twist) de la forma de cúspide $f$. El problema central es determinar las condiciones bajo las cuales conjuntos de períodos retorcidos son linealmente independientes. Específicamente, los autores abordan dos escenarios:

1. Carácter Fijo, Índices Diferentes: ¿Son los períodos $\{r_{\ell_i-1, \chi}\}$ (o $\{r_{\ell_i, \chi}\}$) linealmente independientes para un $\chi$ fijo y distintos índices $\ell_i$?
2. Índice Fijo, Caracteres Diferentes: ¿Son los períodos $\{r_{\ell-1, \chi_i}\}$ (o $\{r_{\ell, \chi_i}\}$) linealmente independientes para un índice $\ell$ fijo y distintos caracteres primitivos $\chi_i$ módulo $D$?

Metodología
Los autores emplean una estrategia análoga a trabajos recientes sobre períodos no retorcidos, apoyándose en el método de Rankin-Selberg y el estudio de funciones núcleo (kernel functions). El flujo lógico central es el siguiente:

1. Construcción de la Forma Núcleo: El período retorcido $r_{n,\chi}(f)$ se realiza como un producto interno de Petersson $\langle f, K_{n,\chi} \rangle$. En lugar de analizar directamente el núcleo $K_{n,\chi}$ (que posee coeficientes de Fourier trascendentales), los autores construyen formas de cúspide explícitas $F_{K,\ell,\chi}$ y $G_{K,\ell,\chi}$ en $S_K$ que están relacionadas con estos períodos.

   • Para períodos impares (índices $\ell-1$), $F_{K,\ell,\chi}$ se deriva de la proyección cuspidal de la traza del producto de series de Eisenstein: $\text{Tr}_1^D(G_{\ell,\chi} G_{K-\ell,\chi})$.
   • Para períodos pares (índices $\ell$), $G_{K,\ell,\chi}$ se deriva del corchete de Rankin-Cohen de series de Eisenstein: $\text{Tr}_1^D([G_{\ell,\chi}, G_{K-2-\ell,\chi}]_1)$.

2. Equivalencia de Independencia: Utilizando fórmulas de convolución de Rankin-Selberg, los autores demuestran que la independencia lineal del conjunto de períodos retorcidos es equivalente a la independencia lineal del conjunto correspondiente de formas de cúspide $\{F_{K,\ell_i,\chi}\}$ o $\{G_{K,\ell,\chi_i}\}$.

3. Análisis de Coeficientes de Fourier: Para probar la independencia lineal de las formas de cúspide, los autores analizan sus coeficientes de Fourier. Derivan fórmulas explícitas para los coeficientes de los productos de series de Eisenstein y de los corchetes de Rankin-Cohen bajo el mapa de traza.

   • Establecen comportamientos asintóticos para estos coeficientes conforme el peso $K$ se vuelve suficientemente grande en relación con los índices y el nivel $D$.
   • Específicamente, muestran que los coeficientes de Fourier normalizados $q^{2j}$ de estas formas de cúspide se comportan asintóticamente como $\sigma_{\ell-1,\chi}(2^j)$ (para $F$) y $2^j \sigma_{\ell-1,\chi}(2^j)$ (para $G$), con términos de error que se anulan cuando $K \to \infty$.

4. No Singularidad de Matrices: La independencia lineal de las formas de cúspide se reduce a la no singularidad de las matrices formadas por estos coeficientes de Fourier.

   • Para caracteres fijos y variando los índices, las matrices relevantes resultan ser perturbaciones de matrices de tipo Vandermonde que involucran potencias de $\chi(2)$.
   • Para índices fijos y variando los caracteres, las matrices involucran potencias de $\chi_i(2)$.
   • Al acotar los términos de error y comparar el determinante de la matriz perturbada con el término principal (usando propiedades del determinante de Vandermonde), los autores demuestran que estas matrices son no singulares cuando $K$ es suficientemente grande.

Contribuciones Clave y Resultados
El artículo establece cuatro teoremas principales sobre la independencia lineal de períodos retorcidos, asumiendo que $D$ es un entero impar libre de cuadrados y que $K$ es suficientemente grande en relación con $n$ y $D$:

• Teoremas 1.1 y 1.2: Para un carácter primitivo fijo $\chi$, cualquier conjunto de $n$ períodos retorcidos con el mismo retorcido pero con diferentes índices (ya sean de tipo impar o par) son linealmente independientes.
• Teoremas 1.3 y 1.4: Para un índice fijo, cualquier conjunto de $n$ períodos retorcidos con diferentes caracteres primitivos $\chi_i$ (que cumplan $\chi_i(-1) = (-1)^\ell$ y tengan valores distintos en un primo fijo, por ejemplo, $\chi_i(2)$) son linealmente independientes.

Aplicaciones
Los autores demuestran dos aplicaciones de su método:

1. Sumas de Convolución: Derivan identidades explícitas que evalúan sumas de convolución de funciones divisorias retorcidas en términos de números de Bernoulli generalizados. Estas identidades surgen del hecho de que, para ciertos pesos donde $\dim S_K = 0$, las formas de cúspide construidas deben anularse, forzando relaciones entre sus coeficientes de Fourier.
2. No Anulación de Valores L: Asumiendo la conjetura de Maeda (específicamente que los conjugados de Galois de una forma propia de Hecke generan $S_K$), los autores muestran que los valores centrales de $L(f, \chi, K/2)$ no se anulan para formas propias de Hecke normalizadas cuando $K \ge 10D + 2$. Esto se basa en probar que la forma núcleo asociada $F_{K, K/2, \chi}$ no es idénticamente cero.

Significado y Reivindicaciones
El artículo afirma proporcionar la primera evidencia sistemática de la independencia lineal de los períodos retorcidos, extendiendo los resultados previos sobre períodos no retorcidos al entorno retorcido. Los autores declaran explícitamente que la cuestión de si los períodos retorcidos generan todo el espacio $S_k^*$ y la existencia de relaciones de tipo Eichler-Shimura para ellos están más allá del alcance de este trabajo, aunque proponen conjeturas (Conjeturas 6.1–6.4) que sugieren que los períodos retorcidos efectivamente generan $S_k^*$ bajo ciertas condiciones. Los resultados son condicionales a que el peso $K$ sea "suficientemente grande", y los autores proporcionan verificación numérica para pesos pequeños ($K, D \le 40$) que respalda sus conjeturas. El trabajo conecta la aritmética de los valores L, la estructura de las formas modulares y las propiedades de los caracteres de Dirichlet a través del prisma del álgebra lineal de los coeficientes de Fourier.