[論文レビュー] Right coideal subalgebras of Nichols algebras and the Duflo order on the Weyl groupoid

I. Heckenberger, Henriette Schneider|ArXiv.org|Sep 1, 2009

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

ひとこと要約

本稿は、ヤッター＝ドリンフェルト加群がすべての反射を備え、ニchlズ代数が分解可能であるという条件下で、右Duflo順序で整列されたWeyl群族の準同型写像と、包含関係で整列されたグレーディング付き右コイデアル部分代数の間で、全単射かつ順序を保つ対応を確立する。主な結果は、カルチェンコが量子包あくり代数のボレル部分代数における右コイデアル部分代数の数について提起した予想を裏付けるものである。

ABSTRACT

We study graded right coideal subalgebras of Nichols algebras of semisimple Yetter-Drinfeld modules. Assuming that the Yetter-Drinfeld module admits all reflections and the Nichols algebra is decomposable, we construct an injective order preserving and order reflecting map between morphisms of the Weyl groupoid and graded right coideal subalgebras of the Nichols algebra. Here morphisms are ordered with respect to right Duflo order and right coideal subalgebras are ordered with respect to inclusion. If the Weyl groupoid is finite, then we prove that the Nichols algebra is decomposable and the above map is bijective. In the special case of the Borel part of quantized enveloping algebras our result implies a conjecture of Kharchenko. Key words: Hopf algebra, quantum group, root system, Weyl group

研究の動機と目的

• 半単純ヤッター＝ドリンフェルト加群のニchlズ代数におけるグレーディング付き右コイデアル部分代数の体系的かつケースフリーな分類を確立すること。
• 量子包あくり代数におけるコイデアル部分代数に関する結果を、ニchlズ代数およびWeyl群族のより広範な枠組みへ一般化すること。
• 右コイデアル部分代数 $U^{ geq 0}$ に $U^0$ を含むものの数が、Weyl群の位数に等しいことを証明し、カルチェンコの予想を確認すること。
• Duflo順序に基づくWeyl群族における写像を通じて、代数 $U^+ [w]$ 及びその包含関係の均一的かつ内在的な特徴付けを提供すること。
• 適切なフレームワークの修正を用いて、多パラメータ量子群および1の根に際限なく小さな量子群への理論の拡張を図ること。

提案手法

• Weyl群族の準同型写像（右Duflo順序で整列）から、ニchlズ代数のグレーディング付き右コイデアル部分代数（包含関係で整列）への単射的かつ順序を保ち、順序を反映する写像を構成する。
• 半単純ヤッター＝ドリンフェルト加群 $M$ に対して、Weyl群族 $\mathcal{W}(M)$ を定義するため、ヤッター＝ドリンフェルト加群の文脈における反射およびルート系の理論を用いる。
• Weyl群族 $\mathcal{W}(M)$ が有限であるという仮定の下で、ニchlズ代数およびそのコイデアル部分代数におけるPBW定理を適用し、明確な基底構造を保証する。
• ルスティグのブレイン群作用およびねじれファンクター $T_i$ を用いて、ルートベクトルを定義し、異なるWeyl群族の対象間でそれらを関連付ける。
• ニchlズ代数ファンクター $\mathcal{B}(\vartheta)$ およびねじれ写像 $T_i$ を含む可換図式を確立し、異なる短縮分解におけるPBW生成子の整合性を保証する。
• 代数的写像の単射性および可換性を証明するために、$U$ の三角分解および双線形形式の非退化性を活用する。

実験結果

リサーチクエスチョン

• RQ1 Weyl群族の準同型写像（右Duflo順序で整列）とニchlズ代数のグレーディング付き右コイデアル部分代数との間に、自然かつ内在的な対応が存在するか？
• RQ2 $U^{ geq 0}$ の右コイデアル部分代数で $U^0$ を含むものの数は、Weyl群 $W$ の位数に等しいか？
• RQ3 $U^+ [w]$ は、ケースバイケースの分析を避け、ねじれファンクターおよびPBW生成子の像として一様に特徴付けられるか？
• RQ4 Weyl群族が有限であると、ニchlズ代数の分解可能性およびコイデアル部分代数写像の全単射性がどのように保証されるか？
• RQ5 結果は、多パラメータ量子群および1の根に際限なく小さな量子群へどの程度まで拡張可能か？

主な発見

• 写像 $w \mapsto U^+ [w]U^0$ は、右Duflo順序で整列されたWeyl群 $W$ と、$U^{ geq 0}$ に $U^0$ を含むすべての右コイデアル部分代数の集合との間で、順序を保つ全単射である。
• Weyl群族 $\mathcal{W}(M)$ が有限であるとき、ニchlズ代数 $\mathcal{B}(M)$ は分解可能となり、Weyl群族の準同型写像からコイデアル部分代数への写像は全単射となる。
• ルスティグの自己同型を用いて構成された $U^+$ のPBW基底は、Weyl群族フレームワークから導かれるPBW基底と一致し、異なる構成法の整合性が裏付けられる。
• 部分代数 $U^+ [w]$ は、Duflo順序で $w' \leq_D w$ を満たす任意のより小さい $U^+ [w']$ に関して、右 $U^+ [w']$-加群として自由である。
• この結果は、カルチェンコの予想を確認する。すなわち、$U^{ geq 0}$ に $U^0$ を含む右コイデアル部分代数の数は、Weyl群の位数 $|W|$ に等しい。
• パラメータ $q_{\alpha}$ が1の根でない場合、またはそれぞれ1の根である場合に、フレームワークは多パラメータ量子群および1の根に際限なく小さな量子群へ拡張可能である。