[論文レビュー] Root systems and Weyl groupoids for Nichols algebras

I. Heckenberger, Henriette Schneider|ArXiv.org|Jul 4, 2008

Algebraic structures and combinatorial models参考文献 14被引用数 20

ひとこと要約

本稿は、任意のホップ代数上の半単純ヤッター＝ドリンフェルト加群に関連するニコルズ代数の一般化されたルート系およびワイル群ガーディアン枠組みを導入する。ブラケット付き随伴作用の有限性条件から得られる一連のカルタン行列を用いて、著者らは、ニコルズ代数の次元およびヒルベルト級数がルート系と反転によって制御されることを確立し、分類結果を得る：ワイル群ガーディアンが有限であれば、すべてのルート空間は実であり、ブラケット付き随伴作用は不変性を保つ。

ABSTRACT

Motivated by work of Kac and Lusztig, we define a root system and a Weyl groupoid for a large class of semisimple Yetter-Drinfeld modules over an arbitrary Hopf algebra. The obtained combinatorial structure fits perfectly into an existing framework of generalized root systems associated to a family of Cartan matrices, and provides novel insight into Nichols algebras. We demonstrate the power of our construction with new results on Nichols algebras over finite non-abelian simple groups and symmetric groups. Key words: Hopf algebra, quantum group, root system, Weyl group

研究の動機と目的

• Kac-Moodyリーダイニンク代数のルート系およびワイル群の理論を、任意のホップ代数上のニコルズ代数へと拡張すること。
• ブラケット付き随伴作用の有限性条件から導かれる一連のカルタン行列を用いて、半単純ヤッター＝ドリンフェルト加群に対する一般化されたルート系を定義すること。
• ルート的次数からなる全順序集合でインデックス付けられた、非可約成分のニコルズ代数のテンソル積としてのニコルズ代数の分解を確立すること。
• ワイル群ガーディアンが有限である場合、すべてのルートが実であり、ブラケット付き随伴作用が不変性を保つことを証明すること。
• この枠組みを用いて、対称群および非アーベル的単純群上の有限次元ニコルズ代数を分類すること。

提案手法

• ブラケット付き随伴作用の有限性条件から得られる一連のカルタン行列を用いて、事前に固定されたカルタン行列を仮定せずに、一般化されたルート系を定義する。
• 非対角型のbraided Hopf代数に対するカーチャンのPBW基底理論の一般化を用いて、ニコルズ代数を非可約成分のテンソル積に分解する。
• ニコルズ代数を、$\mathbb{Z}^\theta$ 上の全順序集合でインデックス付けされた非可約ヤッター＝ドリンフェルト加群のニコルズ代数のテンソル積としての一意的分解を確立する。
• ルート系への反転を定義し、その基本的性質を証明することで、ワイル群ガーディアンの基礎を築く。
• 理論を応用して、対称群 $\mathbb{S}_n$、$n \geq 3$ 上の有限次元ニコルズ代数に対して、代数が有限次元であれば、モジュールは非可約でなければならないことを示す。
• 条件 $q_{(\mathrm{ad}_c V)(W)} = -q_V q_W$ と二重コセット解析を用いて、可換な共轭類とバーニングの挙動に関する制約を導出する。

実験結果

リサーチクエスチョン

• RQ1 任意のホップ代数上のニコルズ代数に対して、固定されたカルタン行列を仮定せずに、一般化されたルート系およびワイル群ガーディアンを定義できるか？
• RQ2 非可約ヤッター＝ドリンフェルト加群の直和上のブラケット付き随伴作用が不変性を保つための条件は何か？
• RQ3 ワイル群ガーディアンの有限性は、ニコルズ代数の構造、特に次元およびヒルベルト級数とどのように関係するか？
• RQ4 ニコルズ代数の有限性が、対称群および非アーベル的単純群における共轭類およびバーニングに与える制約は何か？
• RQ5 二つの非可約ヤッター＝ドリンフェルト加群上のブラケット付き随伴作用の像が非可約またはゼロである条件は何か？

主な発見

• ニコルズ代数 $\mathfrak{B}(M_1 \oplus \cdots \oplus M_\theta)$ は、$W_l$ が非可約 $\mathbb{N}_0^\theta$-次数付きヤッター＝ドリンフェルト加群であり、$L$ が全順序インデックス集合であるとき、一意的な分解 $\otimes_{l \in L} \mathfrak{B}(W_l)$ を持つ。
• ワイル群ガーディアンが有限であるとき、一般化されたルート系のすべてのルートは実であり、ブラケット付き随伴作用はすべての $ i \neq j $、$ m \geq 1 $ に対して $ (\mathrm{ad}_c M_i)^m(M_j) = 0 $ または非可約である。
• 対称群 $\mathbb{S}_n$、$n \geq 3$ に対して、$\mathfrak{B}(U)$ が有限次元であれば、$U$ は ${}^G_G\mathcal{YD}$ において非可約でなければならない。
• $\mathfrak{B}(V \oplus W)$ が有限次元であれば、すべての $ s \in \mathcal{O}_g $、$ t \in \mathcal{O}_h $ に対して $ (st)^2 = (ts)^2 $ であり、$ (x \triangleright g)h \neq h(x \triangleright g) $ を満たす二重コセット $ G^h x G^g $ は高々一つである。
• $ s \in \mathcal{O}_g $、$ t \in \mathcal{O}_h $ で $ st \neq ts $ である場合、$ U = (\mathrm{ad}_c V_s)(W_t) $ は非可約ヤッター＝ドリンフェルト加群であり、$ q_U = -q_V q_W $ かつ $ \dim \mathfrak{B}(U) < \infty $ である。
• 条件 $ \dim \mathfrak{B}(U) < \infty $ は、$ \mathcal{O}_{(123)} \notin \mathcal{F}(\mathbb{S}_3) $ および $ \mathcal{O}_{(12)(34)} \notin \mathcal{F}(\mathbb{S}_4) $ を意味し、これは $ \mathbb{S}_n $ における非可約性結果を支持する。