Stability of the smooth Casselman-Jacquet functor

Sintesi Tecnica: Stabilità del Funttore di Casselman-Jacquet per Rappresentazioni Smooth

Problema
Il saggio affronta lo sviluppo di una teoria completa delle filtrazioni di Bernstein-Zelevinsky (BZ) per rappresentazioni Fréchet smooth a tasso di crescita moderata su gruppi riduttivi reali, nello specifico gruppi lineari generali $GL_n(\mathbb{R})$ e $GL_n(\mathbb{C})$. Sebbene le filtrazioni BZ siano ben consolidate per i gruppi $p$-adici, la loro estensione al caso reale si scontra con significativi ostacoli topologici. Il classico funttore di Casselman-Jacquet, originariamente definito per i moduli di Harish-Chandra, si comporta diversamente nel contesto delle rappresentazioni Fréchet smooth a causa della mancanza di totale disconnessione nei gruppi reali e della necessità di gestire le chiusure topologiche. La sfida primaria consiste nell'stabilire le proprietà di esattezza, suriettività e stabilità per questi funttori all'interno della categoria delle rappresentazioni a crescita moderata ($Rep^{\infty, F}(G)$), che è quasi-abeliana ma non abeliana.

Metodologia
Gli autori impiegano una combinazione di analisi funzionale e teoria delle rappresentazioni, distinguendo il proprio approccio da lavori precedenti su moduli di Harish-Chandra o studi precedenti sui moduli di Jacquet (ad es., [AGS15a, AGS15b]). I componenti metodologici chiave includono:

1. Raffinatezze Topologiche: Gli autori definiscono i funttori di Casselman-Jacquet con esplicite chiusure topologiche per garantire che gli spazi quoziente risultanti siano Hausdorff. Utilizzano la topologia del quoziente e i prodotti tensoriali proiettivi di spazi Fréchet per analizzare la struttura di questi funttori.
2. Azioni dell'Algebra di Schwartz: Una tecnica centrale consiste nell'azione continua dell'algebra di Schwartz $S(\mathfrak{n})$ (dove $\mathfrak{n}$ è l'algebra di Lie del radicale unipotente) sulle rappresentazioni a crescita moderata. Sfruttando il teorema di Dixmier-Malliavin, gli autori stabiliscono la suriettività della mappa di azione $S(\mathfrak{n}) \hat{\otimes} \pi \to \pi$.
3. Semi-norme e Stabilità: Il saggio costruisce famiglie specifiche di semi-norme sui moduli di Casselman-Jacquet. Queste semi-norme sono utilizzate per dimostrare proprietà di "stabilità", specificamente che l'intersezione dei sottospazi $\bigcap_{k \geq 0} \mathfrak{n}^k \cdot \pi$ è stabile sotto l'azione di $\mathfrak{n}$ (ovvero, $\mathfrak{n} \cdot CJ^\infty_{s,P}(\pi) = CJ^\infty_{s,P}(\pi)$).
4. Lemma di Artin-Rees: Per la sottocategoria dei rappresentazioni di Casselman-Wallach, gli autori dimostrano un lemma di Artin-Rees topologico. Questo lemma è cruciale per stabilire l'esattezza dei funttori, garantendo che le intersezioni di sottomoduli si comportino in modo prevedibile rispetto alle potenze dell'ideale nilpotente.
5. Teorema di Imprimitività: Nel contesto dei sottogruppi mirabolici, gli autori applicano il teorema di imprimitività (da [dCl91]) per analizzare la struttura delle induzioni di Schwartz e dei funttori $\Phi^+$ e $\Phi^-$.

Contributi Chiave e Risultati

• Definizione e Proprietà dei Funttori: Gli autori definiscono due funttori per un sottogruppo parabolico $P$ con radicale unipotente $N$ e algebra di Lie $\mathfrak{n}$:

  • Il funttore di sottomodulo: $CJ^\infty_{s,P}(\pi) = \bigcap_{k \geq 0} \mathfrak{n}^k \cdot \pi$.
  • Il funttore di quoziente: $CJ^\infty_P(\pi) = \varprojlim \pi / \mathfrak{n}^k \cdot \pi$.
    Dimostrano che la mappa naturale $\pi \to CJ^\infty_P(\pi)$ è suriettiva, producendo una sequenza esatta breve $0 \to CJ^\infty_{s,P}(\pi) \to \pi \to CJ^\infty_P(\pi) \to 0$.

• Stabilità ed Epicità: Un risultato maggiore è la stabilità del funttore di sottomodulo: $\mathfrak{n} \cdot CJ^\infty_{s,P}(\pi) = CJ^\infty_{s,P}(\pi)$. Inoltre, il funttore $CJ^\infty_{s,P}$ è dimostrato essere "epi" (preserva la suriettività nel senso quasi-abeliano), il che significa che mappa gli epimorfismi in epimorfismi.

• Esattezza per le Rappresentazioni di Casselman-Wallach: Quando ristretto alla categoria delle rappresentazioni di Casselman-Wallach (admissibili, di lunghezza finita, a crescita moderata), sia $CJ^\infty_P$ che $CJ^\infty_{s,P}$ sono provati essere funttori esatti. Ciò si basa sul lemma di Artin-Rees topologico e sul fatto che le categorie coinvolte diventano abeliane in questo contesto ristretto.

• Filtrazioni di Bernstein-Zelevinsky Reali: Come principale applicazione, il saggio costruisce una versione completa della filtrazione di Bernstein-Zelevinsky per le rappresentazioni Fréchet smooth di $GL_n$. Ciò comporta la definizione dei funttori $\Phi^-$ (una variante del funttore di Jacquet) e $\Phi^+$ (una variante dell'induzione parabolica) e la prova della loro aderenza. Gli autori stabiliscono che ogni rappresentazione $\pi$ ammette una filtrazione $0 = \pi_n \subset \dots \subset \pi_0 = \pi$ dove i successivi subquotienti sono correlati alle immagini di questi funttori e sono Hausdorff.

• Globalizzazione: Il saggio stabilisce un risultato di globalizzazione, mostrando che i moduli di Casselman-Jacquet per le rappresentazioni Fréchet smooth sono isomorfi alla globalizzazione di Casselman-Wallach dei corrispondenti moduli di Harish-Chandra.

Significato e Rivendicazioni
Il saggio sostiene di fornire la prima prova matematica completa della filtrazione di Bernstein-Zelevinsky per i gruppi lineari generali reali all'interno del quadro delle rappresentazioni a crescita moderata. Gli autori sottolineano che i loro risultati completano ed estendono il lavoro precedente (come [AGS15a, AGS15b]) affrontando le difficoltà topologiche intrinseche ai gruppi reali, assenti nel caso $p$-adico.

La significatività risiede nel:

1. Colmare il Divario: Adattare con successo la macchina della filtrazione BZ $p$-adica al mondo reale, superando le differenze topologiche (disconnessione totale vs. connessione).
2. Rigore Topologico: Fornire un trattamento rigoroso della topologia dei moduli di Jacquet, garantendo che siano Hausdorff e ben comportati sotto le operazioni della categoria.
3. Fondamenta per le Leggi di Branching: Il lavoro è presentato come un passo fondamentale verso una prova completa delle leggi di branching per i gruppi lineari generali reali, seguendo il modello stabilito per i gruppi $p$-adici. Gli autori notano che i risultati di stabilità ed esattezza sono prerequisiti per il calcolo di strutture superiori e quozienti semplici nei lavori futuri.

Il saggio rimane modesto riguardo alle applicazioni computazionali immediate, notando che, sebbene il quadro teorico sia stabilito, il calcolo effettivo di quozienti semplici e strutture superiori sarà facilitato dagli strumenti dei gruppi $p$-adici nei lavori imminenti (ad es., [CW26, CP25+]).