[论文解读] The Capelli eigenvalue problem for Lie superalgebras

Siddhartha Sahi, Hadi Salmasian+1 more|arXiv (Cornell University)|Jul 19, 2018

Advanced Topics in Algebra参考文献 25被引用 4

一句话总结

该论文通过使用类型 $ \mathsf{A}(m,n) $ 或 $ \mathsf{Q}(n) $ 的受限根系，完成了李超代数上 Capelli 特征值问题的解法，确定了李超代数 $ \fg $ 的不可约表示 $ V_{\mu} $ 上 Capelli 算子 $ D_{\ho} $ 的特征值 $ c_{\ho}(\mu) $。论文给出了基于 Sergeev-Veselov 的移位超杰克多项式与 Okounkov-Ivanov 的阶乘 Schur $ Q $-多项式的显式公式，并证明了除例外的约当代数 $ \mathfrak{F} $ 外，从泛包络代数的中心到 $ \fg $-不变微分算子代数的自然映射是满射的。

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_{λ\inΩ}V_λ$, where $\left(V_λ ight)_{λ\inΩ}$ is a family of irreducible $\mathfrak g$-modules parametrized by a set of partitions $Ω$. In these cases, one can define a natural basis $\left(D_λ ight)_{λ\inΩ}$ 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_μ(λ)$ by which $D_μ$ acts on $V_λ$. We associate a restricted root system $\mathitΣ$ 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Σ$ for $\mathcal{P}(V)$ to be completely reducible and multiplicity-free. When $\mathitΣ$ satisfies the latter condition we obtain an explicit formula for the eigenvalue $c_μ(λ)$, in terms of Sergeev-Veselov's shifted super Jack polynomials when $\mathitΣ$ is of type $\mathsf{A}(m,n)$, and Okounkov-Ivanov's factorial Schur $Q$-polynomials when $\mathitΣ$ is of type $\mathsf{Q}(n)$.

研究动机与目标

• 解决超代数设定下长期存在的 Capelli 特征值问题，将经典结果推广至李超代数。
• 刻画超多项式空间 $ \mathscr{P}(V) $ 作为 $ \fg $-表示时完全可约且无重数的条件。
• 为作用在不可约 $ \fg $-模 $ V_{\lambda} $ 上的 Capelli 算子 $ D_{\mu} $ 的特征值 $ c_{\mu}(\lambda) $ 提供显式公式。
• 建立受限根系 $ \Sigma $ 的必要与充分条件，以保证 $ \mathscr{P}(V) $ 的无重数性质。
• 证明从 $ \fg $ 的泛包络代数的中心到 $ \mathscr{PD}(V)^{\fg} $ 的自然映射是满射的，除非 $ J \cong \mathfrak{F} $，即 10 维例外约当代数。

提出的方法

• 使用 Tits-Kantor-Koecher 构造，将有限维单位复单李超代数约当代数 $ J $ 关联到一个三重分次李超代数 $ \fg^{\flat} $，满足 $ \fg^{\flat}(-1) \cong J $。
• 定义 $ V := \fg^{\flat}(-1)^* $ 和 $ \fg := \fg^{\flat}(0) $，并研究 $ \fg $ 在超多项式代数 $ \mathscr{P}(V) $ 上的作用。
• 引入与对称对 $ (\fg, \fk) $ 相关的受限根系 $ \Sigma $，其类型为 $ \mathsf{A}(m,n) $ 或 $ \mathsf{Q}(n) $。
• 通过表示论与根系分析，建立 $ \Sigma $ 的必要与充分条件，以保证 $ \mathscr{P}(V) $ 完全可约且无重数。
• 构造 $ \mathfrak{g} $-不变超多项式微分算子的一组基 $ (D_{\lambda})_{\lambda \in \Omega} $，称为 Capelli 算子，并通过最高权理论确定其特征值。
• 利用 $ \mathscr{PD}(V)^{\fg} $ 与超流形 $ \mathcal{G}/\mathcal{K} $ 上微分算子代数之间的联系，并应用 Harish-Chandra 同态，将特征值与对称多项式关联起来。

实验结果

研究问题

• RQ1 受限根系 $ \Sigma $ 满足何种条件时，$ \mathscr{P}(V) $ 作为 $ \fg $-模是完全可约且无重数的？
• RQ2 如何显式计算作用在不可约 $ \fg $-模 $ V_{\lambda} $ 上的 Capelli 算子 $ D_{\mu} $ 的特征值 $ c_{\mu}(\lambda) $？
• RQ3 受限根系 $ \Sigma $ 在分类 $ \mathscr{P}(V) $ 与代数 $ \mathscr{PD}(V)^{\fg} $ 的结构中起什么作用？
• RQ4 在何种条件下，从 $ \mathbf{U}(\fg) $ 的中心到 $ \mathscr{PD}(V)^{\fg} $ 的自然映射是满射的？
• RQ5 移位超杰克多项式与阶乘 Schur $ Q $-多项式如何自然地出现在 $ c_{\mu}(\lambda) $ 的特征值公式中？
• RQ6 该特征值公式在所有类型的约当代数中是否一致？例外情形 $ J \cong \mathfrak{F} $ 有何不同？

主要发现

• 超多项式空间 $ \mathscr{P}(V) $ 在 $ V = \mathfrak{g}^{\flat}(-1)^* $ 上完全可约且无重数，当且仅当其关联的受限根系 $ \Sigma $ 满足特定结构条件。
• 当 $ \Sigma $ 为类型 $ \mathsf{A}(m,n) $ 时，特征值 $ c_{\mu}(\lambda) $ 显式由 Sergeev-Veselov 的移位超杰克多项式求值给出。
• 当 $ \Sigma $ 为类型 $ \mathsf{Q}(n) $ 时，特征值 $ c_{\mu}(\lambda) $ 由 Okounkov-Ivanov 的阶乘 Schur $ Q $-多项式求值给出。
• 从泛包络代数 $ \mathbf{U}(\fg) $ 的中心到 $ \mathscr{PD}(V)^{\fg} $ 的 $ \fg $-不变超多项式微分算子代数的自然映射，在所有情形下均为满射，除了 $ J \cong \mathfrak{F} $，即 10 维例外约当代数。
• 基于根系结构与 Weyl 群作用，推导出 $ \mathscr{P}(V) $ 无重数分解的必要与充分条件。
• 通过 Harish-Chandra 同态计算特征值 $ c_{\mu}(\lambda) $，将 $ D_{\mu} $ 在 $ V_{\lambda} $ 上的作用与最高权 $ \tilde{\lambda} $ 及 $ \tilde{\mathfrak{h}} $ 上的对称多项式联系起来。