Irreducible cuspidal $\mathfrak{sl}_{n+1}$-modules from finite-dimensional modules over the minimal nilpotent finite $W$-algebra

Technische Samenvatting: Irreduceerbare Cuspidale $\mathfrak{sl}_{n+1}$-modules vanuit Eindige-Dimensionele Modules over de Minimale Nilpotente Finite W-algebra

Probleemstelling
De classificatie van irreduceerbare gewichtsmodules met eindige-dimensionele gewichtsruimten over complexe semisimpele Lie-algebra's heeft historisch geleund op de reductie naar cuspidale modules voor Levi-subalgebra's. Voor eenvoudige Lie-algebra's van type A ($\mathfrak{sl}_{n+1}$) leverde Mathieu een classificatie via coherente families en de methode van getwiste lokalisatie. Hoewel dit kader een krachtige globale classificatie biedt, blijft de specifieke structuur die door individuele gewichtsruimten van een cuspidale module wordt gedragen, minder expliciet. Bovendien zijn finite W-algebra's, die doorgaans worden gebruikt voor het bestuderen van Whittaker-modules, zelden toegepast bij het bestuderen van gewichtsmodules, in het bijzonder niet bij cuspidale modules.

Dit artikel adresseert de kloof tussen de abstracte classificatie van cuspidale $\mathfrak{sl}_{n+1}$-modules en hun concrete realisatie. Specifiek streeft het naar het vestigen van een directe verbinding tussen irreduceerbare cuspidale $\mathfrak{sl}_{n+1}$-modules en eindige-dimensionele modules over de minimale nilpotente finite W-algebra $W(e)$ geassocieerd met $\mathfrak{sl}_{n+1}$.

Methodologie
De auteurs maken gebruik van een combinatie van algebraïsche realisaties, inbeddingstechnieken en highest-weight moduletheorie:

1. Centralizer Realisatie: Het artikel maakt gebruik van de isomorfie die in eerder werk [LL] is vastgesteld tussen de finite W-algebra $W(e)$ en de centralisator $W$ van een specifieke subalgebra binnen een lokalisatie $U_S$ van de universele envelopping-algebra $U(\mathfrak{sl}_{n+1})$.
2. Expliciete Inbedding: Een cruciaal technisch instrument is de constructie van een expliciete injectieve algebra-homomorfisme (inbedding) $\tau: W(e) \hookrightarrow U(\mathfrak{gl}_n)$. Dit stelt de auteurs in staat om $W(e)$-modules te bestuderen door deze te beschouwen als modules over de subalgebra $\tau(W) \subset U(\mathfrak{gl}_n)$.
3. Triangulaire Decompositie en Twisting: Om de structuur van deze modules te analyseren, introduceren de auteurs een innerlijke automorfisme $\sigma = \exp(-\text{ad}X)$ van $U(\mathfrak{gl}_n)$. Zij bestuderen de getwiste subalgebra $\sigma\tau(W)$, die een triangulaire decompositie toelaat die vergelijkbaar is met die van $U(\mathfrak{gl}_n)$. Deze structuur maakt de toepassing van highest-weight moduletheorie mogelijk om de compositiefactoren van eindige-dimensionele modules te bepalen.
4. Geïnduceerde Modules: De auteurs construeren geïnduceerde modules $G_\mu(N)$ vanuit eindige-dimensionele $W$-modules $N$ om $\mathfrak{sl}_{n+1}$-modules te genereren, waarbij zij de irreducibiliteits- en cuspidaliteitscondities analyseren.

Belangrijkste Bijdragen en Resultaten

• Gewichtsruimte Structuur: Het artikel bewijst dat elke gewichtsruimte van een irreduceerbare cuspidale $\mathfrak{sl}_{n+1}$-module een natuurlijke structuur draagt van een irreduceerbare eindige-dimensionele $W(e)$-module. Dit reduceert de classificatie van irreduceerbare cuspidale $\mathfrak{sl}_{n+1}$-modules tot de classificatie van eindige-dimensionele irreduceerbare $W(e)$-modules.
• Realisatie via $\mathfrak{gl}_n$: De auteurs demonstreren dat elke eindige-dimensionele irreduceerbare $W(e)$-module een irreduceerbare kwotient is van $V(\lambda)^\tau$, waarbij $V(\lambda)$ een eindige-dimensionele irreduceerbare $\mathfrak{gl}_n$-module is en $\tau$ de gedefinieerde inbedding is.
• Compositiefactoren en Irreducibiliteit:
  • De compositielengte van de beperkte module $V(\lambda)^\tau$ (of haar getwiste versie) wordt bepaald als maximaal 2.
  • Er worden expliciete criteria verstrekt voor de irreducibiliteit van $V(\lambda)^\tau$ in termen van de "dot-action" baan van het hoogste gewicht $\lambda$ onder de symmetrische groep $S_{n+1}$. Specifiek hangt irreducibiliteit af van of $-|\lambda| - \lambda_1$ een geheel getal is en de specifieke waarden van $\lambda_i$.
  • Het artikel karakteriseert de reduceerbare gevallen en identificeert de specifieke subquotienten en hun hoogste gewichten.
• Expliciete Realisatie van Cuspidale Modules:
  • De auteurs bieden een nieuwe realisatie van alle irreduceerbare cuspidale $\mathfrak{sl}_{n+1}$-modules. Als $M$ een dergelijke module is met support $\mu + \mathbb{Z}^n$, dan is deze isomorf aan een irreduceerbare kwotient van de geïnduceerde module $G_\mu(V(\lambda)^\tau)$.
  • Deze realisatie wordt getoond isomorf te zijn aan een specifieke Shen-Larsson module $T(P(\mu-\lambda), V(\lambda))$, wat de W-algebra benadering verbindt met de klassieke constructie van gewichtsmodules.

Betekenis en Claims
Het artikel claimt de structuur van individuele gewichtsruimten van cuspidale modules in type A "concreet" te maken door gebruik te maken van de minimale nilpotente finite W-algebra. In tegenstelling tot eerdere classificaties die vertrouwden op de getwiste lokalisatiemethode en coherente families (zoals geïntroduceerd in [M]), biedt deze benadering:

• Vermijdt de getwiste lokalisatiemethode en coherente families voor de constructie van deze modules.
• Biedt een expliciete algebraïsche realisatie gebruikmakend van eindige-dimensionele $\mathfrak{gl}_n$-modules en de inbedding $\tau$.
• Biedt een meer elementaire en specifieke methode voor het bepalen van de irreducibiliteit van deze modules vergeleken met resultaten afgeleid van verschoven Yangians (zoals in [BK2]).

Het werk vestigt een directe brug tussen de representatietheorie van finite W-algebra's en de classificatie van cuspidale modules, wat een nieuw perspectief biedt dat de interne structuur van gewichtsruimten expliciet maakt door middel van eindige-dimensionele lineaire algebra over $\mathfrak{gl}_n$.