[论文解读] A note on the Nielsen realization problem for K3 surfaces

David Baraglia, Hokuto Konno|arXiv (Cornell University)|Aug 11, 2019

Geometric and Algebraic Topology参考文献 13被引用 4

一句话总结

本文利用 Seiberg-Witten 理论与全局 Torelli 定理，解决了 K3 曲面的 Nielsen 实现问题中的关键方面。证明了虽然 K3 曲面的映射类群可嵌入其微分同胚群中，但某些有限子群（阶为 2 的子群）无法实现为光滑作用，却可实现为连续作用，且微分同胚群的基本群到同胚群基本群的映射不是满射。

ABSTRACT

We will show the following three theorems on the diffeomorphism and homeomorphism groups of a $K3$ surface. The first theorem is that the natural map $π_{0}(Diff(K3)) o Aut(H^{2}(K3;\mathbb{Z}))$ has a section over its image. The second is that, there exists a subgroup $G$ of $π_{0}(Diff(K3))$ of order two over which there is no splitting of the map $Diff(K3) o π_{0}(Diff(K3))$, but there is a splitting of $Homeo(K3) o π_{0}(Homeo(K3))$ over the image of $G$ in $π_{0}(Homeo(K3))$, which is non-trivial. The third is that the map $π_{1}(Diff(K3)) o π_{1}(Homeo(K3))$ is not surjective. Our proof of these results is based on Seiberg-Witten theory and the global Torelli theorem for $K3$ surfaces.

研究动机与目标

• 研究 K3 曲面的光滑与连续 Nielsen 实现问题。
• 确定 K3 曲面映射类群的有限子群是否可实现为微分同胚群或同胚群的子群。
• 分析 K3 曲面微分同胚群与同胚群的同伦群。
• 阐明连续族 K3 曲面光滑化障碍的本质。

提出的方法

• 利用 K3 曲面的全局 Torelli 定理，构造从微分同胚群到第二上同调格的自同构群的自然映射的截面。
• 应用 Seiberg-Witten 理论中的邻接不等式，阻碍某些有限群作用的光滑提升。
• 通过在环面的 2-骨架上使用示例理论，构造了在 2-环面上的连续族 K3 曲面，这些族不可光滑化。
• 分析上同调群 $ H^2(T^2; \rho_1) $ 中的差异障碍，以检测可光滑化与不可光滑化族之间的非同构性。
• 依赖于同伦商 $ Q = \text{Homeo}(X) \times_{\text{Diff}(X)} E\text{Diff}(X) $，将 $ \text{Homeo}(X) $ 与 $ \text{Diff}(X) $ 中的障碍联系起来。
• 在 $ T^2 $ 的 2-骨架上使用示例理论，证明 $ H^2(T^2; \rho_1) $ 中的障碍类在 $ H^2(T^2; \rho_1(Q)) $ 上非平凡，从而表明 $ \pi_1(\text{Diff}(X)) \to \pi_1(\text{Homeo}(X)) $ 不是满射。

实验结果

研究问题

• RQ1 K3 曲面映射类群的每个有限子群是否都能实现为微分同胚群的子群？
• RQ2 是否存在一个映射类群的有限子群，其可提升至同胚群但无法提升至微分同胚群？
• RQ3 诱导映射 $ \pi_1(\text{Diff}(X)) \to \pi_1(\text{Homeo}(X)) $ 是否为满射？
• RQ4 Seiberg-Witten 理论在阻碍 K3 曲面上群作用的光滑实现中起什么作用？
• RQ5 K3 曲面微分同胚群与同胚群的同伦群有何比较？

主要发现

• 存在一个截面 $ s: \Gamma \to \text{Mod}(X) $，表明自然映射 $ \pi_0(\text{Diff}(X)) \to \text{Aut}(H^2(X;\mathbb{Z})) $ 在其像上存在截面。
• 存在一个子群 $ G \subset \pi_0(\text{Diff}(X)) $，阶为 2，其无法提升为 $ \text{Diff}(X) $ 中阶为 2 的子群，但其在 $ \pi_0(\text{Homeo}(X)) $ 中的像可在 $ \text{Homeo}(X) $ 中提升。
• 映射 $ \pi_1(\text{Diff}(X)) \to \pi_1(\text{Homeo}(X)) $ 不是满射，意味着 $ \pi_1(\text{Homeo}(X)) $ 非平凡。
• 在 $ T^2 $ 上连续族 K3 曲面的光滑化障碍位于 $ H^2(T^2; \pi_1(\text{Homeo}(X))) $，且该障碍类在 $ H^2(T^2; \pi_1(Q)) $ 上非平凡，其中 $ Q $ 是 $ B\text{Diff}(X) \to B\text{Homeo}(X) $ 的同伦纤维。
• 一个特定连续族 K3 曲面的不可光滑化性表明，包含映射 $ \text{Diff}(X) \to \text{Homeo}(X) $ 在 $ \pi_1 $ 上诱导的映射不是满射。
• 结果由全局 Torelli 定理与 Seiberg-Witten 理论（特别是邻接不等式）共同推导得出。