[論文レビュー] Monoidal categories and multiextensions

Lawrence Breen|ArXiv.org|Sep 18, 1998

Homotopy and Cohomology in Algebraic Topology参考文献 7被引用数 6

ひとこと要約

本稿は、モノイダルスタックに厳密な対称モノイダル構造を導入するための障害が、共通子双拡張として符号化されることを確立している。さらに、追加の仮定のもとでこの双拡張は交代的になる。この理論はモノイダル2スタックへと拡張され、双拡張概念が一般化され、代数幾何学および圏論における高次圏的対称性を理解するためのコhomological枠組みが提供される。

ABSTRACT

We show that the obstruction to the existence of a strict symmetric monoidal structure on a monoidal stack $\cal C$ is determined by a commutator biextension associated to $\cal C$, and that this biextension is alternating under an additional hypothesis. The analogous construction for monoidal 2-stacks is described, together with the corresponding generalizations of the concept of a biextension.

研究の動機と目的

• モノイダルスタックに厳密な対称モノイダル構造を導入するためのコhomological障害を特定すること。
• この障害をスタックに関連する共通子双拡張として特徴づけること。
• この双拡張が交代的になる条件を特定すること。
• 双拡張理論をモノイダル2スタックの文脈に一般化すること。
• 多拡張の枠組みを、圏論および代数幾何学における高次圏的構造に拡張すること。

提案手法

• 高次圏におけるモノイダル構造をモデル化するために、スタックおよびジェルベの理論を用いる。
• 特に2次コhomologyにおいて、障害を分類するためのコhomological技法を適用する。
• 中心的障害不変量として共通子双拡張の概念を導入する。
• 高次圏的ツールを用いて、古典的双拡張理論をモノイダル2スタックの文脈に適応する。
• 圏論的構成における図式的推論のため、xymatrixパッケージを用いる。
• 構造的制約を導出するために、対称モノイダル圏およびその整合性条件の枠組みに依拠する。

実験結果

リサーチクエスチョン

• RQ1 モノイダルスタックが厳密な対称モノイダル構造をもつための正確なコhomological障害は何か？
• RQ2 共通子双拡張は、モノイダルスタックの文脈において、この障害をどのように符号化するか？
• RQ3 共通子双拡張が交代的になる条件は何か？
• RQ4 双拡張の概念をモノイダル2スタックへどのように一般化できるか？
• RQ5 多拡張の概念は、高次圏における対称モノイダル構造の分類において、果たす役割は何か？

主な発見

• モノイダルスタックに厳密な対称モノイダル構造を導入する障害は、スタックに関連する共通子双拡張によって完全に記述される。
• この双拡張は、モノイダルスタックが追加の対称性条件を満たす場合に交代的である。
• この理論はモノイダル2スタックへ自然に拡張され、双拡張の概念が高次圏的レベルへと拡張される。
• この構成は、厳密な対称構造の存在を分類するコhomological不変量を提供する。
• この枠組みは、代数幾何学および圏論における高次圏的対称性を体系的に分析するための方法を提供する。
• 結果は、xymatrixを用いた可換図式を含む38ページのLaTeX文書として提示され、完全な技術的厳密性を保っている。