Nonzero $\mathfrak{n}$-cohomology of Totally Degenerate Limit of Discrete Series representations

Sintesi Tecnica: Cohomologia Non Nullo di $\mathfrak{n}$ per Rappresentazioni TDLDS

Enunciato del Problema
I limiti totalmente degeneri delle serie discrete (rappresentazioni TDLDS) sono definiti rilassando le ipotesi di regolarità richieste per le rappresentazioni standard delle serie discrete. Mentre le rappresentazioni delle serie discrete sono note per corrispondere a rappresentazioni di Galois e possedere collegamenti solidi con la geometria aritmetica, le rappresentazioni TDLDS mancano di una connessione altrettanto consolidata. Sebbene Carayol abbia osservato che i TDLDS possono essere rilevati nella coomologia coerente dei domini di Griffiths-Schmid (che non sono hermitiani simmetrici), l'applicazione degli strumenti classici della geometria algebrica è ostacolata dalla mancanza di una struttura complessa su tali domini. Il problema centrale affrontato è determinare le proprietà di non annullamento della coomologia dell'algebra di Lie $H^*(\mathfrak{n}, \pi)$ per le rappresentazioni TDLDS $\pi$, dove $\mathfrak{n}$ è lo spazio delle radici negative, e investigare se questi gruppi di coomologia soddisfino proprietà di dualità che potrebbero supportare leggi di diramazione di tipo Gan-Gross-Prasad (GGP) per i gruppi unitari.

Metodologia
Il lavoro impiega una combinazione di teoria delle rappresentazioni combinatoria e costruzione esplicita di moduli:

1. Quadro Combinatorio: L'autore utilizza il complesso combinatorio introdotto da Soergel [Soe97] per calcolare la coomologia dell'algebra di Lie. Ciò comporta la definizione di complessi di catene su sottoinsiemi del gruppo di Weyl $W$ utilizzando l'ordine di Bruhat e le lunghezze relative di Bruhat ($l$ e $l_K$). I differenziali in questi complessi sono costruiti per soddisfare condizioni di segno specifiche che garantiscono $d^2=0$.
2. Analisi Cohomologica: Il lavoro analizza gli spazi di peso $H^*(\mathfrak{n}, \pi)_{-\lambda}$ delle rappresentazioni TDLDS. Sfruttando il Lemma di Casselman-Osborne, l'analisi è limitata a pesi specifici determinati dal carattere infinitesimale. L'autore dimostra che, per i TDLDS, i differenziali nei gradi rilevanti si annullano a causa della non compattezza delle radici semplici che definiscono la rappresentazione.
3. Costruzione Esplicita: Nel caso di rango basso ($SU(2,1) \subset SU(1,1)$), il lavoro passa da argomenti combinatori astratti a calcoli espliciti. Utilizza la decomposizione del modulo di Harish-Chandra dell'unico TDLDS di $SU(2,1)$ come descritto da Carayol [Car98] e Jantzen-Wallach [JW77]. L'autore costruisce una mappa di intertwinning esplicita $J$ tra il TDLDS di $SU(2,1)$ e una rappresentazione irriducibile ammissibile di $SU(1,1)$, verificandone la compatibilità con l'azione di $\mathfrak{g}'$.

Contributi e Risultati Chiave

• Teorema di Non Annullamento (Teorema 1.1 / Teorema 3.3): Il lavoro stabilisce che per qualsiasi peso dominante intero $\lambda$ fissato dal gruppo di Weyl (caratteristico dei TDLDS), esiste una rappresentazione TDLDS $\pi$ con carattere infinitesimale $\lambda + \rho$ tale che il gruppo di coomologia $H^q(\mathfrak{n}, \pi)_{-\lambda}$ è non nullo nel grado canonico $q = \#(\Phi_K \cap \Phi^+)$. Ciò estende i risultati precedenti di Carayol e Kerr a tutti i gruppi riduttivi.
• Dualità di Serre (Teorema 1.2 / Teorema 3.6): L'autore dimostra che questi gruppi di coomologia soddisfano la dualità di Serre. Nello specifico, $H^q(\mathfrak{n}, V)_{-\lambda} \simeq H^{\#\Phi^+ - q}(\mathfrak{n}, V^\vee)_{\lambda + 2\rho}$. La dimostrazione mostra che questa dualità è compatibile con la dualità di Serre della coomologia $\mathfrak{n} \cap \mathfrak{k}$ dei tipi $K$.
• Connessione alle Congetture GGP (Sezione 4): Il lavoro suggerisce un'interpretazione geometrica delle congetture GGP attraverso questi gruppi di coomologia. Costruisce mappe di restrizione tra gruppi di coomologia di fasci lineari su varietà di Griffiths-Schmid per gruppi unitari di rango $n$ e $n+1$. Il non annullamento di queste mappe è collegato al non annullamento degli integrali di periodo e dei valori $L$.
• Mappa di Intertwining Esplicita (Teorema 1.3 / Teorema 5.7): Per l'inclusione specifica $SU(1,1) \subset SU(2,1)$, il lavoro costruisce un morfismo $J: \pi \to \pi'$ di moduli $\mathfrak{g}'$. Il risultato principale è che una tale mappa induce una restrizione non nulla sulla coomologia in grado 1 se e solo se $\pi'$ è il limite anti-olomorfo della serie discreta per $SU(1,1)$. Notabilmente, questa mappa si annulla sul tipo $K$ minimo di $SU(2,1)$, ma induce una mappa non banale a livello di coomologia.

Significato e Affermazioni
Il lavoro afferma di fornire la prima prova combinatoria robusta del non annullamento della coomologia $\mathfrak{n}$ dei TDLDS su tutti i gruppi riduttivi, andando oltre i casi specifici. Stabilendo la dualità di Serre per questi gruppi, crea un quadro strutturale che rispecchia le proprietà delle serie discrete standard.

L'autore ipotizza che questi risultati offrano prove per un collegamento tra i TDLDS e le congetture GGP. Nello specifico, il non annullamento della mappa di restrizione della coomologia suggerisce che non vi sia un ostacolo coomologico al non annullamento degli integrali di periodo nel posto archimedeo per i TDLDS. Tuttavia, il lavoro è modesto riguardo alla portata di questo collegamento; inquadra la generalizzazione a tutti i gruppi unitari come una questione aperta (Domanda 1.4) piuttosto che come una congettura dimostrata. La costruzione esplicita per $SU(2,1)$ serve come "esempio di base" di come si potrebbero studiare queste leggi di diramazione in rango basso, dimostrando che la coomologia non nulla può verificarsi anche quando la mappa di intertwinning annichila il tipo $K$ minimo, un fenomeno distinto dagli approcci che utilizzano i funtori di traduzione.