[论文解读] Grothendieck $\infty$-groupoids, and still another definition of $\infty$-categories

Georges Maltsiniotis|arXiv (Cornell University)|Sep 13, 2010

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

一句话总结

本文通過共形框架簡化了格羅滕迪克的∞-群胚定義，並基於此方法提出了一種新的代數化∞-範疇定義。研究證明∞-群胚構成一個局部可表示的範疇，並猜想其局部化會產生同倫範疇，同時透過投射極限與纖維平方構造了同倫群與弱等價關係。

ABSTRACT

The aim of this paper is to present a simplified version of the notion of $\infty$-groupoid developed by Grothendieck in "Pursuing Stacks" and to introduce a definition of $\infty$-categories inspired by Grothendieck's approach.

研究动机与目标

• 提出格羅滕迪克∞-群胚概念的簡化版本，將其視為定義在共形範疇上的預層，並滿足左正合性（類似塞加爾）條件。
• 透過修改共形框架，提出一種新的（弱）∞-範疇定義，與巴塔林的運算子定義密切相關。
• 證明∞-群胚範疇是局部可表示的，解決了基於卡恩複形或拓撲空間模型所無法滿足的關鍵結構要求。
• 利用投射極限與纖維平方定義∞-群胚的同倫群與弱等價關係，從而實現同倫分析。
• 支持格羅滕迪克的猜想：將∞-群胚按弱等價關係局部化，可得到經典的同倫範疇Hot。

提出的方法

• 使用帶有通用∞-余群胚的共形範疇C，將∞-群胚定義為C上的預層，並滿足左正合性條件。
• 應用ℕ-指標圖形上的投射極限概念，構造∞-群胚中的結構映射，特別是在同倫群的語境下。
• 使用纖維平方與I-特殊平方分析映射的相容性，並在極限構造中證明關鍵同構。
• 透過同倫群上誘導的映射定義弱等價關係，目標是對∞-群胚範疇進行局部化。
• 利用共形的普遍性質，定義不同∞-群胚結構之間的典型函子，支持定義之間等價性的猜想。
• 使用極限與上極限圖形的圖形推理，證明某些平方為I-特殊，依賴引理A.4與A.5。

实验结果

研究问题

• RQ1 如何在保留其代數與同倫本質的前提下簡化格羅滕迪克的∞-群胚概念？
• RQ2 基於共形的∞-群胚定義與巴塔林的運算子定義的∞-範疇之間存在何種精確關係？
• RQ3 能否證明∞-群胚範疇是局部可表示的？這是否解決了基於拓撲空間或卡恩複形模型的一個關鍵限制？
• RQ4 將∞-群胚按弱等價關係局部化是否會產生經典的同倫範疇Hot？這正是格羅滕迪克的猜想。
• RQ5 不同∞-群胚定義之間的典型函子如何誘導∞-等價關係？這對理論的一致性有何含義？

主要发现

• 格羅滕迪克∞-群胚範疇是局部可表示的，這是一個重要的結構性質，而基於卡恩複形或拓撲空間的模型並未滿足此條件。
• 本文以自然方式構造了∞-群胚F的同倫群π_i(F)，使弱等價關係的定義明確。
• ∞-群胚之間的弱等價關係定義為所有同倫群上的同構，並猜想將∞-群胚範疇沿這些等價關係局部化，可得到同倫範疇Hot。
• ∞-群胚中結構映射的構造依賴於ℕ-指標圖形上的投射極限，關鍵同構透過纖維平方建立。
• 證明某些平方為I-特殊（進而保持弱等價關係）依賴於引理A.4與A.5，特別是在關鍵指標n₀的情況下。
• 該框架支持格羅滕迪克的願景：存在多種非等價但典型等價的∞-群胚定義，且在更高層次上，等價關係之間的等價關係可無限延伸。