[論文レビュー] 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

ひとこと要約

本稿は、Lie超代数におけるCapelli固有値問題を、型 $ \mathsf{A}(m,n) $ や $ \mathsf{Q}(n) $ の制限根系を用いて、Lie超代数 $ \fg $ の既約表現 $ V_{\mu} $ に作用するCapelli作用素 $ D_{\ho} $ の固有値 $ c_{\ho}(u) $ を決定することによって解決する。Sergeev-Veselovのシフトされた超ジャック多項式およびOkounkov-Ivanovの階乗シュール $ 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固有値問題に取り組み、古典的結果をLie超代数へと拡張する。
• 超多項式空間 $ \mathscr{P}(V) $ が $ \fg $-表現として完全可約かつ重複度1である条件を特定する。
• Capelli作用素 $ D_{\mu} $ が既約 $ \fg $-加群 $ V_{\lambda} $ に作用する際の固有値 $ c_{\mu}(\lambda) $ に対して明示的公式を提供する。
• $ \mathscr{P}(V) $ が完全可約かつ重複度1であるための制限根系 $ \Sigma $ に対する必要十分条件を確立する。
• 普遍包あらゆる代数の中心から $ \mathscr{PD}(V)^{\fg} $ への自然な写像が全射であることを証明するが、$ J \cong \mathfrak{F} $、10次元の例外的ジュリアン超代数を除く。

提案手法

• 有限次元単位的複素単純ジュリアン超代数 $ J $ に対して、Tits-Kantor-Koecher構成を用いて3重分類のLie超代数 $ \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) $ のいずれかである。
• 表現論的および根系解析を用いて、$ \mathscr{P}(V) $ が完全可約かつ重複度1であるための $ \Sigma $ に対する必要十分条件を確立する。
• $ \fg $-不変な超多項式微分作用素の基底 $ (D_{\lambda})_{\lambda \in \Omega} $ を構成し、これをCapelli作用素と呼ぶ。最高重量理論を用いてそれらの固有値を決定する。
• $ \mathscr{PD}(V)^{\fg} $ と超多様体 $ \mathcal{G}/\mathcal{K} $ 上の微分作用素の代数との関係を用い、Harish-Chandra同型を適用して固有値を対称多項式と関連付ける。

実験結果

リサーチクエスチョン

• RQ1 制限根系 $ \Sigma $ にどのような条件が課されると、$ \mathscr{P}(V) $ が $ \fg $-加群として完全可約かつ重複度1となるか？
• RQ2 Capelli作用素 $ D_{\mu} $ が既約 $ \fg $-加群 $ V_{\lambda} $ に作用する際の固有値 $ c_{\mu}(\lambda) $ をどのように明示的に計算できるか？
• RQ3 制限根系 $ \Sigma $ は、$ \mathscr{P}(V) $ および代数 $ \mathscr{PD}(V)^{\fg} $ の構造の分類において果たす役割は何か？
• RQ4 普遍包あらゆる代数の中心から $ \mathscr{PD}(V)^{\fg} $ への自然な写像が全射であるための条件は何か？
• RQ5 シフトされた超ジャック多項式および階乗シュール $ Q $-多項式は、なぜ $ c_{\mu}(\lambda) $ の固有値公式に自然に現れるのか？
• RQ6 固有値公式はすべてのタイプのジュリアン超代数に一様に適用可能か？例外的ケース $ J \cong \mathfrak{F} $ はどのように異なるか？

主な発見

• 超多項式空間 $ \mathscr{P}(V) $ が $ V = \mathfrak{g}^{\flat}(-1)^* $ 上で完全可約かつ重複度1であることは、関連する制限根系 $ \Sigma $ が特定の構造的条件を満たす場合に限り成り立つ。
• 制限根系 $ \Sigma $ が型 $ \mathsf{A}(m,n) $ の場合、固有値 $ c_{\mu}(\lambda) $ はSergeev-Veselovのシフトされた超ジャック多項式の評価として明示的に与えられる。
• 制限根系 $ \Sigma $ が型 $ \mathsf{Q}(n) $ の場合、固有値 $ c_{\mu}(\lambda) $ はOkounkov-Ivanovの階乗シュール $ Q $-多項式の評価として与えられる。
• 普遍包あらゆる代数の中心から $ \fg $-不変な超多項式微分作用素の代数 $ \mathscr{PD}(V)^{\fg} $ への自然な写像は、$ J \cong \mathfrak{F} $、10次元の例外的ジュリアン超代数を除き、すべてのケースで全射である。
• $ \mathscr{P}(V) $ の重複度1分解のための制限根系 $ \Sigma $ に対する必要十分条件が、根系の構造およびWeyl群の作用に基づいて導出された。
• 固有値 $ c_{\mu}(\lambda) $ はHarish-Chandra同型を用いて計算され、$ D_{\mu} $ が $ V_{\lambda} $ に作用する様子が、最高重量 $ \tilde{\lambda} $ および $ \tilde{\mathfrak{h}} $ 上の対称多項式と関連づけられる。