[论文解读] Secondary Invariants for String Bordism and tmf

Ulrich Bunke, Niko Naumann|ArXiv.org|Dec 24, 2009

Homotopy and Cohomology in Algebraic Topology被引用 5

一句话总结

本文通过狄拉克算子的谱不变量，在维度 $4m-1$ 上构造了弦 bordism 的二级不变量，建立了将分析不变量 $b^{an}$ 与拓扑不变量 $b^{top}$ 通过顶点模形式（$tmf$）因子化联系起来的二级指标定理。关键结果是利用 $tmf$-值的维特定律，通过同伦论方法计算了 $b^{top}$，证明了 $b^{an}|_{A_{4m-1}} = b^{top}$，从而将经典的维特定律推广为一个二级、全局分析型不变量。

ABSTRACT

Using spectral invariants of Dirac operators we construct a secondary version of the Witten genus, a bordism invariant of string manifolds in dimensions $4m-1$. We prove a secondary index theorem which relates this global-analytic construction with its homotopy-theoretic analog. The latter will be calculated through its factorization over topological modular forms.

研究动机与目标

• 通过狄拉克算子导出的分析不变量，在维度 $4m-1$ 上定义弦流形的二级不变量。
• 通过顶点模形式（$tmf$）谱的同伦论对应，建立该不变量的同伦论版本。
• 在 $MSpin$-映射的核上，证明一个二级指标定理，将分析、几何与拓扑版本的不变量等同起来。
• 通过 Adams 谱序列与 $tmf$-上同调，显式计算拓扑不变量 $b^{top}$。
• 阐明微分几何、指标理论与稳定同伦论在弦 bordism 与模形式背景下的关系。

提出的方法

• 将阿贝尔群 $T_{2m}$ 定义为二级不变量的值域，其动机来自模形式与 $KO$-理论。
• 通过弦流形上狄拉克算子的 $ar{\eta}$-不变量，构造分析不变量 $b^{an}: MString_{4m-1} o T_{2m}$。
• 在子群 $A_{4m-1} = \ker(MString_{4m-1} \to MSpin_{4m-1})$ 上，利用微分几何数据定义几何不变量 $b^{geom}$。
• 通过复合映射 $MString_{4m-1} \xrightarrow{\sigma} tmf_{4m-1} \xrightarrow{b^{tmf}} T_{2m}$ 定义拓扑不变量 $b^{top}$，其中 $\sigma$ 为 $tmf$-值的维特定律。
• 利用 Atiyah-Patodi-Singer 指标定理与谱序列技术，证明 $b^{an}|_{A_{4m-1}} = b^{geom} = b^{top}$。
• 通过 Adams 谱序列与 $\mathbb{Q}/\mathbb{Z}$-理论，显式计算 $b^{tmf}$ 在素数 2 和 3 处的值，利用已知的 $tmf$-同伦群。

实验结果

研究问题

• RQ1 如何在维度 $4m-1$ 上，通过狄拉克算子的谱不变量构造弦 bordism 的二级不变量？
• RQ2 该二级不变量的分析、几何与同伦论版本之间的确切关系为何？
• RQ3 能否通过 $tmf$-上同调与 Adams 谱序列显式计算拓扑不变量 $b^{top}$？
• RQ4 二级指标定理 $b^{an}|_{A_{4m-1}} = b^{top}$ 是否普遍成立？其对 $MString_{4m-1}$ 结构有何意义？
• RQ5 $\mathbb{Q}/\mathbb{Z}$-理论与 $ko[[q]]$-方法如何共同促进对 $tmf$ 中 torsion 类（如 $\nu\Delta$）的检测？

主要发现

• 分析不变量 $b^{an}$ 限制在 $A_{4m-1}$ 上等于几何不变量 $b^{geom}$，这是 Atiyah-Patodi-Singer 指标定理的直接推论。
• 几何与拓扑不变量一致：$b^{geom} = b^{top}$，从而确立了二级指标定理。
• 通过 $b^{tmf}$ 显式计算了拓扑不变量 $b^{top}$，其中 $b^{tmf}$ 在 $p=2$ 与 $p=3$ 处利用 Adams 谱序列被确定。
• 当 $m=1$ 时，不变量 $b^{top}$ 被显式计算，表明在维度 3 中具有非平凡性。
• $T_{2m}$ 定义为 $KO$-理论与模形式的商群，且在维度 3 中满足 $T_{2m} \cong \mathbb{Z}/2\mathbb{Z}$。
• 在 $p=2$ 与 $p=3$ 处对 $b^{tmf}$ 的计算确认了 $b^{top}$ 能够检测 $tmf$-上同调中的 torsion 类（如 $\nu\Delta$）。