SearcharxivSearch

arXiv · 2411.02735

Imaginary Schur-Weyl duality for quiver Hecke superalgebras

Abstract

The irreducible modules over quiver Hecke superalgebras $R_\theta$ can be classified in terms of cuspidal modules. To an indivisible positive root $\alpha$ and a non-negative integer $d$, one associates a quotient $\bar R_{d\alpha}$ of $R_{d\alpha}$ called the cuspidal algebra. If the root $\alpha$ is real, the cuspidal algebra is well-understood. But if $\alpha=\delta$, the imaginary null-root, the {\em imaginary cuspidal algebra} $\bar R_{d\delta}$ is rather mysterious. It has been known that the number of the isomorphism classes of the irreducible $\bar R_{d\delta}$-modules equals the number of the $\ell$-multipartitions of $d$, but there has been no way to canonically associate an irreducible $\bar R_{d\delta}$-module to such a multipartiton. The imaginary cuspidal algebra is especially important because of its connections to the RoCK blocks of the double covers of symmetric and alternating groups. We undertake a detailed study of the imaginary cuspidal algebra and its representation theory. We use the so-called Gelfand-Graev idempotents and subtle degree and parity shifts to construct a (graded) Morita (super)equivalent algebra $\mathsf{C}(n,d)$ (for any $n\geq d$). The advantage of the algebra $\mathsf{C}(n,d)$ is that, unlike $\bar R_{d\delta}$, it is non-negatively graded. Moreover, the degree zero component $\mathsf{C}(n,d)^0$ is shown to be isomorphic to the direct sum of tensor products of $\ell$ copies of the classical Schur algebras. This gives the classification (and the description of dimensions/characters, etc.) of the irreducible $\mathsf{C}(n,d)$-modules, and hence of the irreducible $\bar R_{d\delta}$-modules, in terms of the classical Schur algebras. In particular, this allows us to canonically label these by the $\ell$-multipartitions of $d$. The results of this paper will be used in our future work on RoCK blocks of the double covers of symmetric groups.

Explore related subjects

Keep this discovery

BibTeXRIS

Alexander Kleshchev. 2024-11-05. Imaginary Schur-Weyl duality for quiver Hecke superalgebras. https://arxiv.org/abs/2411.02735

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

KEEP EXPLORING

Related papers

Quasi-Whittaker supermodules over Lie superalgebras

In this paper, we develop a general theory of quasi-Whittaker supermodules over Lie superalgebras induced from an arbitrary ideal. We determine the quasi-Whittaker vectors in universal supermodules, establish an irreducibility criterion, and classify several families of irreducible supermodules. The odd part produces a new irreducibility phenomenon absent from the Lie algebra setting. As applications, we determine all irreducible quasi-Whittaker supermodules over the $N=1$ super Schr\"odinger algebra and the $N=1$ $\frac{3}{2}$-conformal Galilei superalgebra, and over the complete spectrum-generating superalgebra in a special case.

math.RT

Rankin--Selberg integrals of opposite conductor--one newforms

Let $F$ be a nonarchimedean local field of characteristic zero and let $n\geq2$. For $r=n,n+1$, let $\Pi_r$ be an irreducible tempered representation of ${\rm GL}_r(F)$ of conductor one and with trivial central character. We evaluate the Rankin--Selberg integral of opposite newforms in $\Pi_{n+1}\times \Pi_n$ explicitly and show that its central value is nonzero. As an application, this implies a case of Disegni--Zhang's conjecture on the nonvanishing of local relative characters.

math.RT

Obstructions to Jacobi-Finiteness of Quivers with Potentials

We show that Jacobi-finite potentials need not exist on finite $2$-acyclic quivers. Our main tool is a matrix-valued Golod--Shafarevich--Vinberg inequality for quotients of completed path algebras by finitely many, possibly nonhomogeneous, topological relations. Applied to cyclic derivatives, it yields a potential-dependent obstruction to the finite-dimensionality of completed Jacobian algebras. We then construct a purely quiver-level criterion excluding every Jacobi-finite potential on a given quiver, and exhibit a family of quivers for which every potential has an infinite-dimensional Jacobian algebra.

math.RT