Stability of the smooth Casselman-Jacquet functor

Resumo Técnico: Estabilidade do Functor de Casselman-Jacquet Suave

Enunciado do Problema
O artigo aborda o desenvolvimento de uma teoria abrangente para as filtrações de Bernstein-Zelevinsky (BZ) para representações de Fréchet suaves de taxa de crescimento moderado em grupos redutivos reais, especificamente os grupos lineares gerais $GL_n(\mathbb{R})$ e $GL_n(\mathbb{C})$. Embora as filtrações BZ sejam bem estabelecidas para grupos $p$-ádicos, sua extensão para o caso real enfrenta obstáculos topológicos significativos. O clássico functor de Casselman-Jacquet, originalmente definido para módulos de Harish-Chandra, comporta-se de maneira diferente no contexto de representações de Fréchet suaves devido à falta de desconexão total dos grupos reais e à necessidade de lidar com fechamentos topológicos. O desafio principal é estabelecer propriedades de exatidão, sobrejetividade e estabilidade para esses funtores dentro da categoria de representações de crescimento moderado ($Rep^{\infty, F}(G)$), que é quase-abeliana, mas não abeliana.

Metodologia
Os autores empregam uma combinação de análise funcional e teoria de representações, distinguindo sua abordagem de trabalhos anteriores sobre módulos de Harish-Chandra ou estudos anteriores sobre módulos de Jacquet (por exemplo, [AGS15a, AGS15b]). Os componentes metodológicos principais incluem:

1. Refinamentos Topológicos: Os autores definem os funtores de Casselman-Jacquet com fechamentos topológicos explícitos para garantir que os espaços quocientes resultantes sejam Hausdorff. Eles utilizam a topologia quociente e produtos tensoriais projetivos de espaços de Fréchet para analisar a estrutura desses funtores.
2. Ações da Álgebra de Schwartz: Uma técnica central envolve a ação contínua da álgebra de Schwartz $S(\mathfrak{n})$ (onde $\mathfrak{n}$ é a álgebra de Lie do radical unipotente) sobre representações de crescimento moderado. Ao alavancar o teorema de Dixmier-Malliavin, os autores estabelecem a sobrejetividade do mapa de ação $S(\mathfrak{n}) \hat{\otimes} \pi \to \pi$.
3. Seminormas e Estabilidade: O artigo constrói famílias específicas de seminormas nos módulos de Casselman-Jacquet. Essas seminormas são utilizadas para provar propriedades de "estabilidade", especificamente que a interseção de subespaços $\bigcap_{k \geq 0} \mathfrak{n}^k \cdot \pi$ é estável sob a ação de $\mathfrak{n}$ (ou seja, $\mathfrak{n} \cdot CJ^\infty_{s,P}(\pi) = CJ^\infty_{s,P}(\pi)$).
4. Lema de Artin-Rees: Para a subcategoria de representações de Casselman-Wallach, os autores provam um lema de Artin-Rees topológico. Este lema é crucial para estabelecer a exatidão dos funtores, garantindo que as interseções de submódulos se comportem de forma previsível em relação às potências do ideal nilpotente.
5. Teorema da Imprimitividade: No contexto de subgrupos mirabólicos, os autores aplicam o teorema da imprimitividade (de [dCl91]) para analisar a estrutura de induções de Schwartz e os funtores $\Phi^+$ e $\Phi^-$.

Principais Contribuições e Resultados

• Definição e Propriedades dos Funtores: Os autores definem dois funtores para um subgrupo parabólico $P$ com radical unipotente $N$ e álgebra de Lie $\mathfrak{n}$:

  • O funtor de submódulo: $CJ^\infty_{s,P}(\pi) = \bigcap_{k \geq 0} \mathfrak{n}^k \cdot \pi$.
  • O funtor de quociente: $CJ^\infty_P(\pi) = \varprojlim \pi / \mathfrak{n}^k \cdot \pi$.
    Eles provam que o mapa natural $\pi \to CJ^\infty_P(\pi)$ é sobrejetivo, resultando em uma sequência exata curta $0 \to CJ^\infty_{s,P}(\pi) \to \pi \to CJ^\infty_P(\pi) \to 0$.

• Estabilidade e Epicidade: Um resultado importante é a estabilidade do funtor de submódulo: $\mathfrak{n} \cdot CJ^\infty_{s,P}(\pi) = CJ^\infty_{s,P}(\pi)$. Além disso, o funtor $CJ^\infty_{s,P}$ é mostrado como sendo "epi" (preservando a sobrejetividade no sentido quase-abeliano), o que significa que ele mapeia epimorfismos em epimorfismos.

• Exatidão para Representações de Casselman-Wallach: Quando restrito à categoria de representações de Casselman-Wallach (admissíveis, de comprimento finito, de crescimento moderado), tanto $CJ^\infty_P$ quanto $CJ^\infty_{s,P}$ são provados como funtores exatos. Isso depende do lema de Artin-Rees topológico e do fato de que as categorias envolvidas tornam-se abelianas neste cenário restrito.

• Filtrações de Bernstein-Zelevinsky Reais: Como aplicação primária, o artigo constrói uma versão completa da filtração de Bernstein-Zelevinsky para representações de Fréchet suaves de $GL_n$. Isso envolve a definição dos funtores $\Phi^-$ (uma variante do funtor de Jacquet) e $\Phi^+$ (uma variante da indução parabólica) e a prova de que são adjuntos. Os autores estabelecem que qualquer representação $\pi$ admite uma filtração $0 = \pi_n \subset \dots \subset \pi_0 = \pi$, onde os subquocientes sucessivos estão relacionados às imagens desses funtores e são Hausdorff.

• Globalização: O artigo estabelece um resultado de globalização, mostrando que os módulos de Casselman-Jacquet para representações de Fréchet suaves são isomórficos à globalização de Casselman-Wallach dos correspondentes módulos de Harish-Chandra.

Significância e Alegações
O artigo afirma fornecer a primeira prova matemática abrangente da filtração de Bernstein-Zelevinsky para grupos lineares gerais reais dentro do quadro de representações de crescimento moderado. Os autores enfatizam que seus resultados complementam e estendem trabalhos anteriores (como [AGS15a, AGS15b]) ao abordar as dificuldades topológicas inerentes aos grupos reais que estão ausentes no caso $p$-ádico.

A significância reside em:

1. Preencher a Lacuna: Adaptar com sucesso a maquinaria de filtração BZ $p$-ádica para o mundo real, superando as diferenças topológicas (desconexão total vs. conectividade).
2. Rigor Topológico: Fornecer um tratamento rigoroso da topologia dos módulos de Jacquet, garantindo que sejam Hausdorff e bem comportados sob as operações da categoria.
3. Fundação para Leis de Ramificação: O trabalho é apresentado como um passo fundamental para uma prova abrangente de leis de ramificação para grupos lineares gerais reais, seguindo o modelo estabelecido para grupos $p$-ádicos. Os autores observam que os resultados de estabilidade e exatidão são pré-requisitos para computar estruturas superiores e quocientes simples em trabalhos futuros.

O artigo permanece modesto quanto a aplicações computacionais imediatas, observando que, embora o quadro teórico esteja estabelecido, a computação real de quocientes simples e estruturas superiores será facilitada por ferramentas de grupos $p$-ádicos em trabalhos futuros (por exemplo, [CW26, CP25+]).