Réalisation explicite des modules bornés pour les algèbres de Lie symplectiques : spinoriel versus oscillateur

Informations fondamentales

• ID de l'article: 2406.15929
• Titre: Explicit realization of bounded modules for symplectic Lie algebras: spinor versus oscillator
• Auteurs: Vyacheslav Futorny, Dimitar Grantcharov, Luis Enrique Ramirez, Pablo Zadunaisky
• Classification: math.RT (Théorie des représentations)
• Date de publication: Juin 2024 (arXiv v2 : 2 janvier 2025)
• Lien de l'article: https://arxiv.org/abs/2406.15929

Résumé

Cet article fournit une réalisation combinatoire explicite de tous les modules simples et injectifs (et donc aussi projectifs) dans la catégorie des modules bornés $\mathfrak{sp}(2n)$. Cette réalisation est définie via une correspondance naturelle entre les modules de type spinoriel de $\mathfrak{so}(2n)$ et les modules de type oscillateur de $\mathfrak{sp}(2n)$. En particulier, les auteurs démontrent que, contrairement au cas de type $A$, les modules généraux et bornés $\mathfrak{sp}(2n)$ admettent des analogues de l'extension de Gelfand-Graev provenant des représentations de dimension finie.

Contexte de recherche et motivation

Contexte du problème

1. Développement de la théorie des modules de Gelfand-Tsetlin: Récemment, la théorie des modules de Gelfand-Tsetlin a reçu une attention considérable en raison de ses connexions avec les algèbres KLRW diagrammatiques et les branches de Coulomb. Dans le cas $\mathfrak{gl}(n)$, une paramétrisation complète de tous les modules de Gelfand-Tsetlin simples a été établie.
2. Complexité du cas symplectique: Pour l'algèbre de Lie symplectique $\mathfrak{sp}(2n)$, la situation est plus complexe car l'union des centres de $U(\mathfrak{sp}(2k))$ ne constitue pas une sous-algèbre maximale, nécessitant l'ajout d'éléments « intermédiaires » pour définir une sous-algèbre de type Gelfand-Tsetlin.
3. Absence de formules explicites: Bien qu'il soit connu que l'action de $GT(\mathfrak{sp}(2n))$ sur tout module $\mathfrak{sp}(2n)$ de dimension finie simple est diagonalisable avec spectre simple, les formules explicites pour l'action des générateurs sur la base tabulaire restaient inconnues.

Motivation de la recherche

1. Établir la théorie de Gelfand-Tsetlin pour le cas symplectique: En première étape, étudier les modules $\mathfrak{sp}(2n)$ avec réalisation tabulaire de Gelfand-Tsetlin.
2. Explorer la correspondance spinoriel-oscillateur: Clarifier le lien mystérieux entre les modules de type spinoriel de $\mathfrak{so}(2n)$ et les modules de type oscillateur de $\mathfrak{sp}(2n)$.
3. Principe d'extension de Gelfand-Graev: Rechercher des modules satisfaisant le principe d'extension de Gelfand-Graev, c'est-à-dire des modules possédant une base tabulaire dont l'action des générateurs est exprimée par les formules classiques de Gelfand-Tsetlin.

Contributions principales

1. Réalisation tabulaire explicite: Fourniture d'une réalisation tabulaire explicite de tous les modules simples et des modules injectifs (projectifs) indécomposables dans la catégorie des modules bornés $\mathfrak{sp}(2n)$.
2. Correspondance spinoriel-oscillateur: Établissement d'une correspondance transparente entre les modules de dimension finie semi-entiers (de type spinoriel) de $\mathfrak{so}(2n)$ et les modules de dimension infinie bornés (de type oscillateur) de $\mathfrak{sp}(2n)$.
3. Extension de Gelfand-Graev: Démonstration que, contrairement au cas de type $A$, les modules généraux et bornés $\mathfrak{sp}(2n)$ admettent l'extension de Gelfand-Graev.
4. Classification complète: Fourniture d'une classification complète et d'une description explicite de tous les modules simples de dimension infinie bornés $\mathfrak{sp}(2n)$.

Détails de la méthode

Définition des tableaux et conditions de standardité

Tableaux de type C (Définition 2.6)

Un tableau de Gelfand-Tsetlin de type C est un tableau composé de $n^2 + n$ nombres complexes :