[論文レビュー] A central element in the universal enveloping algebra of type D_n via minor summation formula of Pfaffians

Takashi Hashimoto|ArXiv.org|Feb 3, 2006

Advanced Topics in Algebra被引用数 6

ひとこと要約

本稿は、直交リー代数 $\omega_{2n}$ の普遍包あくり代数における非可換反対称行列の Pfaffian に対する微小和公式を確立し、可約表現上の Pfaffian 型中心的要素の固有値の明示的計算を可能にする。主な結果は、補行列の行列式とずらし付き対角補正を含む Pfaffian の閉形式展開であり、最高重み $\lambda$ に対して単純な固有値公式 $\prod_{i=1}^{n}(\lambda_i + n - i)$ を得る。

ABSTRACT

It is known that the universal enveloping algebra of the orthogonal Lie algebra of size even has a central element expressed in terms of Pfaffian of a certain matrix alternating along the anti-diagonal (which we call anti-alternating for short) whose entries are in the univerasal enveloping algebra. In this paper, we establish minor summation formulae of Pfaffian for the noncommutative anti-alternating matrix, as well as for commutative anti-alternating matrix. As an application, we show that the eigenvalues on the highest weight modules of the central element given by the Pfaffian can be easily computed.

研究の動機と目的

• 非可換反対称行列の Pfaffian に対する微小和公式を、$U(\mathfrak{o}_{2n})$ の普遍包あくり代数において導出すること。
• Pfaffian の既知の可換微小和公式を、リー代数表現論に適した非可換設定に拡張すること。
• $ZU(\mathfrak{o}_{2n})$ 内の Pfaffian 型中心的要素の固有値を決定するための計算的ツールを提供すること。
• 非可換構造と行列式項内のずらし補正を組み込んだ、以前の結果の一般化を図ること。
• $\mathfrak{o}_{2n}$ の可約表現上での Pfaffian 中心的要素の正確な固有値公式を確立すること。

提案手法

• $U(\mathfrak{o}_{2n})$ の元を成分とする非可換反対称行列 $\boldsymbol{X} = (X_{i,j})$ を導入し、$X_{i,j} = E_{i,j} - J_{2n}E_{j,i}J_{2n}$ と定義する。
• 反対称行列の Pfaffian に対する微小和公式を適用し、行列を $a$, $b$, $c$ のブロックに分解し、$b$, $c$ が反対称となるようにする。
• 非可換 Pfaffian 展開を導出：$\operatorname{Pf}(\boldsymbol{X}) = \sum_{k=0}^{\lfloor n/2\rfloor} \sum_{|I|=|J|=2k} \operatorname{sgn}(\bar{I},I)\operatorname{sgn}(\bar{J},J) \det(a^{\bar{I}}_{\bar{J}} + \mathbbm{1}^{\bar{I}}_{\bar{J}} \boldsymbol{\rho}(n-2k)) \operatorname{Pf}(b_I) \operatorname{Pf}(c_J)$、ここで $\boldsymbol{\rho}(j) = \operatorname{diag}(j-1, \dots, 0)$ である。
• 普遍包あくり代数の構造と根ベクトルの作用を用いて、最高重みベクトル上で作用する際、Pfaffian 展開で唯一生き残る項を特定する。
• 外微分代数における 2-形式 $\varOmega = \varTheta' + 2\varXi + \varTheta$ の三項展開を用いて、可換版の微小和公式を導出する。
• 非可換公式は、可換ケースとの比較と根ベクトルの性質を活用し、正の根ベクトルが最高重みベクトル上で作用する様子を用いて確立する。

実験結果

リサーチクエスチョン

• RQ1 非可換反対称行列の Pfaffian に対する微小和公式を、$U(\mathfrak{o}_{2n})$ 内の非可換設定にどのように一般化できるか？
• RQ2 Pfaffian 型中心的要素の $ZU(\mathfrak{o}_{2n})$ 内での表現としての構造は、行列の微小成分によってどのように記述されるか？
• RQ3 可約表現上の Pfaffian 中心的要素の固有値は、最高重み $\lambda$ にどのように依存するか？
• RQ4 外微分代数の技法と根ベクトルの作用を用いて、非可換 Pfaffian 展開を導出できるか？
• RQ5 Pfaffian 展開の行列式項におけるずらし補正 $\boldsymbol{\rho}(j)$ は、どのような役割を果たすか？

主な発見

• 非可換反対称行列の Pfaffian に対する微小和公式が確立され、$U(\mathfrak{o}_{2n})$ の非可換設定に既知の可換結果が拡張された。
• 行列 $\boldsymbol{X}$ の Pfaffian は、サイズ $2k$ の添え字集合 $I,J$ に関する和として展開され、$a$ の補行列の行列式にずらし補正 $\boldsymbol{\rho}(n-2k)$ を加えた項を含む。
• 最高重み $\lambda = \sum_{i=1}^n \lambda_i \epsilon_i$ を持つ可約表現上での Pfaffian 中心的要素 $\operatorname{Pf}(\boldsymbol{X})$ の固有値は $\prod_{i=1}^n (\lambda_i + n - i)$ に等しい。
• 最高重みベクトル上で作用する際、$I = J = \varnothing$ の項のみが生き残り、正の根ベクトルの冪零作用によるものである。
• 公式は、ずらし付き重みの積に簡略化され、中心的要素の固有値に対する単純かつ明示的な表現を提供する。
• 非可換展開が外微分代数による可換ケースと比較されることで、一貫性と正しさが検証され、導出が裏付けられる。