[论文解读] Gerbes on orbifolds and exotic smooth R^4

Torsten Aßelmeyer-Maluga, Jerzy Król|ArXiv.org|Nov 2, 2009

Homotopy and Cohomology in Algebraic Topology参考文献 22被引用 5

一句话总结

本文建立了 $S^3$ 上丛丛 gerbe 的稳定同构类与 $ ^4$ 上某些非标准微分结构之间的 1:1 对应关系——这些丛丛 gerbe 会形变 $S^3$ 的 Leray 丛商 $K$-理论。通过基于群胚的扭 $K$-理论与 $H^3(S^3, bZ)$ 类，本文表明：利用 $SU(2)$-gerbe 进行的等变 $K$-理论形变，可精确分类小的非标准 $ ^4$，并将非标准微分性与广义上同调及量子引力结构联系起来。

ABSTRACT

By using the relation between foliations and exotic R^4, orbifold $K$-theory deformed by a gerbe can be interpreted as coming from the change in the smoothness of R^4. We give various interpretations of integral 3-rd cohomology classes on S^3 and discuss the difference between large and small exotic R^4. Then we show that $K$-theories deformed by gerbes of the Leray orbifold of S^3 are in one-to-one correspondence with some exotic smooth R^4's. The equivalence can be understood in the sense that stable isomorphisms classes of bundle gerbes on S^{3} whose codimension-1 foliations generates the foliations of the boundary of the Akbulut cork, correspond uniquely to these exotic R^{4}'s. Given the orbifold $SU(2) imes SU(2) ightrightarrows SU(2)$ where SU(2) acts on itself by conjugation, the deformations of the equivariant $K$-theory on this orbifold by the elements of $H_{SU(2)}^{3}(SU(2),\mathbb{Z})$, correspond to the changes of suitable exotic smooth structures on R^4.

研究动机与目标

• 建立非标准微分 $ ^4$ 结构与丛商上 $K$-理论形变之间的 1:1 对应关系。
• 将 $S^3$ 上的整数三阶上同调类解释为非标准 $ ^4$ 的分类不变量，尤其区分小与大类型。
• 证明通过 $H^3_{SU(2)}(S^3, bZ)$ 实现的群胚 $SU(2) imes SU(2) ightrightarrows SU(2)$ 上的扭 $K$-理论，可分类 $ ^4$ 的非标准微分结构。
• 通过群胚与丛丛 gerbe 推广光滑流形理论，以捕捉非标准 $ ^4$ 的全局、非局部特征。
• 为理解量子引力与弦理论中的非标准微分性，提供几何与上同调框架。

提出的方法

• 利用 $S^3$ 上余维 1 的叶状结构作为探测 $ ^4$ 上非标准微分结构的几何代理。
• 将 $H^3(S^3, bZ)$ 类实现为 $S^3$ 上丛丛 gerbe 的 Dixmier-Douady 类，解释为 $K$-理论的扭类。
• 将 $S^3$ 的 Leray 丛商构造为群胚 $SU(2) imes SU(2) ightrightarrows SU(2)$，其中 $SU(2)$ 通过共轭作用。
• 通过 $H^3_{SU(2)}(S^3, bZ) o bZ$ 的类对群胚上等变 $K$-理论进行形变。
• 通过 Fredholm 算子与相关丛 $Y(Fred)$ 应用扭 $K$-理论，其中 $Y$ 是表示类 $[H]$ 的 $PU( H)$-丛。
• 利用 Morita 等价与群胚同态 $f: t G o U_{ K} times PU( H)$，为非挠类定义扭 $K$-理论。

实验结果

研究问题

• RQ1 $S^3$ 上的整数三阶上同调类如何分类 $ ^4$ 上的非标准微分结构？
• RQ2 $S^1$-gerbe 与叶状结构在区分小与大非标准 $ ^4$ 中起什么作用？
• RQ3 群胚 $SU(2) imes SU(2) ightrightarrows SU(2)$ 上的扭 $K$-理论如何与 $ ^4$ 的非标准微分结构相关？
• RQ4 小与大非标准 $ ^4$ 的区别是否可理解为有理上同调类与实上同调类的区别？
• RQ5 在丛商上，等变 $K$-理论的丛丛形变如何对应于 $ ^4$ 上微分结构的变化？

主要发现

• 在 $S^3$ 上，具有诱导 Akbulut 塞尔科边界叶状结构的余维 1 叶状结构的丛丛 gerbe 的稳定同构类，与非标准微分 $ ^4$ 之间存在 1:1 对应。
• 通过群胚 $SU(2) imes SU(2) ightrightarrows SU(2)$ 实现的 $S^3$ 的 Leray 丛商的扭 $K$-理论，同构于水平 $k$ 处的 Verlinde 代数 $V_k(SU(2))$，其中扭类 $d( L) = (dim(SU(2)) + 2 + k)[ ext{pt}] o H^3(S^3, bZ)$。
• 通过 $H^3_{SU(2)}(S^3, bZ) o bZ$ 的类对群胚 $SU(2) imes SU(2) ightrightarrows SU(2)$ 上的等变 $K$-理论进行形变，可分类 $ ^4$ 上非标准微分结构的变化。
• 对于挠类 $[H]$，扭 $K$-理论 $K(M, [H])$ 与丛丛 gerbe $K$-理论 $K_{bg}(M, L)$ 一致，其中 $d( L) = [H]$。
• 非挠情形需要通过提升至 $U_{ K} times PU( H)$ 的无限维 $K$-理论，推广标准 $K$-理论框架。
• 通过群胚与丛丛 gerbe 的方法，为小的非标准 $ ^4$ 提供了全局、非局部的刻画，通过 $H^3(S^3, bZ)$ 类的性质将其与大者区分开来。