[論文レビュー] Some ribbon elements for the quasi-Hopf algebra $D^\omega(H)$

Daniel Bulacu, Florin Panaite|arXiv (Cornell University)|Dec 3, 2018

Algebraic structures and combinatorial models参考文献 11被引用数 7

ひとこと要約

本稿では、有限群の twisted quantum double のリボン構造を一般化して、準ホップ代数 $D^\omega(H)$ に対する明示的なリボン要素を構成する。$D^\omega(H)$ を twisted dual quasi-Hopf algebra の量子双対と同一視することにより、リボン要素が存在するための必要十分条件として、$G(H^*)$、すなわち $H$ から $k$ への代数的写像のなす群において、モジュラー要素 $\mu_H$ の平方根が存在することを示す。主な貢献は、$D^\omega(H)$ がリボンであるための一般的基準を確立したことであり、これにより、[6, Proposition 3.3] において追加条件が満たされない場合にリボン要素が存在しないことが示された先行研究のギャップを解消する。

ABSTRACT

We construct an explicit isomorphism between the quasitriangular quasi-Hopf algebra $D^\\omega(H)$ defined in \\cite{bp} and a certain quantum double quasi-Hopf algebra. We give also new characterizations for a quasitriangular quasi-Hopf algebra to be ribbon and use them to construct some ribbon elements for $D^\\omega(H)$.

研究の動機と目的

• 文献[6, Proposition 3.3] の追加条件が満たされない場合の $D^\omega(H)$ に対するリボン要素の構成という未解決問題を解消すること。
• $D^\omega(G)$ における既知の結果を一般化し、$D^\omega(H)$ がリボンであるための一般的基準を提供すること。
• $D^\omega(H)$ と $H^*_\omega$ の量子双対との同型を確立することで、構造的性質の移譲を可能にすること。
• $G(H^*)$ 内でモジュラー要素 $\mu_H$ の平方根が存在するための条件を特徴づけ、リボン要素の存在を保証すること。

提案手法

• 定理 4.2 を用いて、$D^\omega(H)$ を有限次元の準ホップ代数である $H^*_\omega$ の量子双対と同一視する。
• 同型を用いて、$D^\omega(H)$ の quasi-triangular 構造およびモジュラー要素を $H^*_\omega$ から引き継ぐ。
• 定理 3.1 および推論 3.3 を適用し、リボン要素の条件を $\mathfrak{l}^2 = \underline{\mathfrak{g}}_{D^\omega(H)}$ および Drinfeld のねじれとの整合性に帰着する。
• 定義関係式 (5.2)–(5.4) の検証により、リボン要素が存在するための必要十分条件が $\zeta^2 = \mu_H$ を満たす $\zeta \in G(H^*)$ が存在することであることを証明する。
• [20] の自由性定理を用いて、$|G(H^*)|$ が $\dim_k(H)$ を割り切ることを示し、$\zeta$ の存在条件を支援する。
• 奇数次元、奇数個の $G(H^*)$、および特徴数 0 の特別な場合を分析し、$\zeta$ の存在に対する十分条件を確立する。

実験結果

リサーチクエスチョン

• RQ1 文献[6, Proposition 3.3] の追加条件が満たされない場合、$D^\omega(H)$ がリボン要素をもつための条件は何か？
• RQ2 $H$ と $\omega$ に対して、$D^\omega(H)$ がリボンであることを保証する正確な代数的条件は何か？
• RQ3 $G(H^*)$ 内でモジュラー要素 $\mu_H$ の平方根が存在することは、$D^\omega(H)$ のリボン構造とどのように関係するか？
• RQ4 $D^\omega(G)$ は常にリボン要素をもつが、これは任意の $H$ に対してどのように一般化されるか？
• RQ5 $D^\omega(G)$ に対して新たなリボン要素を構成することで、新しい 3-多様体不変量が得られるか？

主な発見

• $D^\omega(H)$ にリボン要素が存在するための必要十分条件は、$\zeta \in G(H^*)$ が存在して $\zeta^2 = \mu_H$ を満たすことである。ここで $\mu_H$ は $H$ のモジュラー要素である。
• $D^\omega(H)$ と $H^*_\omega$ の量子双対との同型は、quasi-triangular 構造およびモジュラー構造を移譲するための標準的枠組みを提供する。
• $H$ がユニモジュラー（$\mu_H = \varepsilon$）である場合、$\nu = u(\beta \# 1_H)$ はリボン要素であり、[6, Proposition 3.3] の結果が回復される。
• $\dim_k(H)$ が奇数、または $|G(H^*)|$ が奇数である場合、$\mu_H$ は奇数位数をもち、したがって平方根 $\zeta$ が存在する。これにより、$D^\omega(H)$ はリボンであることが保証される。
• 特徴数 0 あるいは $\dim_k(H) \neq 0$ が $k$ 内で成り立つ場合、$H$ は半単純であり、したがってユニモジュラーである。このとき $\nu = u(\beta \# 1_H)$ はリボン要素である。
• この構成により、$D^\omega(G)$ に対しても新たなリボン要素が得られ、Reshetikhin-Turaev の構成により、新たな 3-多様体不変量が得られる。