Search arXivSearch

arXiv · 2505.19661

Bethe algebras for unitarizable modules over classical Lie (super)algebras and a duality

Abstract

Let $\mathfrak{g}$ denote the classical Lie algebra $\mathfrak{gl}_d$, $\mathfrak{sp}_{2d}$, or $\mathfrak{so}_{2d}$ with a fixed $*$-structure $σ$. Let $M_1, \ldots, M_\ell$ be unitarizable $\mathfrak{g}$-modules (with respect to $σ$), and let ${\bf z}=(z_1, \ldots, z_\ell) \in \mathbb{C}^\ell$. We investigate the action of the Bethe algebra $\mathcal{B}_{\mathfrak{g}}^μ$ for $\mathfrak{g}$ with respect to $μ\in \mathfrak{g}^*$ on the tensor product $\underline{M}({\bf z}):=M_1(z_1) \otimes \cdots \otimes M_\ell(z_\ell)$ of evaluation $\mathfrak{g}[t]$-modules. We show that if $μ\circ σ$ equals the complex conjugation of $μ$, then $\mathcal{B}_{\mathfrak{g}}^μ$ is diagonalizable on any finite-dimensional $\mathcal{B}_{\mathfrak{g}}^μ$-submodule of $\underline{M}({\bf z})$ for ${\bf z} \in \mathbb{R}^\ell$. This, together with the result derived from the duality of Bethe algebras (see below), suggests that a simple spectrum conjecture for $\mathcal{B}_{\mathfrak{g}}^μ$ should hold. We establish a duality of Bethe algebras for the general linear Lie (super)algebras $\mathfrak{gl}_d$ and $\mathfrak{gl}_{p+m|q+n}$. As an application, we show that under a generic condition, the Bethe algebra for $\mathfrak{gl}_{p+m|q+n}$ with respect to ${\bf z} \in \mathbb{C}^{p+q+m+n}$ is diagonalizable with a simple spectrum on any weight space of $L_1(w_1) \otimes \cdots \otimes L_d(w_d)$, where the $L_i$ are (infinite-dimensional) unitarizable highest weight $\mathfrak{gl}_{p+m|q+n}$-modules corresponding to generalized partitions of depth 1, and $w_1, \ldots, w_d \in \mathbb{C}$. We also obtain the corresponding result for $\mathfrak{gl}_{p+m}$ by setting $q=n=0$.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Wan Keng Cheong, Ngau Lam. 2025-12-23. Bethe algebras for unitarizable modules over classical Lie (super)algebras and a duality. https://doi.org/10.1063/5.0319384

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