arXiv ScienceSearch

arXiv · 1807.07340

The Capelli eigenvalue problem for Lie superalgebras

Abstract

For a finite dimensional unital complex simple Jordan superalgebra $J$, the Tits-Kantor-Koecher construction yields a 3-graded Lie superalgebra $\mathfrak g_\flat\cong \mathfrak g_\flat(-1)\oplus\mathfrak g_\flat(0)\oplus\mathfrak g_\flat(1)$, such that $\mathfrak g_\flat(-1)\cong J$. Set $V:=\mathfrak g_\flat(-1)^*$ and $\mathfrak g:=\mathfrak g_\flat(0)$. In most cases, the space $\mathcal P(V)$ of superpolynomials on $V$ is a completely reducible and multiplicity-free representation of $\mathfrak g$, with a decomposition $\mathcal P(V):=\bigoplus_{\lambda\in\Omega}V_\lambda$, where $\left(V_\lambda\right)_{\lambda\in\Omega}$ is a family of irreducible $\mathfrak g$-modules parametrized by a set of partitions $\Omega$. In these cases, one can define a natural basis $\left(D_\lambda\right)_{\lambda\in\Omega}$ of "Capelli operators" for the algebra $\mathcal{PD}(V)^{\mathfrak g}$. In this paper we complete the solution to the Capelli eigenvalue problem, which is to determine the scalar $c_\mu(\lambda)$ by which $D_\mu$ acts on $V_\lambda$. We associate a restricted root system $\mathit{\Sigma}$ to the symmetric pair $(\mathfrak g,\mathfrak k)$ that corresponds to $J$, which is either a deformed root system of type $\mathsf{A}(m,n)$ or a root system of type $\mathsf{Q}(n)$. We prove a necessary and sufficient condition on the structure of $\mathit{\Sigma}$ for $\mathcal{P}(V)$ to be completely reducible and multiplicity-free. When $\mathit{\Sigma}$ satisfies the latter condition we obtain an explicit formula for the eigenvalue $c_\mu(\lambda)$, in terms of Sergeev-Veselov's shifted super Jack polynomials when $\mathit{\Sigma}$ is of type $\mathsf{A}(m,n)$, and Okounkov-Ivanov's factorial Schur $Q$-polynomials when $\mathit{\Sigma}$ is of type $\mathsf{Q}(n)$.

Explore related subjects

Keep this discovery

BibTeXRIS

Siddhartha Sahi, Hadi Salmasian, Vera Serganova. 2018-07-19. The Capelli eigenvalue problem for Lie superalgebras. https://arxiv.org/abs/1807.07340

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