[论文解读] Exotic Smooth Structures on Small 4-Manifolds with Odd Signatures

Anar Akhmedov, B. Doug Park|arXiv (Cornell University)|Jan 29, 2007

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

一句话总结

该论文通过Luttinger手术和环面手术，在具有奇数亏格的小型4-流形上构造了奇异微分结构，具体针对${\mathbb{CP}}^2\#m\overline{\mathbb{CP}}^2$和$3{\mathbb{CP}}^2\#k\overline{\mathbb{CP}}^2$（特定$m,k$）的情形。研究证明了存在一个不可约的辛4-流形，以及一个与每个此类流形同胚但彼此之间微分同胚不等价的不可约非辛4-流形的无限族，填补了4-流形地理平面上的52个未解决问题。

ABSTRACT

Let $M$ be $\CP#2\CPb$, $3\CP#4\CPb$ or $(2n-1)\CP#2n\CPb$ for any integer $n\geq 3$. We construct an irreducible symplectic 4-manifold homeomorphic to $M$ and also an infinite family of pairwise non-diffeomorphic irreducible non-symplectic 4-manifolds homeomorphic to $M$. We also construct such exotic smooth structures when $M$ is $\CP#4\CPb$ or $3\CP# k \CPb$ for $k=6,8,10$.

研究动机与目标

• 在具有奇数亏格的小型4-流形上构造奇异微分结构，特别是同胚于$m{\mathbb{CP}}^2\#n\overline{\mathbb{CP}}^2$的流形，其中$m$为奇数且$m < n \leq 5m+4$。
• 通过在$m{\mathbb{CP}}^2\#n\overline{\mathbb{CP}}^2$上构造此类结构，扩展已知具有多重微分结构的4-流形范围，其中$m=1,3$且特定$n$。
• 通过实现新的$(\chi_h, c_1^2)$坐标于辛与非辛区域，解决4-流形地理问题中的开放情况。
• 证明存在一个与指定具有奇数亏格的小型4-流形同胚的、两两之间微分同胚不等价的不可约非辛4-流形的无限族。
• 建立一个通用构造方法，用于构造基本群同构于给定辛4-流形的基本群的辛4-流形，使用拉格朗日子环面手术。

提出的方法

• 该构造在4-流形$\Sigma_2 \times \Sigma_n$上使用$2n+4$次手术——$2n+3$次Luttinger手术和1次环面手术——生成与$(2n-3)(S^2 \times S^2)$同调环相同的4-流形族。
• 通过范坎彭定理计算所得4-流形的基本群，利用手术曲线及其交点关系。
• 通过在构建模块的辛正规连通和上执行Luttinger和环面手术，获得奇异微分结构，保持同胚类型但改变微分结构。
• 该构造利用了辛4-流形中某些拉格朗日子环可用于执行保持辛或非辛结构但改变微分同胚类型的手术的事实。
• 对于定理2，方法涉及在辛正规连通和中跳过一次Luttinger手术，以生成一个非单连通的辛4-流形$N$，其中包含一个拉格朗日子环$T'$，确保$T'$的子午线在$\pi_1(N \setminus \nu T')$中是平凡的。
• 通过沿$T'$对$N$进行手术构造出最终的4-流形$Y$，并证明其基本群同构于$\pi_1(X)$，且满足$\chi_h(Y) = \chi_h(X) + \chi$和$c_1^2(Y) = c_1^2(X) + c$，其中$\chi, c$为指定值。

实验结果

研究问题

• RQ1 能否在具有奇数亏格的小型4-流形上构造奇异微分结构，例如${\mathbb{CP}}^2\#2\overline{\mathbb{CP}}^2$和$3{\mathbb{CP}}^2\#4\overline{\mathbb{CP}}^2$？
• RQ2 是否存在与$m{\mathbb{CP}}^2\#n\overline{\mathbb{CP}}^2$同胚的不可约辛4-流形，其中$m$为奇数且$m < n \leq 5m+4$？
• RQ3 能否在这些流形上构造一个两两之间微分同胚不等价的不可约非辛4-流形的无限族？
• RQ4 通过构造此类奇异结构，能否实现在4-流形地理平面上的新点？
• RQ5 在手术过程中能否保持辛4-流形的基本群不变，同时使$\chi_h$和$c_1^2$按指定量增加？

主要发现

• 构造了一个与${\mathbb{CP}}^2\#2\overline{\mathbb{CP}}^2$同胚的不可约辛4-流形，这是目前已知具有多重微分结构的单连通4-流形中欧拉示性数最小的。
• 构造了一个与${\mathbb{CP}}^2\#2\overline{\mathbb{CP}}^2$同胚的、两两之间微分同胚不等价的不可约非辛4-流形的无限族。
• 对于$3{\mathbb{CP}}^2\#k\overline{\mathbb{CP}}^2$（$k=4,6,8,10$），本文同时构造了一个不可约辛4-流形和一个与同一流形同胚的两两之间微分同胚不等价的不可约非辛4-流形的无限族。
• 对于$(2n-1){\mathbb{CP}}^2\#2n\overline{\mathbb{CP}}^2$（$n \geq 3$），本文构造了一个不可约辛4-流形和一个与该流形同胚的两两之间微分同胚不等价的不可约非辛4-流形的无限族。
• 结果填补了4-流形地理平面上的52个新点，具体位于区域$2e + 3\sigma \geq 0$，$e + \sigma \equiv 0 \pmod{4}$，且$\sigma \leq -1$，或在$(\chi_h, c_1^2)$坐标下满足$0 \leq c_1^2 \leq 8\chi_h - 1$的区域。
• 定理2确立了：对于任意包含一个自交数为0的辛环面且其基本群像平凡的闭辛4-流形$X$，以及任意满足$0 \leq c \leq 8\chi - 1$的$(\chi, c)$，存在一个辛4-流形$Y$，使得$\pi_1(Y) \cong \pi_1(X)$，$\chi_h(Y) = \chi_h(X) + \chi$，$c_1^2(Y) = c_1^2(X) + c$，且$Y$具有奇数不定交比形式。