[论文解读] Bounds on Embeddings of Rational Homology Balls in Symplectic 4-manifolds

Tatyana Khodorovskiy|arXiv (Cornell University)|Jul 16, 2013

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

一句话总结

本文研究了有理同调球 $B_n$ 到辛 4-流形中的辛嵌入，证明当 $n$ 较大时，目标流形必须具有足够大的 $c_1^2$。通过辛有理性爆破技术和 Seiberg-Witten 理论，本文证明当 $n \geq c_1^2(X,\omega) + 2$ 时，利用 Taubes 定理可导出矛盾，表明一般型辛 4-流形中存在嵌入障碍。

ABSTRACT

The rational homology balls $B_n$ appeared in Fintushel and Stern's rational blow-down construction [FS2]. Later, Symington [Sy1], defined this operation in the symplectic category. In [Kh2], the author defined the inverse procedure, the symplectic rational blow-up. In this paper, we study the obstructions to symplectically rationally blowing up a symplectic 4-manifold, i.e. the obstructions to symplectically embedding the rational homology balls $B_n$ into a symplectic 4-manifold. We prove a theorem and give additional examples which suggest that in order to symplectically embed the rational homology balls $B_n$, for high n, a symplectic 4-manifold must at least have a high enough $c_1^2$ as well.

研究动机与目标

• 识别将有理同调球 $B_n$ 辛嵌入辛 4-流形中的障碍。
• 研究此类嵌入的存在性是否受环境流形典范类 $c_1^2(X,\omega)$ 的约束。
• 检验一个猜想：对于类似于一般型表面的辛 4-流形（$[c_1] = -[\omega]$），存在一个界限 $N$，使得当 $n \geq N$ 时 $B_n$ 无法嵌入。
• 利用辛有理性爆破和几乎-辛纤维化分析交点模式并推导上同调约束。

提出的方法

• 采用辛有理性爆破构造，其中 $B_n$ 被建模为拉格朗日 2-单体复形的标准辛邻域。
• 应用仿射和几乎-仿射纤维化，将 $B_n$ 和 $C_n$ 表示为具有相容共向量的可见曲面，从而实现辛交点分析。
• 利用 Seiberg-Witten 理论和 Taubes 定理，排除在 $b_2^+ > 1$ 的流形中存在自交数为 $-1$ 的辛球面。
• 分析一个假想的辛球面 $\Sigma_{-1}$ 与 plumbing 结构 $C_n$ 中球面 $S_j$ 的交点数 $I_j = [\Sigma_{-1}] \cdot [S_j]$，表明其和至多为 1。
• 在上同调中使用类 $\gamma = nD + e^2$ 将辛面积与 $c_1^2$ 关联，表明在关键假设下 $\omega \cdot \gamma > 0$。
• 应用条件 $n \geq c_1^2(X,\omega) + 2$，通过 Taubes 关于基本类的结果导出矛盾，表明此类嵌入不可能存在。

实验结果

研究问题

• RQ1 将有理同调球 $B_n$ 嵌入辛 4-流形中的上同调与辛障碍是什么？
• RQ2 典范不变量 $c_1^2(X,\omega)$ 是否可作为 $B_n$ 能够辛嵌入 $X$ 的最大 $n$ 的界限？
• RQ3 在辛 4-流形 $X$ 中，若满足 $[c_1] = -[\omega]$，是否意味着对足够大的 $n$，$B_n$ 的辛嵌入存在有限障碍？
• RQ4 辛球面与 plumbing 配置 $C_n$ 之间的交点模式如何约束 $B_n$ 的可能嵌入？
• RQ5 在何种条件下，辛有理性爆破操作会导致 $c_1^2 \leq -1$ 的流形，从而违反 Taubes 关于基本类的定理？

主要发现

• 当 $n \geq c_1^2(X,\omega) + 2$ 时，$B_n$ 辛嵌入辛 4-流形 $(X,\omega)$ 会通过 Taubes 定理导出矛盾，表明此类嵌入不可能存在。
• 交点数之和 $I_2 + \cdots + I_{n-1} = [\Sigma_{-1}] \cdot [S_2^{n-1}] \leq 1$，其中 $S_2^{n-1}$ 是 $2 \leq j \leq n-1$ 的球面 $S_j$ 的并集。
• 若 $c_1(X,\omega) \cdot \gamma > 0$ 对 $\gamma = nD + e^2$ 成立，则恰好一个 $I_j = 1$，其余全为零，意味着存在唯一一个横截交点。
• 辛形式 $\omega$ 在闭合 $nD$ 的 2-单体 $e^2$ 上为正，确保在嵌入条件成立时 $\omega \cdot \gamma > 0$。
• 假设 $[c_1] = -[\omega]$ 且 $b_2^+ > 1$，则 $c_1^2 \geq 1$，且当 $n \geq c_1^2 + 2$ 时，爆破后的流形将满足 $c_1^2 \leq -1$，与 Taubes 定理矛盾。
• 若存在一个自交数为 $-1$ 的辛球面 $\Sigma_{-1}$，则会导出无穷多个 Seiberg-Witten 基本类，这对 $b_2^+ > 1$ 的情形是不可能的，因此可排除此类球面的存在。