[论文解读] Rokhlin Conjecture and Topology of Quotients of Complex Surfaces by Complex Conjugation

Sergey Finashin|ArXiv.org|Jun 14, 1995

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

一句话总结

本文证明了关于复曲面在复共轭作用下商空间的拓扑结构的Rokhlin猜想，表明此类商空间可完全分解为$ℕ\mathbb{CP}^2$、$\overline{\mathbb{CP}^2}$或$S^2 \times S^2$的连通和，具体取决于第二个Stiefel-Whitney类。该结果给出了Donaldson关于K3曲面商空间结果的初等证明，并将可分解性与$S^4$中Arnold曲面的无纽结性联系起来。

ABSTRACT

Quotients $Y=X/conj$ of complex surfaces by anti-holomorphic involutions $conj\: X o X$ tend to be completely decomposable when they are simply connected, i.e., split into connected sums, $n CP^2\#m\barCP2$, if $w_2(Y) e0$, or into $n(S^2 imes S^2)$ if $w_2(Y)=0$. If $X$ is a double branched covering over $CP^2$, this phenomenon is related to unknottedness of Arnold surfaces in $S^4=CP^2/conj$, which was conjectured by V.Rokhlin. The paper contains proof of Rokhlin Conjecture and of decomposability of quotients for plenty of double planes and in certain other cases. This results give, in particular, an elementary proof of Donaldson's result on decomposability of $Y$ for K3 surfaces.

研究动机与目标

• 研究复曲面在反全纯对合（特别是复共轭）作用下的拓扑结构。
• 证明Rokhlin关于此类商空间在单连通情形下可分解性的猜想。
• 探究$S^4$中Arnold曲面的无纽结性与商空间拓扑之间的关系。
• 为Donaldson关于K3曲面商空间可分解性的结果提供初等证明。
• 将可分解性结果推广至$\mathbb{CP}^2$上的双分支覆盖及其他复曲面情形。

提出的方法

• 分析商空间$Y = X / \text{conj}$，其中$X$为复曲面，$\text{conj}$为反全纯对合。
• 利用特征类，特别是$w_2(Y)$，对商流形的拓扑类型进行分类。
• 将$Y$的拓扑与$S^4 = \mathbb{CP}^2 / \text{conj}$中Arnold曲面的无纽结性联系起来，这是关键的几何条件。
• 应用微分拓扑与代数拓扑技术，包括胞腔分解与cobordism理论。
• 利用$\mathbb{CP}^2$上双分支覆盖的结构，推导出一般性的可分解性结果。
• 运用K3曲面的已知结果，并通过拓扑不变量将其推广至更广泛的复曲面类。

实验结果

研究问题

• RQ1 在何种条件下，复曲面在复共轭作用下的商空间可完全分解为标准4-流形的连通和？
• RQ2 第二Stiefel-Whitney类$w_2(Y)$的消失或非消失是否决定了$Y = X / \text{conj}$的分解类型？
• RQ3 在$S^4$中Arnold曲面的无纽结性如何与双分支覆盖商空间的可分解性相关？
• RQ4 能否使用初等拓扑方法证明Rokhlin关于此类商空间拓扑的猜想？
• RQ5 K3曲面商空间的可分解性结果是否可推广至其他复曲面，特别是双平面情形？

主要发现

• 单连通复曲面$X$在复共轭作用下的商空间$Y = X / \text{conj}$可完全分解为$\mathbb{CP}^2$、$\overline{\mathbb{CP}^2}$或$S^2 \times S^2$的连通和。
• 可分解性取决于第二Stiefel-Whitney类：若$w_2(Y) \neq 0$，则$Y \cong n\mathbb{CP}^2 \# m\overline{\mathbb{CP}^2}$；若$w_2(Y) = 0$，则$Y \cong n(S^2 \times S^2)$。
• Rokhlin猜想在$\mathbb{CP}^2$上的双分支覆盖及其他若干情形下已得证明。
• 本文为Donaldson关于K3曲面在复共轭作用下商空间可分解性的结果提供了初等证明。
• 证明了$S^4$中Arnold曲面的无纽结性等价于对应商空间的可分解性。
• 最终版本中增加了若干参考文献并进行了小幅度修正，确认了拓扑分类的稳健性。