Theta correspondence and the Borisov-Gunnells relations

Resumen Técnico: Correspondencia Theta y las Relaciones de Borisov-Gunnells

Planteamiento del Problema
Este artículo investiga la correspondencia theta geométrica desde la primera homología de una curva modular $Y_1(N)$ hacia el espacio de formas modulares holomorfas de peso 2, $M_2(\Gamma_1(N))$. El objetivo principal es evaluar explícamente esta correspondencia sobre generadores específicos del grupo de homología —a saber, símbolos modulares, tapas modulares y ciclos hiperbólicos— para recuperar y explicar resultados conocidos respecto a los conjuntos de generación de las formas modulares. Específicamente, el autor busca esclarecer la relación entre el trabajo de Borisov y Gunnells, quienes describieron el espacio de nuevas formas de rango 0 y series de Eisenstein utilizando productos de series de Eisenstein de peso 1, y el trabajo de Li, quien describió espacios similares utilizando restricciones diagonales de series de Hilbert-Eisenstein. Un objetivo secundario es utilizar este marco geométrico para derivar relaciones lineales entre series de Eisenstein.

Metodología
La metodología se basa en la construcción de una forma diferencial cerrada $E(z, \tau)$ en la curva modular, con valores en formas modulares de peso 2. Esta construcción combina ideas de Bergeron-Charollois-Garcia y Kudla-Millson, utilizando el formalismo de Mathai-Quillen y la representación de Weil.

1. Configuración Geométrica: El autor considera la compactificación de Borel-Serre $Y_1(N)^{BS}$ de la curva modular. La homología $H_1(Y_1(N); \mathbb{C})$ se descompone, siguiendo a Stevens, en una suma directa del espacio de tapas modulares cerradas $C(C)$ y el espacio de símbolos modulares de grado 0 $MS_0(\mathbb{C})$.
2. Levantamiento Theta: El mapa $E: H_1(Y_1(N); \mathbb{C}) \to M_2(\Gamma_1(N))$ se define mediante la integración de la forma diferencial $E(z, \tau)$ sobre 1-ciclos. La forma se construye mediante la transferencia directa (pushforward) de una serie theta asociada a un coset de red $L_{1,0}$ en el espacio de matrices de $2 \times 2$.
3. Evaluación Explícita:
   • Tapas Modulares: La integral sobre una tapa modular cerrada $C_r$ en un cuspide $r$ se computa analizando el término constante de la forma en la frontera.
   • Símbolos Modulares: La integral sobre símbolos unimodulares se computa utilizando la sumatoria de Poisson y la restricción de la serie theta a geodésicas.
   • Ciclos Hiperbólicos: Utilizando el algoritmo de fracciones continuas de Stevens, los ciclos hiperbólicos $Z_\gamma$ se descomponen en combinaciones lineales de tapas modulares y símbolos unimodulares. La integral se evalúa término a término.
4. Análisis Espectral: La imagen del levantamiento theta se analiza mediante la descomposición espectral de la cohomología, relacionando el levantamiento con nuevas formas con valores $L$ no nulos en $s=1$ y series de Eisenstein.

Contribuciones Clave y Resultados

• Evaluación sobre Generadores de la Homología (Teorema 1.4):

  • La integral del levantamiento theta sobre una tapa modular cerrada $C_r$ (donde $r = \gamma \infty$) produce una serie de Eisenstein de peso 2 $H^{(2)}_{d, -c}(\tau)$.
  • La integral sobre un símbolo unimodular $M = \gamma\{0, \infty\}$ produce el producto de dos series de Eisenstein de peso 1, específicamente $-G^{(1)}_d(\tau)G^{(1)}_c(\tau)$.

• Conjuntos de Generación y el Resultado de Li (Teoremas 1.2, 1.3 y 3.15):

  • La imagen del levantamiento theta, $\text{Im}(E)$, contiene el subespacio generado por series de Eisenstein de peso 2 $H^{(2)}$ y el subespacio de nuevas formas de rango 0 ($S^{new}_{2, rk=0}$). Cuando $N$ es primo, esta inclusión es una igualdad.
  • Al evaluar el levantamiento sobre ciclos hiperbólicos $Z_\gamma$, el autor recupera el resultado de Li: el espacio $S^{new}_{2, rk=0}$ está generado por las restricciones diagonales de series de Hilbert-Eisenstein $E^{(1)}_{1, f_\gamma}(\tau, \tau)$.
  • El artículo establece que $\text{Im}(E)$ está contenido en el subespacio generado por series de Eisenstein de peso 2 y productos de series de Eisenstein de peso 1 ($H^{(1,1)}$), proporcionando así una explicación geométrica para el conjunto de generación descrito por Borisov y Gunnells.

• Relaciones entre Series de Eisenstein (Teorema 1.6 y 4.10):

  • Al considerar un triángulo hiperbólico $T$ en la compactificación de Borel-Serre cuya frontera consiste en tres símbolos unimodulares y tres tapas modulares, el autor aprovecha el hecho de que la frontera es homóloga a cero ($\partial T = 0$).
  • Esto produce la relación:
    $$G^{(1)}_a G^{(1)}_b + G^{(1)}_b G^{(1)}_c + G^{(1)}_c G^{(1)}_a = G^{(2)}_a + G^{(2)}_b + G^{(2)}_c$$
    para enteros $a, b, c$ que satisfacen $a+b+c \equiv 0 \pmod N$ y son no nulos módulo $N$. Esto proporciona una prueba geométrica de las relaciones previamente establecidas por Borisov y Gunnells.

Significancia
El artículo afirma su significancia al proporcionar un marco geométrico unificado que conecta dos descripciones distintas de los espacios de formas modulares:

1. Explica las relaciones de Borisov-Gunnells (productos de series de Eisenstein de peso 1) y los resultados de Li (restricciones diagonales de series de Hilbert-Eisenstein) como consecuencias naturales de la evaluación de un único levantamiento theta geométrico sobre diferentes generadores de la homología.
2. Ofrece una prueba geométrica de relaciones lineales específicas entre series de Eisenstein de pesos 1 y 2, derivadas directamente de la topología de la curva modular y las propiedades del levantamiento theta, en lugar de manipulaciones puramente analíticas.
3. Clarifica el papel de la compactificación de Borel-Serre y las tapas modulares en la teoría de los símbolos modulares, demostrando cómo los términos de frontera (tapas) corresponden a series de Eisenstein mientras que los términos interiores (símbolos) corresponden a productos de series de menor peso.

El autor señala que, si bien los resultados respecto a los conjuntos de generación son similares a la literatura existente (específicamente [BG01] y [Li17]), la contribución reside en la derivación vía la correspondencia theta y la interpretación geométrica explícita de los coeficientes de Fourier e integrales.