[论文解读] The Eckmann-Hilton argument, higher operads and En-spaces.

Michael Batanin|arXiv (Cornell University)|Jul 30, 2002

Homotopy and Cohomology in Algebraic Topology参考文献 17被引用 11

一句话总结

本文使用 n-Operad 將 Eckmann-Hilton 變換推廣至高維度，引入 n 重懸垂構造 Sⁿ(A)，將 A-代數轉換為對稱代數。本文證明，關於 A 的單對象、單箭頭 (n−1)-範疇與 Sⁿ(A)-代數等價，且在輕微條件下，此構造透過 En-Operad 上的範疇餘極限，顯式地在 Sⁿ(A)-代數上產生 En-作用。

ABSTRACT

The classical Eckmann-Hilton argument shows that two monoid structures on a set, such that one is a homomorphism for the other, coincide and, moreover, the resulting monoid is commutative. This argument immediately gives a proof of the commutativity of the higher homotopy groups. A reformulation of this argument in the language of higher categories is: suppose we have a one object, one arrow 2-category, then its Hom-set is a commutative monoid. A similar argument due to A.Joyal and R.Street shows that a one object, one arrow tricategory is ‘the same’ as a braided monoidal category. In this paper we extend this argument to arbitrary dimension. We demonstrate that for an n-operad A in the author’s sense there exists a symmetric operadS n (A) called the n-fold suspension of A such that the category of one object, one arrow , . . . , one (n 1)-arrow algebras of A is equivalent to the category of algebras ofS n (A). Moreover, under some mild conditions, we present an explicit formula forS n (A) which involves taking the colimit over a remarkable categorical En-operad. In the case, where A is contractible in an appropriate sense, this formula provides us with an action of the En-operad on algebras ofS n (A).

研究动机与目标

• 使用 n-Operad 將 Eckmann-Hilton argument 推廣至高維度的範疇結構。
• 定義 n-Operad A 的 n 重懸垂構造 Sⁿ(A)，使得 Sⁿ(A)-代數分類出關於 A 的單對象、單箭頭 (n−1)-範疇。
• 在輕微條件下，透過 En-Operad 上的餘極限，建立 Sⁿ(A) 的顯式公式。
• 證明當 A 是收縮時，Sⁿ(A)-代數自然地具有 En-Operad 的作用。

提出的方法

• 本文使用作者定義的 n-Operad 框架來建模高維代數結構。
• 透過特定範疇 En-Operad 上的餘極限構造，將 Sⁿ(A) 定義為對稱 Operad。
• 關鍵技術工具是將 Eckmann-Hilton argument 推廣至 n-範疇的高維版本。
• 透過範疇對偶與一致性定理，建立關於 A 的單對象、單箭頭 (n−1)-範疇與 Sⁿ(A)-代數之間的等價。
• 該構造依賴於 A 的同倫性質，特別是在 A 以適當方式收縮時。
• Sⁿ(A)-代數上的 En-作用自然來自餘極限定義與底層 En-Operad 的結構。

实验结果

研究问题

• RQ1 Eckmann-Hilton argument 如何被推廣至高維度的範疇與代數結構？
• RQ2 n-Operad A 的 n 重懸垂 Sⁿ(A) 的精確構造為何？
• RQ3 在何種條件下，懸垂 Sⁿ(A) 會具有 En-Operad 的自然作用？
• RQ4 關於 A 的單對象、單箭頭 (n−1)-範疇與 Sⁿ(A)-代數之間有何關係？
• RQ5 範疇 En-Operad 在實現 Sⁿ(A) 的對稱結構中扮演何種角色？

主要发现

• 關於 n-Operad A 的單對象、單箭頭、…、單 (n−1)-箭頭代數的範疇，與 Sⁿ(A)-代數的範疇等價。
• 在輕微條件下，Sⁿ(A) 的顯式公式被表示為某範疇 En-Operad 上的餘極限。
• 當 n-Operad A 以適當的同倫方式收縮時，Sⁿ(A) 會自然地具有 En-Operad 的作用。
• Sⁿ(A) 的構造將古典的 Eckmann-Hilton argument 推廣至高維度，統合了張量結構與對稱結構。
• 懸垂 Sⁿ(A) 給出了一種系統性方式，從低維代數資料產生 En-代數。
• 該結果透過懸垂構造，在高維範疇結構與對稱 Operad 之間建立了深刻的連結。