[論文レビュー] Hopf algebra extensions of group algebras and Tambara-Yamagami categories

Sonia Natale|ArXiv.org|May 20, 2008

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

ひとこと要約

この論文は、次元が36未満の単純なホップ代数を分類し、それらがすべて群的であることを証明しており、36が非群的例が存在する最小の次元であることを示している。これらのホップ代数と三つ組 $(\Gamma, F, \xi)$ の間の対応を確立し、コアリプリゼンテーション理論を用いてタマラ・ヤマガミ圏を一般化しており、$\mathbb{Z}_2$ による群代数の拡張がコycle-twist同値としてアーベル拡張に等しいことを示している。

ABSTRACT

We determine the structure of Hopf algebra extensions of a group algebra by the cyclic group of order 2. We study the corepresentation theory of such Hopf algebras, which provide a generalization, at the Hopf algebra level, of the so called Tambara-Yamagami fusion categories. As a byproduct, we show that every semisimple Hopf algebra of dimension $<36$ is necessarily group-theoretical; thus 36 is the smallest possible dimension where a non group-theoretical example occurs.

研究の動機と目的

• 群的な元のなす群の指数が2である単純なホップ代数を分類すること。
• コアリプリゼンテーション理論を用いて、ホップ代数レベルでのタマラ・ヤマガミ融合圏の一般化を達成すること。
• 非群的単純なホップ代数が存在できる最小の次元を特定すること。
• 次元 <36 のすべてのこのようなホップ代数が群的であることを、コycle-twist同値と余代数型の解析を用いて証明すること。

提案手法

• 群の作用と2次コサイクルを用いて、正確な列 $k \to kG \to H \to k\mathbb{Z}_2 \to k$ に含まれるホップ代数を分類する。
• 等変化を用いて $\operatorname{Rep}H$ を $ (\operatorname{Rep}G)^{\mathbb{Z}_2} $ と関連づけ、融合カテゴリの同値性を確立する。
• twist同値性を適用してアーベル拡張に還元し、[19] および [23] の結果を活用する。
• 余代数型と群的構造の解析を用いて、低次元における非アーベル的または非余可換な構造の可能性を除外する。
• 特性乗法と正規性基準を用いて、次元24におけるホップ部分代数の性質を検証する。
• コhomologicalツール、特に $\operatorname{Opext}(k^{\widehat{\Gamma}}, kF)$ を用いて、適合するコサイクル対による拡張のパrameter化を行う。

実験結果

リサーチクエスチョン

• RQ1 群代数を $\mathbb{Z}_2$ で拡張する単純なホップ代数の構造は何か？
• RQ2 これらのホップ代数は、表現レベルにおいてタマラ・ヤマガミ融合圏とどのように関係しているか？
• RQ3 非群的単純ホップ代数が存在できる最小の次元は何か？
• RQ4 次元 <36 のすべての単純ホップ代数は、必然的に群的であるか？
• RQ5 すべてのこのようなホップ代数は、アーベル拡張にtwist同値にできるか？

主な発見

• 次元が36未満のすべての単純ホップ代数は群的であり、36が非群的例が存在する最小の次元である。
• 群的な元のなす群の指数が2である単純ホップ代数は、三つ組 $(\Gamma, F, \xi)$ によって分類され、ここで $\Gamma$ は有限アーベル群、$F$ は $\Gamma$ 上に作用し、$\xi \in \operatorname{Opext}(k^{\widehat{\Gamma}}, kF)$ は特定のコサイクル条件を満たす。
• このようなホップ代数のコアリプリゼンテーションカテゴリは、タマラ・ヤマガミ融合圏を一般化しており、融合則は、ある正規アーベル部分群（位数 $d^2$）からの可逆的対象の和に等しい非可逆的対象の平方を含む。
• すべてのこのようなホップ代数 $H$ は、アーベル拡張にtwist同値であり、[19] の主要結果により群的である。
• 次元24において、すべての単純ホップ代数は、余代数型と群的構造の解析により、アーベル拡張にtwist同値である。
• 表現カテゴリ $\operatorname{Rep}H$ は、$\operatorname{Rep}G$ の $\mathbb{Z}_2$-等変化と同値であり、拡張のカテゴリカル構造を確認する。