[論文レビュー] Representations of factorizable Hopf algebras

Sebastian Burciu|arXiv (Cornell University)|Sep 7, 2017

Algebraic structures and combinatorial models参考文献 41被引用数 1

ひとこと要約

この論文は、Majidの変換理論を用いて、クーラストリアングルHopf代数の表現カテゴリにおけるMüger中心化子の明示的公式を導出し、二種類の異なる定式化——一つは変換を介し、もう一つはCohenとWestreichの共役類を用いたもの——を提供する。主な貢献は、因子的Hopf代数において、正規な融合部分カテゴリの中心化子が自身正規であることを証明し、[mathz]で提起された疑問に答え、$d$ が奇数かつ平方因子なしで、$q$ が奇素数である $dq^n$ 次の因子的Hopf代数の構造定理を確立することにある。

ABSTRACT

Using the transmutation theory developed by Majid in \cite{majid}, in this paper we give an explicit formula for the M\uger centralizer in the category of representations of a quasitriangular Hopf algebra. A second formula for the M\uger centralizer is also given in terms of the conjugacy classes introduced by Cohen and Westreich in \cite{CW1}. This allows us to answer positively a question from \cite{mathz}. More precisely we show that in the case of a factorizable Hopf algebra the centralizer of a normal fusion subcategory is also a normal fusion subcategory. As an application we give a structure theorem for factorizable Hopf algebras of dimension $dq^{n}$ where $d$ is an odd square-free integer and $q$ an odd prime number.

研究の動機と目的

• 因子的Hopf代数におけるMüger中心化子の正規性について[mathz]で提起された疑問に応えること。
• Majidの変換理論を用いて、クーラストリアングルHopf代数の表現カテゴリにおけるMüger中心化子の明示的公式を導出すること。
• CohenとWestreichのフレームワークから導入された共役類を用いて、中心化子を再定式化し、構造的分析を行うこと。
• $d$ が奇数かつ平方因子なしで、$q$ が奇素数である $dq^n$ 次の因子的Hopf代数の構造定理を確立すること。
• 因子的Hopf代数における正規な融合部分カテゴリの中心化子が、自身正規であることを示し、予想を裏付けること。

提案手法

• クーラストリアングルHopf代数の双対にbraided Hopf代数構造を構成するために、Majidの変換理論を活用すること。
• 変換された構造とbraided特徴理論を用いて、Müger中心化子の明示的公式を導出すること。
• CohenとWestreichのフレームワークから得られる共役類に基づいた、中心化子の第二の公式を導入すること。
• 二つの中心化子公式を用いて、因子的Hopf代数における融合部分カテゴリの構造を分析すること。
• 二つの公式の同等性を用いて、正規な融合部分カテゴリの中心化子が自身正規であることを証明すること。
• 構造的結果を応用して、$d$ が奇数かつ平方因子なしで、$q$ が奇素数である $dq^n$ 次の因子的Hopf代数を分類すること。

実験結果

リサーチクエスチョン

• RQ1 因子的Hopf代数における正規な融合部分カテゴリのMüger中心化子は、自身正規であるか？
• RQ2 クーラストリアングルHopf代数の表現カテゴリにおいて、Müger中心化子の明示的公式を導出できるか？
• RQ3 CohenとWestreichの共役類は、因子的Hopf代数の文脈におけるMüger中心化子とどのように関係するか？
• RQ4 $d$ が奇数かつ平方因子なしで、$q$ が奇素数である $dq^n$ 次の因子的Hopf代数にどのような構造的制約が生じるか？
• RQ5 変換理論を用いて、braidedテンソルカテゴリにおけるMüger中心化子の異なる定式化を統一できるか？

主な発見

• 因子的Hopf代数における正規な融合部分カテゴリのMüger中心化子が正規であることが証明され、[mathz]の予想が裏付けられた。
• Majidの変換理論を用いて、クーラストリアングルHopf代数の表現カテゴリにおけるMüger中心化子の明示的公式が導出された。
• CohenとWestreichのフレームワークから得られる共役類を用いて、第二の独立したMüger中心化子の公式が確立された。
• 中心化子の二つの公式が同等であることが示され、融合部分カテゴリの構造的分析が可能になった。
• $d$ が奇数かつ平方因子なしで、$q$ が奇素数である $dq^n$ 次の因子的Hopf代数の構造定理が確立された。
• 結果は、中心化子構成が因子的Hopf代数において正規性を保存することを示し、braided融合カテゴリの理論を拡張した。