Tempered vs generic automorphic functions and the canonical filtration on automorphic functions

Aquí presento un resumen técnico detallado del artículo "Tempered vs Generic Automorphic Functions and the Canonical Filtration on Automorphic Functions" de Dennis Gaitsgory, Vincent Lafforgue y Sam Raskin.

1. El Problema y el Contexto

El artículo se sitúa en el corazón de la Conjetura de Langlands Geométrica para campos de funciones (caso no ramificado). El objetivo central es entender la estructura fina del espacio de funciones automorfas, específicamente cómo se relacionan las propiedades espectrales (definidas por los operadores de Hecke y el álgebra de excursión) con la estructura cohomológica y la "temperatura" (temperedness) de estas funciones.

Los autores abordan la siguiente cuestión fundamental:

• La conjetura de Langlands geométrica establece una equivalencia de categorías entre haces constructibles en el stack de Bundles principales ($Bun_G$) y haces ind-coherentes en el stack de sistemas locales ($LS_{\check{G}}$).
• Al tomar trazas (traces) de Frobenius, esta equivalencia induce un isomorfismo entre el espacio de funciones automorfas ($Funct_c(Bun_G(F_q), \mathbb{Q}_\ell)$) y un espacio de secciones globales en el lado espectral.
• El problema: ¿Cómo se traduce la filtración natural en el lado espectral (inducida por el soporte singular coherente o "coherent singular support") al lado automorfo? Específicamente, los autores buscan caracterizar el subespacio de funciones temperadas (tempered) y relacionarlo con la acción del álgebra de excursión y las conjeturas de Ramanujan-Arthur.

2. Metodología

Los autores emplean una combinación sofisticada de geometría algebraica derivada, teoría de categorías de alta dimensión y análisis espectral:

1. Geometría Derivada y Categorías Ind-Coherentes: Utilizan el marco de la geometría algebraica derivada (sobre $\mathbb{Q}_\ell$) y la categoría de haces ind-coherentes ($IndCoh$). Esto permite manejar stacks que no son clásicos y trabajar con soportes singulares.
2. Traces Categóricas: Utilizan la teoría de trazas categóricas para objetos con estructura de Frobenius. El isomorfismo central se obtiene calculando la traza del endomorfismo de Frobenius en ambas caras de la equivalencia de Langlands.
3. Filtración por Soporte Singular: En el lado espectral, definen una filtración basada en subconjuntos cerrados $Ad$-invariantes del cono nilpotente de $\check{\mathfrak{g}}$. Para cada subconjunto $Y$, definen una subcategoría $IndCoh_Y(LS_{\check{G}}^{restr})$.
4. Proyectores de Beilinson: Para conectar el lado automorfo con el espectral, utilizan proyectores de Beilinson (y sus versiones para substacks algebraicos $Z_a$) para "forzar" que ciertos haces de funciones (como la función de Poincaré) pertenezcan a la subcategoría nilpotente necesaria para aplicar la equivalencia de Langlands.
5. Análisis Espectral y Álgebra de Excursión: Analizan la acción del álgebra de excursión ($Exc(X, \check{G})$) sobre las funciones automorfas, relacionando los valores propios de los operadores de Hecke con la geometría del espacio de módulos de sistemas locales.

3. Contribuciones Clave y Resultados Principales

A. El Isomorfismo de Langlands Clásico y la Filtración

Los autores formalizan el isomorfismo (0.5) entre las funciones automorfas y las secciones globales en el lado espectral:
$$Funct_c(Bun_G(F_q), \mathbb{Q}_\ell) \xrightarrow{L_G} \Gamma^{IndCoh}(LS_{\check{G}}^{arithm}, \omega_{LS_{\check{G}}^{arithm}})$$
Definen una filtración canónica en el espacio de funciones automorfas, indexada por los órbitas nilpotentes de $\check{\mathfrak{g}}$, transfiriendo la filtración por soporte singular del lado espectral.

B. Caracterización de las Funciones Temperadas (Teorema 1.3.10)

Este es el resultado técnico central del artículo.

• Definición: El término de la filtración correspondiente a la órbita cero ($Y=\{0\}$) se denomina espacio de funciones temperadas ($Funct_c(Bun_G(F_q), \mathbb{Q}_\ell)_{temp}$).
• Resultado: Demuestran que este subespacio coincide exactamente con el subespacio no degenerado ($Funct_c(Bun_G(F_q), \mathbb{Q}_\ell)_{non-degen}$), generado por la función de Poincaré de vacío ($poincVac^!$) bajo la acción del álgebra de excursión.
• Mecanismo: La prueba implica demostrar que la imagen de la función de Poincaré de vacío bajo el isomorfismo de Langlands corresponde a la unidad $1$ en el anillo de funciones regulares del lado espectral. Esto requiere un manejo técnico cuidadoso para "proyectar" la función de Poincaré hacia la categoría nilpotente usando proyectores de Beilinson sobre substacks finitos.

C. Conjeturas de Racionalidad

Proponen una serie de conjeturas sobre la estructura racional de estas filtraciones:

• Conjetura 2.7.3: La filtración por órbitas nilpotentes está definida sobre $\mathbb{Q}$ (no solo sobre $\mathbb{Q}_\ell$).
• Conjetura 2.7.10: La acción del álgebra de excursión es compatible con las estructuras racionales.
• Consecuencia: Si estas conjeturas son ciertas, el subespacio de funciones temperadas y no degeneradas tiene una estructura racional natural.

D. Relación con las Conjeturas de Ramanujan-Arthur

Los autores establecen un sistema de implicaciones lógicas que conecta su filtración cohomológica con las conjeturas espectrales clásicas:

• Conjetura 3.4.6 (Versión $\ell$-ádica de Ramanujan-Arthur): El espacio de funciones cuspidales se descompone como una suma directa indexada por órbitas nilpotentes, donde cada sumando corresponde a valores propios de Hecke que son "números de Weil" (o "mock Weil") de peso 0, corregidos por la órbita nilpotente.
• Conjetura 3.6.5 (Parámetros de Arthur): El soporte de las funciones discretas en el espacio espectral grueso ($LS_{\check{G}}^{coarse}$) consiste en parámetros de Arthur elípticos.
• Jerarquía: Muestran que la Conjetura 3.6.5 (sobre el soporte de los parámetros) implica la Conjetura de Ramanujan-Arthur. Argumentan que 3.6.5 es "alcanzable" (está en progreso en un trabajo futuro [GaLaRa]).

4. Significado e Impacto

1. Puente entre Geometría y Análisis: El artículo proporciona un marco riguroso para entender cómo la estructura geométrica (soporte singular en el lado espectral) dicta las propiedades analíticas de las funciones automorfas (temperedness vs. genericidad).
2. Definición Intrínseca de "Tempered": Ofrecen una definición puramente algebraica y geométrica del subespacio de funciones temperadas, identificándolo con el subespacio generado por la función de Poincaré de vacío. Esto es crucial porque la noción de "tempered" suele definirse analíticamente (comportamiento asintótico), mientras que aquí se define algebraicamente.
3. Avance hacia la Conjetura de Arthur: Al vincular la filtración de Langlands con la descomposición de Arthur, el trabajo sugiere que la clasificación de las representaciones automorfas discretas puede entenderse completamente a través de la geometría de los parámetros de Arthur y el soporte singular.
4. Fundamentos para Futuras Demostraciones: La demostración del Teorema 1.3.10 y la construcción de la filtración sientan las bases para la demostración futura de la Conjetura de Ramanujan-Arthur en el caso de campos de funciones, un problema abierto de larga data.

En resumen, este trabajo es un paso fundamental en la formalización de la correspondencia de Langlands más allá de la equivalencia de categorías, profundizando en la estructura fina de los espacios de funciones y proponiendo un mapa completo de cómo las propiedades espectrales (Ramanujan/Arthur) emergen de la geometría algebraica subyacente.