Non-smoothable curve singularities

技術要約：非平滑化可能な曲線特異点

問題提起
本論文は、簡約化された曲線特異点の変形理論を扱っている。曲線の汎用変形空間の平滑化成分（smoothing components）はすべて同じ次元を共有することが知られているが、変形空間自体には異なる次元の成分が含まれる可能性がある。本研究で調査されている中心的な問題は、「非平滑化成分」上の一般ファイバーとして現れる「生成的特異点（generic singularities）」の性質である。具体的には、著者はどの特異点が本質的に非平滑化可能（すなわち、滑らかな曲線へと変形できないもの）であるかを特定しようとしており、そのような特異点の明示的な例、特にこれまで未知であった非平ラー化可能なゲーレンシュタイン（Gorenstein）曲線特異点の例を提示することを目的としている。

手法
著者は、計算代数学を補完的に用いながら、非平滑化可能性を確立するために主に2つの一般的な手法を用いている。

1. 「大きな族（Large Family）」論法： マムフォードによる研究に基づき、グレウルによって洗練されたこの手法は、特異な切断を持つ族 $\pi: C_T \to T$ を、パラメータ空間 $T$ の次元がデリーニュ数 $e(C_0)$（平滑化成分の次元）以上となるように提示するものである。もしこの族が既約であり、かつ滑らかなファイバーを含まない場合、その汎用変形空間における像の次元は $e(C_0)$ 以上となるが、それは平滑化成分を構成し得ないため、一般ファイバーは平滑化不可能である。
2. ブッフハイツ（Buchweitz）の判定基準： この手法は、デデキント・ディファレント（Dedekind different）に関連する特定の不変量の半連続性を利用している。曲線特異点 $C$ に対し、著者は第 $k$ 次正規化デデキント不変量 $d_k$ を定義する。もし $C$ が平滑化可能（またはゲーレンシュタイン特異点へ変形可能）であれば、すべての $k$ に対して $d_k \le 2k\delta$ が成立しなければならない（ここで $\delta$ は特異点次数である）。この不等式の破れは、非平滑化可能性を証明する。
3. 計算代数学： 本論文は、計算代数システム（SingularおよびMacaulay2）を用いて、無限小変形（$T^1$）、障害空間（$T^2$）、およびブッフハイツの判定基準に必要な特定の不変量を計算することに大きく依存している。解析は、計算を簡略化する $G_m$ 作用を持つ準同次型特異点、特に単項式曲線や射影空間内の点集合上の錐体（cone）に重点を置いている。

主要な貢献と結果

• 既知の例の再検討： 本論文は、単項式曲線や原点を通る直線上の錐体（$L^n_r$）などの既知の非平滑化可能な例を体系的に分析している。これらについて、デリーニュ数 $e$ および生成的配置の変形空間の次元の明示的な計算を行っている。
• 非平滑化可能なゲーレンシュタイン曲線特異点： 本論文の重要な貢献は、非平滑化可能なゲーレンシュタイン曲線特異点の構成である。ゲーレンシュタイン曲線ではブッフハイツの判定基準が自明（$d_k = 2k\delta$）であるため、著者はStöhr-Torresの半群に基づく二重被覆構成を用いている。
  • 命題 4.2： 著者は、自己随伴点集合（self-associated point set）上の錐体である特定の非平滑化ゲーレンシュタイン曲線特異点 $L^{13}_{26}$ を提示している。この特異点は、特定の変形経路を通じて非平滑化可能な特異点（$L^9_{13}$）へと変形することから、非平滑化可能であることが示されている。
• 自己随伴点集合上の錐体： 本論文は、自己随伴点集合（ゲイル変換が元の集合と射影的に同値である点集合）上の錐体を調査している。
  • 定理 4.5 & 4.7： $\mathbb{P}^{n-1}$ における一般的な自己随伴点集合上のゲーレンシュタイン錐体（具体的には $L^{n-1}_{2n}$）は、種数 $g \ge 11$ のとき非平滑化可能であることが証明されている。$g \le 8$ および $g=10$ の場合は、平滑化可能であるか、あるいは条件付きである。この結果は、これらの点集合が種数 $g$ の標準曲線（canonical curve）の双曲断面（hyperplane section）になり得ないという事実と結びついている。
• 明示的な非平滑化単項式曲線： 本論文は、$k=1$ でブッフハイツの判定基準が成立しないが $k=2$ で成立するケース（例 2.7）や、より小さな埋め込み次元を持つ例（例 2.8）を含む、新しい明示的な非平滑化単項式曲線の例を提供している。
• 既約 vs 可約の場合： 著者は、既約な特異点と可約な特異点を区別している。多くの非平滑化可能な例は可約な特異点（例：直線の和集合）であるが、本論文は既約な非平滑化曲線（定理 3.9）を構成しており、多くの非平滑化特異点が滑らかな分岐を持つ曲線へと変形することに注意を払っている。
• 次元の異常： 汎用変形の基底空間の次元がデリーニュ数 $e$ よりも厳密に小さい例（例 1.9）を特定しており、単純な次元的期待に異議を唱えている。

意義と主張
本論文は、以下の点を通じて、曲線特異点の変形空間の構造に関する理解を進展させたと主張している。

1. 以前は平滑化が可能であると考えられていた、あるいは既知の反例が乏しかったクラスである、非平滑化可能なゲーレンシュタイン曲線特異点の最初の明示的な例を提供したこと。
2. 自己随伴点集合上の一般的なゲーレン殊スタイン錐体の非平滑化可能性に関する正確な閾値（$g \ge 11$）を確立し、この幾何学的性質を、これらの集合が標準曲線の双曲断面になり得ないという事実に関連付けたこと。
3. 「大きな族」による次元カウントとブッフハイツ不変量を組み合わせた、非平滑化可能性を決定するための包括的な計算的・理論的枠組みを提供したこと。

著者は、非平滑化可能な特異点の知識は拡大しているものの、特に大きな埋め込み次元を持つ既約曲線に関しては依然として限定的であると控えめに結論付けている。収集された証拠に基づき、本論文は予想 5.1 を提案している：生成的曲線のすべての分岐は滑らかである。 これは、グローバルな特異点は非平滑化可能であっても、その局所的な解析的分岐は（たとえ接線が一般の位置にないとしても）滑らかであることを示唆している。