[論文レビュー] Universal Verma modules and the Misra-Miwa Fock space

Arun Ram, Peter Tingley|arXiv (Cornell University)|Feb 2, 2010

Algebraic structures and combinatorial models参考文献 26被引用数 3

ひとこと要約

本稿は、$U_v(\widehat{\mathfrak{sl}}_\ell)$ の Misra-Miwa $v$-deformed Fock 空間表現と、$N \to \infty$ のときの $U_q(\mathfrak{gl}_N)$ の多項式 Weyl 空間の間の深い関係を確立する。普遍 Verma 空間における Shapovalov 行列式を用いて、Fock 空間の行列要素に現れる $v$ のべきが、Weyl 空間の最高重層ベクトルにおける Shapovalov 形の $v$-付値に丁度一致することを示し、これらの量子群行列係数の普遍的実現を提供する。

ABSTRACT

The Misra-Miwa $v$-deformed Fock space is a representation of the quantized affine algebra of type A. It has a standard basis indexed by partitions and the non-zero matrix entries of the action of the Chevalley generators with respect to this basis are powers of $v$. Partitions also index the polynomial Weyl modules for the quantum group $U_q(gl_N)$ as $N$ tends to infinity. We explain how the powers of $v$ which appear in the Misra-Miwa Fock space also appear naturally in the context of Weyl modules. The main tool we use is the Shapovalov determinant for a universal Verma module

研究の動機と目的

• Misra-Miwa Fock 空間表現における $v$-べきの起源を説明すること。
• これらの $v$-べきが $N \to \infty$ のときの $U_q(\mathfrak{gl}_N)$ の多項式 Weyl 空間の表現理論とどのように関連するかを結びつけること。
• Fock 空間作用における $v$-べきが、Weyl 空間の最高重層ベクトルにおける Shapovalov 形の $v$-付値として自然に生じることを示すこと。
• Shapovalov 行列式を普遍 Verma 空間に適用することで、行列係数の普遍的枠組みを確立すること。

提案手法

• 普遍 Verma 空間の Shapovalov 行列式公式を用いて、標準表現とのテンソル積における Weyl 空間の最高重層ベクトルのノルムを計算する。
• cyclotomic 多項式 $\phi_{2\ell}$ における付値 $\text{val}_{\phi_{2\ell}}$ を Shapovalov 形に適用し、$v$-べきを抽出する。
• Kashiwara と Kamita の普遍 Verma 空間枠組みを用いて、$N$ 全体にわたる $q$-変形を一様に扱う。
• universal Verma 空間上の評価写像 $\text{ev}_\lambda$ を用い、行列係数を $q$-整数およびホック長さに類似した表現と関連付ける。
• 三角性条件を用いて、$\Delta^\mathcal{A}(\lambda) \otimes_{\mathcal{A}} V$ 内の最高重層ベクトルを一意に特定する。
• 恒等式 $\text{ev}_\lambda(s_k) = \text{val}_{\phi_{2\ell}}(v_\mu, v_\mu)$ を適用し、Fock 空間行列係数 $\langle \mu | F_{\bar{i}} | \lambda \rangle$ を最高重層ベクトルのノルムの付値と結びつける。

実験結果

リサーチクエスチョン

• RQ1 なぜ Misra-Miwa Fock 空間における Chevalley 生成子の行列係数が $v$ のべきとして現れるのか？
• RQ2 これらの $v$-べきは、$U_q(\mathfrak{gl}_N)$ Weyl 空間の表現理論からどのように体系的に導出可能か？
• RQ3 すべての $N$ にわたってこれらの $v$-べきが現れる普遍的構成は存在するか？
• RQ4 普遍 Verma 空間における Shapovalov 行列式を用いて、$\Delta(\lambda) \otimes V$ 内の最高重層ベクトルのノルムの $v$-付値を計算できるか？
• RQ5 Fock 空間における $v$-べきと、対応する最高重層ベクトルにおける Shapovalov 形の $v$-付値との正確な関係は何か？

主な発見

• Fock 空間における行列係数 $\langle \mu | F_{\bar{i}} | \lambda \rangle$ は、$v^{\text{val}_{\phi_{2\ell}}(v_\mu, v_\mu)}$ に等しく、ここで $v_\mu$ は三角性条件を満たす $\Delta^\mathcal{A}(\lambda) \otimes_{\mathcal{A}} V$ 内の唯一の最高重層ベクトルである。
• $v$-付値 $\text{val}_{\phi_{2\ell}}(v_\mu, v_\mu)$ は、普遍 Verma 空間における Shapovalov 行列式によって計算され、普遍表現の構造と結びつく。
• 恒等式 $\text{ev}_\lambda(s_k) = \text{val}_{\phi_{2\ell}}(v_\mu, v_\mu)$ を示すことで、結果が得られる。ここで $\text{ev}_\lambda(s_k)$ は、Shapovalov 形に関連する $q$-整数と関連する普遍的要素の評価である。
• 付値 $\text{val}_{\phi_{2\ell}}$ が $v$-べきを正確に捉えるのは、$[x]$ が $\phi_{2\ell}$ で割り切れるのは $\ell \mid x$ のときであり、$\phi_{2\ell}^2$ では割り切れないからである。
• この関係は普遍的である：$N \to \infty$ のとき、Fock 空間と Shapovalov 形の $v$-付値の両方で同じ $v$-べきが現れる。
• Shapovalov 行列式と普遍 Verma 空間を用いるこの手法により、特定の $N$ に依存する表現に依存せずに、$v$-べきを計算する枠組みが提供される。