[論文レビュー] Semigroups, d-invariants and deformations of cuspidal singular points of plane curves

Maciej Borodzik, Charles Livingston|arXiv (Cornell University)|May 13, 2013

Geometric and Algebraic Topology参考文献 22被引用数 10

ひとこと要約

本稿は、ヘーガード＝フロイアー d-不変量と、正に自己交差するコネクタンスという新しい概念を用いて、平面上の尖 Singularities の δ-定数変形における半群の下半連続性について、位相的証明を確立する。主な貢献は、変形に対する完全に位相的な障害を特定し、従来の結果を超えて半連続性を一般化し、トーラス結び目の最小アンクノット化列が成分の順序を尊重しなければならないことを証明することにある。

ABSTRACT

We apply Heegaard Floer homology to study deformations of singularities of plane algebraic curves. Our main result provides an obstruction to the existence of a deformation between two singularities. Generalizations include the case of multiple singularities. The obstruction is formulated in terms of a semicontinuity property for semigroups associated to the singularities.

研究の動機と目的

• δ-定数変形の位相的双対を、正に自己交差するコネクタンスの概念を用いて確立すること。
• 尖 Singularities における δ-定数変形下での半群の下半連続性に対して、完全に位相的な証明を与えること。
• 単一の特異点に限らない状況にまで、下半連続性の性質を拡張すること。特に、一般化されたファイバーにおける複数の特異点をカバーすること。
• この手法を結び目理論に応用し、特にトーラス結び目の最小アンクノット化列に対して、成分の順序が非増加的でなければならないことを証明すること。

提案手法

• δ-定数変形の位相的アナロジーとして、二重点の交差指数が +1 である正に自己交差するコネクタンスの概念を導入すること。
• $p$ を二重点の数として、$K_0$ における $q$-スケーリングと $K_1$ における $(q+4p)$-スケーリングとの間のコバーディズム $W_q$ を構成すること。
• ヘーガード＝フロイアー理論を用いて、$K_0$ と $K_1$ におけるスケーリングの $d$-不変量を比較し、代数的結び目では $d$-不変量がアレクサンダー多項式の係数から計算可能であるという事実を活用すること。
• ギャップ関数 $I_K(m)$ を定義し、任意の $m \in \mathbb{Z}$ に対して不等式 $I_{K_1}(m + g(K_1) + p) \leq I_{K_0}(m + g(K_0))$ を導出することにより、このようなコネクタンスの存在を妨げる。
• この不等式を用いて半群の下半連続性を証明する：$m = \sum m_j$ に対して $\#S_0 \cap [0,m) \leq \sum_{j=1}^n \#S_j \cap [0,m_j)$ が成り立つ。
• 解析的パラメトライゼーションの議論を用いて、特定の変形（例：$(6;8,2r+7)$ から $(4;a),(5;b)$ への変形）を遮断する。その際、導関数の消失次数を比較することで実行する。

実験結果

リサーチクエスチョン

• RQ1 δ-定数変形下での半群の下半連続性は、完全に位相的手段を用いて証明可能か？
• RQ2 トーラス結び目 $T(c,d)$ の最小アンクノット化列において、その成分の順序が必ずしも $a \leq c$ である必要があるのか、すなわち $T(a,b)$ が列に現れるならば $a \leq c$ が成り立つか？
• RQ3 型 $(6;8,2r+7)$ の特異点から型 $(4;a)$ および $(5;b)$ の特異点への変形が、位相的にどのように遮断されるかを説明可能か？
• RQ4 スペクトルの下半連続性といった古典的障害を回避する変形であっても、新しい半群の下半連続性条件によって遮断される例は存在するか？
• RQ5 d-不変量から導かれるギャップ関数の不等式は、与えられた二重点数を持つコネクタンスの遮断に用いることができるか？

主な発見

• δ-定数変形下での半群の下半連続性は、位相的に証明され、これまでは $n=1$ の特異点に限られていた既存の結果を一般化した。
• 任意の $m \in \mathbb{Z}$ に対して、$p$ 個の二重点を持つ正に自己交差するコネクタンスで結ばれた結び目 $K_0$, $K_1$ に対して不等式 $I_{K_1}(m + g(K_1) + p) \leq I_{K_0}(m + g(K_0))$ が成り立つ。
• トーラス結び目 $T(c,d)$ の最小アンクノット化列に $T(a,b)$ が含まれるためには $a \leq c$ でなければならない。これは、この順序性に関する位相的証明を提供する。
• $(6;8,2r+7)$ から型 $(4;a)$ および $(5;b)$ の特異点への変形は、$\#S_0 \cap [0,9) \geq 3$ である一方で $\sum \#S_j \cap [0,m_j) = 1$ であるため、半群不等式に反して遮断される。
• 半群の下半連続性による障害は、スペクトルの下半連続性とは独立しており、後者が成立しない場合でも適用可能である。例 3.7 では $m=61$, $m_1=1$, $m_2=60$ の場合にその例が示されている。
• 導関数の消失次数に基づく解析的議論により、特定のケース（例：$(6;8,2r+7)$）における遮断を確認できる。特に、$s \neq 0$ に対して $\text{ord}_t(x_s') \geq 5$ が成り立つが、これは中心ファイバーの挙動と矛盾する。