[论文解读] On rational cuspidal curves, open surfaces and local singularities

Javier Fernández de Bobadilla, I. Luengo+2 more|ArXiv.org|Apr 19, 2006

Algebraic Geometry and Number Theory参考文献 12被引用 12

一句话总结

本文研究复射影平面上的有理单尖点曲线，通过 Seiberg-Witten 和 Heegaard-Floer 同调将它们的整体几何与局部奇点不变量联系起来。本文提出一个猜想：Brieskorn 奇点的分层根与有理单尖点曲线的扭结补集之间存在等价性，并证明该等价性蕴含 Seiberg-Witten 不变量猜想和单尖点情形下的半群分布性质。

ABSTRACT

Let $C$ be an irreducible projective plane curve in the complex projective space ${\mathbb{P}}^2$. The classification of such curves, up to the action of the automorphism group $PGL(3,{\mathbb{C}})$ on ${\mathbb{P}}^2$, is a very difficult open problem with many interesting connections. The main goal is to determine, for a given $d$, whether there exists a projective plane curve of degree $d$ having a fixed number of singularities of given topological type. In this note we are mainly interested in the case when $C$ is a rational curve. The aim of this article is to present some of the old conjectures and related problems, and to complete them with some results and new conjectures from the recent work of the authors.

研究动机与目标

• 探索有理单尖点曲线与对数 Kodaira 维数为 2 的开曲面刚性之间的联系。
• 研究 Nagata-Coolidge 问题：是否每个有理单尖点曲线都能通过 Cremona 变换变为直线？
• 制定并检验有理单尖点曲线的次数与奇点不变量之间猜想的相容性条件。
• 将单尖点情形下的半群分布性质与 3-流形拓扑不变量（特别是 Seiberg-Witten 和 Heegaard-Floer 同调）联系起来。
• 建立 Brieskorn 奇点 $x^d + y^d + z^{d+1} = 0$ 的链路分层根与有理单尖点曲线的扭结补集 $S^3_{-d}(K)$ 之间的精确对应关系。

提出的方法

• 使用分层根构造来编码与奇点相关的 3-流形的拓扑不变量。
• 从分层根 $(R,\chi)$ 构造 ${\mathbb{Z}}[U]$-模 $\mathbb{H}(R,\chi)$，该模模拟 Heegaard-Floer 同调 $HF^+$。
• 应用 Ozsváth-Szabó 公式，将 Seiberg-Witten 不变量与差值 $\mathrm{sw}_M(\mathrm{can}) - (K_Z^2 + \#)/8$ 联系起来。
• 比较 $S^3_{-d}(K)$ 和 $\Sigma(d,d,d+1)$ 的分层根，以检验其 Heegaard-Floer 同调的猜想等价性。
• 使用 $\tau$-构造为 Brieskorn 奇点 $x^d + y^d + z^{d+1} = 0$ 定义分层根 $\tau^u$。
• 验证在单尖点情形下，半群分布性质与两个 3-流形的规范分层根相等性之间的等价性。

实验结果

研究问题

• RQ1 有理单尖点曲线的扭结补集 $S^3_{-d}(K)$ 的规范分层根是否与 Brieskorn 奇点 $\Sigma(d,d,d+1)$ 的分层根等价？
• RQ2 若 $-S^3_{-d}(K)$ 与 $-\Sigma(d,d,d+1)$ 的 Heegaard-Floer 同调 $HF^+$ 在等级位移下相等，是否蕴含 Seiberg-Witten 不变量猜想？
• RQ3 在单尖点情形下，半群分布性质是否等价于两个 3-流形的分层根相等？
• RQ4 有理单尖点曲线的猜想相容性条件（次数与局部不变量之间）能否在几何上实现？
• RQ5 对于给定的次数 $d$，哪些 Puiseux 对 $(a,b)$ 产生可实现的单尖点曲线，它们与分层根结构有何关系？

主要发现

• 当 $d=5$ 时，Puiseux 对 $(4,5)$ 和 $(2,13)$ 产生可实现的单尖点曲线，而 $(3,7)$ 不可实现，该结论经分层根分析确认。
• 当且仅当猜想相容性条件（Conjecture B1）成立时，$S^3_{-d}(K)$ 与 $\Sigma(d,d,d+1)$ 的规范分层根相等。
• $-S^3_{-d}(K)$ 与 $-\Sigma(d,d,d+1)$ 的 Heegaard-Floer 同调 $HF^+$ 在等级位移下同构，当且仅当通过修正 $-(K_Z^2 + \#)/8$ 后，Seiberg-Witten 不变量匹配。
• 在单尖点情形下，半群分布性质等价于两个 3-流形的分层根相等。
• $\tau$-构造为 Brieskorn 奇点 $x^d + y^d + z^{d+1} = 0$ 提供了一种统一的方法来定义分层根，其中 $\tau^u(2l) = \frac{l(l-1)}{2}d - l(\delta - 1)$ 且 $\tau^u(2l+1) = \tau^u(2l+2) + \frac{(d-3-l)(d-2-l)}{2}$。
• 分层根构造在等级位移下恢复了 $HF^+$，位移量为 $-(K_Z^2 + \#)/4$，其中 $K_Z^2 + \#$ 对于 $S^3_{-d}(K)$ 为 $1 - d(d-2)^2$，对于 $\Sigma(d,d,d+1)$ 为 $-d(d-1)(d-3)$。