[論文レビュー] Duality Theorem and Drinfeld Double in Braided Tensor Categories

Yao-Zhong Zhang|ArXiv.org|Jul 17, 2003

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

ひとこと要約

本稿では、双対性の定理を確立し、ブレッド付きテンソルカテゴリにおける有限ホップ代数のドリンフェルト双対が、$C_{H,H} = C_{H,H}^{-1}$ を満たす場合に準三角的であることを証明する。これは、カテゴリカルなホップ代数技法を用いて、古典的な双対性および双対構成をブレッド付き設定に一般化したものである。

ABSTRACT

Let $H$ be a finite Hopf algebra with $C_{H,H} = C_{H,H}^{-1}.$ The duality theorem is shown for $H$, i.e., $$ (R # H)# H^{\hat *} \cong R \otimes (H \bar \otimes H^{\hat *}) \hbox {as algebras in} {\cal C}.$$ Also, it is proved that the Drinfeld double $(D(H),[b])$ is a quasi-triangular Hopf algebra in ${\cal C}$.

研究の動機と目的

• ホップ代数の古典的双対性定理をブレッド付きテンソルカテゴリの文脈に拡張すること。
• ドリンフェルト双対の構成をブレッド付きカテゴリに一般化すること。
• 条件 $C_{H,H} = C_{H,H}^{-1}$ の下で、ブレッド付きテンソルカテゴリにおけるドリンフェルト双対 $D(H)$ が準三角的ホップ代数であることを証明すること。
• ブレッド付き設定におけるモジュール代数およびスモーズ積のためのカテゴリカルな枠組みを確立すること。
• ドリンフェルト双対が、ブレッド付き文脈における準三角性の公理 (QT1)–(QT3) を満たすことを検証すること。

提案手法

• 単位対象 $I$ とブレッド $C$ を持つ厳密なブレッド付きテンソルカテゴリ $\mathcal{C}$ のカテゴリを使用する。
• 有限ホップ代数 $H$ に対して、双対対象 $H^{\hat{*}} = ((H^*)^{\mathrm{op}})^{\mathrm{cop}}$ を定義する。
• カテゴリ $\mathcal{C}$ 内の左 $H$-モジュール代数 $(R,\alpha)$ に対して、スモーズ積構成 $R\#H$ を適用する。
• 乗法 $m_{H \bar{\otimes} H^{\hat{*}}} = (\mathrm{id}_H \otimes d \otimes \mathrm{id}_{H^{\hat{*}}})$ を用いて、$H \bar{\otimes} H^{\hat{*}}$ 上の代数構造を導入する。
• 双対対象を定義し、双対性条件を検証するために、評価および共評価の射 $d$ と $b$ を用いる。
• ブレッド $C_{H,H}$ 及びその逆射を用いてモジュール作用を定義し、歪双対性公理を検証する。

実験結果

リサーチクエスチョン

• RQ1 ブレッド付きテンソルカテゴリにおいて、双対性定理 $(R\#H)\#H^{\hat{*}} \cong R \otimes (H \bar{\otimes} H^{\hat{*}})$ が成り立つ条件は何か？
• RQ2 ドリンフェルト双対 $D(H)$ はどのように構成され、ブレッド付きカテゴリにおいて準三角的であることが示されるか？
• RQ3 $C_{H,H} = C_{H,H}^{-1}$ の条件が双対性および準三角性の結果を保証するために果たす役割は何か？
• RQ4 モジュール代数構造およびスモーズ積は、ブレッド付き設定においてどのように振る舞うか？
• RQ5 ドリンフェルト双対が、$\mathcal{C}$ 内でカテゴリカルに定義された場合、準三角性の公理 (QT1)–(QT3) を満たすか？

主な発見

• 双対性定理が成り立つ：$C_{H,H} = C_{H,H}^{-1}$ の下で、$\mathcal{C}$ 内の代数として $(R\#H)\#H^{\hat{*}} \cong R \otimes (H \bar{\otimes} H^{\hat{*}})$ が成り立つ。
• ドリンフェルト双対 $D(H)$ は、$C_{H,H} = C_{H,H}^{-1}$ の下で $\mathcal{C}$ 内の準三角的ホップ代数である。ユニバーサル $R$-行列 $[b]$ は、準三角性の公理を満たす。
• $C_{H,H} = C_{H,H}^{-1}$ の条件は、ブレッド $C$ に関して評価射の対称性と同値である。
• $H \bar{\otimes} H^{\hat{*}}$ の代数は、乗法 $m_{H \bar{\otimes} H^{\hat{*}}} = (\mathrm{id}_H \otimes d \otimes \mathrm{id}_{H^{\hat{*}}})$ を用いて適切に定義される。
• ドリンフェルト双対 $D(H)$ は、特定の余乗法 $\Delta^{\mathrm{cop}}$ およびユニバーサル $R$-行列 $[b]$ を持つ $H \otimes H^{\hat{*}}$ として構成される。
• 証明は、$\mathcal{C}$ 内のブレッドおよび評価／共評価射を用いて、準三角性の公理 (QT1)–(QT3) を検証することに依拠している。