[论文解读] Fundamental groups of complements of plane curves and symplectic invariants

Denis Auroux, Simon Donaldson+2 more|ArXiv.org|Mar 18, 2002

Geometry and complex manifolds参考文献 4被引用 4

一句话总结

本文引入了复射影平面 $√{C}^2$ 中平面曲线补集的稳定基本群，这是一种在节点对生成与消去操作下保持不变的辛不变量。证明了当 $k$ 足够大时，稳定基本群 $G_k$ 及其约化子群 $G_k^0$ 是 4-流形 $(X,\omega)$ 的辛不变量，并建立了从 $Γ{Ab}⁡G_k^0$ 到 $(\mathbb{Z}^2/\Lambda_k)^{n_k-1}$ 的满同态，将群结构与 $H_2(X,\mathbb{Z})$ 中的交配对数据联系起来。该构造推广了 Moishezon 与 Teicher 的不变量，并为辛 4-流形提供了可计算的不变量。

ABSTRACT

Introducing the notion of stabilized fundamental group for the complement of a branch curve in $CP^2$, we define effectively computable invariants of symplectic 4-manifolds that generalize those previously introduced by Moishezon and Teicher for complex projective surfaces. Moreover, we study the structure of these invariants and formulate conjectures supported by calculations on new examples.

研究动机与目标

• 通过稳定 $√{C}^2$ 中分支曲线补集的基本群，为具有整数辛类的紧致辛 4-流形定义新的辛不变量。
• 克服在 braid monodromy 方法中节点对生成与消去操作下基本群的不稳定性。
• 利用 braid 群技巧和近似全纯映射，将复曲面的 Moishezon 与 Teicher 不变量推广到辛设置。
• 建立一个可计算、有效的不变量，通过稳定基本群及其阿贝尔化来捕捉辛 4-流形的拓扑数据。

提出的方法

• 将稳定基本群 $G_k$ 定义为 $\pi_1(\mathbb{C}^2 - D_k)$ 的商群，该群在节点对操作下保持不变。
• 利用 Auroux-Donaldson 定理：具有整数类的辛 4-流形 admits 分支覆盖 $f_k: X \to \mathbb{CP}^2$，通过 $L^{\otimes k}$ 的截面实现，其分支曲线 $D_k$ 仅含节点与尖点。
• 定义几何单值表示 $\theta_k: \pi_1(\mathbb{CP}^2 - D_k) \to S_{n_k}$，并通过稳定化基本群得到 $G_k$ 与 $G_k^0$。
• 构造一个满同态 $\phi_k: \mathrm{Ab}\,G_k^0 \to (\mathbb{Z}^2/\Lambda_k)^{n_k-1}$，其中 $\Lambda_k$ 是交配对映射 $\lambda_k: H_2(X,\mathbb{Z}) \to \mathbb{Z}^2$ 的像。
• 通过 braid 群技巧与约化正则表示 $\mathcal{R}_{n_k}$ 分析 $G_k^0$ 的结构，证明 $\phi_k$ 是 $(G_k, S_{n_k})$-等变的。
• 将该方法应用于 $√{C}^2 \times \u221a{C}^2$ 的双覆盖，分支于复曲线，显式计算 $G_k^0$，并在例子中验证 $\phi_k$ 是同构。

实验结果

研究问题

• RQ1 能否通过稳定 $√{C}^2$ 中分支曲线补集的基本群，得到在节点对操作下保持不变的辛不变量？
• RQ2 辛 4-流形的稳定基本群 $G_k^0$ 是否自然地同态到 $\mathbb{Z}^2$ 的商群，以反映 $H_2(X,\mathbb{Z})$ 中的交配对数据？
• RQ3 当 $X$ 是具有充分线性系统复曲面时，对于足够大的 $k$，稳定基本群 $G_k$ 是否同构于原始的 $\pi_1(\mathbb{C}^2 - D_k)$？
• RQ4 在基本群单连通的情况下，$G_k^0$ 的结构在多大程度上由 $X$ 的交配形式决定？
• RQ5 能否显式计算 $√{C}^2 \times \u221a{C}^2$ 的双覆盖中，分支于复曲线的稳定基本群？

主要发现

• 当 $k$ 足够大时，稳定基本群 $G_k(X,\omega)$ 及其约化子群 $G_k^0(X,\omega)$ 是 4-流形 $(X,\omega)$ 的辛不变量，在节点对生成与消去操作下保持不变。
• 存在一个自然的满同态 $\phi_k: \mathrm{Ab}\,G_k^0 \to (\mathbb{Z}^2/\Lambda_k)^{n_k-1}$，其中 $\Lambda_k$ 是映射 $\lambda_k: H_2(X,\mathbb{Z}) \to \mathbb{Z}^2$ 的像，定义为 $\lambda_k(\alpha) = (\alpha \cdot L_k, \alpha \cdot R_k)$。
• 在所有已知例子中，$\phi_k$ 是同构，表明 $\mathrm{Ab}\,G_k^0 \simeq (\mathbb{Z}^2/\Lambda_k)^{n_k-1}$，且群结构与交配形式密切相关。
• 换位子群 $[G_k^0, G_k^0]$ 同构于 $\mathbb{Z}_2^r$，其中 $r \leq 2$，取决于参数 $a, b, p, q$ 的奇偶性；若满足特定奇偶条件，则 $(\eta,1)$ 与 $(1,\eta)$ 属于阿贝尔化映射的核。
• 对于 $√{C}^2 \times \u221a{C}^2$ 的双覆盖，分支于复曲线，显式计算了稳定基本群 $G_k^0$，并得到 $\mathrm{Ab}\,G_k^0 \simeq (\mathbb{Z}^2/\Lambda_k)^{n_k-1}$，其中 $\Lambda_k = \langle (p+a-2, a-2), (q+b-2, b-2) \rangle$，从而验证了通用结构。
• 当 $X$ 为复曲面且 $|kL|$ 充分线性时，猜想 $G_k \simeq \pi_1(\mathbb{C}^2 - D_k)$ 对于大 $k$ 成立，目前尚未证明，但已有例子支持。