[论文解读] Regular polygraphs and the Simpson conjecture

Simon Henry|arXiv (Cornell University)|Jul 7, 2018

Homotopy and Cohomology in Algebraic Topology参考文献 19被引用 8

一句话总结

本文通過引入非單位∞-範疇的兩種概念——一般與正則——並運用多胞形結構與模型範疇，證明了∞-群胚的卡洛斯·辛普森半嚴格化猜想的正則版本。它建立了正則多胞形與空間之間的Quillen等價，顯示在所得模型結構中， fibrant對象具有弱單位與弱逆，從而透過基於正多複體與新δ計數函數的細緻組合框架，確認了正則情況下的猜想。

ABSTRACT

We prove Carlos Simpson's "semi-strictification" (or "weak unit") conjecture in the case of infinity-groupoids. More precisely, we introduce two precise versions of the conjecture, the "general" and the "regular" conjecture, involving two different notions of "non-unital categories". The "general" version involve infinity-categories where absolutely all composition operations (horizontal, vertical and whiskering) are defined and compatible, the "regular" version involve infinity-categories where all the composition operations corresponding to "regular" pasting diagram are defined and compatible. In both case we construct (weak) model structures on these categories such that fibrant objects have weak units and weak inverse. We prove the regular version of the conjecture using the original strategy of Kapranov and Voevodsky, together with our previous work on polygraphs. The general version cannot be proved by these methods and is still open. In order to do this we also study some subtle property of the combinatorics of polygraphs, and we construct a new counting function for polygraphs, inspired by previous work of Makkai.

研究动机与目标

• 透過區分非單位∞-範疇的一般與正則表述，解決卡洛斯·辛普森在∞-群胚情況下的半嚴格化猜想。
• 在非單位∞-範疇的範疇上構造弱模型結構，使fibrant對象具有弱單位與弱逆。
• 透過基於正則多胞形的細緻組合框架，克服廣義黏合圖形（正多複體）中收縮性失效的問題。
• 使用正多複體與新δ計數函數，提供原始卡普蘭諾夫-沃沃德斯基策略的精確且可實現版本。

提出的方法

• 引入兩種非單位∞-範疇的獨立概念：一種基於所有組合運算（一般），另一種限制於「正則」黏合圖形（正則），並運用多胞形與plex基組合學。
• 發展一種新的多胞形δ計數函數，受馬卡伊啟發，用於分析黏合圖形的複雜性，並支援模型結構的構造。
• 在正則多胞形與∞-範疇上構造弱模型結構，其中fibrant對象滿足弱單位與弱逆條件。
• 建立正則多胞形範疇與拓撲空間範疇之間的Quillen等價，從而在此背景下證明同倫假設。
• 將Gray張量積推廣至帶標記/分層的正則多胞形，以建模∞-範疇的乘積，為通向一般∞-範疇猜想提供潛在路徑。
• 提出∞-範疇的帶標記/分層框架，其中標記細胞代表等價關係，並定義與擴展的Gray張量積相容的生成內射映射。

实验结果

研究问题

• RQ1 能否透過更強健的黏合圖形概念，復甦原始卡普蘭諾夫-沃沃德基策略以證明同倫假設？
• RQ2 非單位∞-範疇的正確組合框架為何？該框架應支援嚴格組合，同時允許弱單位與弱逆。
• RQ3 如何在正則多胞形上構造模型結構，使fibrant對象具有弱單位與弱逆，從而實現辛普森猜想？
• RQ4 能否透過細緻的δ計數函數與合適的模型結構，克服廣義黏合圖形（正多複體）中收縮性失效的問題？
• RQ5 是否存在可行路徑，將正則辛普森猜想推廣至完整的∞-範疇設定，特別是透過帶標記或分層的多胞形結構？

主要发现

• 證明了辛普森猜想的正則版本：存在正則多胞形範疇與拓撲空間範疇之間的Quillen等價。
• 為正則多胞形構造了一種新的δ計數函數，用以捕捉黏合圖形的複雜性，並支援模型結構的建立。
• 正則多胞形上的模型結構確保fibrant對象具有弱單位與弱逆，滿足猜想的核心要求。
• 一般版本的猜想仍為開放問題，因為目前尚不知正多複體的幾何實現函子是否保持收縮性。
• 提出了一套帶標記/分層的正則多胞形框架，有潛力透過pseudo-Gray張量積與生成內射映射，將結果推廣至∞-範疇設定。