[論文レビュー] A new formula for Pfaffian-type Segal-Sugawara vector

Natasha Rozhkovskaya|arXiv (Cornell University)|Sep 8, 2013

Algebraic structures and combinatorial models参考文献 6被引用数 4

ひとこと要約

本稿では、外微分法および表現論の手法を用いて、アフィンカク＝ムーディ代数 $\hat{\mathfrak{o}}_{2n}$ の普遍包あらゆる代数 $U(\hat{\mathfrak{o}}_{2n})$ における Pfaffian 型 Segal-Sugawara ベクトルの新しい組合せ的公式を提示する。主な結果は、中心的要素 $\text{Pf}(\tilde{F}[-1])$ のハリシュ・チャンドラ像の直接計算を可能にする閉形式の表現であり、評価準同型を介して $U(\mathfrak{o}_{2n})$ の既知の古典的 Pfaffian 公式が回復されることを示している。

ABSTRACT

A combinatorial formula for Pfaffian for the universal enveloping algebra of the affine Kac - Moody algebra of even orthogonal Lie algebra is proved. It allows easily to compute the image of this Segal-Sugawara vector under the Harish-Chandra homomorphism and to deduce formulas for classical Pfaffian of universal enveloping algebra of the even orthogonal Lie algebra.

研究の動機と目的

• アフィンカク＝ムーディ代数 $\hat{\mathfrak{o}}_{2n}$ の普遍包あらゆる代数 $U(\hat{\mathfrak{o}}_{2n})$ における Pfaffian 型 Segal-Sugawara ベクトルの新しい組合せ的公式を導出すること。
• 新しい公式を用いて、中心的要素 $\text{Pf}(\tilde{F}[-1])$ のハリシュ・チャンドラ像を明示的に計算することを可能にすること。
• 評価準同型を介して、アフィン的および古典的リー代数の設定の間の関係を確立することにより、$U(\mathfrak{o}_{2n})$ における古典的 Pfaffian 公式がアフィン公式から導出可能であることを示すこと。
• 文献 [4] の組合せ的アプローチをアフィン設定に一般化し、表現論における非可換 Pfaffian の枠組みを拡張すること。

提案手法

• 外微分法および文献 [9] と [4] の手法を用いて、$U(\hat{\mathfrak{o}}_{2n})$ 内の $\text{Pf}(\tilde{F}[-1])$ に対する新しい組合せ的公式を構築する。
• 評価準同型 $\varphi: U(t^{-1}\mathfrak{o}_{2n}[t^{-1}]) \to U(\mathfrak{o}_{2n}) \otimes z^{-1}\mathbb{C}\langle z^{-1}\rangle$ を適用して、アフィン公式と古典的ケースを関連付ける。
• 評価写像の下で $\text{ad}_\tau$ が $-\partial_z$ と同一視されることを用い、アフィン公式内の微分作用素を変換する。
• 生成関数の恒等式 $\sum_{a+b=p} \binom{a-1}{l-1}\binom{b-1}{l-1} = \binom{p-1}{2l-1}$ を用いて、分割に関する和を再編成する。
• 下降階乗の二項定理を用いて、$\Xi$ および $\Psi$ 作用素を含む式を簡約する。
• 評価写像を介して、アフィン公式（定理 3.1）と古典的公式（[4] の命題 4.4）が等価であることを示し、両者の整合性を確立する。

実験結果

リサーチクエスチョン

• RQ1 アフィンリー代数 $U(\hat{\mathfrak{o}}_{2n})$ における Pfaffian 型 Segal-Sugawara ベクトルの新しい組合せ的公式を導出可能か？
• RQ2 新しい公式を用いて、$\text{Pf}(\tilde{F}[-1])$ のハリシュ・チャンドラ像をどのように効率的に計算できるか？
• RQ3 評価準同型を介して、$U(\mathfrak{o}_{2n})$ における古典的 Pfaffian 公式をアフィン公式から回復可能か？
• RQ4 非可換 Pfaffian を通じて、アフィン的および古典的設定を結ぶ明確な代数的構造は何か？
• RQ5 作用素 $\Xi$、$\tilde{\Theta}$、$\Theta$、$\Psi$ は評価写像の下でどのように相互作用し、古典的結果を生じるか？

主な発見

• 定理 3.1 は、$U(\hat{\mathfrak{o}}_{2n})$ 内の $\text{Pf}(\tilde{F}[-1])$ に対する新しい組合せ的公式を提供し、部分集合 $I, J \subset \{-n,\dots,-1\}$ に関する和として表現される。各項は非可換 Pfaffian および部分行列の行列式を含む。
• この公式により、ハリシュ・チャンドラ準同型を $U(t^{-1}\mathfrak{h}[t^{-1}])$ に制限することによって、$\text{Pf}(\tilde{F}[-1])$ のハリシュ・チャンドラ像を直接計算可能となる。
• 補題 5.1 は、カルタン部分代数上の対称多項式として、$\text{Pf}(\tilde{F}[-1])$ のハリシュ・チャンドラ準同型による像を明示的に計算している。
• アフィン公式に評価準同型 $\varphi$ を適用することで、[4] の古典的 Pfaffian 公式（特に命題 4.4）が回復され、アフィン作用素が古典的作用素に変換される。
• 得られた式 $\Omega^n = \sum_{l=0}^{\lfloor n/2 \rfloor} \frac{2^{n-2l}n!}{(n-2l)!l!l!} \Xi(\Xi - \Psi)\cdots(\Xi - (n-2l-1)\Psi) \tilde{\Theta}^l \Theta^l$ は、[4] に既知の古典的結果と一致する。
• 評価写像を介して、アフィン公式（定理 3.1）と古典的公式（[4] の命題 4.4）の等価性が確立され、両設定間の整合性が確認された。