[论文解读] Enrichments over symmetric Picard categories

Vincent Schmitt|ArXiv.org|Nov 30, 2008

Algebraic structures and combinatorial models参考文献 5被引用 4

一句话总结

本文發展了以對稱佩卡德範疇（SPC）為豐富化類別的 2-環上 2-模的理論，透過多重線性映射與張量積進行定義。研究證明，2-環 A 上的 A-模是 SPC 2-範疇上函子 A ⊗ − 的代數，並在 SPC 中建立內部函子與張量函子的相干性與嚴謹性結果，關鍵技術工具來自範疇群的相干性與對稱張量結構理論。

ABSTRACT

Categorical rings were introduced by Jibladze and Pirashvili in their paper "Third Mac Lane cohomology via categorical rings", Journal of Homotopy and related structures, 2, 2007, 187-216. We call those "2-rings". In these notes we present basic definitions and results regarding 2-modules. This is work in progress.

研究动机与目标

• 使用對稱佩卡德範疇（SPC）作為豐富化 2-範疇，發展 2-環上 2-模的基礎理論。
• 透過多重線性映射與張量積定義並特徵化 SPC 上的豐富化，將古典模理論推廣至高階範疇。
• 證明 2-環 A 上的 A-模範疇是 SPC 上函子 A ⊗ − 的代數。
• 建立 SPC 中函子與自然變換的相干性與嚴謹性性質，特別針對逆函子與內部函子。
• 透過將對稱張量範疇（SMC）的結果延伸至對稱佩卡德範疇（SPC），為高階範疇代數提供技術基礎。

提出的方法

• 使用對稱佩卡德範疇（SPC）作為豐富化 2-範疇，其中物件為具逆元的對稱張量群胚。
• 透過多重線性映射定義 2-模，並在 SPC 上構造張量積，推廣自 SMC 的構造。
• 應用範疇群的相干性定理（Laplaza, 1983），確保標準箭頭與逆函子的唯一性與自然性。
• 使用 SMC 中的內部函子 [A, B]，證明其在 B 為對稱佩卡德範疇時，可透過點式構造繼承對稱佩卡德結構，並證明其為 SPC 中的嚴謹箭頭。
• 引入 SPC 中嚴謹箭頭的概念，其中張量函子嚴格保持逆函子與同構 ja : I → a• ⊗ a。
• 使用 2-函子 Rn 及其在 2-細胞上的作用，證明相干性結果，如 ζ1 = Rn(Ξ2)，ζ2 = Rn(Ξ3)，以及 Ξ4 = Rn(Ξ1)，依賴於 [Sch08] 中的引理。

实验结果

研究问题

• RQ1 如何利用對稱佩卡德範疇作為豐富化類別，將模的概念從環推廣至 2-環？
• RQ2 在 B 為對稱佩卡德範疇時，SMC 中的內部函子 [A, B] 在何種條件下可繼承對稱佩卡德結構？
• RQ3 在何種意義上，2-環 A 上的 A-模是 SPC 2-範疇上函子 A ⊗ − 的代數？
• RQ4 範疇群的相干性結果（例如標準箭頭的唯一性）如何推廣至對稱佩卡德範疇的設定？
• RQ5 嚴謹性在對稱佩卡德範疇之間的箭頭中扮演何種角色？其如何影響內部函子與張量自然變換的結構？

主要发现

• 當 B 為對稱佩卡德範疇時，SMC 中的內部函子 [A, B] 可透過點式構造繼承對稱佩卡德結構。
• 在對稱佩卡德範疇 A 上，逆函子 inv : A → A 可賦予對稱張量結構，其分量為 inv2,a,b : a• ⊗ b• → (a ⊗ b)•，由複合映射 a• ⊗ b• → b• ⊗ a• → (a ⊗ b)• 給出。
• 對於任意對稱張量函子 F : A → B，其分量 F⁰ 由 F² 決定，且張量自然變換滿足單一交換圖條件。
• 2-函子 [A, −] 將張量變換 j : I → inv✷id 映射為 [A, B] 上的張量結構，使其成為具所選群結構的對稱佩卡德範疇。
• 2-細胞 ζ1 等於 Rn(Ξ2)，ζ2 等於 Rn(Ξ3)，這些用於證明 SPC 2-範疇中的相干性。
• Rn 對 2-細胞 β′′ 的作用為 Ξ7，Rn 對 Ξ4 的作用為 A → I⊗A → A⊗A → [M,M]，此用於驗證組合的相干性。