2025-11-10T03:16:02.678091

Explicit realization of bounded modules for symplectic Lie algebras: spinor versus oscillator

Futorny, Grantcharov, Ramirez et al.

We provide an explicit combinatorial realization of all simple and injective (hence, and projective) modules in the category of bounded $\mathfrak{sp}(2n)$-modules. This realization is defined via a natural tableaux correspondence between spinor-type modules of $\mathfrak{so}(2n)$ and oscillator-type modules of $\mathfrak{sp}(2n)$. In particular, we show that, in contrast with the $A$-type case, the generic and bounded $\mathfrak{sp}(2n)$-modules admit an analog of the Gelfand-Graev continuation from finite-dimensional representations.

academic

Explizite Realisierung beschränkter Module für symplektische Lie-Algebren: Spinor versus Oszillator

Grundinformationen

Paper-ID: 2406.15929
Titel: Explicit realization of bounded modules for symplectic Lie algebras: spinor versus oscillator
Autoren: Vyacheslav Futorny, Dimitar Grantcharov, Luis Enrique Ramirez, Pablo Zadunaisky
Klassifikation: math.RT (Darstellungstheorie)
Veröffentlichungsdatum: Juni 2024 (arXiv v2: 2. Januar 2025)
Paper-Link: https://arxiv.org/abs/2406.15929

Zusammenfassung

Dieses Paper liefert explizite kombinatorische Realisierungen aller einfachen Module und injektiven Module (und daher auch projektiven Module) in der Kategorie der beschränkten $\mathfrak{sp}(2n)$ -Module. Diese Realisierung wird durch eine natürliche Tabellenkorrespondenz zwischen Spinor-Modulen von $\mathfrak{so}(2n)$ und Oszillator-Modulen von $\mathfrak{sp}(2n)$ definiert. Insbesondere zeigen die Autoren, dass im Gegensatz zum A-Typ allgemeine und beschränkte $\mathfrak{sp}(2n)$ -Module Analoga von Gelfand-Graev-Erweiterungen aus endlichdimensionalen Darstellungen zulassen.

Forschungshintergrund und Motivation

Problemhintergrund

Entwicklung der Gelfand-Tsetlin-Modultheorie: In den letzten Jahren hat die Gelfand-Tsetlin-Modultheorie aufgrund ihrer Verbindungen zu diagrammatischen KLRW-Algebren und Coulomb-Branchen große Aufmerksamkeit erhalten. Im Fall von $\mathfrak{gl}(n)$ wurde eine vollständige Parametrisierung aller einfachen Gelfand-Tsetlin-Module etabliert.
Komplexität des symplektischen Falls: Für die symplektische Lie-Algebra $\mathfrak{sp}(2n)$ ist die Situation komplexer, da die Vereinigung der Zentren von $U(\mathfrak{sp}(2k))$ keine maximale Unteralgebra bildet und "mittlere" Elemente hinzugefügt werden müssen, um Gelfand-Tsetlin-artige Unteralgebren zu definieren.
Fehlende explizite Formeln: Obwohl bekannt ist, dass die Wirkung von $GT(\mathfrak{sp}(2n))$ auf jedem einfachen endlichdimensionalen $\mathfrak{sp}(2n)$ -Modul diagonalisierbar mit einfachem Spektrum ist, waren die expliziten Wirkungsformeln der Erzeuger auf der Tabellenbasis bislang unbekannt.

Forschungsmotivation

Etablierung der Gelfand-Tsetlin-Theorie im symplektischen Fall: Als erster Schritt werden $\mathfrak{sp}(2n)$ -Module mit Gelfand-Tsetlin-Tabellenrealisierung untersucht.
Erforschung der Spinor-Oszillator-Korrespondenz: Klärung der mysteriösen Verbindung zwischen Spinor-Modulen von $\mathfrak{so}(2n)$ und Oszillator-Modulen von $\mathfrak{sp}(2n)$ .
Gelfand-Graev-Erweiterungsprinzip: Suche nach Modulen, die das Gelfand-Graev-Erweiterungsprinzip erfüllen, d.h. Module mit Tabellenbasis, auf denen die Wirkung der Erzeuger durch klassische Gelfand-Tsetlin-Formeln ausgedrückt wird.

Kernbeiträge

Explizite Tabellenrealisierung: Bereitstellung expliziter Tabellenrealisierungen aller einfachen Module und unzerlegbarer injektiver (projektiver) Module in der Kategorie der beschränkten $\mathfrak{sp}(2n)$ -Module.
Spinor-Oszillator-Korrespondenz: Etablierung einer transparenten Korrespondenz zwischen halbzahligen (Spinor-Typ) endlichdimensionalen Modulen von $\mathfrak{so}(2n)$ und unendlichdimensionalen beschränkten (Oszillator-Typ) Modulen von $\mathfrak{sp}(2n)$ .
Gelfand-Graev-Erweiterung: Beweis, dass im Gegensatz zum A-Typ allgemeine und beschränkte $\mathfrak{sp}(2n)$ -Module Gelfand-Graev-Erweiterungen zulassen.
Vollständige Klassifikation: Bereitstellung einer vollständigen Klassifikation und expliziten Beschreibung aller unendlichdimensionalen einfachen beschränkten $\mathfrak{sp}(2n)$ -Module.

\ell_{n1} & \ell_{n2} & \cdots & \ell_{nn} \\ \ell'_{n1} & \ell'_{n2} & \cdots & \ell'_{nn} \\ \ell_{n-1,1} & \ell_{n-1,2} & \cdots & \ell_{n-1,n-1} \\ \ell'_{n-1,1} & \ell'_{n-1,2} & \cdots & \ell'_{n-1,n-1} \\ \vdots & \vdots & \ddots & \vdots \\ \ell_{11} \\ \ell'_{11} \end{matrix}$$ #### C-Standard-Tabellen (Definition 2.7) Eine C-Typ-Tabelle $T(L)$ heißt C-standard, wenn ihre Elemente folgende Bedingungen erfüllen: - $-\frac{1}{2} \geq \ell'_{k1} \geq \ell_{k1} > \ell'_{k2} \geq \ell_{k2} > \cdots > \ell'_{kk} \geq \ell_{kk}$ - $-\frac{1}{2} \geq \ell'_{k1} \geq \ell_{k-1,1} > \ell'_{k2} \geq \ell_{k-1,2} > \cdots > \ell'_{kk}$ ### Beschränkte Tabellenmodule $V(\mu,\lambda)$ #### Definition (Definition 4.8) Gegeben $\mu = (\mu_1, \ldots, \mu_n) \in \mathbb{C}^n$ und $\lambda = (\lambda_1, \ldots, \lambda_n) \in (\frac{1}{2} + \mathbb{Z})^n$, definiere: 1. $\ell := \lambda + \rho_D + \frac{1}{2}$, d.h. $\ell_i := \lambda_i - i + \frac{3}{2}$ 2. C-Typ-Tabellenmenge: $$B(\mu,\lambda) := \{T(W) | T_{C\backslash D}(W) \in \mu + \mathbb{Z}^n, \text{ und } T_D(W) \in D^{\lambda}_{st}\}$$ 3. C-Vektorraum $V(\mu,\lambda)$ mit Basis $B(\mu,\lambda)$ #### Schlüsseleigenschaften - **Regularität** (Proposition 4.10): $B(\mu,\lambda)$ ist eine C-reguläre Tabellenmenge genau dann, wenn $\mu_i \notin \mathbb{Z}$ und $\lambda_i \in \frac{1}{2} + \mathbb{Z}$ - **Gewichtsformel** (Definition 4.12): Das C-Gewicht der Tabelle $T(L)$ ist $$\omega_k(L) := 2\sum_{i=1}^k \ell'_{ki} - \sum_{i=1}^k \ell_{ki} - \sum_{i=1}^{k-1} \ell_{k-1,i} + k - \frac{1}{2}$$ ### Modulstruktur-Theoreme #### Hauptstruktur-Theorem (Theorem 4.11) Der Raum $V(\mu,\lambda)$ besitzt eine $\mathfrak{sp}(2n)$-Modulstruktur, wobei die Wirkung der Erzeuger durch die Formeln (7-17) gegeben ist, und die Wirkung jedes $z \in Z(U(\mathfrak{sp}(2n)))$ durch Multiplikation mit $p_z(\lambda+1)$ gegeben ist. #### Träger und Gewichtsmultiplizitäten (Theorem 4.21) Für jedes $\gamma \in \text{Supp}(V(\mu,\lambda))$ gilt: $$\dim V(\mu,\lambda)_\gamma = \frac{1}{2^{n-1}} \dim L_D(\lambda)$$ ## Experimentelle Ergebnisse und theoretische Verifikation ### Trägerbeschreibung (Proposition 4.20) $$\text{Supp}(V(\mu,\lambda)) = 2\mu + \lambda + 1 + Q_C$$ wobei $Q_C$ das Wurzelgitter ist. ### Klassifikation von Subquotienten #### Submodul-Konstruktion (Definition 4.30) Für eine geeignete nichtleere Teilmenge $\Sigma \subseteq \text{Int}(2\mu)$ definiere: $$V(\mu,\lambda,\Sigma) = \left(\bigcap_{i \in \Sigma} V^+_i(\mu,\lambda)\right) \bigg/ \sum_{j \in \text{Int}(2\mu)\backslash\Sigma} \left(\bigcap_{k \in \Sigma \cup \{j\}} V^+_k(\mu,\lambda)\right)$$ #### Einfachheit und Klassifikation (Theorem 4.33) 1. Jeder unendlichdimensionale einfache beschränkte $\mathfrak{sp}(2n)$-Modul ist isomorph zu einem gewissen $V(\mu,\lambda,\Sigma)$ 2. $V(\mu,\lambda,\Sigma) \cong V(\mu',\lambda',\Sigma')$ genau dann, wenn $\Sigma = \Sigma'$ und bestimmte Bedingungen erfüllt sind ### Injektive Hülle (Corollary 4.35) $V(\mu,\lambda)$ ist die injektive Hülle von $V(\mu,\lambda,\text{Int}(2\mu))$ in der Kategorie der beschränkten $\mathfrak{sp}(2n)$-Module. ## Verwandte Arbeiten ### Gelfand-Tsetlin-Modultheorie - **A-Typ-Fall**: Im Fall von $\mathfrak{gl}(n)$ wurde eine vollständige Parametrisierungstheorie etabliert - **C-Typ-Herausforderung**: Molevs Arbeit etablierte Tabellenrealisierungen im endlichdimensionalen Fall, aber es fehlten explizite Formeln ### Beschränkte Modultheorie - **Klassifikationsergebnisse**: Mathieus Klassifikation einfacher beschränkter Module, Grantcharov-Serganovas Beschreibung injektiver Module - **Grad-1-Module**: Britten-Lemires vollständige Beschreibung von Grad-1-beschränkten Modulen ### Spinor-Oszillator-Korrespondenz - **Klassischer Fall**: Im Fall von Gewichtsmultiplizität 1 wurde die Korrespondenz zwischen Spinor-Darstellungen und der Shale-Weil-Darstellung bereits verstanden - **Allgemeiner Fall**: Dieses Paper verallgemeinert diese Korrespondenz auf den Fall allgemeiner beschränkter Module ## Schlussfolgerungen und Diskussion ### Hauptschlussfolgerungen 1. **Vollständige Realisierung**: Erstmalige Bereitstellung expliziter Tabellenrealisierungen aller beschränkten $\mathfrak{sp}(2n)$-Module 2. **Tiefe Korrespondenz**: Enthüllung der tieferen Verbindung zwischen Spinor-Modulen von $\mathfrak{so}(2n)$ und Oszillator-Modulen von $\mathfrak{sp}(2n)$ 3. **Erweiterungsprinzip**: Beweis der Anwendbarkeit des Gelfand-Graev-Erweiterungsprinzips im symplektischen Fall ### Theoretische Bedeutung Diese Arbeit bietet neue Werkzeuge und Perspektiven für die Darstellungstheorie symplektischer Lie-Algebren, insbesondere: - Etablierung der Grundlagen der Gelfand-Tsetlin-Theorie im symplektischen Fall - Bereitstellung konkreter Methoden zur Berechnung beschränkter Module - Eröffnung neuer Wege zum Verständnis von Verbindungen zwischen verschiedenen Lie-Algebra-Typen ### Zukünftige Richtungen 1. **Verallgemeinerung auf andere Typen**: Erweiterung der Methoden auf andere klassische Lie-Algebren 2. **Vertex-Algebra-Anwendungen**: Anwendungen in der Vertex-Algebra-Theorie 3. **Geometrische Realisierung**: Suche nach geometrischen Realisierungen dieser Module ## Tiefgreifende Bewertung ### Stärken 1. **Theoretische Vollständigkeit**: Bereitstellung einer vollständigen Klassifikation und expliziten Konstruktion beschränkter $\mathfrak{sp}(2n)$-Module 2. **Methodische Innovation**: Etablierung neuer Konstruktionsmethoden durch die Spinor-Oszillator-Korrespondenz 3. **Technische Raffinesse**: Elegante Beweistechniken, besonders bei Regularitätsbedingungen und Gewichtsberechnungen 4. **Anwendungswert**: Bereitstellung konkreter, nutzbarer Werkzeuge für verwandte Bereiche ### Technische Beiträge 1. **Tabellenkorrespondenz**: Etablierung präziser Korrespondenz zwischen C-Typ- und D-Typ-Tabellen 2. **Gewichtsformeln**: Explizite Beschreibung von Gewichtsräumen und Dimensionsformeln 3. **Subquotienten-Konstruktion**: Einheitliche Konstruktion aller einfachen Subquotienten ### Auswirkungen Diese Arbeit wird voraussichtlich wichtige Auswirkungen auf folgende Bereiche haben: - Darstellungstheorie von Lie-Algebren - Gelfand-Tsetlin-Modultheorie - Vertex-Algebra-Theorie - Unendlichdimensionale Darstellungen in der mathematischen Physik ### Anwendungsszenarien Diese Theorie ist besonders geeignet für: - Untersuchung unendlichdimensionaler Darstellungen symplektischer Lie-Algebren - Konkrete Berechnungen beschränkter Gewichtsmodule - Mathematische Beschreibung verwandter physikalischer Modelle ## Literaturverzeichnis Dieses Paper zitiert wichtige Literatur des Feldes, einschließlich: - Molevs grundlegende Arbeiten zu Tabellenrealisierungen symplektischer und orthogonaler Lie-Algebren - Mathieus und Grantcharov-Serganovas Klassifikationstheorie beschränkter Module - Jüngste Fortschritte von Futorny und anderen zur Gelfand-Tsetlin-Modultheorie --- Dieses Paper leistet wichtige Beiträge zur Darstellungstheorie symplektischer Lie-Algebren. Es löst nicht nur langfristig bestehende technische Probleme, sondern bietet auch neue Perspektiven zum Verständnis tieferer Verbindungen zwischen verschiedenen Typen von Lie-Algebren. Seine Methoden und Ergebnisse sind von großer Bedeutung für die Förderung der Entwicklung der Theorie unendlichdimensionaler Darstellungen.