[論文レビュー] On pointed Hopf algebras associated to some conjugacy classes in S_n

Nicolás Andruskiewitsch, Yao-Zhong Zhang|ArXiv.org|Nov 1, 2005

Algebraic structures and combinatorial models被引用数 9

ひとこと要約

本稿では、対称群 $\mathbb{S}_n$ 上の pointed Hopf 代数で、置換 $\pi$ の共轭類に関連する無限小 braiding を持つものについて、$\pi$ の位数が奇数、または $\pi$ のすべてのサイクルが奇数位数であるが、ちょうど二つの互換を除く場合、無限次元であることを確立している。この結果は Lifting Method と対称群の表現論を用いて導出され、既知の有限次元性基準を非アーベル群の新たなクラスに拡張する。

ABSTRACT

We show that any pointed Hopf algebra with infinitesimal braiding associated to the conjugacy class of pi in S_n is infinite-dimensional, if either the order of pi is odd, or pi is a product of disjoint cycles of odd order except for exactly two transpositions.

研究の動機と目的

• $G(H) = \mathbb{S}_n$ である有限次元複素 pointed Hopf 代数を、irreducible Yetter-Drinfeld モジュール上の Nichols 代数を分析することによって分類すること。
• $\pi \in \mathbb{S}_n$ に対して、Nichols 代数 $\mathfrak{B}(\mathcal{O}_\pi, \rho)$ が無限次元である条件を同定すること。
• 非アーベル群、特に $\mathbb{S}_n$ に対して、対角型の Nichols 代数の結果を表現論的技法を用いて拡張すること。
• $\mathbb{S}_3$ および $\mathbb{S}_4$ の irreducible Yetter-Drinfeld モジュールに対する Nichols 代数の有限次元性の状態を解明すること。
• 有限次元ケース（例：符号表現を伴う $\mathcal{O}_2$）と無限次元ケースを区別する構造的特徴を特定すること。

提案手法

• Irreducible Yetter-Drinfeld モジュールの無限小 braiding に注目し、$\mathbb{S}_n$ 上の pointed Hopf 代数を分類する Lifting Method を適用する。
• $\pi \in \mathbb{S}_n$ に対する固定部分群 $\mathbb{S}_n^\pi$ の構造を分析し、$\Gamma_i \rtimes \mathbb{S}_{m_i}$ として半直積に分解する。ここで $\Gamma_i \simeq (\mathbb{Z}/i)^{m_i}$ である。
• $\mathbb{S}_n^\pi$ の表現論を用いて、$\rho \in \widehat{\mathbb{S}_n^\pi}$ の irreducible 表現を分類し、特に非対角的 braided な部分空間を誘導するものに注目する。
• Cartan 型 Nichols 代数の理論を適用し、braiding が affine $A_2^{(1)}$ 成分を含む Dynkin 図形をもたらす場合、$\dim \mathfrak{B}(V) = \infty$ であることを示す。
• 奇数位数のサイクルおよび互換に対して、$c(\sigma_j v \otimes \sigma_j w) = -\sigma_j w \otimes \sigma_j v$ という braiding 公式を適用し、フェルミオンに類似した関係を導出する。
• 問題を braided ベクトル空間の Dynkin 図形の分析に還元し、$A_2^{(1)}$ を含む非連結成分が存在する場合、無限次元性が保証されることを用いる。

実験結果

リサーチクエスチョン

• RQ1 どの条件下で $\pi \in \mathbb{S}_n$ に対して、任意の $\rho \in \widehat{\mathbb{S}_n^\pi}$ に対して Nichols 代数 $\mathfrak{B}(\mathcal{O}_\pi, \rho)$ が無限次元になるか？
• RQ2 $n \geq 6$ の $\mathbb{S}_n$ における互換の共轭類に関連する Nichols 代数は未解決のままであるが、他の類に関しては無限次元であることが既知である。その理由は何か？
• RQ3 置換 $\pi$ のどの構造的特徴（例：サイクル型、位数）が Lifting Method を用いて無限次元 Nichols 代数を生じさせるか？
• RQ4 $\mathbb{S}_3$ および $\mathbb{S}_4$ のどの irreducible Yetter-Drinfeld モジュールが有限次元 Nichols 代数をもたらすか？
• RQ5 $M(\mathcal{O}_\pi, \rho)$ 内の対角型 braided な部分空間が、$\mathfrak{B}(\mathcal{O}_\pi, \rho)$ の次元にどのように影響するか。特に、それらが有限性を保証するのに十分でない場合にどうなるか？

主な発見

• もし $\pi \in \mathbb{S}_n$ の位数が奇数であれば、任意の $\rho \in \widehat{\mathbb{S}_n^\pi}$ に対して $\dim \mathfrak{B}(\mathcal{O}_\pi, \rho) = \infty$ である。これは定理 2.4 で証明されている。
• もし $\pi$ のサイクル分解において、すべてのサイクルが奇数位数であるが、ちょうど二つの互換を除く場合、任意の $\rho \in \widehat{\mathbb{S}_n^\pi}$ に対して $\dim \mathfrak{B}(\mathcal{O}_\pi, \rho) = \infty$ である。これは定理 2.7 で示されている。
• $\mathbb{S}_3$ に対しては、唯一の有限次元 Nichols 代数は、符号表現を伴う共轭類 $\mathcal{O}_2$ から生じる。これは定理 2.8(i) に述べられている。
• $\mathbb{S}_4$ に対しては、有限次元 Nichols 代数は $\mathcal{O}_4$ に quadratic character $\chi_4^2$ をとった場合、および $\mathcal{O}_2$ に $\operatorname{sgn} \oplus \varepsilon$ と $\operatorname{sgn} \oplus \operatorname{sgn}$ の表現をとった場合にのみ現れる。これは定理 2.8(ii) による。
• $\mathfrak{B}(\mathcal{O}_{2,2}, \rho)$ は、任意の $\rho \in \widehat{\mathbb{S}_4^{(12)(34)}}$ に対して無限次元である。これは braiding が非連結な $A_2^{(1)}$ 成分を含む Dynkin 図形をもたらすためである。
• $V = \mathbb{C}^2$ 上の表現 $\rho$ で、$\rho(b) = \begin{pmatrix}1 & 0 \\ 0 & -1\end{pmatrix}$、$\rho(d) = \begin{pmatrix}-1 & 0 \\ 0 & 1\end{pmatrix}$ である場合、対角的 braiding が得られ、$A_2^{(1)}$ 成分を含むため、$\dim \mathfrak{B}(V) = \infty$ である。