Fourier transform and endoscopic transfer on real Lie algebras

Resumen Técnico: Transformada de Fourier y Transferencia Endoscópica en Álgebras de Lie Reales

Planteamiento del Problema
El artículo aborda la relación entre la transformada de Fourier y la transferencia endoscópica en álgebras de Lie reales. Específicamente, busca establecer el análogo arquimedeano de un teorema fundamental de J.-L. Waldspurger ([Wal97]), que conecta la transferencia suave y la transformada de Fourier en álgebras de Lie reductivas. Mientras que el resultado original de Waldspurger para campos $p$-ádicos depende de métodos globales (la fórmula de la traza de la Lie algebra) y del Lema Fundamental, el caso complejo es conocido por ser local, el caso real requería una demostración utilizando métodos puramente locales. El problema central es demostrar que la transferencia endoscópica conmuta con la transformada de Fourier sobre $\mathbb{R}$ sin invocar fórmulas de traza globales.

Metodología
Los autores, Cheng Chen y Zhilin Luo, emplean un enfoque puramente local para demostrar la compatibilidad de la transformada de Fourier con la transferencia endoscópica. Su metodología procede en tres etapas principales:

1. Reducción al Caso Elíptico: Siguiendo la estrategia de Waldspurger ([Wal97, §6]), los autores reducen la identidad general al caso donde el dato endoscópico es elíptico y los elementos involucrados son semisimples regulares elípticos. Esta reducción se basa en la caracterización espectral de las integrales orbitales y las integrales orbitales estables para funciones de prueba y funciones de Schwartz, apoyándose en el trabajo de Shelstad ([She79a], [She79b]) y Bouaziz ([Bou94a], [Bou94b]).

2. Verificación Explícita en el Locus Elíptico: Para el caso elíptico, los autores utilizan un resultado de W. Rossmann ([Ros78]) referente a la fórmula explícita para la transformada de Fourier de integrales orbitales en subálgebras de Cartan elípticas. Computan los factores de transferencia ($\Delta$) y las distribuciones $D_{G,H}$ y $\tilde{D}_{G,H}$ de manera explícita. Al analizar la estructura de los factores de transferencia ($\Delta_I, \Delta_{II}, \Delta_{III}$) y el comportamiento de los grupos de Weyl y los sistemas de raíces bajo los isomorfismos relevantes, verifican la identidad directamente para elementos elípticos.

3. Unicidad vía el Teorema de Harish-Chandra: Para extender el resultado desde el locus elíptico a toda el álgebra de Lie, los autores invocan el teorema de unicidad de Harish-Chandra ([Var77, Teorema 13]). Demuestran que las distribuciones en cuestión, cuando son normalizadas por la raíz cuadrada del discriminante de Weyl, son:

   • Distribuciones templadas.
   • Invariantes bajo la acción de conjugación de $G(\mathbb{R})$.
   • $I(\mathfrak{g})$-finitas (autodistribuciones para el álgebra de operadores diferenciales invariantes).
   • De "tipo elíptico".
     Dado que tales distribuciones están unívocamente determinadas por sus valores en el locus elíptico, la identidad probada en el caso elíptico implica que la identidad se cumple globalmente.

Contribuciones Clave y Resultados
El artículo establece los siguientes resultados principales:

• Teorema 1.0.1 (Transferencia Suave): Reafirma la existencia de la transferencia suave tanto para funciones de prueba ($C^\infty_c$) como para funciones de Schwartz ($S$) en álgebras de Lie reales, siguiendo la caracterización espectral establecida por Bouaziz y Shelsted.
• Teorema 1.0.3 (Identidad de Waldspurger): Prueba la identidad $D_{G,H}(X_H, X_G) = \tilde{D}_{G,H}(X_H, X_G)$ para cualquier $X_H$ en el locus $G^*$-regular y $X_G$ en el locus regular. Aquí, $D_{G,H}$ representa la transformada de Fourier de la transferencia endoscópica, y $\tilde{D}_{G,H}$ representa la transferencia de la transformada de Fourier (ajustada por constantes de Weil).
• Corolario 1.0.4 (Compatibilidad): Como consecuencia directa, el artículo demuestra que la transformada de Fourier conmuta con la transferencia endoscópica. Específicamente, si $f_G$ y $f_H$ satisfacen la condición de transferencia suave, entonces sus transformadas de Fourier satisfacen una relación correspondiente que involucra las constantes de Weil $\gamma_\psi$.
• Proposición 1.0.5: Los autores deducen que la transformada de Fourier de una distribución estable en un álgebra de Lie real es, a su vez, estable.

Significado y Pretensiones
Los autores sostienen que su prueba es puramente local, contrastando con la prueba de Waldspurger para campos $p$-ádicos, la cual es de naturaleza global y depende del Lema Fundamental para el elemento unidad en casi todos los lugares locales. El artículo no pretende probar el Lema Fundamental en sí mismo; más bien, establece la compatibilidad de la transformada de Fourier y la transferencia endoscópica como un resultado independiente en el entorno arquimedeano.

La significancia de este trabajo radica en proporcionar una prueba local y autónoma para el caso real, análoga al resultado conocido para el caso complejo. Los autores señalan que este resultado es esperado por los expertos y sirve como un paso necesario para estudios posteriores sobre distribuciones estables soportadas en el cono nilpotente, siguiendo el trabajo de Waldspurger en el entorno $p$-ádico. También sugieren que, si bien la versión ponderada de este teorema existe para campos $p$-ádicos (vía Chaudouard y Laumon), establecer un análogo ponderado para el caso real utilizando métodos puramente locales sigue siendo una dirección abierta e interesante para investigaciones futuras.