[論文レビュー] Orthogonal basis for the Shapovalov form on $A_n$

Andrey Mudrov|arXiv (Cornell University)|Jun 16, 2012

Algebraic structures and combinatorial models参考文献 9被引用数 5

ひとこと要約

本稿は、量子群 $U_q(\mathfrak{sl}(n+1))$ のシャポバロフ形式に対する正規直交基底を構成する。動的ルートベクトルを導入し、拡張されたカルタン部分代数上でのPoincaré-Birkhoff-Witt (PBW) 基底を構成することで、一般のヴェルマ加群における対応する双線形形式を対角化する。この方法により、行列係数を明示的に計算し、シャポバロフ形式の逆行列を構成する。これは、先行研究の間接的結果に依存せず、$A_n$ 系列に対する自己完備的な導出を提供する。

ABSTRACT

Let $U$ be either classical or quantized universal enveloping algebra of $\sł(n+1)$ extended over the field of fractions of the Cartan subalgebra. We suggest a PBW basis in $U$ over the extended Cartan subalgebra diagonalizing the contravariant Shapovalov form on generic Verma module. The matrix coefficients of the form are calculated and the inverse of the form is explicitly constructed.

研究の動機と目的

• 量子群の $A_n$ 系列に対して、シャポバロフ形式の逆行列を自己完備的かつ初等的に導出すること。
• 一般のヴェルマ加群におけるシャポバロフ形式を対角化する、拡張されたカルタン部分代数上でのPBW基底を構成すること。
• 古典的極限を用いて、結果を普遍包あくり代数 $U(\mathfrak{sl}(n+1))$ に拡張すること。
• 動的ルートベクトルが、有限次元加群におけるゲルファンド-ツェルヴィンスキー基底と類似したタイプの基底をヴェルマ加群に与えることを確立すること。
• シャポバロフ形式の行列係数を計算し、特異な重みの集合を除いて形式の逆行列を明示的に構成すること。

提案手法

• カルタン部分代数の係数を有する一般化された交換子を用いて、ボレル部分代数内に動的ルートベクトル $\hat{e}_{\pm\mu}$ を導入する。
• PBW単項式が、循環シャポバロフ双対性の下で右下および左上ヴェルマ加群において双対基底をなすように、動的ルートベクトルを順序づける。
• 根ベクトルの「行単位の可換性」性質を用いて、負の動的ルートベクトルが反変シャポバロフ形式の正規直交基底をなすことを証明する。
• 重みの議論と双対基底要素とのペアリングを用いて、形式の行列係数を量子整数 $[\lambda]_q$ の形で計算する。
• 係数行列の逆行列を用いてシャポバロフ形式の逆行列を構成する。これは $[\lambda_{k\,n}-m+1]_q \neq 0$ のとき有効である。
• 古典的極限を活用して、結果を普遍包あくり代数 $U(\mathfrak{sl}(n+1))$ に拡張する。

実験結果

リサーチクエスチョン

• RQ1 シャポバロフ形式に対して、$U_q(\mathfrak{sl}(n+1))$ において一般のヴェルマ加群で対角化される正規直交PBW基底を明示的に構成可能か？
• RQ2 シャポバロフ形式の行列係数は量子整数の言いかえでどのように表され、形式がいつ可逆か？
• RQ3 動的ルートベクトルは、有限次元加群におけるゲルファンド-ツェルヴィンスキー基底とどのように関係し、ヴェルマ加群へと拡張可能か？
• RQ4 逆形式が存在しない正確な特異的重みの集合は何か？ また、シャポバロフ行列式の零点集合と比較してどうなるか？
• RQ5 $A_n$ 系列に対して、ミケルソン代数の結果に依存せずに、シャポバロフ形式の逆行列を独立に構成可能か？

主な発見

• 動的ルートベクトル $\hat{f}_{k\,n}$ は、一般のヴェルマ加群におけるシャポバロフ形式を対角化する、拡張されたカルタン部分代数上でのPBW基底をなす。
• シャポバロフ形式の行列係数は、量子整数 $[\lambda_{k\,n}-m+1]_q$ の積として明示的に計算され、これらの値が非ゼロのとき形式は可逆である。
• 係数行列の逆行列を用いてシャポバロフ形式の逆行列を明示的に構成する。これは $\{\lambda \mid q^{2(\lambda,\alpha)} \in q^{2\mathbb{Z}}\}$ の外側の一般の重みに対して有効である。
• 負の動的ルートベクトル $\hat{f}_{\alpha}$ は、反変シャポバロフ形式の正規直交基底をなす。直交性は、根ベクトルの「行単位の可換性」性質によって確立される。
• この構成により、ヴェルマ加群においてゲルファンド-ツェルヴィンスキー型の基底が得られ、$\hat{f}_{\alpha}$ の単項式は $U_q(\mathfrak{h})$ および $i=2,\ldots,n+1$ に対する $U_q(\mathfrak{sl}(i))$ の中心の共通固有ベクトルである。
• この構成の古典的極限は、$U(\mathfrak{sl}(n+1))$ に対して対応する結果を回復し、古典的ケースと整合性が確認される。