Spectral Moment Formulae for $\hbox{GL}(3)\times \hbox{GL}(2)$ $\hbox{L}$-functions II: The Eisenstein Case

A continuación presento un resumen técnico detallado del artículo "Spectral Moment Formulae for GL(3)×GL(2) L-functions II: The Eisenstein Case" de Chung-Hang Kwan, traducido y estructurado en español.

1. Problema y Contexto

El artículo aborda el estudio de los momentos espectrales de funciones L de tipo automorfo, específicamente la relación de reciprocidad entre el momento cúbico de funciones L de GL(2) y el momento cuarto de funciones L de GL(1) (la función zeta de Riemann o funciones L de Dirichlet).

• Antecedentes: El momento cúbico de funciones L de GL(2) ha sido fundamental en teoría de números, culminando en cotas de subconvexidad de fuerza Weyl (trabajos de Conrey-Iwaniec, Petrow-Young). Motohashi descubrió en los años 90 una identidad espectral profunda que conecta el momento cuarto de la función zeta con el momento cúbico de formas modulares de GL(2).
• El Desafío: Aunque existen fórmulas de Motohashi, la comprensión conceptual de los términos principales (main terms) y sus simetrías subyacentes ha sido difícil. Los enfoques tradicionales (fórmulas de trazas relativas, sumas de Kloosterman, fórmulas de Petersson-Kuznetsov) a menudo ocultan la estructura geométrica y aritmética de estos términos, requiriendo cancelaciones ad hoc complejas.
• El Caso Específico: Este trabajo es la segunda parte de una serie que se centra en el caso donde la forma automorfa de GL(3) es una serie de Eisenstein (en lugar de una forma de cuspide, tratado en la Parte I). Esto introduce desafíos analíticos significativos debido a la divergencia de las integrales de periodo asociadas a las series de Eisenstein (no son de cuadrado integrable).

2. Metodología

El autor emplea un enfoque basado en integrales de periodo automorfo, alejándose de las técnicas clásicas de la teoría analítica de números (como la fórmula de Voronoi de GL(3) o el método de Kuznetsov).

• Marco de Reciprocidad de Periodos: Se basa en la igualdad de dos periodos distintos para la serie de Eisenstein de GL(3). La identidad central es una igualdad de "Fourier-Hecke":
  $$\int_{[U_2]} \left( \int_{[G_m]} \Phi(zn) d^\times z \right) \psi(n) dn = \int_{[G_m]} \left( \int_{[U_2]} \Phi(nz) \psi(n) dn \right) d^\times z$$
  Donde $\Phi$ es la serie de Eisenstein de GL(3) y $\psi$ es un carácter aditivo.
• Manejo de la Divergencia: A diferencia de enfoques anteriores (como el de Nelson), el autor explota la estructura del periodo de Rankin-Selberg $GL(3) \times GL(2)$. La desdoblamiento (unfolding) no depende de la automorfía completa de la forma de GL(3) en la región de convergencia absoluta, lo que permite tratar los casos cuspidales y de Eisenstein en paralelo.
• Técnicas Analíticas:
  • Uso de integrales de Mellin-Barnes y funciones hipergeométricas de Gauss.
  • Aplicación de la fórmula de Plancherel de Whittaker para extraer el espectro.
  • Uso de series de Poincaré para construir funciones de prueba admisibles y regularizar las integrales.
  • Identificación de los términos degenerados en la expansión de Fourier-Whittaker de la serie de Eisenstein para extraer los términos principales.

3. Contribuciones Clave

1. Identidad Exacta de Tipo Motohashi: Se establece una identidad espectral exacta que vincula el momento cúbico desplazado de funciones L de GL(2) con el momento cuarto desplazado de funciones L de GL(1) (función zeta), incluyendo explícitamente los términos de error y los términos principales.
2. Cuenta Automórfica Intrínseca de los Términos Principales: El trabajo ofrece una explicación conceptual y "intrínseca" de la fuente de los 8 términos principales del momento cúbico y los 6 términos del momento cuarto.
   • Se demuestra que estos términos surgen naturalmente de las simetrías del grupo de Weyl de GL(3) y de las contribuciones de los espectros continuo y degenerado en la expansión de Fourier.
   • Se evita la necesidad de combinaciones ad hoc o cancelaciones complicadas de términos.
3. Verificación de las Conjeturas CFKRS: Se demuestra que los términos obtenidos coinciden perfectamente con las predicciones de las conjeturas de Conrey-Farmer-Keating-Rubinstein-Snaith (CFKRS) para las simetrías ortogonales (GL(2)) y unitarias (GL(1)).
4. Nuevas Identidades de Mellin-Barnes: Se prueban tres nuevas identidades integrales que relacionan las transformadas integrales del lado espectral con las del lado dual, capturando las simetrías de "intercambio" (swap) de los parámetros espectrales.

4. Resultados Principales

El resultado central es el Teorema 1.3, que establece la siguiente fórmula de reciprocidad para un momento cúbico desplazado $M^{(3)}_{-\alpha}(s; H)$:

$$M^{(3)}_{-\alpha}(s;H) + R_{-\alpha}(s;H) + R_{\alpha}(1-s;H) = \sum_{i=0}^3 M^i_{-\alpha}(s;H) + \text{Integral Dual}$$

Donde:

• Lado Espectral (GL(2)): Incluye la suma sobre formas de Maass cuspides y la integral sobre el espectro continuo.
• Lado Dual (GL(1)): Una integral que involucra potencias de la función zeta $\zeta(s)$ y una transformada integral $(F_\alpha H)$.
• Términos Principales ($R$ y $M^i$):
  • $R_{\pm\alpha}$: Proviene de los polos residuales (términos degenerados).
  • $M^0, M^1, M^2, M^3$: Corresponden a los términos "0-swap", "1-swap", "2-swap" y "3-swap" predichos por CFKRS.
  • El autor demuestra que estos términos surgen de las contribuciones del espectro continuo y de las partes degeneradas de la expansión de Fourier de la serie de Eisenstein de GL(3).

Además, el Teorema 1.4 proporciona identidades explícitas para las transformadas integrales, mostrando cómo las simetrías del grupo de Weyl de GL(3) organizan los términos principales.

5. Significancia e Impacto

• Unificación Conceptual: El artículo logra unificar el tratamiento de los momentos cúbicos y cuartos bajo un mismo marco geométrico (periodos de GL(3)), revelando que la "reciprocidad" es una dualidad natural entre representaciones de GL(1) y GL(2) dentro del contexto de GL(3).
• Claridad Estructural: Proporciona una comprensión mucho más clara de la estructura combinatoria y simétrica de los términos principales, validando las conjeturas heurísticas de CFKRS desde una perspectiva puramente automórfica y rigurosa.
• Superación de Obstáculos Técnicos: Resuelve problemas de divergencia asociados con las series de Eisenstein en el contexto de reciprocidad espectral, ofreciendo un método que es más robusto y conceptualmente limpio que los enfoques previos basados en fórmulas de trazas.
• Aplicaciones Futuras: La metodología abre la puerta a estudiar momentos mixtos y otras familias de funciones L (como se menciona en la Sección 1.6 sobre momentos mixtos GL(2)×GL(1)), y sugiere que el enfoque de periodos puede aplicarse más allá del grupo modular completo.

En resumen, este trabajo representa un avance significativo en la teoría de reciprocidad espectral, transformando una identidad analítica compleja en una consecuencia natural de la teoría de representaciones automorfas y la geometría de los periodos.