Reduction rules for Demazure modules

Titolo: Regole di Riduzione per i Moduli di Demazure

1. Il Problema

Il lavoro si inserisce nel contesto della teoria delle rappresentazioni dei gruppi algebrici riduttivi complessi. Il problema centrale affrontato è quello delle regole di diramazione (branching rules), ovvero la comprensione di come le rappresentazioni di un gruppo $G$ si restringano a un sottogruppo $G' \subset G$.
Nello specifico, gli autori si concentrano sui moduli di Demazure $V^w_\lambda$, che sono sottomoduli di rappresentazioni irriducibili di peso massimo $V_\lambda$, generati da vettori di peso estremale. L'obiettivo è fornire una regola di riduzione per le molteplicità dei pesi in questi moduli.
La domanda specifica è: dato un peso $\mu$ che giace su una faccia specifica del poliedro dei pesi associato al modulo di Demazure $P^w_\lambda$, è possibile ridurre il calcolo della dimensione dello spazio di peso $\dim V^w_\lambda(\mu)$ a un problema analogo, ma più semplice, relativo a un modulo di Demazure di un sottogruppo di Levi $L$ di $G$?

2. Metodologia

Gli autori combinano tecniche di geometria algebrica, teoria dei gruppi di Weyl e geometria convessa. L'approccio si articola in due fasi principali, ispirate da risultati precedenti su coefficienti di Littlewood-Richardson e poliedri di peso:

1. Geometria dei Poliedri e GIT:

   • Viene utilizzato il poliedro dei pesi di Demazure $P^w_\lambda$, definito come l'involucro convesso dei pesi del modulo $V^w_\lambda$.
   • Le facce di questo poliedro sono caratterizzate da disuguaglianze derivate dal criterio di Hilbert-Mumford nella Teoria Geometrica degli Invarianti (GIT).
   • Viene stabilita una corrispondenza tra le facce del poliedro $P^w_\lambda$ e i sottogruppi di Levi $L$ di $G$. In particolare, una faccia $F(v, \eta)$, determinata da un copeso dominante $\eta$ e un rappresentante di classe minima $v$, corrisponde a un poliedro di Demazure per un modulo di un Levi coniugato.

2. Dimostrazione in Due Stadi:
   La prova della regola di riduzione è costruita in due passaggi logici distinti per dimostrare l'uguaglianza:
   $$\dim V^w_\lambda(\mu) = \dim V^{w_L}_{\lambda_L}(\mu)$$
   dove $V^{w_L}_{\lambda_L}$ è un modulo di Demazure per un Borel $B_L$ di un sottogruppo di Levi $L$.

   • Fase 1 (Geometria Algebrica): Si utilizza un'immersione chiusa tra varietà di Schubert. Si costruisce un'inclusione tra la varietà di Schubert del Levi $X^L_{w_L}$ e una varietà di Schubert intermedia $X_q$ di $G$. Attraverso l'analisi dei fasci di linee e delle sezioni globali ($H^0$), si dimostra che le molteplicità dei pesi su una faccia specifica sono preservate quando si passa dal modulo del Levi al modulo intermedio $V^q_\lambda$. Questo passaggio si basa su un'analisi delle sezioni invarianti rispetto al toro e sull'uso di successioni esatte di fasci.
   • Fase 2 (Geometria Convessa e Operatori di Demazure): Si dimostra che la molteplicità del peso $\mu$ nel modulo intermedio $V^q_\lambda$ è uguale a quella nel modulo originale $V^w_\lambda$. Questo viene ottenuto utilizzando gli operatori di Demazure ($D_i$) e le proprietà degli insiemi di inversione. Si mostra che, per pesi $\mu$ su una faccia specifica, l'azione degli operatori di Demazure non altera la molteplicità del peso quando si "scende" da $w$ a $q$ (dove $q$ è un elemento specifico dell'intervallo di Bruhat $[e, w]$).

3. Contributi Chiave e Risultati

Il risultato principale è formalizzato nel Teorema 3.8 (e nella sua versione sintetica nel Teorema 1.1):

• Condizione di Riduzione: Se un peso $\mu$ giace su una faccia $F(v, \eta)$ del poliedro $P^w_\lambda$, allora la sua molteplicità in $V^w_\lambda$ è esattamente uguale alla sua molteplicità in un modulo di Demazure $V^{w_L}_{\lambda_L}$ associato a un sottogruppo di Levi $L$.
• Definizione dei Parametri Ridotti:
  • $L = \dot{v} L_\eta \dot{v}^{-1}$ è il coniugato del Levi standard $L_\eta$ determinato da $\eta$.
  • $w_L$ e $\lambda_L$ sono elementi del gruppo di Weyl e pesi calcolati esplicitamente tramite operazioni di prodotto di Demazure e azione del gruppo di Weyl su $v$ e $\eta$.
  • $q$ è l'elemento unico in $[e, w]$ tale che $w^{-1} * v = q^{-1}v$ (dove $*$ è il prodotto di Demazure).
• Struttura delle Faccie: Viene dimostrato che le facce dei poliedri di Demazure sono esse stesse poliedri di Demazure per sottogruppi di Levi, generalizzando proprietà note per i poliedri di Bruhat.
• Esempi Espliciti: Il paper fornisce esempi dettagliati per il gruppo di tipo $B_3$ (Spin(7)), illustrando visivamente come i poliedri e le loro facce si relazionino, confermando la validità della regola di riduzione.

4. Significato e Impatto

• Semplificazione Computazionale: La regola permette di calcolare dimensioni di spazi di peso complessi (per gruppi di rango elevato) riducendoli a problemi su gruppi di rango inferiore (sottogruppi di Levi), che sono computazionalmente più gestibili.
• Unificazione Teorica: Il lavoro collega diverse aree della teoria delle rappresentazioni: la geometria delle varietà di Schubert, la teoria dei poliedri convessi (poliedri di Demazure) e la combinatoria dei gruppi di Weyl (prodotto di Demazure, ordine di Bruhat).
• Generalizzazione: Estende il concetto di "regole di riduzione" (già note per coefficienti di Littlewood-Richardson e molteplicità di tensori) al contesto specifico dei moduli di Demazure, fornendo un quadro unificato basato sulle facce dei poliedri di peso.
• Strumenti Nuovi: L'uso combinato di tecniche algebrico-geometriche (immersioni di varietà di Schubert) e argomenti puramente convessali offre un nuovo strumento metodologico per analizzare la struttura fine dei moduli di Demazure.

In sintesi, il paper risolve un problema aperto sulla struttura delle molteplicità dei pesi nei moduli di Demazure, fornendo una formula precisa e una prova rigorosa basata sulla geometria delle facce dei poliedri associati, con implicazioni significative per il calcolo effettivo in teoria delle rappresentazioni.