No Arabic abstract
Let $Z$ be the symmetric cone of $r times r$ positive definite Hermitian matrices over a real division algebra $mathbb F$. Then $Z$ admits a natural family of invariant differential operators -- the Capelli operators $C_lambda$ -- indexed by partitions $lambda$ of length at most $r$, whose eigenvalues are given by specialization of Knop--Sahi interpolation polynomials. In this paper we consider a double fibration $Y longleftarrow X longrightarrow Z$ where $Y$ is the Grassmanian of $r$-dimensional subspaces of $mathbb F^n $ with $n geq 2r$. Using this we construct a family of invariant differential operators $D_{lambda,s}$ on $Y$ that we refer to as quadratic Capelli operators. Our main result shows that the eigenvalues of the $D_{lambda,s}$ are given by specializations of Okounkov interpolation polynomials.
Let $(V,omega)$ be an orthosympectic $mathbb Z_2$-graded vector space and let $mathfrak g:=mathfrak{gosp}(V,omega)$ denote the Lie superalgebra of similitudes of $(V,omega)$. When the space $mathscr P(V)$ of superpolynomials on $V$ is emph{not} a completely reducible $mathfrak g$-module, we construct a natural basis $D_lambda$ of Capelli operators for the algebra of $mathfrak g$-invariant superpolynomial superdifferential operators on $V$, where the index set $mathcal P$ is the set of integer partitions of length at most two. We compute the action of the operators $D_lambda$ on maximal indecomposable components of $mathscr P(V)$ explicitly, in terms of Knop-Sahi interpolation polynomials. Our results show that, unlike the cases where $mathscr P(V)$ is completely reducible, the eigenvalues of a subfamily of the $D_lambda$ are emph{not} given by specializing the Knop-Sahi polynomials. Rather, the formulas for these eigenvalues involve suitably regularized forms of these polynomials. In addition, we demonstrate a close relationship between our eigenvalue formulas for this subfamily of Capelli operators and the Dougall-Ramanujan hypergeometric identity. We also transcend our results on the eigenvalues of Capelli operators to the Deligne category $mathsf{Rep}(O_t)$. More precisely, we define categorical Capelli operators ${mathbf D_{t,lambda}}_{lambdainmathcal P}^{}$ that induce morphisms of indecomposable components of symmetric powers of $mathsf V_t$, where $mathsf V_t$ is the generating object of $mathsf{Rep}(O_t)$. We obtain formulas for the eigenvalue polynomials associated to the $left{mathbf D_{t,lambda}right}_{lambdainmathcal P}$ that are analogous to our results for the operators ${D_lambda}_{lambdainmathcal P}^{}$.
The Capelli problem for the symmetric pairs $(mathfrak{gl}times mathfrak{gl},mathfrak{gl})$ $(mathfrak{gl},mathfrak{o})$, and $(mathfrak{gl},mathfrak{sp})$ is closely related to the theory of Jack polynomials and shifted Jack polynomials for special values of the parameter. In this paper, we extend this connection to the Lie superalgebra setting, namely to the supersymmetric pairs $(mathfrak{g},mathfrak{g}):=(mathfrak{gl}(m|2n),mathfrak{osp}(m|2n))$ and $(mathfrak{gl}(m|n)timesmathfrak{gl}(m|n),mathfrak{gl}(m|n))$, acting on $W:=S^2(mathbb C^{m|2n})$ and $mathbb C^{m|n}otimes(mathbb C^{m|n})^*$. We also give an affirmative answer to the abstract Capelli problem for these cases.
In this paper we study properties of a homomorphism $rho$ from the universal enveloping algebra $U=U(mathfrak{gl}(n+1))$ to a tensor product of an algebra $mathcal D(n)$ of differential operators and $U(mathfrak{gl}(n))$. We find a formula for the image of the Capelli determinant of $mathfrak{gl}(n+1)$ under $rho$, and, in particular, of the images under $rho$ of the Gelfand generators of the center $Z(mathfrak{gl}(n+1))$ of $U$. This formula is proven by relating $rho$ to the corresponding Harish-Chandra isomorphisms, and, alternatively, by using a purely computational approach. Furthermore, we define a homomorphism from $mathcal D(n) otimes U(mathfrak{gl}(n))$ to an algebra containing $U$ as a subalgebra, so that $sigma (rho (u)) - u in G_1 U$, for all $u in U$, where $G_1 = sum_{i=0}^{n} E_{ii}$.
Inspired by the Capelli identities for group determinants obtained by T^oru Umeda, we give a basis of the center of the group algebra of any finite group by using Capelli identities for irreducible representations. The Capelli identities for irreducible representations are modifications of the Capelli identity. These identities lead to Capelli elements of the group algebra. These elements construct a basis of the center of the group algebra.
For a finite dimensional unital complex simple Jordan superalgebra $J$, the Tits-Kantor-Koecher construction yields a 3-graded Lie superalgebra $mathfrak g_flatcong mathfrak g_flat(-1)oplusmathfrak g_flat(0)oplusmathfrak 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_{lambdainOmega}V_lambda$, where $left(V_lambdaright)_{lambdainOmega}$ 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_lambdaright)_{lambdainOmega}$ 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-Veselovs shifted super Jack polynomials when $mathit{Sigma}$ is of type $mathsf{A}(m,n)$, and Okounkov-Ivanovs factorial Schur $Q$-polynomials when $mathit{Sigma}$ is of type $mathsf{Q}(n)$.