[論文レビュー] Twisting of monoidal structures

Alexei Davydov|ArXiv.org|Mar 1, 1997

Algebraic structures and combinatorial models参考文献 18被引用数 5

ひとこと要約

この論文は、圏論におけるモノイダル構造の変形（ねじれ）を調査し、結合則制約とモノイダル関手に焦点を当てる。非可換コホモロジーを用いて、ねじれ集合からホッフホルト・コホモロジー群への写像を構成し、バイアリズム上の双加群、加群、余加群の圏における変形を理解するためのコホモロジー的枠組みを提供する。特に自由テンソル圏に注目する。

ABSTRACT

This article is devoted to the investigation of the deformation (twisting) of monoidal structures, such as the associativity constraint of the monoidal category and the monoidal structure of monoidal functor. The sets of twistings have a (non-abelian) c ohomological nature. Using this fact the maps from the sets of twistings to some cohomology groups (Hochschild cohomology of K-theory) are constructed. The examples of monoidal categories of bimodules over some algebra, modules and comodules over bialgeb ra are examined. We specially concentrate on the case of free tensor category.

研究の動機と目的

• テンソル圏におけるモノイダル構造の変形を理解するためのコホモロジー的枠組みを構築すること。
• 結合則制約とモノイダル関手がカテゴリカルな整合性を保ちながらどのようにねじれるかを分析すること。
• 非可換コホモロジーがそのようなねじれの分類に果たす役割を調査すること。
• バイアリズム上の双加群、加群、余加群の圏における具体的な例を検討すること。
• 自由テンソル圏を、普遍的ねじれ現象を理解するための主要な事例として焦点化すること。

提案手法

• 非可換コホモロジーを用いて、モノイダル構造の可能なねじれの集合を記述する。
• K理論のホッフホルト・コホモロジー群への自然な写像を構成する。
• 代数上の双加群のモノイダル圏およびバイアリズム上の余加群のモノイダル圏にこの枠組みを適用する。
• 自由テンソル圏を、ねじれの下でのモノイダル構造の普遍的モデルとして分析する。
• 図式的技法（xy-pic）を用いて、圏的構成と整合性条件を表現する。
• 自然同型と整合性制約に重点を置いた、モノイダル圏と関手の形式的枠組みに依存する。

実験結果

リサーチクエスチョン

• RQ1 結合則制約のようなモノイダル構造は、どのように体系的に変形またはねじれるか？
• RQ2 モノイダル圏のすべての可能なねじれの集合のコホモロジー的性質は何か？
• RQ3 モノイダル関手のねじれは、圏の下位コホモロジーとどのように関係するか？
• RQ4 自由テンソル圏は、普遍的ねじれの分類においてどのような役割を果たすか？
• RQ5 ねじれからホッフホルト・コホモロジー群へのコホモロジー的写像は、構造的情報をどのように符号化するか？

主な発見

• モノイダル構造のねじれの集合は、古典的変形理論を一般化する非可換コホモロジー的性質を持つ。
• ねじれの集合からホッフホルト・コホモロジー群への自然な写像が構成され、変形データと代数的不変量が結びつけられる。
• この枠組みは、代数上の双加群の圏、バイアリズム上の加群の圏、バイアリズム上の余加群の圏にうまく適用できる。
• 自由テンソル圏の場合、ねじれ構造が普遍的であり、コホモロジー的道具立てによって完全に記述可能であることが示された。
• コホモロジー的不変量を用いた、モノイダル変形を体系的に分類する方法が提供された。
• 結果として、圏的変形理論とK理論のホッフホルト・コホモロジーの間の橋渡しがなされ、テンソル圏の変形の理解が豊かになった。