[論文レビュー] New Large-Rank Nichols Algebras Over Nonabelian Groups With Commutator Subgroup Z_2

Simon Lentner|arXiv (Cornell University)|Jun 24, 2013

Algebraic structures and combinatorial models参考文献 18被引用数 3

ひとこと要約

本稿は、シンプレクティック根系とねじれた対称性に基づく新しい被覆構成を用いて、非アーベル群で交換子部分群が $\mathbb{Z}_2$ である場合に、$A_n$、$C_n$、$D_n$、$E_6$、$E_7$、$E_8$、$F_4$ 型の新しい有限次元で分解不能なニコルズ代数を構成する。これは、1995年にサマンサ・モンゴメリーが提起した長年の疑問に肯定的に応えるものであり、非アーベル群上での非対角的で有限次元のニコルズ代数の、ランク >2 の最初の既知の例を提供する。

ABSTRACT

In this article, we explicitly construct new finite-dimensional, link-indecomposable Nichols algebras with Dynkin diagrams of type An,Cn,Dn,E6,E7,E8,F4 over any group G with commutator subgroup isomorphic to Z_2.The construction is generic in the sense that the type just depends on the rank and center of G, and thus positively answers for all groups of this class a question raised by Susan Montgomory in 1995 [Mont95][AS02]. Our construction uses the new notion of a covering Nichols algebra as a special case of a covering Hopf algebra [Len12] and produces non-faithful Nichols algebras. However, we give faithful examples of Doi twists for type A3,C3,D4,F4 over several nonabelian groups of order 16 and 32. These are hence the first known examples of faithful, finite-dimensional, link-indecomposable Nichols algebras of rank >2 over nonabelian groups.

研究の動機と目的

• 非アーベル群で交換子部分群が $\mathbb{Z}_2$ である場合の有限次元ニコルズ代数の存在について、1995年にサマンサ・モンゴメリーが提起した疑問を解決すること。
• 非アーベル群上での高ランクの明示的で有限次元的かつ分解不能なニコルズ代数を構成すること。
• 非アーベル群上でのランク >2 の非対角的ニコルズ代数の最初の例を提供し、指標付きホップ代数の分類における主要な空白を埋めること。
• $\mathbb{F}_2$ 上のシンプレクティック根系を用いて、非アーベル設定への被覆ニコルズ代数理論を拡張すること。
• 位数 16 および 32 の群上で、ランク 3 および 4 の忠実なドイねじれを用いた非対角的構造の存在を示すこと。

提案手法

• 既知のアーベル群上のニコルズ代数のボゾニゼーションに適用される、被覆ホップ代数の一般化に基づく被覆ニコルズ代数の構成。
• $\mathbb{F}_2$ 上のシンプレクティック根系を用いて、$A_n$、$C_n$、$D_n$、$E_6$、$E_7$、$E_8$、$F_4$ 型のディンキン図を分類および実現すること。
• 群の2次コサイクル $\sigma \in Z^2(\Gamma, \Sigma^*)$ によって誘導される双乗法的形式 $\langle \bar{g}_i, \bar{g}_j \rangle_p$ を用いてねじれた対称性を導入すること。
• アンラミフィードまたはラミフィードな $ADE \times ADE$ 根系を単一の $ADE$ または $C_n$、$F_4$ 型に写像する折りたたみ技術の適用。
• 非自明な2次コサイクルを用いたドイねじれを適用して、対角的ニコルズ代数から非対角的ニコルズ代数を生成すること。
• スペクトル系列解析とPBW基底の精錬を用いて、忠実で非対角的な例の存在を検証すること。

実験結果

リサーチクエスチョン

• RQ1 非アーベル群で交換子部分群が $\mathbb{Z}_2$ である場合に、高ランクの有限次元的かつ分解不能なニコルズ代数を構成することは可能か？
• RQ2 ニコルズ代数の被覆構成をアーベル群を超えて一般化することは可能か？
• RQ3 非アーベル群上ではランク >2 の非対角的ニコルズ代数が存在するのか？もしそうであるなら、どのように構成できるか？
• RQ4 $\mathbb{F}_2$ 上のシンプレクティック根系を用いて、非アーベル設定ですべての古典的ディンキン型を実現できるか？
• RQ5 ドイねじれと2次コサイクルは、高ランクニコルズ代数における非対角的構造を生成するために果たす役割は何か？

主な発見

• 本稿は、交換子部分群が $\mathbb{Z}_2$ である非アーベル群上に、$A_n$、$C_n$、$D_n$、$E_6$、$E_7$、$E_8$、$F_4$ 型の有限次元的かつ分解不能なニコルズ代数を構成し、モンゴメリーの1995年の疑問に肯定的に応える。
• 非アーベル群上でのランク >2 の非対角的で有限次元のニコルズ代数が、初めて明示的に構成された。特に、$A_3$、$C_3$、$D_4$、$C_4$、$F_4$ 型に対して成立する。
• $F_4$ 型に対しては、$E_6$ からのラミフィード被覆により、次元 $2^{36} = 68,719,476,736$ のニコルズ代数が得られ、ヒルベルト級数は $\mathcal{H}(t) = [2]_t^6[2]_{t^2}^5[2]_{t^3}^5[2]_{t^4}^5[2]_{t^5}^4[2]_{t^6}^3[2]_{t^7}^3[2]_{t^8}^2[2]_{t^9}[2]_{t^{10}}[2]_{t^{11}}$ となる。
• 位数 16 および 32 の非アーベル群上で、$A_3$、$C_3$、$D_4$、$C_4$、$F_4$ 型に対して、ドイねじれを用いて忠実で非対角的な例が得られ、高ランクにおけるこのような代数の存在を確認する。
• PBW基底の精錬により、$F_4$ の場合に $E_6$ 型、$C_4$ の場合に $A_7$ 型、$D_4$ の場合に $D_4 \times D_4$ 型のより洗練された基底が得られ、標準的なディンキン図よりも深い根系構造を示している。
• この構成は一般的である：ディンキン型は群のランクと中心にのみ依存し、$\mathbb{Z}_2$ 交換子部分群をもつすべての群に一様に適用可能である。