Eisenstein classes and generating series of modular symbols in $\mathrm{SL}_N$

Resumen Técnico: Clases de Eisenstein y Series Generatrices de Símbolos Modulares en $SL_N$

1. Planteamiento del Problema
El artículo aborda la construcción de un levantamiento theta geométrico para el espacio simétrico asociado a $SL_N(\mathbb{R})$, de forma análoga al bien establecido levantamiento de Kudla-Millson para grupos ortogonales. El problema central es relacionar la homología del espacio localmente simétrico $S_\Gamma = \Gamma \backslash SL_N(\mathbb{R})/SO(N)$ con el espacio de formas modulares de peso $N$. Específicamente, el autor busca definir un levantamiento cuyos coeficientes de Fourier correspondan a los duales de Poincaré de "ciclos especiales" (símbolos modulares) asociados a subgrupos parabólicos máximos, y caracterizar el término constante de este levantamiento como una clase de Eisenstein canónica.

2. Metodología
La construcción se basa en el formalismo de Mathai-Quillen para producir formas diferenciales que representan clases de Thom y sus transgresiones.

• Configuración Geométrica: El autor considera el espacio simétrico $X \cong GL_N(\mathbb{R})^+/SO(N)$ y su subespacio $S \cong SL_N(\mathbb{R})/SO(N)$. Un espacio vectorial $V = \mathbb{Q}^N \oplus \mathbb{Q}^N$ está equipado con una forma cuadrática $Q$ de firma $(N, N)$. El grupo $GL_N(\mathbb{Q})$ actúa sobre $V$ mediante una representación $\rho$, embebiendo $X$ en un espacio simétrico ortogonal $D$.
• Ciclos Especiales: Para vectores $v \in V$ con $Q(v) > 0$, el autor define subvariedades $S_v \subset S$ de codimensión $N-1$. Estas son imágenes de embebimientos de espacios simétricos más pequeños $GL_{N-1}(\mathbb{R})^+/SO(N-1)$. Las clases de homología $Z[v]$ se definen como las proyecciones de estas subvariedades al cociente $S_\Gamma$. Se forman combinaciones lineales $Z_n(\chi)$ utilizando funciones de prueba $\chi$ sobre el grupo de discriminante de una red.
• Construcción del Núcleo Theta:
  • Utilizando el formalismo de Mathai-Quillen, se construye una forma cerrada, $GL_N(\mathbb{R})^+$-invariante $\phi \in \Omega^N(X) \otimes S(V_\mathbb{R})$. Esta forma es la aplicación de retroceso de la forma de Kudla-Millson vía el embebimiento $X \hookrightarrow D$.
  • Se define una serie theta $\Theta_{\phi, \chi}(z, \tau)$ sumando $\phi$ sobre la red, torcida por la representación de Weil.
  • La forma $\phi$ se descompone respecto a la fibración $X \cong S \times \mathbb{R}_{>0}$. El componente a lo largo de la fibra $\mathbb{R}_{>0}$ se integra para producir una forma $E_{\phi, \chi}(z_1, \tau)$ en $S_\Gamma$. Esta integración corresponde a una transgresión de la clase de Euler.
• Expansión de Fourier: Los coeficientes de Fourier de la serie resultante se computan mediante la suma de Poisson y fórmulas explícitas para las transformadas de Fourier parciales de las formas de Mathai-Quillen.

3. Contribuciones Clave y Resultados

• El Levantamiento de la Clase de Eisenstein (Teorema 1.1): El artículo define un levantamiento $E_{\phi, \chi}: H^{N-1}(S_\Gamma; \mathbb{Z}) \to M_N(\Gamma')$ (donde $M_N$ denota formas modulares de peso $N$). El levantamiento viene dado por la integral del núcleo theta sobre un ciclo de homología.

  • Se demuestra que la expansión de Fourier es:
    $$\int_Z E_{\phi, \chi}(z_1, \tau) = \int_Z z(\chi) + (-1)^{\frac{N(N-1)}{2}} \sum_{n=1}^\infty (Z, Z_n(\chi)) q^n$$
  • Aquí, $(Z, Z_n(\chi))$ es el emparejamiento de intersección entre el ciclo $Z$ y el ciclo especial $Z_n(\chi)$.
  • El término constante $z(\chi)$ se identifica como una clase de Eisenstein canónica obtenida al transgredir la clase de Euler de un fibrado de toros, coincidiendo con las construcciones de Bergeron-Charollois-Garcia.

• Caracterización del Núcleo e Imagen (Teorema 1.2): El artículo establece que el núcleo del levantamiento consiste en clases de homología ortogonales al subespacio generado por los ciclos especiales $Z_n(\chi)$. Inversamente, la imagen del levantamiento adjunto (desde formas cúspides hacia la homología) está contenida dentro del subespacio generado por estos ciclos especiales.

• Evaluación en Símbolos Modulares (Teoremas 1.3 y 1.4):

  • El levantamiento se evalúa en símbolos modulares $Z_Q$ asociados a toros divisibles (generalizando los símbolos modulares clásicos). El resultado se expresa como un producto de series de Eisenstein de peso uno y una transformada de Fourier discreta de la función de prueba.
  • Cuando se evalúa en ciclos asociados a cuerpos totalmente reales (toros compactos), el levantamiento produce la restricción diagonal de una serie de Hilbert-Eisenstein.

• El Caso $N=2$ (Sección 5):

  • Para la curva modular $Y_0(p)$, los ciclos especiales $Z_n(\chi)$ se identifican como los traslados de Hecke $T_n\{0, \infty\}$ del símbolo modular estándar.
  • Se muestra que el levantamiento es sobreyectivo sobre el subespacio de formas modulares de peso 2 generado por la serie de Eisenstein y las nuevas formas con la función $L$ no nula en $s=1$.
  • Esto recupera y refina los resultados de Darmon-Pozzi-Vonk respecto a la restricción diagonal de las series de Hilbert-Eisenstein como series generatrices de números de intersección.

4. Significación y Reivindicaciones
El artículo afirma extender la correspondencia theta de Kudla-Millson del entorno ortogonal al entorno de $SL_N$. Su principal significación radica en:

1. Unificación: Proveer un marco unificado donde los coeficientes de Fourier de un levantamiento theta se identifican explícitamente con los duales de Poincaré de los símbolos modulares asociados a subgrupos parabólicos máximos.
2. Clases Canónicas: Construir el término constante del levantamiento como una clase de cohomología específica (la clase de Eisenstein) derivada de la clase de Euler, vinculando la geometría diferencial (Mathai-Quillen) con la geometría aritmética.
3. Sobreyectividad en Rango 2: Demostrar que para $N=2$, el levantamiento captura todo el espacio de formas modulares generado por series de Eisenstein y ciertas formas propias, caracterizando así el subespacio generado por los símbolos modulares en la homología de la curva modular.

El autor señala que, si bien las formas diferenciales construidas difieren de las de Bergeron-Charollois-Garcia, los periodos sobre ciclos asociados a cuerpos totalmente reales concuerdan, lo que sugiere fuertemente que los levantamientos son equivalentes. El trabajo sirve como una generalización de los resultados previos sobre ciclos especiales y símbolos modulares a grupos de rango superior.