[論文レビュー] The Lifting Theorem for Multitensors

Batanin Michael, Denis-Charles Cisinski+1 more|arXiv (Cornell University)|Jun 10, 2011

Homotopy and Cohomology in Algebraic Topology参考文献 15被引用数 4

ひとこと要約

本稿は、マルチテンソルにおけるリフト定理を確立し、モノイドの代数の圏上で関手オペラッドを構成する基礎的結果を提示する。これにより、グレイ積やクランス積といったテンソル積を統一的な枠組みで記述可能となる。主な貢献は、分配的かつ可アクセスなマルチテンソルを代数の圏上へのモノイドへと体系的にリフトする手法を提供し、デイの畳み込みを一般化するとともに、高次元圏の理論における圏論的基盤を提供することにある。

ABSTRACT

We continue to develop the theory of monads and multitensors. The central result of this paper - the lifting theorem for multitensors - enables us to see the Gray tensor product of 2-categories and the Crans tensor product of Gray categories as part of our emerging framework. Moreover we explain how our lifting theorem gives an alternative description of Day convolution in the unenriched context.

研究の動機と目的

• 既存の枠組みのギャップを解消するため、2-圏のグレイテンソル積をモノイドとマルチテンソル理論の自然な一部として特定すること。
• 分配的かつ可アクセスなマルチテンソルが、その単項部分の代数の圏上で関手オペラッドを生成する一般のリフト構成を確立すること。
• 単一のリフト機構を通じてテンソル積と畳み込み構成を統一することにより、高次元圏の理論に圏論的基盤を提供すること。
• デイの畳み込みおよびそのラクス版を一般化するため、非豊か化された設定においてそれらがリフト定理の特別なケースとして生じることを示すこと。

提案手法

• リフト定理は、分配的かつ可アクセスなマルチテンソル $E$ の単項部分 $E_1$ の代数の圏上に関手オペラッド $E'$ を構成する。
• 構成は、順序数に沿った超限列 $Q_n(X,x)$ を用いて、基礎となる自己函手、単位、乗法を、超限列と余同型の技法によって定義する。
• リフトされたモノイドの単位 $\eta^T$ と乗法 $\mu^T$ は、順序数上の余同型と余極限の普遍性を用いて帰納的に定義される。
• リフト構成が一意的であり、制限函手 $\phi^*$ に対する左随伴 $\phi_!$ の普遍性と整合することを示し、リフト構造が適切に振る舞うことを保証する。
• 構成は順序数上の超限帰納法を用いて検証され、初期段階、帰納段階、極限段階が余同型と余極限の普遍性によって定義される。
• この枠組みを応用して、デイの畳み込みおよびそのラクス版が、非豊か化された文脈におけるリフト定理の特別なケースとして自然に現れることを示す。

実験結果

リサーチクエスチョン

• RQ1 2-圏のグレイテンソル積は、モノイドとマルチテンソルの枠組み内で、マルチテンソル構造から体系的に導出可能か？
• RQ2 分配的かつ可アクセスなマルチテンソルが、その単項部分の代数の圏上で関手オペラッドを生成する一般の構成は存在するか？
• RQ3 リフト定理は、非豊か化された設定においてデイの畳み込みをどのように関係づけ、一般化するか？
• RQ4 リフト構成が保存する圏論的性質（例：2-函手性、可アクセス性）は何か？
• RQ5 リフトされたモノイドの超限構成が有限段階で安定化する条件は何か？

主な発見

• リフト定理により、$E_1$-代数の圏上に一意的かつ分配的かつ可アクセスな関手オペラッド $E'$ が構成され、$E'$-圏はちょうど $E$-圏に一致する。
• リフトされたモノイドの構成は、超限余極限と余同型を用いて明示的に記述可能であり、可アクセス性の仮定のもとで安定化が可能である。
• ターゲットのモノイド $S$ が $\lambda$-可アクセスであるとき、リフトされたモノイドは段階 $n \geq \lambda$ で実現可能であり、超限構成が簡略化される。
• 好都合な場合、例えば $S$ と $S^2$ が特定の余同型を保存するとき、構成は最初の段階で安定化し、$T(X,x) = Q_1(X,x)$ により単純な記述が得られる。
• リフト定理はデイの畳み込みを一般化する：非豊か化された設定において、デイの畳み込みはリフト構成の特別なケースとして生じる。
• この枠組みにより、グレイ積とクランス積がリフト定理の特別なケースとして統一的に扱われ、マルチテンソル枠組みに自然に埋め込まれることが示された。