[論文レビュー] Admissible Diagrams in U_{q}^{w}(g) and Combinatoric Properties of Weyl Groups

Antoine Mériaux, G. Cauchon|ArXiv.org|Feb 4, 2009

Advanced Combinatorial Mathematics参考文献 10被引用数 8

ひとこと要約

本稿は、量子代数の文脈において、量子冪零代数 $U_q^w(\frak{g})$ における2つの組合せ的構造—アドミッサブル図（カウオン図）と正の部分表現（マーシュ＝リエッチュ 図）—の根本的な同等性を確立する。これらの図が一致することを示し、正の部分表現が本質的に量子的対象であることを示している。主な貢献は、$w$ より小さいWeyl群の元および $w^{-1}$ より小さいWeyl群の元との間の全単射対応を、図のインデックスから得られる簡約表現によって確立することである。

ABSTRACT

Consider a complex simple Lie algebra g of rank n. Denote by Πa system of simple roots, by W the corresponding Weyl group, consider a reduced expression w = s_{α_{1}} ... s_{α_{t}} (each α_{i} in Π) of some w \in W and call diagram any subset of {1, ..., t}. We denote by U_{q}^{w}(g) the "quantum nilpotent" algebra defined by J. C. Jantzen. We prove (theorem 5.3. 1) that the positive diagrams naturally associated with the positive subexpressions (of the reduced expression of w) in the sense of R. Marsh and K. Rietsch, coincide with the admissible diagrams constructed by G. Cauchon which describe the natural stratification of Spec(U_{q}^{w}(g)). If the Lie algebra g is of type A_{n} and w is choosen in order that U_{q}^{w}(g) is the quantum matrices algebra O_{q}(M_{p,m}(k)) with m = n-p+1 (see section 2.1), then the admissible diagrams are known (G. Cauchon) to be the Le - diagrams in the sense of A. Postnikov . In this particular case, the equality of Le - diagrams and positive subexpressions (of the reduced expression of w) have also been proved (with quite different methods) by A. Postnikov and by T. Lam and L. Williams.

研究の動機と目的

• 量子代数における2つの異なる組合せ的枠組み—アドミッサブル図（カウオン）と正の部分表現（マーシュ＝リエッチュ）—の深い関係を確立すること。
• Weyl群における簡約表現によって定義される正の部分表現が、$Spec(U_q^w(\frak{g}))$ の分離に用いられるアドミッサブル図と完全に一致することを示すこと。
• 正の部分表現が、量子交換関係および $U_q^w(\frak{g})$ の $H$-素イデアルから自然に生じることを示し、それらの量子的性質を明確にすること。
• これらの図とそれらに付随するWeyl群の元を用いて、$U_q^w(\frak{g})$ の $H$-不変素イデアルのスペクトルを統一的に組み合わせ論的に記述すること。

提案手法

• 著者たちは、$U_q^w(\frak{g})$ 及びその $H$-素イデアルの構造を分析するため、削除微分作用素アルゴリズムを用い、$w\in W$ の簡約表現におけるインデックスの部分集合としてアドミッサブル図を同定する。
• 彼らは、ブルハート順序およびルート系の性質を用いて、$w$ の簡約分解における正の部分表現に対応する部分集合として正の図を定義する。
• 重要な技術的道具は、Weyl群上の長さ関数であり、$l(s_{\alpha_i} \circ u) = l(u) \pm 1$ により、反転が長さを増加または減少させるかを特定し、それが図への包含を制御する。
• 証明は帰納法とルート系の解析に依拠し、条件 $l(s_{\alpha_{i+1}} \circ u_i) = l(u_i) - 1$ が $i+1 \in \Delta$ と同値であることを示し、図への属する条件を群論的性質と結びつける。
• 著者たちは、アドミッサブル図から $w$ より小さい $W$ の元への全単射 $\zeta: \Delta \mapsto u = s_{\alpha_{j_1}} \circ \cdots \circ s_{\alpha_{j_s}}$ を確立する。
• さらに、$\zeta': \Delta \mapsto u' = s_{\alpha_{j_s}} \circ \cdots \circ s_{\alpha_{j_1}}$ を定義し、これが $w^{-1}$ より小さい $W$ の元への写像であることを示し、両写像が全単射であり、簡約表現を保存することを示す。

実験結果

リサーチクエスチョン

• RQ1 マーシュとリエッチュがWeyl群における簡約表現によって定義する正の部分表現は、$Spec(U_q^w(\frak{g}))$ の分離に用いられるアドミッサブル図と一致するか？
• RQ2 $\zeta$ がアドミッサブル図から $u \in W$ で $u \leq w$ を満たすものへの写像であるとき、これは全単射であり、簡約表現を保存するか？
• RQ3 $\zeta'$ が図から $u' \leq w^{-1}$ を満たすものへの写像であるとき、これも全単射であり、$u'$ の簡約表現を生成するか？
• RQ4 特別な場合、$U_q^w(\frak{g})$ が量子行列代数 $O_q(M_{p,m}(k))$ であるとき、アドミッサブル図と $\Gamma$-図（ポストニコフ）の間の対応は成立するか？また、先行研究と整合的か？
• RQ5 Weyl群にブルハート順序を導入した場合、アドミッサブル図の集合から $H$-Spec$(U_q^w(\frak{g}))$ への2つの自然な全単射—$w^\Delta \mapsto \mathcal{P}_\Delta$ と $v^\Delta \mapsto \mathcal{P}_\Delta$—は順序を保存するか？

主な発見

• マーシュとリエッチュが $w$ の簡約表現におけるインデックスの部分集合として定義する正の図は、$Spec(U_q^w(\frak{g}))$ の分離に用いられるアドミッサブル図（カウオン図）と完全に一致する。
• $\zeta: \Delta \mapsto u = s_{\alpha_{j_1}} \circ \cdots \circ s_{\alpha_{j_s}}$ は、アドミッサブル図の集合から $\{u \in W \mid u \leq w\}$ への全単射であり、$\Delta$ のインデックスによって与えられる $u$ の簡約表現が成り立つ。
• $\zeta': \Delta \mapsto u' = s_{\alpha_{j_s}} \circ \cdots \circ s_{\alpha_{j_1}}$ は、アドミッサブル図の集合から $\{u' \in W \mid u' \leq w^{-1}\}$ への全単射であり、$\Delta$ のインデックス列の逆順から得られる $u'$ の簡約表現が成り立つ。
• 各アドミッサブル図 $\Delta = \{j_1 < \cdots < j_s\}$ に対して、$u = \zeta(\Delta)$ は簡約表現であり、同様に $u' = \zeta'(\Delta)$ に対しても同様の性質が成り立ち、表現の最小性が確認される。
• $\frak{g} = A_n$ で $U_q^w(\frak{g}) = O_q(M_{p,m}(k))$ の場合、アドミッサブル図はポストニコフの $\Gamma$-図と一致し、ポストニコフおよびラム＝ウィリアムズの先行研究と整合的であることが確認される。
• アドミッサブル図の集合から $H$-Spec$(U_q^w(\frak{g}))$ への2つの自然な全単射—$w^\Delta \mapsto \mathcal{P}_\Delta$ と $v^\Delta \mapsto \mathcal{P}_\Delta$—は両方とも適切に定義されており、全単射であり、Weyl群の組合せ論が量子代数の素イデアルスぺクトルと結びつくことを示している。