The $\rho$-Fourier transform

Resumen Técnico de "La Transformada de Fourier $\rho$"

Enunciado del Problema
El artículo aborda una conjetura de Braverman, Kazhdan y Ngˆo sobre la existencia de una transformada de Fourier $\rho$ y un espacio de Schwartz $\rho$ asociado para un grupo reductivo $G$ sobre un cuerpo local $F$. Sea $\rho: {}^L G \to \mathrm{GL}(V_\rho)$ una representación del grupo $L$ de $G$. La conjetura postula la existencia de un subespacio denso e invariante bajo $G(F) \times G(F)$, $S_\rho \subset L^2(G(F))$, equipado con un operador unitario $\mathcal{F}_\rho$ (la transformada de Fourier $\rho$) que satisface propiedades específicas de equivarianza y ecuaciones funcionales. Crucialmente, para representaciones temperadas $\pi$, la transformada debe satisfacer $\pi(\mathcal{F}_\rho(f)^\vee) = \gamma(1/2, \pi, \rho, \psi)\pi(f)$, donde $\gamma$ es el factor $\gamma$ local. Además, el espacio $S_\rho$ debe satisfacer condiciones analíticas respecto a integrales de zeta locales, incluyendo convergencia, continuación meromorfa y ecuaciones funcionales que involucran funciones $L$, así como restricciones geométricas como ser "casi de soporte compacto" en el caso no arquimediano.

Metodología
Los autores emplean un enfoque espectral, utilizando el teorema de Plancherel de Harish-Chandra como herramienta principal para la construcción. En lugar de construir la transformada mediante núcleos integrales directamente en el lado del grupo, definen la transformada de Fourier espectralmente sobre el espacio de secciones sobre el dual temperado.

1. Construcción Espectral: Los autores definen la transformada de Fourier $\rho$, $\mathcal{F}_\rho$, sobre el espacio de Harish-Chandra $C(G(F))$ declarando que su acción en el lado espectral (a través de la transformada de Harish-Chandra $H_P$) es la multiplicación por el factor $\gamma$, $\gamma_\rho(\pi)$. Específicamente, $\mathcal{F}_\rho = (\cdot)^\vee \circ H_P^{-1} \circ (\gamma_\rho \cdot) \circ H_P$.
2. Correspondencia de Langlands Local: La construcción se basa en una forma débil de la correspondencia de Langlands local (LLC) que satisface requisitos específicos (LLC1–LLC8). Estos incluyen compatibilidad con la LLC para toros y $\mathrm{GL}_n$, comportamiento bajo contragredientes, y propiedades analíticas específicas de los factores $\gamma$ y las funciones $L$. Los autores verifican que estas condiciones se cumplen en casos conocidos (por ejemplo, $G=\mathrm{GL}_n$) y las asumen en general.
3. Espacio de Schwartz Asintótico: Para manejar las restricciones analíticas en las integrales de zeta, los autores primero construyen un "espacio de Schwartz $\rho$ asintótico" $S^{\mathrm{as}}_\rho(G(F))$. Este espacio se define como la imagen inversa bajo $H_P$ de secciones $T$ tales que $L_\rho^{-1} T$ es una sección polinómica (no arquimediana) o holomorfa (archimediana), sujetas a cotas de crecimiento específicas que involucran las funciones $L$ asociadas a $\rho$.
4. Control Geométrico (No Arquimediano): En el caso no arquimediano, los autores refinan $S^{\mathrm{as}}_\rho(G(F))$ para obtener el espacio de Schwartz $\rho$ real $S_\rho(G(F)). Intersecan el espacio asintótico con el espacio de funciones suaves casi de soporte compacto$C^\infty_{\mathrm{ac}}(G(F))$. Utilizando el teorema de Paley-Wiener para $C^\infty_{\mathrm{ac}}(G(F))$ (debido a Bernstein y Heiermann) y el centro de Bernstein extendido, demuestran que esta intersección contiene un subespacio maximal estable bajo $\mathcal{F}_\rho$.
5. Cotas y Estimaciones: El artículo dedica un esfuerzo significativo a establecer cotas uniformes para los factores $\gamma$ y las funciones $L$ sobre el dual temperado, particularmente en el caso arquimediano, para asegurar la convergencia y continuidad de los operadores construidos.

Contribuciones y Resultados Clave

• Existencia de la Transformada: Los autores demuestran que el espacio de Harish-Chandra $C(G(F))$ admite una transformada de Fourier $\rho$ unitaria $\mathcal{F}_\rho$ que satisface la ecuación funcional $\pi(\mathcal{F}_\rho(f)^\vee) = \gamma(1/2, \pi, \rho, \psi)\pi(f)$ para todas las representaciones temperadas $\pi$. Esto confirma la Conjetura 1.1 de Braverman-Kazhdan-Ngˆo.
• Construcción del Espacio de Schwartz:
  • Caso Arquimediano: Construyen el espacio $S_\rho(G(F)) = S^{\mathrm{as}}_\rho(G(F))$, demostrando que satisface los requisitos analíticos (S1) y (S2) de la Conjetura 1.5.
  • Caso No Arquimediano: Construyen $S_\rho(G(F))$ como el subespacio maximal estable bajo $\mathcal{F}_\rho$ de $S^{\mathrm{as}}_\rho(G(F)) \cap C^\infty_{\mathrm{ac}}(G(F))). Demuestran que este espacio satisface todas las condiciones de la Conjetura 1.5, incluida la existencia de una función básica$b_\rho$ (Conjetura S3) y la propiedad de soporte casi compacto (Conjetura S4).
• Núcleo y Función Básica: El artículo construye explícitamente la distribución núcleo $J_\rho$ y la función básica $b_\rho$ (en el caso no ramificado), mostrando que $b_\rho$ es un punto fijo de la transformada de Fourier y que su integral de zeta recupera la función $L$ $L(s, \pi, \rho)$.
• Uniformidad: Se demuestra que los métodos proceden uniformemente a través de diferentes tipos de ramificación y para todos los lugares de un cuerpo de números, en contraste con trabajos anteriores que a menudo se restringían a casos específicos o enteros geométricos.

Significado y Afirmaciones
El artículo afirma probar una "gran parte" de las conjeturas de Braverman-Kazhdan-Ngˆo sobre espacios de Schwartz. El significado principal radica en proporcionar una construcción directa y espectral de la transformada de Fourier $\rho$, colocando así la teoría sobre "cimientos sólidos". Los autores enfatizan que su enfoque no depende de las técnicas de geometrización utilizadas en trabajos anteriores (por ejemplo, por Lafforgue o en el caso de característica igual), sino que aprovecha la fórmula de Plancherel de Harish-Chandra y la correspondencia de Langlands local.

Los autores son modestos respecto al caso arquimediano, señalando que, aunque construyen una aproximación (el espacio asintótico) que satisface las condiciones analíticas, la construcción de un espacio de Schwartz compuesto por funciones casi de soporte compacto en el entorno arquimediano sigue sin estar clara y requiere más trabajo. También señalan que sus resultados son condicionales a la validez de requisitos específicos para la correspondencia de Langlands local, los cuales se sabe que se cumplen para $\mathrm{GL}_n$ y otros grupos específicos.

El artículo concluye afirmando que los espacios construidos satisfacen las conjeturas locales respecto a integrales de zeta y ecuaciones funcionales, proporcionando una base para posibles aplicaciones globales, como la construcción de grupos de modulación, aunque el artículo en sí no desarrolla estas aplicaciones globales.