[論文レビュー] Deformations of (Bi) tensor Categories

Louis Crane, David N. Yetter|ArXiv.org|Dec 5, 1996

Algebraic structures and combinatorial models参考文献 6被引用数 19

ひとこと要約

この論文は、双代数圏の変形理論を展開し、3次コhomologyが無限小変形を分類する二重複体を導入する。この枠組みをルシュツィッグのカテゴライズド量子群および有限群圏に適用したところ、変形はランク≥3のリー代数に制限されることが判明し、これは弦理論や量子重力における物理的に関連する対称性との潜在的関係を示唆している。

ABSTRACT

We define the cohomology and formal deformation theories for algebra and bialgebra categories. We suggest some approaches to finding nontrivial deformations of the categories associated to the quantum groups by the work of Lusztig.

研究の動機と目的

• ホップ代数の変形理論をホップ圏に拡張するため、コhomological枠組みを一般化すること。
• 4次元トポロジカル量子場理論（TQFT）における状態和の発散を引き起こす、ルシュツィッグのカテゴライズド量子群における有限切断の欠如に対処すること。
• 双代数圏の無限小変形が、形式的またはグローバル変形に拡張可能かどうかを調査すること。
• 4次元トポロジカル量子場理論および量子重力の文脈において、このような変形の物理的関連性を検討すること。
• 特にF₄やE₆などの特別なリー代数に対して変形が存在する条件を特定し、それらが弦理論とどのように関連するかを調査すること。

提案手法

• 双代数圏の無限小変形を分類する3次コhomologyを持つ二重複体を構成すること。
• 代数および双代数のHochschild型コhomology枠組みを、結合子と単位子に注目してテンソル圏へ一般化すること。
• 有限群圏およびルシュツィッグのカテゴライズド量子群（旗多様体上の perverse sheaves を通じて）にこの複体を適用すること。
• 変形を根格子の群コhomologyに結びつけ、変形方程式をコバウンダリー方程式に翻訳すること。
• 同じ二重複体を用いて、無限小変形を形式的べき級数変形に拡張するための障害を計算すること。
• 分類化されたリシュチキンの量子群構成の圏的アナロジーや、旗多様体の非可換変形を用いたグローバル構成の可能性を検討すること。

実験結果

リサーチクエスチョン

• RQ1 ホップ代数の変形理論は、コhomological二重複体を用いて双代数圏へ一般化可能か？
• RQ2 どのリー代数が、それに関連する双代数圏に対して非自明な無限小変形を許容するか、またその制約は何か？
• RQ3 無限小変形を形式的べき級数変形に拡張するための障害を計算でき、特定の場合に消滅することが示せるか？
• RQ4 変形の存在性と、弦理論や超重力理論に現れる特別なリー代数（例：F₄, E₆）との間に関係があるか？
• RQ5 ルシュツィッグのカテゴライズド量子群に対するグローバル変形が構成可能か。これにより4次元TQFTにおける状態和の発散問題が解決されるか？

主な発見

• 双代数圏の無限小変形は、代数のHochschildコhomologyに類似した、二重複体の3次コhomologyによって分類される。
• ルシュツィッグのカテゴライズド量子群では、変形方程式が根格子の群コhomologyにおけるコバウンダリー方程式に簡約される。
• この枠組みでは、基本トーラス上の3形式の構造のおかげで、ランクが3未満のリー代数には非自明な無限小変形が存在しない。
• 1次変形を高次の形式的べき級数変形に拡張するための障害は、同じ二重複体を用いて計算可能であるが、障害の消滅がグローバル変形への収束を保証するわけではない。
• この枠組みは、変形がF₄やE₆などの特別なリー代数に対してのみ存在する可能性を示唆しており、これらは三重性（triangulation）をもつ例外的な幾何的構造を有することが知られている。
• 結果として、カテゴライズド量子群の変形を体系的に行う手法が得られ、4次元TQFTにおける有限な状態和の構成への道筋が開かれる。