[论文解读] Differential cohomology

Ulrich Bunke|arXiv (Cornell University)|Aug 20, 2012

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

一句话总结

本文提出了一套全面的同伦论框架，用于微分上同调，统一了二级特征类与广义上同调理论的微分提升。该框架建立了微分扩张的稳定 $∞$-范畴方法，涵盖乘积与 Umkehr 映射，对 $K$-理论和 bordism 给出了显式构造，并通过光滑 Deligne 上同调与 Cheeger-Simons 字符系统地处理了积分、Chern-Simons 不变量及微分提升。

ABSTRACT

These course note first provide an introduction to secondary characteristic classes and differential cohomology. They continue with a presentation of a stable homotopy theoretic approach to the theory of differential extensions of generalized cohomology theories including products and Umkehr maps.

研究动机与目标

• 开发一套系统化、稳定的同伦论基础，用于微分上同调，以推广经典构造。
• 在单一框架下统一二级特征类与广义上同调理论的微分提升。
• 为微分 $K$-理论与复 bordism 提供显式的计算工具与示例，包括积分与乘积结构。
• 通过 Cheeger-Simons 微分字符与光滑 Deligne 上同调，建立 Chern-Weyl 同态的微分提升。
• 引入完整的微分扩张理论，包含 Umkehr 映射、乘法结构及通过 $∞$-范畴实现的几何实现。

提出的方法

• 利用 $∞$-范畴与稳定同伦论，形式化广义上同调理论的微分扩张。
• 应用层论方法，将光滑 Deligne 上同调定义为微分整上同调的模型。
• 通过 Cheeger-Simons 同态构造特征类的微分提升，以推广 Chern-Weil 理论。
• 引入微分函数谱，以建模具有相容乘积与积分映射的微分上同调群。
• 采用单位分解技术与局部平凡化方法，构造全局联络与曲率形式。
• 发展微分 Thom 类与微分设定下的定向理论，扩展拓扑 Thom 同构。

实验结果

研究问题

• RQ1 如何系统地利用曲率与联络数据，将二级特征类提升为微分上同调类？
• RQ2 广义上同调理论的微分扩张（包括乘积与 Umkehr 映射）背后的稳定同伦论结构是什么？
• RQ3 微分 $K$-理论与微分 bordism 理论如何作为其拓扑对应物的微分提升而出现？
• RQ4 光滑 Deligne 上同调在实现整特征类的微分提升中起什么作用？
• RQ5 积分与指标定理在微分上同调设定下如何表述，特别是针对 $χ$-类与 Adams 操作？

主要发现

• Cheeger-Simons 微分字符构造为复向量丛的 Chern-Weyl 同态提供了典范的微分提升。
• 微分 $K$-理论被实现为具有明确定义乘积结构与积分映射的拓扑 $K$-理论的微分扩张。
• 复 bordism 理论的微分提升被构造出来，具有相容的乘法结构与 Thom 同构。
• 对 $\sigma \in \pi_3(\mathbf{S})$ 与 $\eta \in \pi_1(\mathbf{S})$ 的微分 $e$-不变量被计算为 $\mathbb{C}/\mathbb{Z}$ 中的元素，得到 $\hat{e}(\hat{\eta}) = \frac{1}{2} \mod \mathbb{Z}$ 与 $\hat{e}(\hat{\sigma}) = \frac{1}{24} \mod \mathbb{Z}$。
• 在微分上同调的背景下，微分 ${\mathbf{MU}}$-指标定理被提出并证明，将经典指标定理推广至微分设定。