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

Basic Information

• Paper ID: 2406.15929
• Title: Explicit realization of bounded modules for symplectic Lie algebras: spinor versus oscillator
• Authors: Vyacheslav Futorny, Dimitar Grantcharov, Luis Enrique Ramirez, Pablo Zadunaisky
• Classification: math.RT (Representation Theory)
• Publication Date: June 2024 (arXiv v2: January 2, 2025)
• Paper Link: https://arxiv.org/abs/2406.15929

Abstract

This paper provides explicit combinatorial realizations of all simple modules and injective modules (and hence projective modules) in the category of bounded $\mathfrak{sp}(2n)$-modules. This realization is defined through a natural tableau correspondence between spinor-type modules of $\mathfrak{so}(2n)$ and oscillator-type modules of $\mathfrak{sp}(2n)$. In particular, the authors prove that, in contrast to the $A$-type case, general and bounded $\mathfrak{sp}(2n)$-modules admit analogues of Gelfand-Graev extensions arising from finite-dimensional representations.

Research Background and Motivation

Problem Background

1. Development of Gelfand-Tsetlin Module Theory: In recent years, Gelfand-Tsetlin module theory has attracted widespread attention due to its connections with diagrammatic KLRW algebras and Coulomb branches. In the $\mathfrak{gl}(n)$ case, a complete parametrization of all simple Gelfand-Tsetlin modules has been established.
2. Complexity of the Symplectic Case: For symplectic Lie algebras $\mathfrak{sp}(2n)$, the situation is more complicated because the union of centers of $U(\mathfrak{sp}(2k))$ does not form a maximal subalgebra; "intermediate" elements must be added to define Gelfand-Tsetlin-type subalgebras.
3. Absence of Explicit Formulas: Although it is known that the action of $GT(\mathfrak{sp}(2n))$ on any simple finite-dimensional $\mathfrak{sp}(2n)$-module is diagonalizable with simple spectrum, explicit action formulas for generators on tableau bases remain unknown.

Research Motivation

1. Establishing Gelfand-Tsetlin Theory for the Symplectic Case: As a first step, study $\mathfrak{sp}(2n)$-modules with Gelfand-Tsetlin tableau realizations.
2. Exploring the Spinor-Oscillator Correspondence: Clarify the mysterious connection between spinor-type modules of $\mathfrak{so}(2n)$ and oscillator-type modules of $\mathfrak{sp}(2n)$.
3. Gelfand-Graev Extension Principle: Seek modules satisfying the Gelfand-Graev extension principle, namely modules with tableau bases whose generator actions are expressed by classical Gelfand-Tsetlin formulas.

Core Contributions

1. Explicit Tableau Realization: Provides explicit tableau realizations of all simple modules and indecomposable injective (projective) modules in the category of bounded $\mathfrak{sp}(2n)$-modules.
2. Spinor-Oscillator Correspondence: Establishes a transparent correspondence between half-integer (spinor-type) finite-dimensional modules of $\mathfrak{so}(2n)$ and infinite-dimensional bounded (oscillator-type) modules of $\mathfrak{sp}(2n)$.
3. Gelfand-Graev Extension: Proves that, in contrast to the $A$-type case, general and bounded $\mathfrak{sp}(2n)$-modules admit Gelfand-Graev extensions.
4. Complete Classification: Provides complete classification and explicit description of all infinite-dimensional simple bounded $\mathfrak{sp}(2n)$-modules.

Detailed Methodology

Tableau Definition and Standardness Conditions

C-type Tableaux (Definition 2.6)

A C-type Gelfand-Tsetlin tableau is an array consisting of $n^2 + n$ complex numbers:

$T(L) := \begin{matrix} \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 Tableaux (Definition 2.7)

A C-type tableau $T(L)$ is called C-standard if its elements satisfy:

• $-\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}$

Bounded Tableau Modules $V(\mu,\lambda)$

Definition (Definition 4.8)

Given $\mu = (\mu_1, \ldots, \mu_n) \in \mathbb{C}^n$ and $\lambda = (\lambda_1, \ldots, \lambda_n) \in (\frac{1}{2} + \mathbb{Z})^n$, define:

1. $\ell := \lambda + \rho_D + \frac{1}{2}$, i.e., $\ell_i := \lambda_i - i + \frac{3}{2}$
2. The set of C-type tableaux: $B(\mu,\lambda) := \{T(W) | T_{C\backslash D}(W) \in \mu + \mathbb{Z}^n, \text{ and } T_D(W) \in D^{\lambda}_{st}\}$
3. The complex vector space $V(\mu,\lambda)$ with basis $B(\mu,\lambda)$

Key Properties

• Regularity (Proposition 4.10): $B(\mu,\lambda)$ is a C-regular tableau set if and only if $\mu_i \notin \mathbb{Z}$ and $\lambda_i \in \frac{1}{2} + \mathbb{Z}$
• Weight Formula (Definition 4.12): The C-weight of tableau $T(L)$ is $\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}$

Module Structure Theorems

Main Structure Theorem (Theorem 4.11)

The space $V(\mu,\lambda)$ admits a $\mathfrak{sp}(2n)$-module structure with generator actions given by formulas (7-17), and the action of any $z \in Z(U(\mathfrak{sp}(2n)))$ is given by multiplication by $p_z(\lambda+1)$.

Support and Weight Multiplicities (Theorem 4.21)

For any $\gamma \in \text{Supp}(V(\mu,\lambda))$: $\dim V(\mu,\lambda)_\gamma = \frac{1}{2^{n-1}} \dim L_D(\lambda)$

Experimental Results and Theoretical Verification

Support Description (Proposition 4.20)

$\text{Supp}(V(\mu,\lambda)) = 2\mu + \lambda + 1 + Q_C$

where $Q_C$ is the root lattice.

Classification of Subquotients

Submodule Construction (Definition 4.30)

For appropriate non-empty subsets $\Sigma \subseteq \text{Int}(2\mu)$, define: $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)$

Simplicity and Classification (Theorem 4.33)

1. Every infinite-dimensional simple bounded $\mathfrak{sp}(2n)$-module is isomorphic to some $V(\mu,\lambda,\Sigma)$
2. $V(\mu,\lambda,\Sigma) \cong V(\mu',\lambda',\Sigma')$ if and only if $\Sigma = \Sigma'$ and certain conditions are satisfied

Injective Envelope (Corollary 4.35)

$V(\mu,\lambda)$ is the injective envelope of $V(\mu,\lambda,\text{Int}(2\mu))$ in the category of bounded $\mathfrak{sp}(2n)$-modules.

Related Work

Gelfand-Tsetlin Module Theory

• A-type Case: Complete parametrization theory has been established for the $\mathfrak{gl}(n)$ case
• C-type Challenges: Molev's work established tableau realizations for the finite-dimensional case, but lacks explicit formulas

Bounded Module Theory

• Classification Results: Mathieu's classification of simple bounded modules, Grantcharov-Serganova's description of injective modules
• Degree 1 Modules: Britten-Lemire's complete description of degree 1 bounded modules

Spinor-Oscillator Correspondence

• Classical Case: In the case of weight multiplicity 1, the correspondence between spinor representations and Shale-Weil representations has been understood
• General Case: This paper generalizes this correspondence to the general bounded module case

Conclusions and Discussion

Main Conclusions

1. Complete Realization: First explicit tableau realization of all bounded $\mathfrak{sp}(2n)$-modules
2. Deep Correspondence: Reveals the profound connection between spinor modules of $\mathfrak{so}(2n)$ and oscillator modules of $\mathfrak{sp}(2n)$
3. Extension Principle: Proves the applicability of the Gelfand-Graev extension in the symplectic case

Theoretical Significance

This work provides new tools and perspectives for representation theory of symplectic Lie algebras, particularly:

• Establishes the foundation of Gelfand-Tsetlin theory for the symplectic case
• Provides concrete methods for computing bounded modules
• Opens new avenues for understanding connections between different types of Lie algebras

Future Directions

1. Generalization to Other Types: Extend the methods to other classical Lie algebras
2. Vertex Algebra Applications: Applications in vertex algebra theory
3. Geometric Realization: Seek geometric realizations of these modules

In-Depth Evaluation

Strengths

1. Theoretical Completeness: Provides complete classification and explicit construction of bounded $\mathfrak{sp}(2n)$-modules
2. Methodological Innovation: Establishes new construction methods through spinor-oscillator correspondence
3. Technical Excellence: Elegant proof techniques, particularly in regularity conditions and weight calculations
4. Practical Value: Provides concrete usable tools for related fields

Technical Contributions

1. Tableau Correspondence: Establishes precise correspondence between C-type and D-type tableaux
2. Weight Formulas: Provides explicit descriptions of weight spaces and dimension formulas
3. Subquotient Construction: Provides unified construction of all simple subquotients

Expected Impact

This work is expected to have significant impact on:

• Lie algebra representation theory
• Gelfand-Tsetlin module theory
• Vertex algebra theory
• Infinite-dimensional representations in mathematical physics

Applicable Scenarios

This theory is particularly applicable to:

• Study of infinite-dimensional representations of symplectic Lie algebras
• Concrete calculations of bounded weight modules
• Mathematical descriptions of related physical models

References

This paper cites important literature in the field, including:

• Molev's foundational work on tableau realizations of symplectic and orthogonal Lie algebras
• Classification theory of bounded modules by Mathieu and Grantcharov-Serganova
• Recent advances in Gelfand-Tsetlin modules by Futorny and collaborators

This paper makes important contributions to representation theory of symplectic Lie algebras, not only resolving long-standing technical problems but also providing new perspectives for understanding deep connections between different types of Lie algebras. Its methods and results are significant for advancing the development of infinite-dimensional representation theory.