Stability of the smooth Casselman-Jacquet functor

Technische Samenvatting: Stabiliteit van de Gladde Casselman-Jacquet Functor

Probleemstelling
Het artikel behandelt de ontwikkeling van een uitgebreide theorie voor de Bernstein-Zelevinsky (BZ) filtraties voor gladde Fréchet-representaties van gematigde groei op reële reductieve groepen, specifgens de algemene lineaire groepen $GL_n(\mathbb{R})$ en $GL_n(\mathbb{C})$. Hoewel de BZ-filtraties goed gevestigd zijn voor $p$-adische groepen, stuit de uitbreiding naar het reële geval op significante topologische obstructies. De klassieke Casselman-Jacquet functor, oorspronkelijk gedefinieerd voor Harish-Chandra-modules, gedraagt zich anders in de context van gladde Fréchet-representaties vanwege het gebrek aan totale onafgekendheid van reële groepen en de noodzaak om topologische sluitingen te behandelen. De primaire uitdaging is het vaststellen van exactheid, surjectiviteit en stabiliteitseigenschappen voor deze functors binnen de categorie van representaties van gematigde groei ($Rep^{\infty, F}(G)$), die quasi-abeliaans maar niet abeliaans is.

Methodologie
De auteurs maken gebruik van een combinatie van functionele analyse en representatietheorie, waarbij zij hun aanpak onderscheiden van eerder werk over Harish-Chandra-modules of eerdere studies naar Jacquet-modules (bijv. [AGS15a, AGS15b]). De belangrijkste methodologische componenten zijn:

1. Topologische Verfijningen: De auteurs definiëren de Casselman-Jacquet functors met expliciete topologische sluitingen om ervoor te zorgen dat de resulterende quotientruimten Hausdorff zijn. Zij maken gebruik van de quotienttopologie en projectieve tensorproducten van Fréchet-ruimten om de structuur van deze functors te analyseren.
2. Schwartz-algebra Acties: Een centrale techniek is de continue actie van de Schwartz-algebra $S(\mathfrak{n})$ (waarbij $\mathfrak{n}$ de Lie-algebra is van de unipotente radicaal) op representaties van gematigde groei. Door gebruik te maken van de Dixmier-Malliavin stelling, stellen de auteurs de surjectiviteit vast van de actiekaart $S(\mathfrak{n}) \hat{\otimes} \pi \to \pi$.
3. Semi-normen en Stabiliteit: Het artikel construeert specifieke families van semi-normen op de Casselman-Jacquet modules. Deze semi-normen worden gebruikt om "stabiliteitseigenschappen" te bewijzen, specifiek dat de intersectie van subruimten $\bigcap_{k \geq 0} \mathfrak{n}^k \cdot \pi$ stabiel is onder de actie van $\mathfrak{n}$ (d.w.z. $\mathfrak{n} \cdot CJ^\infty_{s,P}(\pi) = CJ^\infty_{s,P}(\pi)$).
4. Artin-Rees Lemma: Voor de subcategorie van Casselman-Wallach representaties bewijzen de auteurs een topologische versie van het Artin-Rees lemma. Dit lemma is cruciaal voor het vaststellen van de exactheid van de functors, door te garanderen dat intersecties van submodules voorspelbaar gedragen met betrekking tot de machten van het nilpotente ideaal.
5. Imprimitiviteitsstelling: In de context van mirabolische subgroepen passen de auteurs de imprimitiviteitsstelling (uit [dCl91]) toe om de structuur van Schwartz-inducties en de functors $\Phi^+$ en $\Phi^-$ te analyseren.

Belangrijkste Bijdragen en Resultaten

• Definitie en Eigenschappen van Functors: De auteurs definiëren twee functors voor een paraboolische subgroep $P$ met unipotente radicaal $N$ en Lie-algebra $\mathfrak{n}$:

  • De submodule functor: $CJ^\infty_{s,P}(\pi) = \bigcap_{k \geq 0} \mathfrak{n}^k \cdot \pi$.
  • De quotient functor: $CJ^\infty_P(\pi) = \varprojlim \pi / \mathfrak{n}^k \cdot \pi$.
    Zij bewijzen dat de natuurlijke afbeelding $\pi \to CJ^\infty_P(\pi)$ surjectief is, wat een kort exacte sequentie oplevert: $0 \to CJ^\infty_{s,P}(\pi) \to \pi \to CJ^\infty_P(\pi) \to 0$.

• Stabiliteit en Epiness: Een belangrijk resultaat is de stabiliteit van de submodule functor: $\mathfrak{n} \cdot CJ^\infty_{s,P}(\pi) = CJ^\infty_{s,P}(\pi)$. Verder wordt bewezen dat de functor $CJ^\infty_{s,P}$ "epi" is (het behoudt surjectiviteit in de quasi-abeliaanse zin), wat betekent dat deze epimorfismen naar epimorfismen afbeeldt.

• Exactheid voor Casselman-Wallach Representaties: Wanneer beperkt tot de categorie van Casselman-Wallach representaties (admissibel, eindige lengte, gematigde groei), worden zowel $CJ^\infty_P$ als $CJ^\infty_{s,P}$ bewezen als exacte functors. Dit berust op het topologische Artin-Rees lemma en het feit dat de betrokken categorieën in deze beperkte setting abeliaans worden.

• Reële Bernstein-Zelevinsky Filtraties: Als primaire toepassing construeert het artikel een volledige versie van de Bernstein-Zelevinsky filtratie voor gladde Fréchet-representaties van $GL_n$. Dit omvat het definiëren van de functors $\Phi^-$ (een variant van de Jacquet functor) en $\Phi^+$ (een variant van parabolische inductie) en het bewijzen dat zij adjunct zijn. De auteurs stellen vast dat elke representatie $\pi$ een filtratie toelaat $0 = \pi_n \subset \dots \subset \pi_0 = \pi$, waarbij de opeenvolgende subquotienten gerelateerd zijn aan de afbeeldingen van deze functors en Hausdorff zijn.

• Globalisering: Het artikel vestigt een globaliseringsresultaat, waarbij wordt aangetoond dat de Casselman-Jacquet modules voor gladde Fréchet-representaties isomorf zijn aan de Casselman-Wallach globalisering van de overeenkomstige Harish-Chandra-modules.

Betekenis en Claims
Het artikel claimt het eerste uitgebreide wiskundige bewijs te leveren voor de Bernstein-Zelevinsky filtratie voor reële algemene lineaire groepen binnen het kader van representaties van gematigde groei. De auteurs benadrukken dat hun resultaten het voorgaande werk (zoals [AGS15a, AGS15b]) aanvullen en uitbreiden door de topologische moeilijkheden aan te pakken die inherent zijn aan reële groepen en die afwezig zijn in het $p$-adische geval.

De betekenis ligt in:

1. Het overbruggen van de kloof: Het succesvol aanpassen van de $p$-adische BZ-filtratiemachinerie aan de reële wereld, waarbij de topologische verschillen (totale onafgekendheid versus verbondenheid) worden overwonnen.
2. Topologische Rigor: Het bieden van een rigoureuze behandeling van de topologie van Jacquet-modules, waardoor wordt gegarandeerd dat ze Hausdorff zijn en goed gedragen onder de operaties van de categorie.
3. Fundament voor Branching Laws: Het werk wordt gepresenteerd als een fundamentele stap naar een volledig bewijs van de branching laws voor reële algemene lineaire groepen, volgens het blauwdruk dat voor $p$-adische groepen is vastgesteld. De auteurs merken op dat de stabiliteits- en exactheidresultaten vereisten zijn voor het berekenen van hogere structuren en eenvoudige quotienten in toekomstig werk.

Het artikel blijft bescheiden over directe computationele toepassingen, waarbij wordt opgemerkt dat hoewel het theoretische kader is vastgesteld, de werkelijke berekening van eenvoudige quotienten en hogere structuren zal worden gefaciliteerd door instrumenten uit $p$-adische groepen in komende werken (bijv. [CW26, CP25+]).