Iwahori-Matsumoto-Präsentation für Module von Iwahori-fixierten Funktionen auf symmetrischen Räumen

Grundlegende Informationen

• Papier-ID: 2406.16070
• Titel: Iwahori Matsumoto presentation for modules of Iwahori fixed functions on symmetric spaces
• Autor: Guy Shtotland
• Klassifikation: math.RT (Mathematik - Darstellungstheorie)
• Veröffentlichungszeitpunkt: Juni 2024 (arXiv-Preprint, überarbeitet Januar 2025)
• Papierlink: https://arxiv.org/abs/2406.16070

Zusammenfassung

Dieses Papier untersucht den Raum glatter Funktionen $S(X)^I$ auf symmetrischen Räumen $X=G/H$, die unter der Wirkung der Iwahori-Untergruppe $I$ invariant sind, und betrachtet ihn als Modul über der Iwahori-Hecke-Algebra $\mathcal{H}(G,I)$ der $p$-adischen Gruppe $G$. Der Artikel gibt eine Beschreibung dieses Moduls und verallgemeinert die klassische Beschreibung von Iwahori und Matsumoto der $\mathcal{H}(G,I)$.

Forschungshintergrund und Motivation

Kernprobleme

1. Grundlegende Probleme in der relativen Darstellungstheorie: Untersuchung von $H$-ausgezeichneten Darstellungen, d.h. glatter Darstellungen $\pi$ von $G$ mit $\text{Hom}_H(\pi,\mathbb{C}) \neq 0$
2. Modulstruktur von Iwahori-fixierten Vektoren: Durch Frobenius-Reziprozität ist die Untersuchung von $H$-ausgezeichneten irreduziblen Darstellungen äquivalent zur Untersuchung von Quotienten des $G$-Moduls $S(X)$, wobei $S(X)$ der Raum lokal konstanter kompakt unterstützter Funktionen auf $X$ ist

Forschungsbedeutung

• Die Iwahori-Untergruppe $I$ zerlegt die Kategorie glatter Darstellungen $M(G)$, wobei Darstellungen, die von $I$-fixierten Vektoren erzeugt werden, den Hauptblock bilden
• Diese Kategorie ist äquivalent zur Kategorie endlichdimensionaler $H(G,I)$-Module, wobei die Äquivalenz durch $V \mapsto V^I$ gegeben ist
• Die Beschreibung von $S(X)^I$ als $H(G,I)$-Modul ist ein Schlüsselschritt bei der Untersuchung glatter $H$-ausgezeichneter Darstellungen

Einschränkungen bestehender Methoden

• Die klassische Iwahori-Matsumoto-Beschreibung gilt nur für $H(G,I)$ selbst
• Es fehlt eine systematische Beschreibung des Funktionenmoduls $S(X)^I$ auf symmetrischen Räumen
• Neue geometrische und kombinatorische Methoden sind erforderlich, um Symmetriebeschränkungen zu behandeln

Kernbeiträge

1. Konstruktion der Wirkung der affinen Weyl-Gruppe auf $I\backslash X$: Beweis, dass diese Wirkung endlich viele Bahnen hat
2. Vollständige Klassifikation der $I$-Bahnen: Etablierung einer natürlichen Bijektion zwischen $I\backslash X$ und $\bigcup_{T \in \mathcal{A}} W^H_{\text{aff}}(T)$
3. Verallgemeinerung der Iwahori-Matsumoto-Relationen: Angabe von Wirkungsformeln für Generatoren $T_s$ im Fall $l_\sigma(s \times x) \neq l_\sigma(x)$
4. Vollständige Beschreibung des gleichlängigen Falls: Angabe vollständiger Strukturkonstantenformeln für den komplexen Fall $l_\sigma(s \times x) = l_\sigma(x)$
5. Konstruktion eines universellen Moduls: Konstruktion des Moduls $M_t$ über der universellen Iwahori-Hecke-Algebra, das sich auf $S(X)^I$ spezialisiert, wenn $t=q$

Methodische Details

Aufgabendefinition

Untersuchung der Struktur des Raums $S(X)^I$ von Iwahori-fixierten Funktionen auf dem symmetrischen Raum $X = G/H$ als Modul über der Iwahori-Hecke-Algebra $H(G,I)$, wobei:

• $G$ eine zusammenhängende reduktive Gruppe über einem $p$-adischen Körper $F$ ist
• $H = G^\sigma$ die Fixpunktgruppe einer algebraischen Involution $\sigma: G \to G$ ist
• $I$ eine Iwahori-Untergruppe von $G$ ist

Kerngeometrische Konstruktion

1. Bahnklassifikation

Satz: Es existiert eine natürliche Bijektion zwischen $I\backslash X$ und $\bigcup_{T \in \mathcal{A}} W^H_{\text{aff}}(T)$, wobei:

• $\mathcal{A} = T_\sigma/H$ die Menge der Repräsentanten von $H$-Bahnen von $\sigma$-stabilen maximalen Tori ist
• $W^H_{\text{aff}}(T) = W_{\text{aff}}(T)/W_{H,\text{aff}}(T)$

2. Wirkung der affinen Weyl-Gruppe

Die affine Weyl-Gruppe $W_{\text{aff}}$ wirkt auf $I\backslash X$ durch die obige Bijektion definiert als $w \times x$, wobei diese Wirkung auf jedem $W^H_{\text{aff}}(T)$ separat erfolgt.

3. Längenfunktion

Definition der Längenfunktion $l_\sigma: I\backslash X \to \mathbb{N}$: $l_\sigma(C) := d(C, \sigma(C))$ wobei $d$ der Abstand zwischen Kammern im Gebäude ist.

Technische Innovationen

1. Eindeutigkeit von $\sigma$-stabilen Apartments

Schlüsselsatz: Jede Kammer ist in einem $\sigma$-stabilen Apartment enthalten, und dieses Apartment ist eindeutig bis auf Konjugation durch $H$-Elemente, die die feste Kammer stabilisieren.

2. Geometrische Interpretation der Strukturkonstanten

Durch Gebäudegeometrie wird die Berechnung der Hecke-Algebra-Wirkung auf folgende Gleichung reduziert: $(T_s + 1)1_x = \gamma_{f,g} D_{f,o}$ wobei $\gamma_{f,g}$ die Größe einer bestimmten $H$-Bahn ist und $f = gC \cap gsC$.

3. Reduktion auf den halbeinfachen Rang-1-Fall

Für den komplexen gleichlängigen Fall $l_\sigma(s \times x) = l_\sigma(x)$ wird das Problem durch Reduktion des Quotientenschemas der parabolischen Gruppe auf die Berechnung von Bahnen der symmetrischen Untergruppe einer halbeinfachen Rang-1-Gruppe über endlichen Körpern auf der Flaggenmannigfaltigkeit transformiert.

Hauptergebnisse

1. Iwahori-Matsumoto-Typ-Formeln

Satz: Sei $x \in I\backslash G/H$ und $s \in \tilde{\Delta}$ eine einfache Reflexion, dann:

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

2. Vollständige Beschreibung des gleichlängigen Falls

Satz: Falls $l_\sigma(x) = l_\sigma(s \times x)$, dann: $\gamma_{f,g} = \frac{q-1}{n_{\max}} \delta_{x,\max} + \frac{2}{n_{\min}} \delta_{x,\min}$ wobei $n_{\max}, n_{\min} \in \{1,2\}$ die Anzahl der Bahnen mit maximaler/minimaler $l_\sigma$-Länge im Träger sind.

3. Endliche Erzeugung

Satz: $S(X)^I$ ist ein endlich erzeugter Modul über $H(G,I)$.

4. Mögliche Strukturkonstanten

Korollar: Die möglichen Werte der Strukturkonstanten $\gamma_{f,g}$ sind: $1, 2, \frac{q-1}{2}, q-1, q, q+1, \frac{q+1}{2}$.

Konkrete Beispiele

Beispiel 1: $G = \text{SL}_2, H = T$ (diagonale Tori)

• Es existieren 3 $T$-Bahnen von $\sigma$-stabilen Apartments
• $I$-Bahnen entsprechen $W_{\text{aff}} \sqcup W_{\text{aff}} \sqcup W_{\text{aff}}/T^0$
• Längenfunktion: $l_\sigma(z_0) = l_\sigma(z_1) = 0$, $l_\sigma(x_w) = l_\sigma(y_w) = 2\lfloor l(w)/2 \rfloor + 1$

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

• Eindeutige $\sigma$-stabile Apartment-Bahn
• $I$-Bahnen entsprechen antisymmetrischen Matrizen in $W_{\text{aff}}$
• Wirkungsformel: $w \times x = wxw^t$
• Längenfunktion: $l_\sigma(x) = l(x) - 1$

Verwandte Arbeiten

Historische Entwicklung

1. Klassische Iwahori-Matsumoto-Theorie: Gibt Generatoren und Relationen von $H(G,I)$
2. Cartan-Zerlegung symmetrischer Räume: Delorme-Sécherre und andere untersuchten $K_0$-Bahnen (wobei $K_0$ die maximale kompakte Untergruppe ist)
3. Kugelflächentheorie: Hironaka, Sakellaridis und andere untersuchten die Struktur von $S(X)^{K_0}$ als $H(G,K_0)$-Modul

Innovationen dieses Papiers

• Erste systematische Untersuchung des Funktionenmoduls symmetrischer Räume auf der Iwahori-Ebene
• Einführung neuer Methoden basierend auf Gebäudegeometrie
• Etablierung tiefgreifender Verbindungen zwischen $p$-adischer Geometrie und algebraischer Geometrie über endlichen Körpern

Schlussfolgerungen und Diskussion

Hauptschlussfolgerungen

1. Vollständige Beschreibung der Modulstruktur von Iwahori-fixierten Funktionen auf symmetrischen Räumen
2. Verallgemeinerung der klassischen Iwahori-Matsumoto-Theorie auf den relativen Fall
3. Etablierung einer Brücke zwischen $p$-adischer Geometrie und algebraischer Geometrie über endlichen Körpern

Einschränkungen

1. Erfordert Restcharakteristik ungleich 2
2. Konzentriert sich hauptsächlich auf gespaltene Gruppen
3. Formeln für den gleichlängigen Fall sind relativ komplex

Zukünftige Richtungen

1. Untersuchung der Modulstruktur für minimale Rang-Symmetrie-Räume
2. Anwendung auf Fragen der Ausgezeichnetheit von Steinberg-Darstellungen
3. Verallgemeinerung auf allgemeinere sphärische Varietäten

Tiefgreifende Bewertung

Stärken

1. Theoretische Tiefe: Geschickte Kombination von Gebäudetheorie, Hecke-Algebren und algebraischer Geometrie
2. Technische Innovation: Einführung der Theorie $\sigma$-stabiler Apartments und Reduktionstechniken
3. Vollständigkeit: Vollständige Beschreibung aller Fälle, einschließlich des schwierigen gleichlängigen Falls
4. Geometrische Intuition: Umwandlung algebraischer Berechnungen in geometrische Probleme für verbesserte Verständlichkeit

Schwächen

1. Technische Komplexität: Die Behandlung des gleichlängigen Falls ist erheblich technisch
2. Anwendungsbereich: Zahlreiche Einschränkungen bezüglich Gruppen und Involutionen
3. Rechenkomplexität: Die tatsächliche Berechnung von Strukturkonstanten erfordert umfangreiche geometrische Informationen

Einflussfähigkeit

1. Theoretischer Beitrag: Bietet neue Werkzeuge und Perspektiven für die relative Darstellungstheorie
2. Methodologie: Gebäudegeometrie-Methoden könnten auf andere relative Fälle anwendbar sein
3. Anwendungsperspektiven: Bietet Grundlagen für die Untersuchung ausgezeichneter Darstellungen

Anwendungsszenarien

• Untersuchung der relativen Darstellungstheorie $p$-adischer Gruppen
• Harmonische Analyse auf symmetrischen Räumen
• Modultheorie von Hecke-Algebren
• Anwendungen der Gebäudetheorie

Literaturverzeichnis

Dieses Papier bezieht sich hauptsächlich auf klassische Arbeiten von Iwahori-Matsumoto IM65, die Theorie symmetrischer Räume von Delorme-Sécherre DS11 sowie die Klassifikationstheorie von Involutionen von Helminck-Wang HW93 und andere wichtige Literatur.