[論文レビュー] The Nichols algebra of a semisimple Yetter-Drinfeld module

Nicolás Andruskiewitsch, I. Heckenberger+1 more|ArXiv.org|Mar 17, 2008

Algebraic structures and combinatorial models参考文献 27被引用数 11

ひとこと要約

本稿では、有限群上の半単純Yetter-Drinfeld加群のニchlズ代数に対して、反射関手を導入し、Weyl群族構造を確立し、実根を定義する。奇数の $ n > 1 $ に対して、二面体群 $\mathbb{D}_n$ 上の唯一の有限次元ニchlズ代数は $\mathcal{B}(\mathcal{O}_x, \text{sgn})$ であり、$\mathbb{S}_3$ および $\mathbb{S}_4$ 上の有限次元 pointed Hopf代数の分類を完成させる。主な貢献は、半単純設定における根系と反射を用いた、有限次元ニchlズ代数の分類のための新しい枠組みの構築である。

ABSTRACT

We study the Nichols algebra of a semisimple Yetter-Drinfeld module and introduce new invariants such as real roots. The crucial ingredient is a `reflection' in the class of such Nichols algebras. We conclude the classifications of finite-dimensional pointed Hopf algebras over S_3, and of finite-dimensional Nichols algebras over S_4. The revised version contains an extended introduction with references to recent applications, and a simplified definition of the Weyl groupoid of a semisimple Yetter-Drinfeld module. Key words: Hopf algebras, quantum groups, Weyl groupoid

研究の動機と目的

• 有限群上の半単純Yetter-Drinfeld加群のニchlズ代数に対する反射理論を構築すること。
• ニchlズ代数の文脈において、実根やWeyl群族のような新しい不変量を定義すること。
• $\mathbb{S}_3$ および $\mathbb{S}_4$ 上のすべての有限次元 pointed Hopf代数を分類すること。
• 奇数の $ n > 1 $ に対して、$\mathcal{B}(\mathcal{O}_x, \text{sgn})$ が二面体群 $\mathbb{D}_n$ 上で有限次元であるかどうかを特定すること。
• 既約Yetter-Drinfeld加群の直和としてのニchlズ代数の有限次元性を、その成分の性質から決定できるかを分析することにより、1次元モジュールを超える有限次元ニchlズ代数の分類を拡張すること。

提案手法

• 射影を持つ braided Hopf代数および代数 $\mathcal{K}$ を用いて、ニchlズ代数への反射関手を導入する。
• 歪微分作用素 $\partial_w$ および braided 微分作用素を定義し、随伴作用の解析と非消滅関係の検出に用いる。
• 半単純Yetter-Drinfeld加群のニchlズ代数に関連する根系の集合へのWeyl群族作用を構成する。
• テンソル代数の最大のコイデアル（次数 $\geq 2$）による商としてのニchlズ代数の普遍性を用いる。
• 量子微分作用素の理論および braided 微分作用素を応用して、関係を計算し、有限性をテストする。
• 反射関手を用いて、有限性の問題を反復随伴作用の非消滅性の確認に還元する。例えば $\operatorname{ad}_c(v_i)\operatorname{ad}_c(v_j)(w_k) \neq 0$ である。

実験結果

リサーチクエスチョン

• RQ1 半単純Yetter-Drinfeld加群のニchlズ代数に作用するWeyl群族の構造は何か？
• RQ2 $\mathbb{S}_3$ および $\mathbb{S}_4$ 上のどのニchlズ代数が有限次元であるか？
• RQ3 奇数の $ n > 1 $ に対して、$\mathcal{B}(\mathcal{O}_x, \text{sgn})$ は二面体群 $\mathbb{D}_n$ 上で有限次元か？
• RQ4 既約Yetter-Drinfeld加群の直和としてのニchlズ代数の有限次元性は、その成分の性質から決定可能か？
• RQ5 半単純Yetter-Drinfeld加群の文脈における、実根のような新しい不変量は何か？

主な発見

• 奇数の $ n > 1 $ に対して、$\mathbb{D}_n$ 上の唯一の有限次元ニchlズ代数は $\mathcal{B}(\mathcal{O}_x, \text{sgn})$ であり、反射条件を満たさない場合には次元が無限大になる。
• $\mathbb{S}_3$ 上の有限次元 pointed Hopf代数の分類が完了し、有限次元であるのは $\mathcal{B}(\mathcal{O}_2^3, \text{sgn} \otimes \varepsilon) \oplus \mathcal{B}(\mathcal{O}_3^3, \chi_{-})$ のみであることが確認された。
• $\mathbb{S}_4$ に対しては、唯一の有限次元ニchlズ代数は $\mathcal{B}(\mathcal{O}_2^4, \text{sgn} \otimes \varepsilon) \oplus \mathcal{B}(\mathcal{O}_4^4, \chi_{-})$ であり、その次元は無限大である。
• 反射関手は代数 $\mathcal{K}$ および braided 微分作用素を介して構成され、実根および Weyl群族の定義を可能にする。
• $\partial_{v_6}\partial_{w_4}(\operatorname{ad}_c(v_2)\operatorname{ad}_c(v_1)(w_2)) = -v_5 \neq 0$ であることで $a_{12} \leq -2$ が示され、整数性に矛盾し、無限次元性が証明される。
• 反射および根系の技法を用いて、1次元モジュールを超える半単純Yetter-Drinfeld加群への有限次元ニchlズ代数の分類を成功裏に拡張した。