[論文レビュー] 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問題を調査すること：任意の有理的カスピダル曲線がクリモナ変換により直線に変換可能かどうか。
• 有理的カスピダル曲線の次数とその特異点の不変量との間の予想的整合性条件を提示・検証すること。
• ユニカスピダルの場合の半群分布性質を、特にSeiberg-WittenおよびHeegaard-Floerホモロジーに由来する3次元多様体トポロジー不変量と関連付けること。
• 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$ の差分と関連付ける。
• Heegaard-Floerホモロジーの予想的同型性を検証するため、$S^3_{-d}(K)$ と $\Sigma(d,d,d+1)$ のグレーデッドルートを比較する。
• Brieskorn特異点 $x^d + y^d + z^{d+1} = 0$ に対して、$\tau$-構成を用いてグレーデッドルート $\tau^u$ を定義する。
• ユニカスピダルの場合に、半群分布性質と2つの3次元多様体の正準グレーデッドルートの等価性が一致することを検証する。

実験結果

リサーチクエスチョン

• RQ1 有理的ユニカスピダル曲線 $K$ のノット補空間 $S^3_{-d}(K)$ の正準グレーデッドルートは、Brieskorn特異点 $\Sigma(d,d,d+1)$ のそれと同型か？
• RQ2 Heegaard-Floerホモロジー $HF^+$ が $-S^3_{-d}(K)$ と $-\Sigma(d,d,d+1)$ で、グレーディングシフトを除いて等しい場合、Seiberg-Witten不変量予想は成立するか？
• RQ3 ユニカスピダルの場合、半群分布性質は2つの3次元多様体のグレーデッドルートの等価性と同値か？
• RQ4 有理的カスピダル曲線において、次数と局所的不変量との間の予想的整合性条件は、幾何的に実現可能か？
• RQ5 与えられた次数 $d$ に対して、どのプアセュペア $(a,b)$ が実現可能なユニカスピダル曲線を生成し、それらはグレーデッドルート構造とどのように関係するか？

主な発見

• $d=5$ の場合、プアセュペア $(4,5)$ および $(2,13)$ は実現可能なユニカスピダル曲線を与えるが、$(3,7)$ はグレーデッドルート解析により実現不可能であることが確認された。
• 正準グレーデッドルートが $S^3_{-d}(K)$ と $\Sigma(d,d,d+1)$ で一致するのは、予想的整合性条件（Conjecture B1）が成立する場合に限る。
• Heegaard-Floerホモロジー $HF^+$ が $-S^3_{-d}(K)$ と $-\Sigma(d,d,d+1)$ で、グレーディングシフトを除いて同型であるのは、$-(K_Z^2 + \#)/8$ の補正を施した後にSeiberg-Witten不変量が一致する場合に限る。
• ユニカスピダルの場合、半群分布性質は2つの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$ で与えられ、$S^3_{-d}(K)$ では $K_Z^2 + \#$ が $1 - d(d-2)^2$、$\Sigma(d,d,d+1)$ では $-d(d-1)(d-3)$ である。