Search arXivSearch

arXiv · 2607.07653

Athinization of irreducible $\widehat{\mathfrak{gl}}_n$-modules with dominant highest weights

Abstract

We study the Gelfand-Tsetlin realization of generic Verma modules for the affine Lie algebra $\widehat{\mathfrak{gl}}_n$ by viewing them as thin modules over the affine Yangian $Y(\widehat{\mathfrak{sl}}_n)$. By results of arXiv:0812.4656, these modules admit a basis indexed by periodic Gelfand-Tsetlin patterns with explicit formulas for the Yangian action, and we identify them with the evaluation modules introduced by Kodera arXiv:1806.09884. Our main result describes the specialization from generic highest weights to dominant highest weights (not necessarily integral). We call the resulting construction athinization: an irreducible $\widehat{\mathfrak{gl}}_n$-module, which is not thin as a module over the affine Kac-Moody algebra, is realized as a thin module over the larger (and ''more affine'') algebra $Y(\widehat{\mathfrak{sl}}_n)$. Combinatorially, this realization is obtained by restricting the generic periodic Gelfand-Tsetlin basis to a distinguished subset of permitted patterns. We prove that the span of these patterns carries a well-defined affine Yangian action. In particular, this construction yields explicit Gelfand-Tsetlin-type bases for admissible representations of $\widehat{\mathfrak{gl}}_n$ in the sense of Kac-Wakimoto, providing a new combinatorial realization of these modules. We compare the formulas for characters coming from this combinatorics with those for minimal models of $W$-algebras of the type $A_n$ via the principal specialization. Further, we obtain analogous results for representations of $U_q\widehat{\mathfrak{gl}}_n$ via their realization as thin modules over the quantum toroidal algebra of $\mathfrak{gl}_n$.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Mikhail Bershtein, Evgeny Mukhin, Leonid Rybnikov, Aleksandr Trufanov. 2026-07-08. Athinization of irreducible $\widehat{\mathfrak{gl}}_n$-modules with dominant highest weights. https://arxiv.org/abs/2607.07653

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

A local relative trace formula for F*\SL(2,F)

In this note, we derive explicitly the local relative trace formula for the symmetric space F*\SL(2,F) at the level of Lie algebras, where F is a p-adic field of residue characteristic greater than two and F* is the set of invertible elements in F. This is perhaps one of the simplest non-trivial analogs of the trace formula, and also a motivating example for the author's work (in preparation) on the relative trace formula.

math.RT

Semi-infinite parabolic IC-sheaf

Let G be a connected reductive group, P its parabolic subgroup. We consider the parabolic semi-infinite category of sheaves on the affine Grassmanian of G and construct the parabolic version of the semi-infinite IC-sheaf of each orbit. We establish some of its properties and relate it to sheaves on the Drinfeld compactification of the moduli stack Bun_P of P-torsors on a curve. We also relate the parabolic semi-infinite IC-sheaf with the dual baby Verma object on the spectral side.

math.RT

The Grothendieck group of an extriangulated category

In this paper, we investigate the split Grothendieck group $K^{\rm sp}_{0}(\mathcal{M})$ of a $d$-rigid subcategory $\mathcal{M}$ in an extriangulated category $\mathscr{C}$. As applications, we prove the following results: (1) If $\mathcal{M}$ is a silting subcategory, then the Grothendieck group $K_{0}(\mathscr{C})$ is isomorphic to $K_{0}^{\rm sp}(\mathcal{M})$; (2) If $\mathcal{M}$ is a $d$-cluster tilting subcategory, then $K_{0}(\mathscr{C})$ is isomorphic to the index Grothendieck group $K_{0}^{\rm in}(\mathcal{M})$; (3) Let $\mathcal{C}_{A_{n}}^{d}$ be the $d$-cluster category of type $A_n$. If $d$ is even, then $K_0(\mathcal{C}_{A_{n}}^{d})\cong \mathbb{Z}/(n+1)\mathbb{Z}$. If $d$ is odd, then $K_0(\mathcal{C}_{A_{n}}^{d})\cong \mathbb{Z}$ if $n$ is odd; $K_0(\mathcal{C}_{A_{n}}^{d})\cong 0$ if $n$ is even.

math.RT