[论文解读] Descent of Deligne-Getzler $\infty$-groupoids

Ruggero Bandiera|arXiv (Cornell University)|May 8, 2017

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

一句话总结

本文证明了Getzler的$∞$-群胚构造在$L_{∞}$-代数上与总化和同伦极限可交换，将Hinich的下降定理推广至更高阶同伦结构。通过$Δ_{∞}$-群胚与映射空间之间的自然弱等价，作者证明了$Δ_{∞}(-)$保持同伦理论极限，从而将形变理论扩展至负度数的$L_{∞}$-代数。

ABSTRACT

We prove that Getzler's higher generalization of the Deligne groupoid commutes with totalization and homotopy limits.

研究动机与目标

• 将Deligne群胚的Hinich下降定理推广至$L_{∞}$-代数背景下Getzler的$∞$-群胚构造。
• 解决当$L_{∞}$-代数具有非平凡负度数时经典下降失效的问题，此时需要更高阶群胚结构。
• 建立$Δ_{∞}(-)$函子与同伦极限及总化的可交换性，确保其与导出几何构造相容。
• 提供一种基于Reedy模型范畴的、避免先前工作中限制性假设的概念性证明。

提出的方法

• 引入自然弱等价$\operatorname{Del}_{\infty}(C^{*}(X;L)) \xrightarrow{\sim} \underline{\mathbf{SSet}}(X, \operatorname{Del}_{\infty}(L))$，其中$X$为单纯集，$L$为$L_{∞}$-代数，建立上同调与映射空间之间的联系。
• 通过Dupont的收缩进行同伦传递，为$C^{*}(\Delta_{\bullet};L)$配备$L_{∞}$-结构，从而将$\operatorname{Del}_{\infty}(L)$定义为一个Kan复形。
• 应用Reedy模型范畴技术，证明$\operatorname{Del}_{\infty}(L_{\bullet})$是Reedy纤维化，确保其与同伦极限相容。
• 构建部分总化的塔结构，并通过纤维积图和弱等价关系，归纳证明$\operatorname{Del}_{\infty}(-)$与$\operatorname{Tot}(-)$之间的相容性。
• 利用$\operatorname{Del}_{\infty}(-)$与匹配空间函子$M_{k-1}(-)$可交换的事实，使归纳比较得以与单纯映射空间建立联系。
• 使用余单纯替换函子$\Pi(-)$将同伦极限与总化联系起来，并应用主要弱等价关系，最终得出结论。

实验结果

研究问题

• RQ1 Getzler的$\infty$-群胚构造$\operatorname{Del}_{\infty}(-)$是否与$L_{\infty}$-代数图的总化可交换？
• RQ2 当$L_{\infty}$-代数具有非平凡负度数时，$\operatorname{Del}_{\infty}(-)$的下降性质是否可扩展至此类情形，此时经典Deligne群胚会失效？
• RQ3 对于单纯集$X$，是否存在自然弱等价$\operatorname{Del}_{\infty}(C^{*}(X;L)) \xrightarrow{\sim} \underline{\mathbf{SSet}}(X, \operatorname{Del}_{\infty}(L))$？
• RQ4 $\operatorname{Del}_{\infty}(-)$在$L_{\infty}$-代数范畴中如何与同伦极限相互作用？
• RQ5 是否可以在不施加对$L_{\infty}$-代数或指标范畴的限制性假设下，建立$\operatorname{Del}_{\infty}(-)$与同伦极限的相容性？

主要发现

• 函子$\operatorname{Del}_{\infty}(-)$与总化可交换（弱等价意义下）：对任意$\widehat{\mathbf{L}_{\infty}}^{\Delta}$中的图$F$，有$\operatorname{Del}_{\infty}(\operatorname{Tot}(F)) \xrightarrow{\sim} \operatorname{Tot}(\operatorname{Del}_{\infty} \circ F)$。
• 函子$\operatorname{Del}_{\infty}(-)$与同伦极限可交换：对任意$\widehat{\mathbf{L}_{\infty}}^{\mathbf{S}}$中的图$F$，有$\operatorname{Del}_{\infty}(\underleftarrow{\operatorname{holim}}(F)) \xrightarrow{\sim} \underleftarrow{\operatorname{holim}}(\operatorname{Del}_{\infty} \circ F)$。
• 建立了关键弱等价关系$\operatorname{Del}_{\infty}(C^{*}(X;L)) \xrightarrow{\sim} \underline{\mathbf{SSet}}(X, \operatorname{Del}_{\infty}(L))$，其中$X$为单纯集，$L$为$L_{\infty}$-代数，为上同调与映射空间之间建立了桥梁。
• 证明依赖于Reedy模型范畴技术以及$\operatorname{Del}_{\infty}(L_{\bullet})$的Reedy纤维化性质，确保其与同伦极限相容。
• $\operatorname{Del}_{\infty}(\operatorname{Tot}(F))$的基本群胚与$\operatorname{Tot}(\operatorname{Del}_{\infty} \circ F)$的基本群胚同构，证实了在群胚层面的相容性。
• 该结果将Hinich的下降定理推广至非负度数$L_{\infty}$-代数之外，扩展至完整的$\infty$-范畴设定。