[論文レビュー] On pointed Hopf algebras associated with the symmetric groups

Nicolás Andruskiewitsch, Fernando Fantino+1 more|arXiv (Cornell University)|Jul 15, 2008

Algebraic structures and combinatorial models参考文献 16被引用数 6

ひとこと要約

この論文は、対称群 $\mathbb{S}_m$ 上の有限次元指向ホップ代数を、同型類 ${\rm ̄f O}$ とその中心化群の表現 $ ho$ の対 $({\rm ̄f O}, \rho)$ の分類を通じて調査する。ここで、関連するニコルズ代数 $\mathfrak{B}({\rm ̄f O}, \rho)$ が有限次元であるようなものである。非アーベル部分ラックとbraidedベクトル空間の部分構造の技術を用いて、著者たちは可能なケースを九つの特定のタイプにまで絞り込み、残りのすべてを無限次元であると除外する。残された主要な未解決ケースは、$m \geq 6$ のときの転置類と符号表現の組み合わせである。本研究は、$\mathbb{S}_m$ 上の有限次元ニコルズ代数の明確な分類を提供し、探索空間を著しく狭める。

ABSTRACT

It is an important open problem whether the dimension of the Nichols algebra B(O,ρ) is finite when O is the class of the transpositions and ρis the sign representation, with m>= 6. In the present paper, we discard most of the other conjugacy classes showing that very few pairs (O,ρ) might give rise to finite-dimensional Nichols algebras.

研究の動機と目的

• 群の群的元のなす群が $\mathbb{S}_m$ に同型であるすべての有限次元指向ホップ代数を分類すること。
• ${\mathcal{O}}$ が共轭類で、$\rho$ がその中心化群の表現であるような対 $({\mathcal{O}}, \rho)$ のうち、ニコルズ代数 $\mathfrak{B}({\mathcal{O}}, \rho)$ が有限次元になるものを探すこと。
• $\mathbb{S}_m$ 上の有限次元ニコルズ代数の候補として、九つの特定のタイプの $({\mathcal{O}}, \rho)$ の対を除き、すべてを除外すること。特に、$m \geq 6$ のときの転置類と符号表現の組み合わせという未解決ケースに焦点を当てる。
• braidedベクトル空間理論とラック理論からの高度な技術を用いて、無限次元のケースを体系的に除外すること。

提案手法

• 著者たちは、$\mathfrak{B}({\mathcal{O}}, \rho)$ の有限次元性から、$q_{\sigma\sigma} = -1$ かつ $\sigma$ が偶数位数を持つことが、先行研究 [AZ, 2.2] から導かれるという事実を利用する。
• 非アーベル部分ラック技術 [AF2] を適用し、特に ${\mathcal{D}}_3$ および八面体構成を用いて、無限次元ニコルズ代数を検出する。
• 鍵となる手法は、[Gñ1] の拡張を用いた命題 3.3 において、アーベル部分ラックとは「横断的」であるが、対角型でないbraidedベクトル部分空間を構成することである。
• 表現論的制約を用いる：$n_j > 0$ かつ $j \geq 3$ のとき、$\rho_j$ の次数は 1 に制限される。また、$\deg \rho_1 = 1$ ならば、$\rho_1 = \operatorname{sgn}$ または $\epsilon$ でなければならない。
• ${\mathcal{D}}_3^{(2)}$ ラック技術を用いて、$\deg \rho_1 > 1$ のケース、特に $n_1 > 0$ かつ $n_2 = 3$ や $5$ のタイプを除外する。
• 群の元が部分ラックに作用する様子を用いて、特定の特性に関する制約を導出する。条件 $\rho(g^{-1}\sigma g) = -1$ を満たすと、[AF2, Th. 3.7] により無限次元性が引き出される。

実験結果

リサーチクエスチョン

• RQ1 どの共轭類 ${\mathcal{O}}$ とその中心化群の表現 $\rho$ が、$\mathfrak{B}({\mathcal{O}}, \rho)$ を有限次元にするか？
• RQ2 なぜ $m \geq 6$ のときの転置類と符号表現の組み合わせが、対称群上での有限次元指向ホップ代数の分類における中心的未解決問題とされるのか？
• RQ3 非アーベル部分ラック構造を用いることで、アーベル部分ラック手法に比べて、無限次元ニコルズ代数をより効率的に除外できるか？
• RQ4 有限次元性 $\dim \mathfrak{B}({\mathcal{O}}, \rho) < \infty$ の下で、$\sigma$ の長さ $j$ の巡回置換に対する表現 $\rho_j$ の次数と特性にどのような正確な制約が生じるか？
• RQ5 長さ $j=2,4$ および奇数 $j$ のための表現 $\rho_j$ は、$\mathbb{S}_m$ 上の有限次元ニコルズ代数にどのような制約を与えるか？

主な発見

• 本論文は、$\mathbb{S}_m$ 上の有限次元ニコルズ代数の候補を、正確に九つのタイプにまで絞り込んだ。これら九つはすべて定理 1 に列挙されている。
• $m \geq 6$ のとき、$\mathcal{O}$ が転置類で、$\rho$ が符号表現であるケースは、分類によって除外されないまま未解決のまま残っている。
• $n_j > 0$ かつ $j \geq 6$ が偶数であるようなケースはすべて除外された。また、$n_4 > 2$ または $n_2 > 5$ であるケースも除外された。
• $n_1 > 0$ ならば、$\rho_1$ は $\operatorname{sgn}$ または $\epsilon$ でなければならない。$n_2 = 3$ のケースでは、$\rho_2$ は $\chi_{(3)} \otimes \operatorname{sgn}$ でなければならないが、$\chi_{(3)} \otimes \epsilon$ ではない。
• $n_2 = 3$ で $\rho_2 = \chi_{(3)} \otimes \epsilon$ であるケース、および $n_2 = 5$ で $\rho_2 = \chi_{(5)} \otimes \epsilon$ であるケースは、${\mathcal{D}}_3$ 構成により除外され、$\dim \mathfrak{B}({\mathcal{O}}, \rho) = \infty$ であることが示された。
• $n_4 = 2$ のケースでは、$\rho_4$ は $\chi_{(i,i)} \otimes \operatorname{sgn}$ または $\chi_{(-i,-i)} \otimes \operatorname{sgn}$ でなければならない。また、$n_4 = 1$ の場合は、$\rho_4 = \chi_{(-1)}$ が必須である。