[论文解读] Lectures on n-Categories and Cohomology

John C. Baez, Michael Shulman|arXiv (Cornell University)|Aug 16, 2006

Homotopy and Cohomology in Algebraic Topology被引用 4

一句话总结

本文通過高階範疇論與伽羅瓦理論的視角，提出一個將n-範疇、上同調與同倫理論相連結的概念框架。它引入透過n-範疇中對稱性與群作用分類纖維與結構的概念，最終提出一個基於連通性、明確區分連通與點化結構的新n-範疇週期表，以釐清高階範疇論與上同調中的基礎性問題。

ABSTRACT

The goal of these talks was to explain how cohomology and other tools of algebraic topology are seen through the lens of n-category theory. Special topics include nonabelian cohomology, Postnikov towers, the theory of "n-stuff", and n-categories for n = -1 and -2. The talks were very informal, and so are these notes. A lengthy appendix clarifies certain puzzles and ventures into deeper waters such as higher topos theory. For readers who want more details, we include an annotated bibliography.

研究动机与目标

• 透過將伽羅瓦原理延伸至n-範疇與纖維，統一上同調、伽羅瓦理論與高階範疇論。
• 透過區分連通與點化結構，解決n-範疇論中的基礎性模糊問題，特別是在非集合基礎的拓撲中。
• 透過範疇與同倫方法，釐清Postnikov塔與上同調在分類n-群oids與纖維中的角色。
• 基於連通性（例如(−1)-連通、0-連通）而非張量結構，發展一個新的n-範疇週期表。
• 解釋標準張量週期表為何遺漏一列，以及基於連通性的週期表如何恢復概念上的清晰度。

提出的方法

• 以基本群與覆疊空間為原型，推廣伽羅瓦理論至高階範疇。
• 應用群作用於集合（及高階群oids）的概念，透過對稱性分類覆疊空間與纖維。
• 引入「n-結構」與「結構、性質與結構」的概念，形式化透過對稱性分類n-範疇的方法。
• 運用Postnikov塔與分解系統，將n-群oids分解並與上同調類關聯。
• 建立基於連通性的週期表，其中每一項對應於從j=k起連續n+2個j值具有非平凡j-同倫的物件。
• 使用層與拓撲，顯示在非集合基礎的脈絡中，連通性與點化性會分離，例如gerbes與群層之間的差異。

实验结果

研究问题

• RQ1 伽羅瓦理論如何從域與覆疊空間推廣至n-範疇與纖維？
• RQ2 為何標準n-範疇週期表遺漏一列？基於連通性的週期表如何解決此問題？
• RQ3 連通n-範疇與點化n-範疇之間的精確關係為何？為何它們在一般情況下不等價？
• RQ4 Postnikov塔與上同調在高階範疇脈絡中如何分類n-群oids與纖維？
• RQ5 為何某些gerbes缺乏全局截面？這對拓撲中連通與點化結構的區別有何含義？

主要发现

• 連通與點化n-範疇之間的區別至關重要：雖然在Set中每個連通n-範疇皆可非唯一等價地點化，但在一般拓撲（如層）中此性質不成立。
• 基於連通性的週期表揭示了一個遺漏的欄位：(−1)-連通物件（非空集合）與0-連通物件不同，修正了標準張量週期表中看似遺漏的問題。
• 上同調自然地從n-範疇中透過群作用分類纖維而產生，Postnikov塔則提供n-群oids的層疊式分解。
• 基本群oids及其在纖上的作用分類覆疊空間，此原則可推廣至高階同倫群與n-群oids。
• 在層的世界中，並非每個連通群oids都有全局截面（即非點化），這解釋了為何大多數gerbes為非平凡且無法從群層推導出。
• 空集合非0-連通，因其無基點，故π₀(∅)為空而非平凡——此為標準同倫定義中微妙但重要的修正。