Total positivity and symmetric spaces

Sintesi Tecnica: Positività Totale e Spazi Simmetrici

Enunciato del Problema
Il saggio affronta l'estensione della teoria della positività totale, originariamente sviluppata da Lusztig per i gruppi riduttivi connessi split e le varietà di flag, nel contesto degli spazi simmetrici $S = G/K$. Mentre la teoria di Lusztig si basa su basi canoniche e dati di pinning specifici (coppie fondamentali), l'autore mira a definire una nozione di positività totale per gli spazi simmetrici che sia compatibile con la naturale geometria di Poisson e che ammetta una ricca struttura cellulare analoga alle celle di Bruhat doppie trovate nel caso dei gruppi. Una sfida specifica consiste nell'instaurare una decomposizione cellulare, parametrizzazioni positive esplicite e relazioni di chiusura per la parte totalmente non negativa dello spazio simmetrico, $S_{\ge 0}$, senza fare affidamento sulla strumentazione delle basi canoniche utilizzata nel caso dei gruppi.

Metodologia
L'autore impiega un approccio geometrico e combinatorio centrato sull'immersione dello spazio simmetrico nel gruppo.

1. Immersione e Stratificazione: Lo spazio simmetrico $G/K$ è realizzato come una varietà chiusa di $G$ tramite la mappa $\iota: gK \mapsto g\theta(g)^{-1}$, dove $\theta$ è l'involuzione che definisce $K$. L'autore introduce le "celle di Bruhat doppie" per lo spazio simmetrico, definite come gli strati $\mathring{S}_u = \iota^{-1}(B_+ \dot{u} B_- \dot{w}_\bullet)$ per $u \le w_\bullet$ nel gruppo di Weyl. Tali strati sono motivati dalla geometria di Poisson, essendo identificati come foglie $T$ per la naturale struttura di Poisson su $G/K$.
2. Pinning e Involuzione: La teoria è sviluppata per una classe specifica di coppie simmetriche in cui l'involuzione $\theta$ è normalizzata utilizzando un dato di radice $\imath$ e una coppia split $(B_+, T)$. Il saggio restringe i casi in cui $\theta$ è compatibile con l'involuzione del diagramma (specificamente dove i parametri $\zeta_i = -1$), escludendo certi tipi (ad esempio $A_{III}$ con parametri dispari, $A_{IV}$ con $n$ dispari, $E_{III}$).
3. Parametrizzazione: L'autore utilizza le parametrizzazioni positive di Marsh–Rietsch per gli strati di Richardson in varietà di flag parziali. Relazionando l'insieme di indicizzazione degli strati dello spazio simmetrico all'insieme di indicizzazione degli strati di Richardson proiettati tramite un isomorfismo di reticolo, l'autore costruisce esplicite parametrizzazioni positive per le celle in $S_{\ge 0}$.
4. Calcoli di Rango Uno: Un passaggio tecnico cruciale riguarda i calcoli espliciti di rango uno (Sezione 3.3) per stabilire le relazioni di scambio tra sottogruppi di radici positive e sottogruppi di radici negative nel contesto dello spazio simmetrico. Questi calcoli verificano che la transizione tra diversi chart coinvolga funzioni razionali prive di sottrazione, anche quando compaiono radici quadrate nei passaggi intermedi (che scompaiono passando al toro quoziente).

Contributi Chiave e Risultati
Il saggio stabilisce i seguenti risultati principali (Teorema 3.5):

1. Contenimento Geometrico: Lo spazio simmetrico totalmente non negativo $S_{\ge 0}$ è interamente contenuto nell'intersezione dell'orbita aperta $B_+$ e dell'orbita aperta $B_-$ di $G/K$.
2. Decomposizione Cellulare: $S_{\ge 0}$ ammette una decomposizione in celle $S^>_{u}$ indicizzate da $u \in Q = \{u \in W \mid u \le w_\bullet\}$. Questa decomposizione è isomorfa a un prodotto di un insieme positivo di Marsh–Rietsch e un toro totalmente positivo $T^{>0}$.
3. Parametrizzazioni Esplicite: Per ogni cella, esistono espliciti isomorfismi di varietà semi-algebriche:
   • $G^>_{v_+, w} \times T^{>0} \xrightarrow{\sim} S^>_{\phi(v,w)}$
   • $H^>_{v_+, w} \times T^{>0} \xrightarrow{\sim} S^>_{\phi(v,w)^{-1}}$
     dove $G^>_{v_+, w}$ e $H^>_{v_+, w}$ sono insiemi positivi derivati dalle coordinate di Marsh–Rietsch e dalle rispettive immagini sotto l'involuzione di Chevalley, rispettivamente.
4. Relazioni di Chiusura: La chiusura di una cella $S^>_{u}$ è l'unione delle celle $S^>_{u'}$ per $u \le u'$.
5. Transizioni Senza Sottrazione: Le mappe di transizione tra le due naturali famiglie di parametrizzazioni (associate a $B_+$ e $B_-$) sono prive di sottrazione (ovvero coinvolgono solo addizione, moltiplicazione e divisione di numeri reali positivi, senza sottrazione). Questa proprietà sussiste senza dover estrarre radici quadrate dopo il passaggio al toro quoziente.
6. Proprietà Topologiche: Lo spazio simmetrico totalmente non negativo $S_{\ge 0}$ è contraibile. Inoltre, ogni cella $S^>_{u}$ è una componente connessa del luogo reale della corrispondente doppia cella di Bruhat $\mathring{S}_u(\mathbb{R})$.

Significato e Rivendicazioni
Il saggio rivendica di fornire una teoria autosufficiente della positività totale per gli spazi simmetrici che parallelizza la teoria di Lusztig per i gruppi, ma utilizza un setup fondativo differente.

• Framework Alternativo: A differenza dell'approccio di Lusztig che utilizza coppie fondamentali e basi canoniche, questo lavoro utilizza coppie split e motivazioni di geometria di Poisson (celle di Bruhat doppie come foglie $T$).
• Semplicità: L'autore asserisce che questo approccio conduce a "una decomposizione cellulare, un ordine di chiusura e funzioni di transizione prive di sottrazione particolarmente semplici".
• Indipendenza dalle Basi Canoniche: Il saggio fornisce una nuova prova della struttura geometrica centrale della parte totalmente non negativa del gruppo $G_{\ge 0}$ (specificamente il suo contenimento nelle orbite aperte) che evita la teoria delle basi canoniche di Lusztig, basandosi invece sulle relazioni di scambio di rango uno e sulle funzioni regolari.
• Controllo Combinatorio: Si dimostra che la stratificazione dello spazio simmetrico è controllata dalla stessa combinatoria (strati di Richardson proiettati) che governa le varietà di flag parziali, mediata da un isomorfismo di reticolo $\phi: P \to Q^{opp}$.

Il lavoro non propone nuove applicazioni sperimentali o direzioni future oltre l'immediato framework matematico della positività totale, delle strutture cluster e della geometria di Poisson. Esso si pone come un'estensione fondamentale delle teorie esistenti al contesto degli spazi simmetrici.