Presentazione di Iwahori Matsumoto per moduli di funzioni Iwahori fissate su spazi simmetrici

Informazioni Fondamentali

• ID Articolo: 2406.16070
• Titolo: Iwahori Matsumoto presentation for modules of Iwahori fixed functions on symmetric spaces
• Autore: Guy Shtotland
• Classificazione: math.RT (Matematica - Teoria della Rappresentazione)
• Data di Pubblicazione: Giugno 2024 (preprint arXiv, rivisto gennaio 2025)
• Link Articolo: https://arxiv.org/abs/2406.16070

Riassunto

Questo articolo studia lo spazio delle funzioni lisce $S(X)^I$ su spazi simmetrici $X=G/H$, invarianti sotto l'azione del sottogruppo di Iwahori $I$, considerandolo come modulo sull'algebra di Hecke di Iwahori $\mathcal{H}(G,I)$ del gruppo $p$-adico $G$. L'articolo fornisce una descrizione di questo modulo, generalizzando la descrizione classica di Iwahori e Matsumoto di $\mathcal{H}(G,I)$.

Contesto e Motivazione della Ricerca

Problemi Fondamentali

1. Problemi fondamentali nella teoria della rappresentazione relativa: Studio delle rappresentazioni $H$-distinte, cioè delle rappresentazioni lisce $\pi$ di $G$ che soddisfano $\text{Hom}_H(\pi,\mathbb{C}) \neq 0$
2. Struttura di modulo dei vettori fissi di Iwahori: Attraverso la reciprocità di Frobenius, lo studio delle rappresentazioni irriducibili $H$-distinte è equivalente allo studio dei quozienti del $G$-modulo $S(X)$, dove $S(X)$ è lo spazio delle funzioni localmente costanti a supporto compatto su $X$

Importanza della Ricerca

• Il sottogruppo di Iwahori $I$ decompone la categoria delle rappresentazioni lisce $M(G)$, dove le rappresentazioni generate da vettori fissi di $I$ costituiscono il blocco principale (principal block)
• Questa categoria è equivalente alla categoria dei moduli di dimensione finita su $H(G,I)$, con equivalenza data da $V \mapsto V^I$
• La descrizione di $S(X)^I$ come modulo su $H(G,I)$ è un passo cruciale nello studio delle rappresentazioni lisce $H$-distinte

Limitazioni dei Metodi Esistenti

• La descrizione classica di Iwahori-Matsumoto si applica solo a $H(G,I)$ stesso
• Manca una descrizione sistematica del modulo di funzioni $S(X)^I$ su spazi simmetrici
• Sono necessari nuovi metodi geometrici e combinatori per gestire i vincoli di simmetria

Contributi Fondamentali

1. Costruzione dell'azione del gruppo di Weyl affine su $I\backslash X$: Dimostrazione che questa azione possiede un numero finito di orbite
2. Classificazione completa delle orbite di $I$: Stabilimento di una biiezione naturale tra $I\backslash X$ e $\bigcup_{T \in \mathcal{A}} W^H_{\text{aff}}(T)$
3. Generalizzazione delle relazioni di Iwahori-Matsumoto: Fornimento di formule per l'azione dei generatori $T_s$ nel caso $l_\sigma(s \times x) \neq l_\sigma(x)$
4. Descrizione completa del caso di lunghezza uguale: Fornimento di formule complete per le costanti di struttura nel caso complesso $l_\sigma(s \times x) = l_\sigma(x)$
5. Costruzione di un modulo universale: Costruzione del modulo $M_t$ sull'algebra di Hecke di Iwahori universale, che si specializza a $S(X)^I$ quando $t=q$

Dettagli dei Metodi

Definizione del Compito

Studio della struttura del modulo $S(X)^I$ su $H(G,I)$, dove:

• $G$ è un gruppo riduttivo connesso su un campo $p$-adico $F$
• $H = G^\sigma$ è il gruppo dei punti fissi di un'involuzione algebrica $\sigma: G \to G$
• $I$ è un sottogruppo di Iwahori di $G$

Costruzioni Geometriche Fondamentali

1. Classificazione delle Orbite

Teorema: Esiste una biiezione naturale tra $I\backslash X$ e $\bigcup_{T \in \mathcal{A}} W^H_{\text{aff}}(T)$, dove:

• $\mathcal{A} = T_\sigma/H$ è l'insieme dei rappresentanti delle orbite di $H$ di tori massimali $\sigma$-stabili
• $W^H_{\text{aff}}(T) = W_{\text{aff}}(T)/W_{H,\text{aff}}(T)$

2. Azione del Gruppo di Weyl Affine

Attraverso la biiezione sopra, si definisce l'azione del gruppo di Weyl affine $W_{\text{aff}}$ su $I\backslash X$ mediante $w \times x$, dove l'azione avviene separatamente su ogni $W^H_{\text{aff}}(T)$.

3. Funzione di Lunghezza

Definizione della funzione di lunghezza $l_\sigma: I\backslash X \to \mathbb{N}$: $l_\sigma(C) := d(C, \sigma(C))$ dove $d$ è la distanza tra camere nell'edificio.

Punti di Innovazione Tecnica

1. Unicità dell'Apartment $\sigma$-Stabile

Proposizione Chiave: Ogni camera è contenuta in qualche apartment $\sigma$-stabile, e questo apartment è unico a meno di coniugazione per elementi di $H$ che fissano la camera data.

2. Interpretazione Geometrica delle Costanti di Struttura

Attraverso la geometria dell'edificio, il calcolo dell'azione dell'algebra di Hecke si riduce a: $(T_s + 1)1_x = \gamma_{f,g} D_{f,o}$ dove $\gamma_{f,g}$ è la dimensione di un'orbita di $H$ specifica, e $f = gC \cap gsC$.

3. Riduzione al Caso di Rango Semisemplice 1

Per il caso complesso di lunghezza uguale $l_\sigma(s \times x) = l_\sigma(x)$, il problema si riduce al calcolo delle orbite del sottogruppo simmetrico su varietà di bandiere di gruppi di rango semisemplice 1 su campi finiti, attraverso la riduzione del quoziente dello schema di gruppo paraborico.

Risultati Principali

1. Formule di Tipo Iwahori-Matsumoto

Teorema: Sia $x \in I\backslash G/H$, $s \in \tilde{\Delta}$ una riflessione semplice, allora:

• Se $l_\sigma(s \times x) > l_\sigma(x)$, allora $T_s 1_x = 1_{s \times x}$
• Se $l_\sigma(s \times x) < l_\sigma(x)$, allora $T_s 1_x = (q-1)1_x + q1_{s \times x}$

2. Descrizione Completa del Caso di Lunghezza Uguale

Teorema: Se $l_\sigma(x) = l_\sigma(s \times x)$, allora: $\gamma_{f,g} = \frac{q-1}{n_{\max}} \delta_{x,\max} + \frac{2}{n_{\min}} \delta_{x,\min}$ dove $n_{\max}, n_{\min} \in \{1,2\}$ sono il numero di orbite di lunghezza massima/minima nel supporto.

3. Finitezza della Generazione

Teorema: $S(X)^I$ è un modulo finitamente generato su $H(G,I)$.

4. Possibili Costanti di Struttura

Corollario: I possibili valori delle costanti di struttura $\gamma_{f,g}$ sono: $1, 2, \frac{q-1}{2}, q-1, q, q+1, \frac{q+1}{2}$.

Esempi Concreti

Esempio 1: $G = \text{SL}_2, H = T$ (Toro Diagonale)

• Esistono 3 orbite di $T$ di apartment $\sigma$-stabili
• Le orbite di $I$ corrispondono a $W_{\text{aff}} \sqcup W_{\text{aff}} \sqcup W_{\text{aff}}/T^0$
• Funzione di lunghezza: $l_\sigma(z_0) = l_\sigma(z_1) = 0$, $l_\sigma(x_w) = l_\sigma(y_w) = 2\lfloor l(w)/2 \rfloor + 1$

Esempio 2: $G = \text{SL}_{2n}, H = \text{Sp}_{2n}$

• Orbita unica di apartment $\sigma$-stabili
• Le orbite di $I$ corrispondono a matrici antisimmetriche in $W_{\text{aff}}$
• Formula di azione: $w \times x = wxw^t$
• Funzione di lunghezza: $l_\sigma(x) = l(x) - 1$

Lavori Correlati

Sviluppo Storico

1. Teoria classica di Iwahori-Matsumoto: Fornisce generatori e relazioni per $H(G,I)$
2. Decomposizione di Cartan per spazi simmetrici: Delorme-Sécherre e altri hanno studiato le orbite di $K_0$ (dove $K_0$ è il massimo sottogruppo compatto)
3. Teoria delle funzioni sferiche: Hironaka, Sakellaridis e altri hanno studiato la struttura di $S(X)^{K_0}$ come modulo su $H(G,K_0)$

Innovazioni di Questo Articolo

• Primo studio sistematico del modulo di funzioni su spazi simmetrici a livello di Iwahori
• Introduzione di nuovi metodi basati sulla geometria dell'edificio
• Stabilimento di profonde connessioni tra la geometria $p$-adica e la geometria algebrica su campi finiti

Conclusioni e Discussione

Conclusioni Principali

1. Descrizione completa della struttura di modulo delle funzioni Iwahori fissate su spazi simmetrici
2. Generalizzazione della teoria classica di Iwahori-Matsumoto al caso relativo
3. Stabilimento di un ponte tra la geometria $p$-adica e la geometria algebrica su campi finiti

Limitazioni

1. Richiede che la caratteristica residua non sia 2
2. Considera principalmente il caso di gruppi scindibili
3. Le formule nel caso di lunghezza uguale sono relativamente complesse

Direzioni Future

1. Studio della struttura di modulo per spazi simmetrici di rango minimo
2. Applicazioni alla questione della proprietà distinguished della rappresentazione di Steinberg
3. Generalizzazione a varietà sferiche più generali

Valutazione Approfondita

Punti di Forza

1. Profondità Teorica: Combinazione ingegnosa della teoria dell'edificio, dell'algebra di Hecke e della geometria algebrica
2. Innovazione Tecnica: Introduzione della teoria dell'apartment $\sigma$-stabile e tecniche di riduzione
3. Completezza: Fornimento di descrizioni complete per tutti i casi, incluso il difficile caso di lunghezza uguale
4. Intuizione Geometrica: Trasformazione dei calcoli algebrici in problemi geometrici, aumentando la comprensione

Carenze

1. Complessità Tecnica: Il trattamento del caso di lunghezza uguale è piuttosto tecnico
2. Ambito di Applicabilità: Numerose condizioni restrittive su gruppi e involuzioni
3. Complessità Computazionale: Il calcolo effettivo delle costanti di struttura richiede informazioni geometriche sostanziali

Impatto

1. Contributo Teorico: Fornimento di nuovi strumenti e prospettive per la teoria della rappresentazione relativa
2. Metodologia: I metodi della geometria dell'edificio potrebbero applicarsi ad altri casi relativi
3. Prospettive di Applicazione: Fornimento di fondamenti per lo studio delle rappresentazioni distinguished

Scenari di Applicazione

• Ricerca nella teoria della rappresentazione relativa di gruppi $p$-adici
• Analisi armonica su spazi simmetrici
• Teoria dei moduli dell'algebra di Hecke
• Applicazioni della teoria dell'edificio

Bibliografia

Questo articolo si basa principalmente sui lavori classici di Iwahori-Matsumoto IM65, sulla teoria degli spazi simmetrici di Delorme-Sécherre DS11, e sulla teoria della classificazione delle involuzioni di Helminck-Wang HW93 e altri riferimenti importanti.