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

Resumen Técnico: Fórmulas de Dimensión para Espacios de Formas Modulares de Pesos Racionales, la Clasificación de Caracteres de Cocientes de Eta y una Extensión del Teorema de Martin

Planteamiento del Problema
El artículo aborda la falta de atención sistemática y de herramientas computacionales explícitas para las formas modulares de pesos racionales, particularmente aquellas con sistemas de multiplicadores inducidos por cocientes de eta de exponentes fraccionarios. Si bien existen fórmulas de dimensión para pesos enteros y semienteros (que a menudo dependen de caracteres de Dirichlet o multiplicadores de series theta), las fórmulas explícitas para pesos racionales generales $k \in \mathbb{Q}$ con multiplicadores de cocientes de eta han sido escasas o incompletas. Además, la clasificación de los caracteres inducidos por cocientes de eta en la doble cobertura de $\Gamma_0(N)$ y la extensión de las propiedades multiplicativas (comportamiento de formas propias de Hecke) a estos entornos de peso racional siguen siendo desafíos abiertos.

Metodología
El autor emplea un enfoque basado en la teoría de divisores utilizando el teorema de Riemann-Roch clásico y la fórmula de Riemann-Hurwitz, siguiendo el método establecido por Petersson [Pet38]. El marco técnico central involucra:

1. Formalismo de la Cobertura D: El artículo utiliza la cobertura $D$ de $GL_2^+(\mathbb{R})$ para manejar la naturaleza multivaluada de las potencias fraccionarias en el factor automórfico $(c\tau+d)^k$. Esto permite que los sistemas de multiplicadores sean tratados como caracteres de grupo en la cobertura.
2. Construcción de Divisores: Se asocia un divisor con valores en $\mathbb{Q}$ a las formas modulares meromorfas de peso racional en la curva modular compacta $X_{\Gamma_0(N)}$. Se establece la fórmula de valencia para pesos racionales, relacionando el grado del divisor con el peso $k$ y el índice del grupo.
3. Evaluación Explícita: El principal logro técnico es la evaluación explícita de la fórmula teórica de divisores para los sistemas de multiplicadores de cocientes de eta. Esto implica calcular los órdenes de los cocientes de eta en los cúspides utilizando sumas de Dedekind y fórmulas de transformación.
4. Álgebra Lineal e Inversión: Para relacionar los exponentes de los cocientes de eta con sus órdenes en los cúspides, el artículo utiliza una transformación de matriz invertible (basada en el trabajo de Bhattacharya) para resolver los exponentes dados los órdenes, y viceversa.
5. Extensión del Operador de Hecke: Para la aplicación relativa a la multiplicatividad, el artículo extiende la teoría de operadores de doble coset de Wohlfahrt a pesos racionales y cocientes de eta con sistemas de multiplicadores arbitrarios, derivando fórmulas explícitas para la acción de estos operadores sobre los coeficientes de Fourier.

Contribuciones Clave y Resultados

1. Fórmulas de Dimensión Explícitas (Teorema Principal):
   El artículo proporciona una fórmula explícita para $\dim_{\mathbb{C}} M_k(\Gamma_0(N), \chi)$ donde $k \in \mathbb{Q}$ y $\chi$ es el sistema de multiplicadores inducido por un cociente de eta $f = \prod_{n|N} \eta(n\tau)^{r_n}$ con exponentes fraccionarios $r_n \in \mathbb{Q}$.

   • La fórmula es válida bajo condiciones específicas sobre el peso $k$ relativo al nivel $N$ y los órdenes en los cúspides (específicamente cuando $k > 2 - \dots$ o cuando la dimensión es suficientemente grande).
   • La fórmula generaliza resultados previos de Ibukiyama y otros, cubriendo casos donde el sistema de multiplicadores no es inducido por un carácter de Dirichlet o la serie theta.
   • Se generan y presentan en tablas listas completas de dimensiones para pesos $1/2, 1, 3/2$ y niveles pequeños.

2. Clasificación de Caracteres de Cocientes de Eta:
   El artículo clasifica completamente los caracteres lineales inducidos por cocientes de eta de exponentes enteros en la doble cobertura de $\Gamma_0(N)$.

   • Establece una biyección entre estos caracteres y vectores específicos de exponentes módulo un subgrupo $Z(N)$.
   • Se proporcionan conteos concretos para varios niveles; por ejemplo, existen exactamente 384 tales caracteres en la doble cobertura de $\Gamma_0(4)$ para cualquier peso fijo $k \in \frac{1}{2}\mathbb{Z}$.

3. Extensión del Teorema de Martin:
   El artículo extiende la clasificación de 1996 de Yves Martin sobre cocientes de eta holomorfos multiplicativos (pesos enteros, multiplicadores de carácter de Dirichlet) a un entorno más amplio.

   • Multiplicatividad Generalizada: La definición de multiplicatividad se extiende a cocientes de eta con sistemas de multiplicadores arbitrarios.
   • Cocientes de Eta Admisibles: El autor identifica cocientes de eta "admisibles" (aquellos que residen en espacios unidimensionales o satisfacen condiciones específicas de formas de cúspide) y demuestra que son formas propias para un conjunto generalizado de operadores de Hecke (la extensión de Wohlfahrt).
   • Tabla de Resultados: Se presenta una tabla que contiene 2,277 tales cocientes de eta admisibles (Tipo I) para los niveles $N \in \{1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 15, 17, 19, 21, 27\}$.
   • Identidades: El artículo deriva nuevas identidades que involucran los coeficientes de Fourier de estos 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 bajo condiciones específicas.

4. Aplicación a Productos Infinitos:
   Como aplicación directa de las fórmulas de dimensión, el artículo deriva expresiones en serie para los coeficientes de Fourier de la raíz $n$-ésima de ciertos productos $q$ infinitos. Al identificar espacios unidimensionales donde un cociente de eta es proporcional a una serie de Eisenstein, se obtienen fórmulas explícitas para los coeficientes.

Significancia y Reivindicaciones
El artículo afirma llenar un vacío en la teoría de las formas modulares al proporcionar las primeras fórmulas de dimensión totalmente explícitas para espacios de formas modulares de peso racional con multiplicadores de cocientes de eta. Sostiene que estas fórmulas no son meramente teóricas sino computacionalmente efectivas, como lo demuestra la generación de extensas tablas y programas en SageMath.

Respecto a la extensión del teorema de Martin, el artículo afirma ampliar significativamente el alcance de los cocientes de eta multiplicativos conocidos. Al relajar el requisito de los multiplicadores de carácter de Dirichlet e incorporar pesos racionales (vía la cobertura $D$), el autor identifica más de 2,000 nuevos ejemplos de formas propias de Hecke. El trabajo enfatiza que estos resultados dependen de la identificación de espacios unidimensionales, una técnica que permite la derivación de relaciones no triviales entre los coeficientes de Fourier sin requerir una teoría completa de Hecke para pesos racionales generales, la cual el autor señala que aún no está plenamente desarrollada.

El trabajo se presenta como un paso fundacional, proporcionando las herramientas necesarias (fórmulas de dimensión, clasificación de caracteres y acciones de operadores) para explorar más a fondo las formas modulares no congruentes y las propiedades aritméticas de los cocientes de eta con exponentes fraccionarios.