[論文レビュー] Algebraic theories, span diagrams and commutative monoids in homotopy theory

James Cranch|arXiv (Cornell University)|Sep 7, 2011

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

ひとこと要約

この論文は、スパン図を用いてモノイド上の自然な演算をモデル化することで、クービークテグリーの文脈における可換モノイドの代数的理論を構築する。得られる可換モノイドの概念が、ルーリエの可換代数的対象の概念および古典的な $E_\infty$-モノイドと同値であることを確立し、ホモトピー的可換代数のための組み合わせ的に明示的で幾何学的に直感的な枠組みを提供する。

ABSTRACT

We adapt the notion of an algebraic theory to work in the setting of quasicategories developed recently by Joyal and Lurie. We develop the general theory at some length. We study one extended example in detail: the theory of commutative monoids (which turns out to be essentially just a 2-category). This gives a straightforward, combinatorially explicit, and instructive notion of a commutative monoid. We prove that this definition is equivalent (in appropriate senses) both to the classical concept of an E-infinity monoid and to Lurie's concept of a commutative algebra object.

研究の動機と目的

• 古典的な代数的理論の概念をクービークテグリーの文脈に拡張し、代数的構造のホモトピー的一般化を可能にする。
• スパン図を用いて、ホモトピー論的可換代数において、組み合わせ的に明示的で幾何学的に直感的な可換モノイドの定義を提供する。
• この新しい定義が、既存の概念（$E_\infty$-モノイドおよびルーリエの可換代数的対象）と同値であることを確立する。
• 自由モデル、ファイブレーション、極限を含む、クービークテグリーにおける代数的理論の基礎的理論を構築する。

提案手法

• $(∞,1)$-圏およびジョイアル＝ルーリエのクービークテグリー理論の言語を用いて、代数的理論の概念をクービークテグリーに適応する。
• 有限集合間のスパン図をモデル化する $“\mathrm{Span}\u201d$ クービークテグリーを導入し、コピーと加法の演算を捉える。
• ローヴェール風の双対性を用いて、スパン圏から導かれる特定のクービークテグリー的理論の代数として可換モノイドを解釈する。
• ルーリエの『Higher Topos Theory』に由来する $q$-コロイミット、$q$-カーン拡張、および左/右カーン拡張の基準といった高階圏的道具を適用する。
• $\mathrm{Span}^\times$ の圏と $\mathrm{FinSet}_* \to \mathrm{Span}$ の包含写像を用いて、モノイド構造をモデル化し、代数的対象の条件をテストする。
• 2段階のカーン拡張による証明により同値性を示す：$q$-カーン拡張の存在を示し、部分圏制限による右カーン拡張条件を検証する。

実験結果

リサーチクエスチョン

• RQ1 古典的な代数的理論の概念をホモトピー的文脈（クービークテグリー）に一般化するにはどうすればよいか？
• RQ2 有限集合上のスパン図は、ホモトピー論的可換モノイドにおける自然な演算を完全かつ組み合わせ的に明示的に表現できるか？
• RQ3 この枠組みにおける可換モノイドの概念は、対称モノイド的クービークテグリーにおけるルーリエの可換代数的対象の定義と同値であるか？
• RQ4 この構成は、ホモトピー的文脈において古典的な $E_\infty$-空間構造を回復するか？
• RQ5 $q$-コロイミットおよび $q$-カーン拡張は、これらの代数的構造の普遍的性質を検証するために果たす役割は何か？

主な発見

• $\mathrm{Span}$ すなわち有限集合間のスパン図の圏は、コピーと加法の演算を捉えるクービークテグリーをなしており、可換モノイドの自然な演算をモデル化する。
• この枠組みにおける可換モノイドの理論は、古典的な $E_\infty$-モノイド構造と同値であり、両者とも同じクービークテグリー的代数的理論によって分類される。
• この構成により、スパンクービークテグリーにおける可換モノイドが、$q$-カーン拡張による議論を通じて、ルーリエの意味での可換代数的対象と同値であることが示された。
• スパン理論の代数的圏から $\mathcal{C}^\otimes$-代数の圏への制限関手は、アサイクルカーン（acyclic Kan）であるため、持ち上げの存在と一意性が保証される。
• 主な技術的結果は、関手 $f: \mathcal{J} \to \mathcal{C}^\times$ が $\mathrm{FinSet}_*$ への制限の $q$-右カーン拡張であるための必要十分条件は、点付き有限集合の部分圏で $q$-コロイミット条件を満たすことである、という点にある。
• 証明は、$\mathcal{K}^{\prime\prime}_K$（同型と単射を含むスパンの部分圏）への制限の $q$-コロイミットが存在し、それが保存されることを示すことに依拠しており、これにより $q$-カーン拡張の存在が示される。