[论文解读] Quadratic functions in geometry, topology,and M-theory

Michael J. Hopkins, I. M. Singer|ArXiv.org|Nov 13, 2002

Homotopy and Cohomology in Algebraic Topology参考文献 17被引用 32

一句话总结

本文利用微分上同调与M理论，建立了一个用于高维流形中二次函数的几何与拓扑框架，推广了黎曼的二次型与庞特里亚金的示性类。论文引入了一种扭曲微分上链的构造，描述了自旋结构改变时积分Wu结构的变化，其关键结果是通过博克斯坦同态与模2上同调运算，给出了自旋结构修改下总Wu类变化的公式。

ABSTRACT

We describe an interpretation of the Kervaire invariant of a Riemannian manifold of dimension $4k+2$ in terms of a holomorphic line bundle on the abelian variety $H^{2k+1}(M)\otimes R/Z$. Our results are inspired by work of Witten on the fivebrane partition function in $M$-theory (hep-th/9610234, hep-th/9609122). Our construction requires a refinement of the algebraic topology of smooth manifolds better suited to the needs of mathematical physics, and is based on our theory of "differential functions." These differential functions generalize the differential characters of Cheeger-Simons, and the bulk of this paper is devoted to their study.

研究动机与目标

• 将复几何中黎曼的二次函数推广至使用拓扑与几何工具的高维流形。
• 通过微分上同调，为4k维流形中交形式的二次提升提供几何解释。
• 利用微分上链与示性类，描述自旋结构改变时积分Wu结构的变化。
• 通过扭曲微分上同调，建立M理论路径积分与拓扑不变量之间的联系。
• 利用示性类与博克斯坦运算，将指标理论公式推广至高维。

提出的方法

• 本文使用切赫-西蒙斯微分上同调来建模特征类与自旋结构背景下的扭曲微分上链。
• 引入了一个扭曲微分上链 $\bar{\nu}(s,\nabla)$，用于编码与自旋结构 $s$ 及联络 $\nabla$ 相关的积分Wu结构。
• 该方法通过截面积与博克斯坦同态，计算自旋结构变换 $s \mapsto s + \alpha$ 时总Wu类的变化。
• 关键公式包括 $\bar{\nu}(s+\alpha,\nabla) = \bar{\nu}(s,\nabla) + (2)\cdot\beta\left(\nu(V)\sum_{k\geq 1}\alpha^{2^k - 1}\right)$，其中 $\beta$ 为博克斯坦映射。
• 该框架依赖于微分上同调理论的自然性与同伦不变性，并使用单纯方法来建模纤维序列。
• 通过安德森对偶与Picard范畴，描述微分上同调类及其自同构的分类。

实验结果

研究问题

• RQ1 如何将复几何中黎曼的二次函数推广至高维流形？
• RQ2 4k维流形中交形式的二次提升具有何种几何与拓扑意义？
• RQ3 自旋结构的改变如何影响其关联的积分Wu结构？这一影响如何在上同调语言中刻画？
• RQ4 M理论中五brane路径积分的变化能否通过微分上同调与示性类来描述？
• RQ5 博克斯坦同态在模2上同调类与Wu类的整数提升之间起何种作用？

主要发现

• 论文推导出自旋结构变换下总积分Wu类变化的公式：$\bar{\nu}(s+\alpha,\nabla) = \bar{\nu}(s,\nabla) + (2)\cdot\beta\left(\nu(V)\sum_{k\geq 1}\alpha^{2^k - 1}\right)$。
• 该公式被解释为扭曲微分上链的变换，其中因子 (2) 表示 $\prod \check{H}^{2k}(S)$ 对 $\nu$-扭曲微分上链的同构类的作用。
• 当 $\lambda \mapsto \lambda - 2x$ 时，二次函数的变化被证明对应于 $\operatorname{Spin}^c$ Dirac算子的指标变化，推广了4维情形。
• 该方法通过在 $S \times S^1$ 上构造具有指定施蒂费尔-惠特尼类的稳定向量丛 $W$，证明了米尔诺的满射结果 $\pi_1 B_0 \to \pi_0 G_0$。
• 论文从代数上精确解释了 $\kappa$-不变量的整数性，其根源在于特征元素范数模8的同余性。
• 通过扭曲微分上链 $\bar{\nu}(s,\nabla)$，论文为五brane路径积分提供了微分上同调解释，将其与M理论及指标理论联系起来。