[论文解读] Equivalence of string and fusion loop-spin structures

Chris Kottke, Richard Melrose|arXiv (Cornell University)|Sep 1, 2013

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

一句话总结

该论文建立了在光滑流形 $M$ 的自由循环空间上，具有强光滑性与微分同胚等变性的融合循环-自旋结构等价类与 $M$ 上的弦结构之间的 1-1 对应关系，通过 Redden 引入的上同调类仿射空间 $\operatorname{C}(F)$ 实现。该构造利用投影酉丛的 holonomy 与纤维丛 gerbes，证明此类循环-自旋结构存在的充要条件为 $M$ 上 $\frac{1}{2}p_1 = 0$，从而证实了椭圆上同调领域长期存在的猜想，并为狄拉克-拉蒙算子的分析研究铺平了道路。

ABSTRACT

The importance of the fusion relation of loops was recognized in the context of spin structures on the loop space by Stolz and Teichner and further developed by Waldorf. On a spin manifold M the equivalence classes of `fusive' spin structures on the loop space LM, incorporating the fusion property, strong regularity and reparameterization-invariance, are shown to be in 1-1 correspondence with equivalence classes of string structures on M. The identification is through the affine space of `string' cohomology classes considered by Redden.

研究动机与目标

• 解决关于自旋流形自由循环空间上是否存在具有完整微分同胚群等变性的光滑融合循环-自旋结构这一长期悬而未决的问题。
• 在 Waldorf 与 Redden 之前工作的基础上，建立融合循环-自旋结构与 $M$ 上弦结构之间的直接、光滑对应关系。
• 通过 holonomy 与纤维丛 gerbes，提供弦结构的转录与回归的显式几何实现，确保强光滑性与融合性质。

提出的方法

• 将融合循环-自旋结构构造为 $\mathcal{L}{\operatorname{Spin}}$ 的基本中心扩张的主丛，配备与路径拼接相容的融合乘积。
• 利用 $\mathcal{L}M$ 上投影酉丛的 holonomy，定义从 $H^3(M;\mathbb{Z})$ 到 $H^3(F;\mathbb{Z})$ 的转录映射，其中 $F$ 为自旋标架丛。
• 应用 Murray 意义下的纤维丛 gerbes，实现 $\operatorname{C}(F)$ 中上同调类的回归，确保在 $\operatorname{Dff}(\mathbb{S})$ 作用下的光滑性与等变性。
• 在循环-自旋结构上实施一种灵活的光滑性条件（强光滑性），类似于 Brylinski 的“超光滑”条件。
• 证明关联纤维丛 gerbe 在 $F$ 上的 Dixmier-Douady 类通过 $\operatorname{C}(F) \subset H^3(F;\mathbb{Z})$ 的陪集分类融合循环-自旋结构。
• 证明关联的 $\operatorname{U}(1)$-丛 $E\mathcal{L}{\operatorname{Spin}}$ 在 $\operatorname{Dff}(\mathbb{S})$ 作用下是等变的，且在方向反转的微分同胚上符号为 $-1$，从而确立融合性质。

实验结果

研究问题

• RQ1 对于自旋流形 $M$，是否存在一个在圆的完整微分同胚群 $\operatorname{Dff}(\mathbb{S})$ 作用下等变的光滑融合循环-自旋结构，定义在 $\mathcal{L}M$ 上？
• RQ2 是否存在一种直接的、光滑的对应关系，将此类融合循环-自旋结构与 $M$ 上的弦结构联系起来，而不仅仅是 Waldorf 与 Redden 的存在性结果？
• RQ3 能否通过 holonomy 与纤维丛 gerbes 显式构造弦结构的转录与回归，同时保持强光滑性与融合性质？

主要发现

• 在 $\mathcal{L}M$ 上，融合循环-自旋结构等价类与 $\operatorname{C}(F)$ 中的上同调类之间存在 1-1 对应关系，其中 $\operatorname{C}(F)$ 是 $H^3(F;\mathbb{Z})$ 的陪集，且在纤维上限制到 $H^3(\operatorname{Spin};\mathbb{Z})$ 时为固定值。
• 此类融合循环-自旋结构存在的充要条件为 $M$ 上 $\frac{1}{2}p_1 = 0$，这同时也是 $M$ 上弦结构存在的条件。
• 关联的 $\operatorname{U}(1)$-丛 $E\mathcal{L}{\operatorname{Spin}}$ 在 $\operatorname{Dff}(\mathbb{S})$ 作用下是等变的，且在方向反转的分支上符号为 $-1$，从而确保融合性质。
• 融合性质成立，因为对于在循环反转下不变的循环，有 $E_l \cong E_l^{-1}$，从而对相容循环有 $E_{l_{12}} \otimes E_{l_{23}} \simeq E_{l_{13}}$。
• 在 $F$ 上的纤维丛 gerbe 的 Dixmier-Douady 类通过 $\operatorname{C}(F)$ 分类融合循环-自旋结构，为 Redden 的上同调类提供了几何实现。
• 该构造实现了 Waldorf 的等价关系的强化版本，包含完整的光滑性与等变性，与椭圆上同调的预期一致。