Defect of irreducible plane curves with simple singularities

問題の記述
本稿では、Dimcaによって近年導入された、特異な平面曲線における「欠損（defect）」、すなわち簡約な平面曲線と「自由（free）」であるという性質との間の不一致を測る数値的不変量について調査する。簡約な曲線 $C = \{f=0\} \subset \mathbb{P}^2_{\mathbb{C}}$ は、$\langle f \rangle$ を保存する導来式の加群が自由な次数付き $S$-加群であるとき、自由であると定義される。欠損は $\nu(C)$ と表記され、ヤコビ加群 $N(f) = I_f/J_f$（ここで $I_f$ は $J_f$ の飽和、 $J_f$ はヤコビイデアル）の次数付き成分の最大次元として定義される。

本研究の主な動機は、任意の有理尖点曲線（rational cuspidal curve）は、自由であるか、あるいは「準自由（nearly free）」（ここで $\nu(C)=1$）であると仮定する予想6（Conjecture 6）に由来する。この予想は、有理尖点曲線に対して強い構造的制約を示唆している一方で、他の自然な既約平面曲線の欠損に関する一般的な予測や結果は欠如している。本稿の目的は、特定の種類の既約曲線に対する欠損の下界を確立すること、および、十分に高いアーノルド指数を持つ曲線は一般に自由ではないことを示すことにある。

手法
本稿では、欠損を分析するために、代数幾何学的な道具と数値的不変量の組み合わせを用いる：

1. 導来式の次元解析： 著者による、定義多項式を殺す導来式の最小次数 $mdr(C)$ および、すべての特異点の局所的なテュルリャ数（Tjurina number）の総和である全テュルリャ数 $\tau(C)$ を利用する。
2. Dimcaの定理： 中心となる計算ツールは、曲線の次数 $d$ と $mdr(C)$ の関係に基づく明示的な公式を提供する定理2（Dimca）である。具体的には、$mdr(C) \ge (d-2)/2$ である場合、欠損は $\nu(C) = \lceil \frac{3}{4}(d-1)^2 \rceil - \tau(C)$ で与えられる。
3. アーノルド指数： $mdr(C)$ を下から抑えるために、著者はDimca-Sernesiの定理（定理9）を適用する。これは、$mdr(f) \ge \alpha_C \cdot d - 2$ であることを述べており、ここで $\alpha_C$ は曲線のアーノルド指数（すべての特異点における最小対数標準的な閾値）である。
4. 特異点の分類： 解析は、特定の種類の特異性（結節点（nodes）、通常の三重点（ordinary triple points）、通常の尖点（ordinary cusps）、およびADE特異点）に焦点を当てる。これらについては、対数標準的な閾値（したがってアーノルド指数）が既知であるか、推定可能である。
5. テュルリャ数の上界： 欠損の下界を導出するために、著者はDu PlessisおよびWallによる、与えられた次数 $d$ と $mdr$ に対する最大テュルリャ数などの既知の上界を利用する。

主要な貢献と結果
本稿は、様々な種類の既約平面曲線に対する欠損の下界を確立する4つの主要な定理（A, B, C, D）を提示する：

• 定理 A（結節曲線）： 次数 $d \ge 4$ の結節平面曲線 $C_d$ について、欠損は $\nu(C_d) \ge \frac{1}{4}(d^2 - 1)$ を満たす。この結果は、結節曲線の欠損が任意に大きくなり得ることを示しており、それらが自由から遠いことを意味している。
• 定理 B（三重点を持つ種数ゼロ）： 次数 $d=3k$ ($k \ge 3$) で、ちょうど $2k$ 個の通常の三重点と結節点を持つ、種数ゼロの既約かつ簡約な平面曲線が存在し、それらは $\nu(K_{3k}) \ge \frac{1}{4}(9k+1)(k-1)$ を満たす。
• 定理 C（Ivinskisの尖点曲線）： Ivinskisによって構成された曲線 $C_{6k}$（次数 $6k$, $9k^2$ 個の通常の尖点）の族については、欠損は $\nu(C_{6k}) = 9k^2 - 9k + 1$ と正確に計算される。注目すべきことに、$k=1$ の場合、曲線 $C_6$ は準自由（$\nu=1$）である。本稿はこの一族において、欠損が幾何学的種数 $g(C_{6k})$ と一致することを観察している。
• 定理 D（非自由性の判定基準）： これは本稿の主要な結果である。これは非自由性のための判定基準を提供する：偶数次数 $d=2m \ge 4$ の簡約な平面曲線 $C$ がADE特異点のみを持ち、かつアーノルド指数 $\alpha_C \ge \frac{1}{2} + \frac{1}{m}$ を持つならば、$\nu(C) \ge 1$ である。したがって、そのような曲線は決して自由ではない。本稿には、この境界が鋭い（$\nu=1$）例として、$2m$ 個の円錐曲線（conics）の配置の例が含まれている。

意義と主張
本稿の結果は、有理尖点平面曲線の特殊性を浮き彫りにしていると主張する。アーノルド指数が「十分に高い」曲線（具体的には定理Dの条件を満たすもの）は決して自由ではないことを示すことで、著者は、既約な自由または準自由な曲線を構成することが極めて困難であるというヒューリスティックな現象を正当化している。

著者は、自身の研究が、自然な種類の既約平面曲線の欠損に関する研究を継続するものであり、一般的な予測が以前は存在しなかった空白を埋めるものであると明言している。これらの結果は、予想6が有理尖点曲線に対して示唆する潜在的な単純さに対し、結節曲線や高いアーノルド指数を持つ曲線のようなより広いクラスにおいては、欠損が厳密に正であり、しばしば大きいことを示すことで、対照的な役割を果たしている。本稿は、十分に高いアーノルド指数を持つ簡約な単純特異平面曲線は、決して自由ではないと結論づけている。