[论文解读] Some exotic nontrivial elements of the rational homotopy groups of $\mathrm{Diff}(S^4)$

Tadayuki Watanabe|arXiv (Cornell University)|Dec 6, 2018

Homotopy and Cohomology in Algebraic Topology参考文献 23被引用 11

一句话总结

本文利用康特绍维奇的特征类与三价图的高维类比型嵌套手术，构造了 $\pi_*(\mathrm{Diff}(S^4)) \otimes \mathbb{Q}$ 中非平凡的有理同伦类。通过图基纤维丛与配置空间积分，证明了四维 Smale 猜想不成立，即 $\mathrm{Diff}(D^4,\partial)$ 不是可缩的，其非平凡的有理同伦群被检测到。

ABSTRACT

This paper studies the rational homotopy groups of the group $\mathrm{Diff}(S^4)$ of self-diffeomorphisms of $S^4$ with the $C^\infty$-topology. We present a method to prove that there are many `exotic' non-trivial elements in $π_*\mathrm{Diff}(S^4)\otimes \mathbb{Q}$ parametrized by trivalent graphs. As a corollary of the main result, the 4-dimensional Smale conjecture is disproved. The proof utilizes Kontsevich's characteristic classes for smooth disk bundles and a version of clasper surgery for families. In fact, these are analogues of Chern--Simons perturbation theory in 3-dimension and clasper theory due to Goussarov and Habiro.

研究动机与目标

• 确定 $\mathrm{Diff}(S^4)$ 的有理同伦群，特别是 $\pi_*\mathrm{Diff}(S^4) \otimes \mathbb{Q}$ 中的非平凡元素。
• 证伪四维 Smale 猜想，该猜想主张 $\mathrm{Diff}(S^4) \simeq O_5$。
• 利用三价图与纤维丛构造，显式构造 $\pi_*\mathrm{Diff}(D^4,\partial) \otimes \mathbb{Q}$ 中的非平凡元素。
• 证明 $\mathrm{Diff}(D^4,\partial)$ 不是可缩的，从而表明四维 Smale 猜想在该维度不成立。
• 通过图论不变量，展示存在光滑但非平凡的 $D^4$-丛，特别是关于 $S^2$ 的丛。

提出的方法

• 利用康特绍维奇的特征类研究光滑圆盘丛，其定义基于配置空间积分与图复形。
• 应用 Goussarov–Habiro 理论与陈–西蒙斯微扰理论启发的高维嵌套手术家族类比。
• 通过三价图构造 $S^k$ 上显式的 $D^4$-丛，利用 $v$-梯度数据与横截性论证。
• 运用 Sard–Smale 定理与弗雷德霍姆理论，证明模空间解的取值映射是横截的，并产生有限个点的 0-流形。
• 分析配置空间中投影映射产生的弗雷德霍姆算子的指标，证明其为零，从而确保不变量的良定义性。
• 使用扰动技术，将 $C^r$ 截面逼近为 $C^\infty$ 形式，同时保持横截性，确保模空间紧致且有限。

实验结果

研究问题

• RQ1 在来自 $O_5$ 之外，$\pi_*\mathrm{Diff}(S^4) \otimes \mathbb{Q}$ 中是否存在非平凡的有理同伦类？
• RQ2 四维 Smale 猜想是否成立，即 $\mathrm{Diff}(D^4,\partial)$ 是否可缩？
• RQ3 康特绍维奇的特征类能否通过图基构造检测 $\pi_*\mathrm{Diff}(D^4,\partial) \otimes \mathbb{Q}$ 中的非平凡元素？
• RQ4 是否存在拓扑平凡但光滑非平凡的 $D^4$-丛，其底空间为 $S^k$？
• RQ5 在 $\mathbb{R}^4$ 上，具有无穷远处标准对称结构的 $\mathit{Sympl}$ 空间是否可缩？

主要发现

• 康特绍维奇特征类在 $S^k$ 上的 $D^4$-丛上的取值，诱导了从 $\pi_k B\mathrm{Diff}(D^4,\partial) \otimes \mathbb{Q}$ 到三价图空间 $\mathscr{A}_k$ 的满射。
• 当 $k=2$ 时，有 $\mathscr{A}_2 \cong \mathbb{Q}$，因此 $\pi_2 B\mathrm{Diff}(D^4,\partial) \otimes \mathbb{Q} \neq 0$，证明了第二同伦群中的非平凡性。
• 四维 Smale 猜想被证伪：$\mathrm{Diff}(S^4) \not\simeq O_5$。
• 存在一个光滑的 $D^4$-丛，其底空间为 $S^2$，拓扑平凡但光滑非平凡，回答了 Kirby 问题 4.122。
• $\mathbb{R}^4$ 上具有无穷远处标准对称结构的 $\mathit{Sympl}$ 空间不可缩，解决了 Kirby 问题 4.141。
• $D^3$ 的伪同伦空间 $\mathscr{C}(D^3)$ 不可缩，表明 $D^3$ 的伪同伦与同伦不等价。