Stability of the smooth Casselman-Jacquet functor

Resumen Técnico: Estabilidad del Functor de Casselman-Jacquet Suave

Planteamiento del Problema
El artículo aborda el desarrollo de una teoría exhaustiva para las filtraciones de Bernstein-Zelevinsky (BZ) para representaciones de Fréchet suaves de tasa de crecimiento moderado en grupos reductivos reales, específicamente grupos lineales generales $GL_n(\mathbb{R})$ y $GL_n(\mathbb{C})$. Si bien las filtraciones BZ están bien establecidas para grupos $p$-ádicos, su extensión al caso real enfrenta obstáculos topológicos significativos. El clásico functor de Casselman-Jacquet, definido originalmente para módulos de Harish-Chandra, se comporta de manera distinta en el contexto de las representaciones de Fréchet suaves debido a la falta de total desconexión en los grupos reales y la necesidad de manejar cierres topológicos. El desafío principal es establecer las propiedades de exactitud, suryectividad y estabilidad para estos funtores dentro de la categoría de representaciones de crecimiento moderado ($Rep^{\infty, F}(G)$), la cual es cuasi-abeliana pero no abeliana.

Metodología
Los autores emplean una combinación de análisis funcional y teoría de representaciones, distinguiendo su enfoque de trabajos previos sobre módulos de Harish-Chandra o estudios anteriores sobre módulos de Jacquet (p. ej., [AGS15a, AGS15b]). Los componentes metodológicos clave incluyen:

1. Refinamientos Topológicos: Los autores definen los funtores de Casselman-Jacquet con cierres topológicos explícitos para asegurar que los espacios cociente resultantes sean Hausdorff. Utilizan la topología cociente y productos tensoriales proyectivos de espacios de Fréchet para analizar la estructura de estos funtores.
2. Acciones de Álgebras de Schwartz: Una técnica central involucra la acción continua del álgebra de Schwartz $S(\mathfrak{n})$ (donde $\mathfrak{n}$ es la álgebra de Lie del radical unipotente) sobre representaciones de crecimiento moderado. Al aprovechar el teorema de Dixmier-Malliavin, los autores establecen la suryectividad del mapa de acción $S(\mathfrak{n}) \hat{\otimes} \pi \to \pi$.
3. Semi-normas y Estabilidad: El artículo construye familias específicas de semi-normas en los módulos de Casselman-Jacquet. Estas semi-normas se utilizan para probar propiedades de "estabilidad", específicamente que la intersección de subespacios $\bigcap_{k \geq 0} \mathfrak{n}^k \cdot \pi$ es estable bajo la acción de $\mathfrak{n}$ (es decir, $\mathfrak{n} \cdot CJ^\infty_{s,P}(\pi) = CJ^\infty_{s,P}(\pi)$).
4. Lema de Artin-Rees: Para la subcategoría de representaciones de Casselman-Wallach, los autores prueban un lema de Artin-Rees topológico. Este lema es crucial para establecer la exactitud de los funtores, asegurando que las intersecciones de submódulos se comporten de manera predecible con respecto a las potencias del ideal nilpotente.
5. Teorema de Imprimitividad: En el contexto de subgrupos mirabólicos, los autores aplican el teorema de imprimitividad (de [dCl91]) para analizar la estructura de las inducciones de Schwartz y los funtores $\Phi^+$ y $\Phi^-$.

Contribuciones Clave y Resultados

• Definición y Propiedades de los Funtores: Los autores definen dos funtores para un subgrupo parabólico $P$ con radical unipotente $N$ y álgebra de Lie $\mathfrak{n}$:

  • El funtor de submódulo: $CJ^\infty_{s,P}(\pi) = \bigcap_{k \geq 0} \mathfrak{n}^k \cdot \pi$.
  • El funtor de cociente: $CJ^\infty_P(\pi) = \varprojlim \pi / \mathfrak{n}^k \cdot \pi$.
    Demuestran que el mapa natural $\pi \to CJ^\infty_P(\pi)$ es suryectivo, produciendo una secuencia exacta corta $0 \to CJ^\infty_{s,P}(\pi) \to \pi \to CJ^\infty_P(\pi) \to 0$.

• Estabilidad y Epicidad: Un resultado importante es la estabilidad del funtor de submódulo: $\mathfrak{n} \cdot CJ^\infty_{s,P}(\pi) = CJ^\infty_{s,P}(\pi)$. Además, se demuestra que el funtor $CJ^\infty_{s,P}$ es "epi" (preserva la suryectividad en el sentido cuasi-abeliano), lo que significa que mapea epimorfismos a epimorfismos.

• Exactitud para Representaciones de Casselman-Wallach: Al restringirse a la categoría de representaciones de Casselman-Wallach (admisibles, de longitud finita, de crecimiento moderado), tanto $CJ^\infty_P$ como $CJ^\infty_{s,P}$ se prueban como funtores exactos. Esto se basa en el lema de Artin-Rees topológico y en el hecho de que las categorías involucradas se vuelven abelianas en este entorno restringido.

• Filtraciones de Bernstein-Zelevinsky Reales: Como aplicación primaria, el artículo construye una versión completa de la filtración de Bernstein-Zelevinsky para representaciones de Fréchet suaves de $GL_n$. Esto implica definir los funtores $\Phi^-$ (una variante del funtor de Jacquet) y $\Phi^+$ (una variante de la inducción parabólica) y probar que son adjuntos. Los autores establecen que cualquier representación $\pi$ admite una filtración $0 = \pi_n \subset \dots \subset \pi_0 = \pi$ donde los cocientes sucesivos están relacionados con las imágenes de estos funtores y son Hausdorff.

• Globalización: El artículo establece un resultado de globalización, mostrando que los módulos de Casselman-Jacquet para representaciones de Fréchet suaves son isomórficos a la globalización de Casselman-Wallach de los correspondientes módulos de Harish-Chandra.

Significancia y Pretensiones
El artículo pretende proporcionar la primera prueba matemática exhaustiva de la filtración de Bernstein-Zelevinsky para grupos lineales generales reales dentro del marco de las representaciones de crecimiento moderado. Los autores enfatizan que sus resultados complementan y extienden trabajos previos (como [AGS15a, AGS15b]) al abordar las dificultades topológicas inherentes a los grupos reales que están ausentes en el caso $p$-ádico.

La significancia radica en:

1. Cerrar la Brecha: Adaptar con éxito la maquinaria de la filtración BZ $p$-ádica al mundo real, superando las diferencias topológicas (desconexión total vs. conexidad).
2. Rigor Topológico: Proporcionar un tratamiento riguroso de la topología de los módulos de Jacquet, asegurando que sean Hausdorff y se comporten bien bajo las operaciones de la categoría.
3. Fundamento para Leyes de Ramificación: El trabajo se presenta como un paso fundacional hacia una prueba exhaustiva de las leyes de ramificación para grupos lineales generales reales, siguiendo el esquema establecido para los grupos $p$-ádicos. Los autores señalan que los resultados de estabilidad y exactitud son prerrequisitos para computar estructuras superiores en trabajos futuros.

El artículo se mantiene modesto respecto a las aplicaciones computacionales inmediatas, señalando que, si bien el marco teórico está establecido, la computación real de cocientes simples y estructuras superiores será facilitada por herramientas de grupos $p$-ádicos en trabajos venideros (p. ej., [CW26, CP25+]).