Explicit generators of the space of modular forms

Resumen Técnico: Generadores Explícitos del Espacio de Formas Modulares

Planteamiento del Problema
El artículo aborda dos problemas interconectados relativos al espacio de formas de cusp $S_\kappa$ de peso par $\kappa \ge 12$ y nivel uno, y su espacio dual $S^*_\kappa$.

1. Generadores para $S_\kappa$: Aunque se sabe que los espacios de formas modulares están generados por formas con coeficientes de Fourier racionales, la cuestión específica sigue siendo si el subespacio de formas de cusp $S_\kappa$ puede ser generado por corchetes de Rankin-Cohen de series de Eisenstein. Un trabajo previo de Xue [17] estableció esto para casos específicos del orden del corchete $n$ (por ejemplo, $n=0, 1, 2, 3$) y conjeturó que el conjunto de corchetes $\{[E_k, E_\ell]_n\}$ genera $S_\kappa$ para cualquier $n$, siempre que $\kappa$ sea suficientemente grande en relación con $n$.
2. Generadores para $S^*_\kappa$: El espacio dual $S^*_\kappa$ está generado por los periodos de las formas modulares. Si bien las relaciones de Eichler-Shimura implican que tanto los periodos pares $\{r_0, r_2, \dots, r_{\kappa-2}\}$ como los periodos impares $\{r_1, r_3, \dots, r_{\kappa-3}\}$ generan $S^*_\kappa$, estos conjuntos no son linealmente independientes (su tamaño es aproximadamente $6 \dim S_\kappa$). El problema consiste en identificar subconjuntos explícitos y más pequeños de periodos que formen un conjunto generador (o base) para $S^*_\kappa$.

Metodología
Los autores emplean una combinación de teoría analítica de números y álgebra lineal:

• Método de Rankin-Selberg: Para probar la propiedad de generación para $S_\kappa$, los autores utilizan el método de Rankin-Selberg para relacionar el producto interno de una forma de cusp con un corchete de Rankin-Cohen con los periodos de la forma de cusp. Específicamente, demuestran que si una forma de cusp $g$ es ortogonal al subespacio generado por los corchetes, su combinación lineal asociada de periodos debe ser nula.
• Relaciones de Eichler-Shimura: El núcleo de la prueba reside en las relaciones de dependencia lineal entre los periodos (ecuaciones (1t), (2t) y (3t) en el artículo). Los autores construyen una matriz $A$ que representa un subsistema de estas relaciones.
• Análisis de Matrices: Para probar que un subconjunto específico de periodos genera el espacio dual, los autores deben demostrar que el subconjunto complementario de periodos puede expresarse como combinaciones lineales del subconjunto elegido. Esto requiere probar que la matriz $A$ (formada por los coeficientes de los periodos "no seleccionados" en las relaciones) es no singular.
• Técnicas Combinatorias: La prueba de la no singularidad implica reducir la matriz $A$ utilizando una matriz de eliminación específica $P$. A diferencia de la eliminación gaussiana estándar que busca matrices triangulares superiores, los autores reducen $A$ a una matriz anti-triangular inferior. Utilizan propiedades de los números de Stirling de primera y segunda especie (Lema 3.1) e identidades combinatorias para demostrar que las entradas por encima de la anti-diagonal de $PA$ se anulan y que las entradas de la anti-diagonal son no nulas.

Contribuciones Clave y Resultados

1. Resolución de la Conjetura de Generación para $S_\kappa$ (Teorema 1.1):
   Los autores proporcionan una respuesta afirmativa a la conjetura en [17]. Demuestran que para cualquier entero $n \ge 1$, si $\kappa \ge 4n + 18$, el conjunto de corchetes de Rankin-Cohen $\{[E_k, E_\ell]_n\}$ con $k, \ell \ge 4$ pares y $k + \ell + 2n = \kappa$ genera el espacio vectorial $S_\kappa$.

   • Mecanismo: Definen una función $G_g$ basada en los periodos de una hipotética forma de cusp ortogonal. Al analizar el rango de índices para los periodos involucrados, muestran que $G_g$ satisface los criterios de anulación de la Proposición 2.2, lo que implica que $G_g = 0$ y, consecuentemente, $g=0$.

2. Subconjuntos Generadores Explícitos para $S^*_\kappa$ (Teorema 1.2):
   El artículo identifica subconjuntos explícitos de periodos que generan $S^*_\kappa$. Sea $\kappa = 12m + 2a$ con $0 \le a \le 5$. Los autores definen un conjunto de índices $I = \{i \in \mathbb{Z} : \lceil \frac{3m}{2} \rceil + 1 \le i \le 3m + \lfloor \frac{a}{2} \rfloor - 1\}$.

   • Demuestran que los periodos pares $\{r_{2i}\}_{i \in I}$ generan $S^*_\kappa$.
   • Del mismo modo, los periodos impares $\{r_{2i-1}\}_{i \in I}$ generan $S^*_\kappa$.
   • El tamaño de estos conjuntos generadores es aproximadamente $\lceil \frac{3}{2} \dim S_\kappa \rceil$, lo cual es distinto de la base encontrada por Fukuhara [4].

3. No Singularidad de la Matriz de Relación:
   Una contribución técnica significativa es la prueba de que la matriz $A$ derivada de las relaciones de Eichler-Shimura es no singular. Esto se logra construyendo una matriz de eliminación $P$ que transforma $A$ en una matriz anti-triangular inferior con entradas de la anti-diagonal no nulas. Este resultado valida la independencia lineal de los periodos específicos excluidos del conjunto generador, confirmando así la propiedad de generación del subconjunto seleccionado.

Significancia y Reivindicaciones
El artículo afirma resolver la conjetura sobre la generación de formas de cusp mediante corchetes de Rankin-Cohen de series de Eisenstein para pesos suficientemente grandes. Además, proporciona nuevos conjuntos generadores explícitos para el espacio dual de las formas de cusp, ofreciendo una comprensión más refinada de las dependencias lineales entre los periodos de lo que estaba disponible anteriormente.

Los autores señalan que sus resultados para nivel uno son algo misteriosos en comparación con niveles superiores (por ejemplo, $\Gamma_0(N)$), donde los periodos generalmente no forman una base debido a las restricciones de dimensión. El artículo concluye vinculando sus hallazgos con conjeturas más amplias (Conjeturas 4.2 y 4.3) relativas a la independencia lineal de conjuntos arbitrarios de periodos, sugiriendo que el Teorema 1.2 es un corolario de dichas conjeturas. El trabajo se basa en la suposición de que $\kappa$ es lo suficientemente grande ($\kappa \ge 4n + 18$) para asegurar que las desigualdades necesarias para los índices de los periodos se cumplan.