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

Realizzazione esplicita di moduli limitati per algebre di Lie simplettiche: spinore versus oscillatore

Informazioni Fondamentali

ID Articolo: 2406.15929
Titolo: Explicit realization of bounded modules for symplectic Lie algebras: spinor versus oscillator
Autori: Vyacheslav Futorny, Dimitar Grantcharov, Luis Enrique Ramirez, Pablo Zadunaisky
Classificazione: math.RT (Teoria della Rappresentazione)
Data di Pubblicazione: Giugno 2024 (arXiv v2: 2 gennaio 2025)
Link dell'Articolo: https://arxiv.org/abs/2406.15929

Riassunto

Questo articolo fornisce realizzazioni combinatorie esplicite di tutti i moduli semplici e iniettivi (e quindi anche proiettivi) nella categoria dei moduli limitati $\mathfrak{sp}(2n)$ . Questa realizzazione è definita attraverso una corrispondenza tabellare naturale tra moduli di tipo spinore di $\mathfrak{so}(2n)$ e moduli di tipo oscillatore di $\mathfrak{sp}(2n)$ . In particolare, gli autori dimostrano che, contrariamente al caso di tipo $A$ , i moduli $\mathfrak{sp}(2n)$ generali e limitati ammettono analoghi dell'estensione di Gelfand-Graev proveniente da rappresentazioni finite dimensionali.

Contesto di Ricerca e Motivazione

Sfondo del Problema

Sviluppo della Teoria dei Moduli di Gelfand-Tsetlin: Negli ultimi anni, la teoria dei moduli di Gelfand-Tsetlin ha ricevuto ampia attenzione a causa dei suoi collegamenti con le algebre KLRW diagrammatiche e i rami di Coulomb. Nel caso di $\mathfrak{gl}(n)$ , è stata stabilita una parametrizzazione completa di tutti i moduli di Gelfand-Tsetlin semplici.
Complessità del Caso Simplettico: Per l'algebra di Lie simplettica $\mathfrak{sp}(2n)$ , la situazione è più complessa poiché l'unione dei centri di $U(\mathfrak{sp}(2k))$ non costituisce una sottoalgebra massimale, richiedendo l'aggiunta di elementi "intermedi" per definire una sottoalgebra di tipo Gelfand-Tsetlin.
Assenza di Formule Esplicite: Sebbene sia noto che l'azione di $GT(\mathfrak{sp}(2n))$ su qualsiasi modulo $\mathfrak{sp}(2n)$ finito dimensionale semplice sia diagonalizzabile con spettro semplice, le formule esplicite per l'azione dei generatori sulla base tabellare rimangono sconosciute.

Motivazione della Ricerca

Stabilire la Teoria di Gelfand-Tsetlin nel Caso Simplettico: Come primo passo, studiare i moduli $\mathfrak{sp}(2n)$ con realizzazione tabellare di Gelfand-Tsetlin.
Esplorare la Corrispondenza Spinore-Oscillatore: Chiarire il misterioso collegamento tra moduli di tipo spinore di $\mathfrak{so}(2n)$ e moduli di tipo oscillatore di $\mathfrak{sp}(2n)$ .
Principio dell'Estensione di Gelfand-Graev: Cercare moduli che soddisfano il principio dell'estensione di Gelfand-Graev, cioè moduli con base tabellare la cui azione dei generatori è espressa dalle formule classiche di Gelfand-Tsetlin.

Contributi Principali

Realizzazione Tabellare Esplicita: Fornisce realizzazioni tabellari esplicite di tutti i moduli semplici e moduli iniettivi (proiettivi) indecomponibili nella categoria dei moduli limitati $\mathfrak{sp}(2n)$ .
Corrispondenza Spinore-Oscillatore: Stabilisce una corrispondenza trasparente tra moduli finito dimensionali semi-interi (di tipo spinore) di $\mathfrak{so}(2n)$ e moduli infinito dimensionali limitati (di tipo oscillatore) di $\mathfrak{sp}(2n)$ .
Estensione di Gelfand-Graev: Dimostra che, contrariamente al caso di tipo $A$ , i moduli $\mathfrak{sp}(2n)$ generali e limitati ammettono l'estensione di Gelfand-Graev.
Classificazione Completa: Fornisce una classificazione completa e una descrizione esplicita di tutti i moduli $\mathfrak{sp}(2n)$ semplici infinito dimensionali limitati.

\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}$$ #### Tabelle C-Standard (Definizione 2.7) Una tabella di tipo C $T(L)$ è detta C-standard se i suoi elementi soddisfano: - $-\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}$ ### Moduli Tabellari Limitati $V(\mu,\lambda)$ #### Definizione (Definizione 4.8) Dati $\mu = (\mu_1, \ldots, \mu_n) \in \mathbb{C}^n$ e $\lambda = (\lambda_1, \ldots, \lambda_n) \in (\frac{1}{2} + \mathbb{Z})^n$, si definisce: 1. $\ell := \lambda + \rho_D + \frac{1}{2}$, cioè $\ell_i := \lambda_i - i + \frac{3}{2}$ 2. L'insieme delle tabelle di tipo C: $$B(\mu,\lambda) := \{T(W) | T_{C\backslash D}(W) \in \mu + \mathbb{Z}^n, \text{ e } T_D(W) \in D^{\lambda}_{st}\}$$ 3. Lo spazio vettoriale C $V(\mu,\lambda)$ con base $B(\mu,\lambda)$ #### Proprietà Chiave - **Regolarità** (Proposizione 4.10): $B(\mu,\lambda)$ è un insieme di tabelle C-regolari se e solo se $\mu_i \notin \mathbb{Z}$ e $\lambda_i \in \frac{1}{2} + \mathbb{Z}$ - **Formula dei Pesi** (Definizione 4.12): Il C-peso della tabella $T(L)$ è $$\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}$$ ### Teoremi di Struttura dei Moduli #### Teorema Principale di Struttura (Teorema 4.11) Lo spazio $V(\mu,\lambda)$ possiede una struttura di modulo $\mathfrak{sp}(2n)$, l'azione dei generatori è data dalle formule (7-17), e l'azione di qualsiasi $z \in Z(U(\mathfrak{sp}(2n)))$ è data dalla moltiplicazione per $p_z(\lambda+1)$. #### Supporto e Molteplicità dei Pesi (Teorema 4.21) Per ogni $\gamma \in \text{Supp}(V(\mu,\lambda))$, si ha: $$\dim V(\mu,\lambda)_\gamma = \frac{1}{2^{n-1}} \dim L_D(\lambda)$$ ## Risultati Sperimentali e Verifica Teorica ### Descrizione del Supporto (Proposizione 4.20) $$\text{Supp}(V(\mu,\lambda)) = 2\mu + \lambda + 1 + Q_C$$ dove $Q_C$ è il reticolo delle radici. ### Classificazione dei Sottomoduli #### Costruzione di Sottomoduli (Definizione 4.30) Per un appropriato sottoinsieme non vuoto $\Sigma \subseteq \text{Int}(2\mu)$, si definisce: $$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)$$ #### Semplicità e Classificazione (Teorema 4.33) 1. Ogni modulo $\mathfrak{sp}(2n)$ semplice infinito dimensionale limitato è isomorfo a qualche $V(\mu,\lambda,\Sigma)$ 2. $V(\mu,\lambda,\Sigma) \cong V(\mu',\lambda',\Sigma')$ se e solo se $\Sigma = \Sigma'$ e sono soddisfatte condizioni specifiche ### Inviluppo Iniettivo (Corollario 4.35) $V(\mu,\lambda)$ è l'inviluppo iniettivo di $V(\mu,\lambda,\text{Int}(2\mu))$ nella categoria dei moduli $\mathfrak{sp}(2n)$ limitati. ## Lavori Correlati ### Teoria dei Moduli di Gelfand-Tsetlin - **Caso di Tipo A**: Nel caso di $\mathfrak{gl}(n)$, è stata stabilita una teoria di parametrizzazione completa - **Sfida di Tipo C**: Il lavoro di Molev ha stabilito la realizzazione tabellare nel caso finito dimensionale, ma mancano formule esplicite ### Teoria dei Moduli Limitati - **Risultati di Classificazione**: Classificazione di Mathieu dei moduli semplici limitati, descrizione di Grantcharov-Serganova dei moduli iniettivi - **Moduli di Grado 1**: Descrizione completa di Britten-Lemire dei moduli limitati di grado 1 ### Corrispondenza Spinore-Oscillatore - **Caso Classico**: Nel caso di molteplicità di peso 1, la corrispondenza tra rappresentazioni spinoriali e rappresentazioni di Shale-Weil è stata compresa - **Caso Generale**: Questo articolo generalizza questa corrispondenza al caso generale dei moduli limitati ## Conclusioni e Discussione ### Conclusioni Principali 1. **Realizzazione Completa**: Prima realizzazione esplicita tabellare di tutti i moduli $\mathfrak{sp}(2n)$ limitati 2. **Corrispondenza Profonda**: Rivela il collegamento profondo tra moduli spinoriali di $\mathfrak{so}(2n)$ e moduli oscillatori di $\mathfrak{sp}(2n)$ 3. **Principio di Estensione**: Dimostra l'applicabilità dell'estensione di Gelfand-Graev nel caso simplettico ### Significato Teorico Questo lavoro fornisce nuovi strumenti e prospettive per la teoria della rappresentazione delle algebre di Lie simplettiche, in particolare: - Stabilisce le fondamenta della teoria di Gelfand-Tsetlin nel caso simplettico - Fornisce metodi concreti per il calcolo dei moduli limitati - Apre nuove strade per comprendere i collegamenti tra diversi tipi di algebre di Lie ### Direzioni Future 1. **Generalizzazione ad Altri Tipi**: Estensione dei metodi ad altre algebre di Lie classiche 2. **Applicazioni alle Algebre Vertice**: Applicazioni nella teoria delle algebre vertice 3. **Realizzazioni Geometriche**: Ricerca di realizzazioni geometriche di questi moduli ## Valutazione Approfondita ### Punti di Forza 1. **Completezza Teorica**: Fornisce classificazione completa e costruzione esplicita dei moduli $\mathfrak{sp}(2n)$ limitati 2. **Innovazione Metodologica**: Stabilisce nuovi metodi di costruzione attraverso la corrispondenza spinore-oscillatore 3. **Eccellenza Tecnica**: Tecniche di dimostrazione raffinate, in particolare nelle condizioni di regolarità e nei calcoli dei pesi 4. **Valore Applicativo**: Fornisce strumenti concreti e utilizzabili per campi correlati ### Contributi Tecnici 1. **Corrispondenza Tabellare**: Stabilisce una corrispondenza precisa tra tabelle di tipo C e tipo D 2. **Formule dei Pesi**: Fornisce descrizioni esplicite degli spazi di peso e formule di dimensione 3. **Costruzione di Sottomoduli**: Fornisce una costruzione unificata di tutti i sottomoduli semplici ### Impatto Previsto Questo lavoro dovrebbe avere un impatto significativo nei seguenti campi: - Teoria della rappresentazione delle algebre di Lie - Teoria dei moduli di Gelfand-Tsetlin - Teoria delle algebre vertice - Rappresentazioni infinito dimensionali in fisica matematica ### Scenari di Applicazione Questa teoria è particolarmente applicabile a: - Studio delle rappresentazioni infinito dimensionali delle algebre di Lie simplettiche - Calcoli concreti di moduli a peso limitato - Descrizioni matematiche di modelli fisici correlati ## Bibliografia Questo articolo cita importanti letteratura nel campo, incluso: - Lavoro fondamentale di Molev sulla realizzazione tabellare di algebre di Lie simplettiche e ortogonali - Teoria di classificazione di Mathieu e Grantcharov-Serganova sui moduli limitati - Progressi recenti di Futorny e altri sui moduli di Gelfand-Tsetlin --- Questo articolo fornisce contributi importanti alla teoria della rappresentazione delle algebre di Lie simplettiche, non solo risolvendo problemi tecnici di lunga data, ma fornendo anche nuove prospettive per comprendere i collegamenti profondi tra diversi tipi di algebre di Lie. I suoi metodi e risultati hanno un significato importante per l'avanzamento dello sviluppo della teoria della rappresentazione infinito dimensionale.