[论文解读] Hypercovers in Differential Geometry

Cheyne Glass, Emilio Minichiello|arXiv (Cornell University)|Feb 12, 2026

Homotopy and Cohomology in Algebraic Topology被引用 0

一句话总结

本文证明了在若干微分几何站点上，本地投影模型结构与 Čech 投影模型结构一致，从而建立严格超完备性和基于简单加法构造的层化化（sheafification）。

ABSTRACT

In this paper we provide a simple proof that for several sites of interest in differential geometry, the local projective model structure and the Čech projective model structure are equal. In particular, this applies to the site of smooth manifolds with open covers and the site of cartesian spaces with good open covers. As an application, we show that for a presheaf of sets on these sites, applying the plus construction once is enough to sheafify.

研究动机与目标

• 在微分几何中激发高层理论及其计算优势。
• 为微分几何中重要站点（如带开覆盖的 Man、带良好开覆盖的 Cart 等）建立严格超完备性。
• 提供可行的纤维化替换与加法构造结果，以在这些情境下实现层化化。

提出的方法

• 分析在所选站点上使用投影和局部投影模型结构的单纯模式预设（simplicial presheaves）。
• 使用 Lurie 引理通过开覆盖细化超覆盖并证明严格超完备性（定理 5.9）。
• 应用 Low 的纤维化替换公式推导 Čech 投影模型结构的纤维化替换（式（2））。
• 证明在给定站点上，对预设集合的加法构造在层构造后就是层（定理 6.15）。
• 在高等微分几何中讨论 Verdier 超覆盖与协胞构造的应用。

实验结果

研究问题

• RQ1 指定的微分几何站点上，局部投影模型结构与 Čech 投影模型结构是否一致（即站点是否严格超完备）？
• RQ2 是否可以通过一次应用的加法构造在这些站点对集合预设进行层化化？
• RQ3 如何通过超覆盖细化来在 Čech 投影模型结构中构造纤维化替换？
• RQ4 在高等微分几何中，协胞数据与 Verdier 超覆盖的实际后果是什么？

主要发现

• 对于若干站点包括 TopMan、O(X)、Man、Cart、CMan 与 Stein，严格超完备性成立（定理 5.9）。
• 可以通过超覆盖细化和 Low 的公式获得 Čech 投影模型结构的纤维化替换。
• 在列出站点上的集合预设的加法构造为层（定理 6.15）。
• 对 Man 带开覆盖的严格超完备性的 Dugger 断言得到确立并扩展到相关站点。