Stability of the smooth Casselman-Jacquet functor

Résumé Technique : Stabilité du foncteur de Casselman-Jacquet lisse

Énoncé du Problème
L'article traite du développement d'une théorie complète des filtrations de Bernstein-Zelevinsky (BZ) pour les représentations de Fréchet lisses à taux de croissance modérée sur les groupes réductifs réels, spécifiquement les groupes linéaires généraux $GL_n(\mathbb{R})$ et $GL_n(\mathbb{C})$. Bien que les filtrations BZ soient bien établies pour les groupes $p$-adiques, leur extension au cas réel se heurte à des obstructions topologiques significatives. Le foncteur classique de Casselman-Jacquet, initialement défini pour les modules de Harish-Chandra, se comporte différemment dans le contexte des représentations de Fréchet lisses en raison de l'absence de déconnexion totale des groupes réels et de la nécessité de gérer les fermetures topologiques. Le défi principal est d'établir les propriétés d'exactitude, de surjectivité et de stabilité pour ces foncteurs au sein de la catégorie des représentations de croissance modérée ($Rep^{\infty, F}(G)$), qui est quasi-abélienne mais non abélienne.

Méthodologie
Les auteurs emploient une combinaison d'analyse fonctionnelle et de théorie des représentations, distinguant leur approche des travaux précédents sur les modules de Harish-Chandra ou des études antérieures sur les modules de Jacquet (par exemple, [AGS15a, AGS15b]). Les composantes méthodologiques clés incluent :

1. Affinements Topologiques : Les auteurs définissent les foncteurs de Casselman-Jacquet avec des fermetures topologiques explicites pour garantir que les espaces quotients résultants sont Hausdorff. Ils utilisent la topologie quotient et les produits tensoriels projectifs d'espaces de Fréchet pour analyser la structure de ces foncteurs.
2. Actions de l'Algèbre de Schwartz : Une technique centrale implique l'action continue de l'algèbre de Schwartz $S(\mathfrak{n})$ (où $\mathfrak{n}$ est l'algèbre de Lie du radical unipotent) sur les représentations de croissance modérée. En exploitant le théorème de Dixmier-Malliavin, les auteurs établissent la surjectivité de l'application d'action $S(\mathfrak{n}) \hat{\otimes} \pi \to \pi$.
3. Semi-normes et Stabilité : L'article construit des familles spécifiques de semi-normes sur les modules de Casselman-Jacquet. Ces semi-normes sont utilisés pour prouver des propriétés de « stabilité », spécifiquement que l'intersection des sous-espaces $\bigcap_{k \geq 0} \mathfrak{n}^k \cdot \pi$ est stable sous l'action de $\mathfrak{n}$ (c'est-à-dire $\mathfrak{n} \cdot CJ^\infty_{s,P}(\pi) = CJ^\infty_{s,P}(\pi)$).
4. Lemme d'Artin-Rees : Pour la sous-catégorie des représentations de Casselman-Wallach, les auteurs prouvent un lemme d'Artin-Rees topologique. Ce lemme est crucial pour établir l'exactitude des foncteurs, garantissant que les intersections de sous-modules se comportent de manière prévisible par rapport aux puissances de l'idéal nilpotent.
5. Théorème d'Imprimitivité : Dans le contexte des sous-groupes miraboliques, les auteurs appliquent le théorème d'imprimitivité (tiré de [dCl91]) pour analyser la structure des inductions de Schwartz et des foncteurs $\Phi^+$ et $\Phi^-$.

Contributions Clés et Résultats

• Définition et Propriétés des Foncteurs : Les auteurs définissent deux foncteurs pour un sous-groupe parabolique $P$ avec un radical unipotent $N$ et son algèbre de Lie $\mathfrak{n}$ :

  • Le foncteur de sous-module : $CJ^\infty_{s,P}(\pi) = \bigcap_{k \geq 0} \mathfrak{n}^k \cdot \pi$.
  • Le foncteur de quotient : $CJ^\infty_P(\pi) = \varprojlim \pi / \mathfrak{n}^k \cdot \pi$.
    Ils prouvent que l'application naturelle $\pi \to CJ^\infty_P(\pi)$ est surjective, produisant une suite exacte courte $0 \to CJ^\infty_{s,P}(\pi) \to \pi \to CJ^\infty_P(\pi) \to 0$.

• Stabilité et Épissité : Un résultat majeur est la stabilité du foncteur de sous-module : $\mathfrak{n} \cdot CJ^\infty_{s,P}(\pi) = CJ^\infty_{s,P}(\pi)$. De plus, le foncteur $CJ^\infty_{s,P}$ est montré comme étant « épi » (préservant la surjectivité au sens quasi-abélien), ce qui signifie qu'il transforme les épimorphismes en épimorphismes.

• Exactitude pour les Représentations de Casselman-Wallach : Lorsqu'ils sont restreints à la catégorie des représentations de Casselman-Wallach (admissibles, de longueur finie, de croissance modérée), les foncteurs $CJ^\infty_P$ et $CJ^\infty_{s,P}$ sont prouvés être des foncteurs exacts. Cela repose sur le lemme d'Artin-Rees topologique et sur le fait que les catégories impliquées deviennent abéliennes dans ce cadre restreint.

• Filtrations de Bernstein-Zelevinsky Réelles : Comme application principale, l'article construit une version complète de la filtration de Bernstein-Zelevinsky pour les représentations de Fréchet lisses de $GL_n$. Cela implique la définition des foncteurs $\Phi^-$ (une variante du foncteur de Jacquet) et $\Phi^+$ (une variante de l'induction parabolique) et la preuve de leur adjonction. Les auteurs établissent que toute représentation $\pi$ admet une filtration $0 = \pi_n \subset \dots \subset \pi_0 = \pi$ où les sous-quotients successifs sont liés aux images de ces foncteurs et sont Hausdorff.

• Globalisation : L'article établit un résultat de globalisation, montrant que les modules de Casselman-Jacquet pour les représentations de Fréchet lisses sont isomorphes à la globalisation de Casselman-Wallach des modules de Harish-Chandra correspondants.

Signification et Revendications
L'article prétend fournir la première preuve mathématique complète de la filtration de Bernstein-Zelevinsky pour les groupes linéaires généraux réels dans le cadre des représentations de croissance modérée. Les auteurs soulignent que leurs résultats complètent et étendent les travaux précédents (tels que [AGS15a, AGS15b]) en abordant les difficultés topologiques inhérentes aux groupes réels, absentes dans le cas $p$-adique.

La signification réside dans :

1. Combler le Fossé : Adapter avec succès la machinerie de la filtration BZ $p$-adique au monde réel, en surmontant les différences topologiques (déconnexion totale vs connexité).
2. Rigueur Topologique : Fournir un traitement rigoureux de la topologie des modules de Jacquet, garantissant qu'ils sont Hausdorff et bien comportés sous les opérations de la catégorie.
3. Fondation pour les Lois de Ramification : Ce travail est présenté comme une étape fondamentale vers une preuve complète des lois de ramification pour les groupes linéaires généraux réels, suivant le modèle établi pour les groupes $p$-adiques. Les auteurs notent que les résultats de stabilité et d'exactitude sont des prérequis pour calculer les structures supérieures et les quotients simples dans des travaux futurs.

L'article reste modeste quant aux applications de calcul immédiates, notant que bien que le cadre théorique soit établi, le calcul effectif des quotients simples et des structures supérieures sera facilité par les outils des groupes $p$-adiques dans des travaux à venir (par exemple, [CW26, CP25+]).