[论文解读] Differential cohomology theories as sheaves of spectra

Ulrich Bunke, Thomas Nikolaus+1 more|arXiv (Cornell University)|Nov 13, 2013

Homotopy and Cohomology in Algebraic Topology参考文献 4被引用 6

一句话总结

本文证明了光滑流形上的任意谱层自然诱导出一个微分上同调图和一个同伦公式，统一了微分上同调理论的经典特征。通过伴随函子将层分解为同伦不变部分与类周期部分，该研究提供了一个通用框架，通过其底层同伦类型、周期数据和粘合映射系统分析新的微分上同调理论。

ABSTRACT

We show that every sheaf on the site of smooth manifolds with values in a stable (infinity,1)-category (like spectra or chain complexes) gives rise to a differential cohomology diagram and a homotopy formula, which are common features of all classical examples of differential cohomology theories. These structures are naturally derived from a canonical decomposition of a sheaf into a homotopy invariant part and a piece which has a trivial evaluation on a point. In the classical examples the latter is the contribution of differential forms. This decomposition suggest a natural scheme to analyse new sheaves by determining these pieces and the gluing data. We perform this analysis for a variety of classical and not so classical examples.

研究动机与目标

• 通过光滑流形上的谱层，为微分上同调理论提供一个统一的、抽象的框架。
• 识别所有此类层共有的普遍结构特征——微分上同调图和同伦公式。
• 通过伴随函子将任意层分解为其同伦不变部分与类周期部分，从而实现对新例子的系统性分析。
• 通过展示它们源于此分解，推广经典构造（例如，霍普金斯-辛格理论、德利涅上同调）。
• 通过构造不依赖微分形式的例子，证明微分上同调理论无需依赖微分形式。

提出的方法

• 利用常层函子的左和右伴随函子，将层分解为其同伦不变部分与编码周期数据的部分。
• 应用同伦化函子（左伴随）提取同伦不变分量，利用流形的局部可缩性。
• 将曲率映射定义为特征映射与类似微分形式分量的复合，推广经典微分上同调中的曲率。
• 利用同伦公式量化同伦下的非不变性，其来源是层不满足同伦不变性的失败。
• 通过分解分析例子：识别同伦不变部分、周期数据以及两者之间的粘合映射。
• 采用稳定 $(∞,1)$-范畴（如谱或链复形）作为目标范畴，以确保与同伦理论的兼容性。

实验结果

研究问题

• RQ1 所有微分上同调理论的普遍结构基础是什么，无论其构造方式如何？
• RQ2 如何将光滑流形上的任意谱层分解为其同伦不变部分与类周期部分？
• RQ3 在多大程度上可以不依赖微分形式来构造微分上同调理论？
• RQ4 像德利涅上同调或微分K-理论这样的经典例子如何融入这一抽象框架？
• RQ5 同伦公式在刻画微分上同调中同伦不变性失败方面起什么作用？

主要发现

• 光滑流形上的任意谱层自然诱导出一个微分上同调图，包括曲率、类和同伦映射。
• 同伦公式量化了同伦不变性的失败，并对所有此类层普遍成立。
• 同伦不变部分与类周期部分的分解是典范且函子性的，源于层范畴上的伴随函子。
• 经典例子如广义德利涅上同调和霍普金斯-辛格微分K-理论，均为此分解的特例。
• 存在周期数据与微分形式无关的例子，表明微分上同调理论无需涉及微分形式。
• 由阿贝尔李群表示的层被证明等价于经典方法构造的层，确认了与已知构造的一致性。