[论文解读] Constructing symmetric monoidal bicategories

Michael Shulman|arXiv (Cornell University)|Apr 7, 2010

Homotopy and Cohomology in Algebraic Topology参考文献 20被引用 72

一句话总结

本文提出了一种系统化方法，从满足纤维性条件（即所有1-细胞存在伴隨與對偶）的对称单峰双范畴构造对称单峰2-范畴。关键结果是：若一个单峰双范畴是纤维性的，则其底层2-范畴通过一个典范提升过程继承单峰、辫状及对称单峰结构，极大简化了实际验证过程。

ABSTRACT

We present a method of constructing symmetric monoidal bicategories from symmetric monoidal double categories that satisfy a lifting condition. Such symmetric monoidal double categories frequently occur in nature, so the method is widely applicable, though not universally so.

研究动机与目标

• 提供一种实用方法以构造对称单峰2-范畴，因其复杂的协调性条件而难以直接验证。
• 通过利用更具结构的底层双范畴，解决在2-范畴中验证单峰与对称单峰结构的挑战。
• 形式化并推广在丰富范畴的函子与cobordism范畴等例子中隐含使用的构造技术。
• 建立从纤维性单峰双范畴到其底层2-范畴的函子性提升过程，保持单峰、辫状及对称结构。
• 证明该构造广泛适用于自然出现的对称单峰双范畴，如环、代数与模的范畴。

提出的方法

• 将对称单峰双范畴定义为Cat中的范畴内部结构，其弱复合与协调同构满足标准公理。
• 通过所有水平1-细胞存在伴隨與對偶來引入纤维性條件，確保結構從雙范畴提升至其底層2-范畴。
• 通過取D的0-細胞與1-細胞作為H(D)的底層2-范畴，並利用伴隨與對偶來提升2-細胞以定義水平複合。
• 證明H(D)中的結合律、單位與協調同構由D中的對應同構透過伴隨與對偶結構誘導，確保滿足2-范畴公理。
• 透過將D中的辫狀與對稱同構提升至H(D)，將構造擴展至辫狀與對稱單峰結構，並利用伴隨的唯一性來驗證協調公理。
• 利用所有H(D)中的協調圖形均透過一個典範θ-同構與D₀（0-細胞的範疇）中的圖形同構的事實，確保協調性被保留。

实验结果

研究问题

• RQ1 如何系統地從更具結構的雙范畴構造對稱單峰2-范畴？
• RQ2 對稱單峰雙范畴需滿足何種條件，才能使其底層2-范畴繼承對稱單峰結構？
• RQ3 從雙范畴到2-范畴的單峰結構提升在何種意義上是函子性且協調的？
• RQ4 為何纖維性條件——特別是伴隨與對偶的存在——對於提升構造而言是必要且充分的？
• RQ5 此方法在多大程度上可推廣至更高維度的(n×k)-範疇及其底層(n+k)-範疇？

主要发现

• 若D為纖維性單峰雙範疇，則其底層2-範疇H(D)為單峰2-範疇，其單峰結構透過伴隨與對偶提升。
• 當D為辫狀時，所誘導的2-範疇H(D)繼承辫狀單峰結構，其辫狀同構由D的辮狀結構透過定理4.6提升而來。
• 若D為對稱的，則H(D)為對稱單峰2-範疇，其對稱同構在H(D)中被構造為A⊗B上恆等映射的伴隨之間的θ-同構。
• H(D)中單峰2-範疇結構的協調公理由所有相關黏合圖形在H(D)中與D₀中的圖形透過唯一θ-同構同構而成立。
• 該構造保持更高階對稱性：H(D)中的syllepsis與對稱公理由D中辮狀的自逆性與伴隨的唯一性所導出。
• 該方法廣泛適用於自然例子，如交換環、代數與模的雙範疇，或共形網絡，所有這些在提升後均產生對稱單峰三範疇。