[論文レビュー] Hopfological algebra and categorification at a root of unity: the first steps

Mikhail Khovanov|ArXiv.org|Sep 4, 2005

Algebraic structures and combinatorial models参考文献 2被引用数 14

ひとこと要約

本稿は、根数に一致する有限次元ホップ代数上の安定モジュールカテゴリを用いて、3次元多様体の量子不変量をカテゴリファイする枠組みとしてホプフォロジカル代数を導入する。安定カテゴリ $ H\underline{\mathrm{mod}} $ 上の三角的モジュラー圏を構成し、タフト代数 $ H_n $ に対して $ H_n\underline{\mathrm{mod}} $ のスプリットグロテンディック環が $ SU(2) $ のレベル $ n-2 $ ヴェルリンデ代数に同型であることを示し、カテゴリファイケーションへの重要な一歩を提供する。

ABSTRACT

Any finite-dimensional Hopf algebra H is Frobenius and the stable category of H-modules is triangulated monoidal. To H-comodule algebras we assign triangulated module-categories over the stable category of H-modules. These module-categories are generalizations of homotopy and derived categories of modules over a differential graded algebra. We expect that, for suitable H, our construction could be a starting point in the program of categorifying quantum invariants of 3-manifolds.

研究の動機と目的

• 3次元多様体の量子不変量をカテゴリファイするための新しい枠組み—ホップフォロジカル代数を構築すること。
• 特に根数における有限次元ホップ代数上のモジュールの安定カテゴリを研究すること。
• ホップ代数 $ H $ のコモジュール代数 $ A $ に対して、$ H\underline{\mathrm{mod}} $ 上の三角的モジュラー圏を構成し、導来圏やホモトピー圏を一般化すること。
• $ H_n\underline{\mathrm{mod}} $ のグロテンディック環と $ SU(2) $ のヴェルリンデ代数との関係を確立し、カテゴリファイケーションへの道筋を示すこと。
• ケイプラノフの $ q $-ホモロジー代数との関係において、$ N $-複体と $ H_N $-コモジュール代数の役割を調査すること。

提案手法

• Frobenius代数において射影モジュールと単射モジュールが同型であることに基づき、$ H\mathrm{-mod} $ から射影モジュールを通過する射を商取ることで、安定カテゴリ $ H\underline{\mathrm{mod}} $ を定義する。
• ホップ代数 $ H $ の左積分 $ \Lambda \in H $ を用いて、シフト関手 $ TM = (H/k\Lambda) \otimes M $ を定義し、これにより $ H\underline{\mathrm{mod}} $ に三角的構造を与える。
• $ H $-モジュールのテンソル積が安定カテゴリに誘導されることを用い、$ H\underline{\mathrm{mod}} $ にモノイダル構造を与える。
• $ H $-コモジュール代数 $ A $ に対して、$ H\underline{\mathrm{mod}} $ 上のモジュラー圏を構成し、ホモトピー圏や導来圏を一般化する。
• $ n $ 乗根に一致する $ H_n $-モジュールの扱いのために、$ K^{\pm 1/2} $ を用いた分数次元の付加により、グレーディング構造を導入する。
• $ \widetilde{V}_i \otimes \widetilde{V}_j $ のテンソル積分解を用いて、$ H_n\underline{\mathrm{mod}} $ のスプリットグロテンディック環が $ SU(2) $ のレベル $ n-2 $ ヴェルリンデ代数に同型であることを示す。

実験結果

リサーチクエスチョン

• RQ1 有限次元ホップ代数 $ H $ が根数に一致するとき、その安定カテゴリ $ H\underline{\mathrm{mod}} $ は、3次元多様体の量子不変量をカテゴリファイするための基本カテゴリとして機能できるか？
• RQ2 $ H $-コモジュール代数は、$ H\underline{\mathrm{mod}} $ 上の三角的モジュラー圏をどのように生じさせ、そのホモロジー的意味は何か？
• RQ3 $ H_n $ が $ n $ 乗根に一致するタフト代数であるとき、$ H_n\underline{\mathrm{mod}} $ のグロテンディック環の構造はどのようなものか？
• RQ4 $ H_n\underline{\mathrm{mod}} $ と $ N $-複体、あるいはケイプラノフの $ q $-ホモロジー代数との間に何らかの関係があるか？
• RQ5 $ H_n\underline{\mathrm{mod}} $ において、$ Y_1 \otimes Y_2 \cong Y_2 \otimes Y_1 $ が自然なファンクター的同型として成立しないことにより、3次元多様体不変量の自然なカテゴリファイケーションが妨げられるのはなぜか？

主な発見

• $ H_n\underline{\mathrm{mod}} $ のスプリットグロテンディック環は、自然に $ SU(2) $ のレベル $ n-2 $ ヴェルリンデ代数に同型であり、量子群表現論の明確な代数的実現を提供する。
• $ H_n\underline{\mathrm{mod}} $ におけるテンソル積は $ \widetilde{V}_i \otimes \widetilde{V}_j \cong \bigoplus_{m \in I} \widetilde{V}_m $ と分解され、$ I = \{|i-j|, |i-j|+2, \dots, \min(i+j, 2n-i-j-4)\} $ を満たし、融合則が確認される。
• $ H_n\underline{\mathrm{mod}} $ は三角的かつモノイダルであり、シフト構造とテンソル構造が整合的であるが、$ n > 2 $ のとき、擬三角的構造を備えない。
• ファンクター的可換性が欠如しているにもかかわらず、スプリットグロテンディック環において $ Y_1 \otimes Y_2 \cong Y_2 \otimes Y_1 $ が成立し、環の可換性が示唆される。
• $ N = n $ のとき、$ H_n\underline{\mathrm{mod}} $ は $ B\mathrm{-mod} $ 上の $ N $-複体のホモトピー圏と同値であり、ケイプラノフの $ q $-ホモロジー代数と関連づけられる。
• 本構成は、以前の予想における安定カテゴリ $ \mathcal{H} $ の特徴的ゼロの類似物を提供し、3次元多様体不変量のカテゴリファイケーションへの実現可能性のある道筋を示唆する。