Theta correspondence as a C*-correspondence

Sintesi Tecnica: La Corrispondenza Theta come $C^*$-Corrispondenza

Enunciato del Problema
Il saggio affronta la comprensione strutturale della corrispondenza theta locale (LTC), una relazione fondamentale tra le rappresentazioni di due gruppi ridotti $G$ e $G'$ che formano una coppia duale all'interno di un gruppo simpico. Sebbene la corrispondenza sia ben stabilita tramite la dualità di Howe (relativa alle duali lisce o unitarie), il saggio mira a reinterpretare tale corrispondenza attraverso la lente della teoria delle $C^*$-algebre. Nello specifico, l'obiettivo è descrivere il processo di lifting theta come un funtore di induzione derivante da una $C^*$-corrispondenza (un modulo di Hilbert $C^*$-equipaggiato con un'azione algebrica). Questo approccio è particolarmente motivato dal desiderio di chiarire la preservazione dell'unitarietà e le proprietà strutturali della corrispondenza, come l'equivalenza di Morita nel caso di rango uguale.

Metodologia
L'autore utilizza il quadro delle $C^*$-algebre, dei moduli di Hilbert e dell'induzione di Rieffel. La metodologia procede attraverso i seguenti passaggi:

1. Configurazione Fondamentale: Il saggio esamina il background necessario, incluse le $C^*$-algebre, i moduli di Hilbert e il caso specifico delle $C^*$-algebre di gruppo $C^*(G)$ e $C^*_r(G)$. Stabilisce la convenzione secondo cui i prodotti interni sono lineari nella seconda variabile.
2. Il Caso Compatto come Modello: L'analisi inizia con il caso in cui uno dei gruppi, $G$, è compatto. In questo setting, la duale unitaria $\hat{G}$ è discreta e $C^*(G)$ si decompone in una somma diretta di algebre matriciali (tramite il teorema di Peter-Weyl).
   • Viene utilizzata la rappresentazione oscillatoria $\omega$ di $G' \times G$ su $L^2(U)$.
   • L'autore costruisce un modulo di Hilbert $C^*(G)$ a destra $X$ dalla rappresentazione oscillatoria. Ciò avviene sia assemblando le componenti isotipiche, sia completando lo spazio delle funzioni di Schwartz $S(U)$ rispetto a un prodotto interno $C^*(G)$-valente derivato dai coefficienti di matrice.
   • Si dimostra che l'azione del secondo gruppo $G'$ su $S(U)$ si integra in un'azione sul modulo completato $X$, trasformando $X$ in una $(C^*(G'), C^*(G))$-corrispondenza.
3. Generalizzazione tramite il Metodo di Li: L'approccio viene esteso ai casi non compatti in cui si applica il metodo di Jian-Shu Li (specificamente i casi "range stabile" e "temperato").
   • Invece di $C^*(G)$, la costruzione utilizza l'algebra $C^*$-ridotta del gruppo $C^*_r(G)$ (o $C^*(G)$ nel range stabile).
   • Il prodotto interno è definito tramite un integrale che coinvolge la rappresentazione oscillatoria e una rappresentazione $\pi$ di $G$. La convergenza e la positività di tale integrale sono garantite dai risultati di Li sulla preservazione dell'unitarietà.
   • Ciò produce un "biimodulo theta" $\Theta$, una $(C^*(G'), C^*_r(G))$-corrispondenza.
4. Funtore di Induzione: Il meccanismo centrale è il funtore di induzione di Rieffel $\text{Ind}^A_B(X)$. Il saggio dimostra che indurre una rappresentazione $\pi$ di $G$ tramite la corrispondenza costruita $X$ (o $\Theta$) recupera il lift theta $\theta(\pi^*)$.
5. Caso di Rango Uguale: Per coppie duali di rango uguale (ad esempio, $(Sp_{2n}, O_{2n+1})$), l'autore mostra che il biimodulo theta $\Theta$ soddisfa la condizione di compatibilità per un biimodulo di imprimitivity. Ciò stabilisce un'equivalenza di Morita tra ideali specifici delle $C^*$-algebre ridotte di $G$ e $G'$.

Contributi Chiave e Risultati

• Riformulazione della Corrispondenza Theta: Il saggio fornisce una formulazione rigorosa in termini di $C^*$-algebre della corrispondenza theta. Dimostra che per un gruppo compatto $G$, il lift theta di una rappresentazione unitaria irriducibile $\pi$ è isomorfo alla rappresentazione indotta $\text{Ind}^{C^*(G')}_{C^*(G)}(X)(\pi)$, dove $X$ è il modulo di Hilbert costruito dalla rappresentazione oscillatoria (Teorema 4).
• Generalizzazione ai Casi di Preservazione dell'Unitarietà: La metodologia è generalizzata ai casi stabili e temperati (Teorema 5). Utilizzando i risultati di Li sulla convergenza e la positività degli integrali rilevanti, il saggio costruisce un biimodulo theta $\Theta$ su $C^*_r(G)$ (o $C^*(G)$) tale che il funtore di induzione recuperi il lift theta per le rappresentazioni temperate.
• Equivalenza di Morita nel Rango Uguale: Un risultato significativo è l'identificazione della corrispondenza theta nel caso di rango uguale come un'equivalenza di Morita (Teorema 6). Si dimostra che il biimodulo theta $\Theta$ è un biimodulo di imprimitivity, stabilendo un'equivalenza di Morita tra gli ideali $C^*_\theta(G')$ e $C^*_\theta(G)$ definiti dai prodotti interni.
• Conseguenze dell'Equivalenza di Morita:
  • Isomorfismo Topologico: L'equivalenza di Morita implica che i sottoinsiemi delle duali ridotte che entrano nella corrispondenza theta siano omeomorfi.
  • Preservazione delle Serie Discrete: Il saggio spiega perché le rappresentazioni di serie discrete si sollevano in rappresentazioni di serie discrete nel caso di rango uguale. Poiché le serie discrete sono punti isolati nella duale ridotta, e l'equivalenza di Morita preserva la topologia dello spettro (mappando insiemi clopen in insiemi clopen), l'immagine di un punto isolato rimane isolata.
  • Trasferimento dei Caratteri: Il quadro di equivalenza di Morita facilita un trasferimento di caratteri. Il Teorema 7 presenta un risultato (originariamente di Gan) che esprime il carattere di un lift theta in termini del carattere della rappresentazione originale tramite i coefficienti di matrice nelle algebre di Schwartz.

Significatività e Rivendicazioni
Il saggio sostiene che interpretare la corrispondenza theta come una $C^*$-corrispondenza faccia luce sui meccanismi sottostanti della corrispondenza, particolarmente nel "caso compatto" dove gli ostacoli tecnici sono minimizzati. Inquadrando la corrispondenza attraverso la teoria dell'induzione:

• Offre una prospettiva unificata che recupera la corrispondenza theta dalla rappresentazione oscillatoria senza fare affidamento esclusivamente sulla costruzione esplicita del lift.
• Chiarisce la preservazione dell'unitarietà collegandola alla positività del prodotto interno sul modulo di Hilbert, una condizione soddisfatta nei casi coperti dal metodo di Li.
• Nel caso di rango uguale, fornisce una spiegazione strutturale (tramite l'equivalenza di Morita) per la preservazione di importanti proprietà della teoria delle rappresentazioni, come la natura di serie discrete e le dimensioni formali delle rappresentazioni.

L'autore pone questo lavoro come una rassegna di sviluppi recenti (citando [23, 14]) che collegano la teoria delle rappresentazioni alla geometria non commutativa, rendendo le costruzioni della corrispondenza theta più trasparenti attraverso il linguaggio delle $C^*$-algebre.