[論文レビュー] Simple Cohen-Macaulay Codimension 2 Singularities

Anne Fruehbis-Krueger, Alexander Neumer|ArXiv.org|Aug 18, 2008

Commutative Algebra and Its Applications参考文献 4被引用数 9

ひとこと要約

本稿は、ヒルベルト＝バーチ定理を用いて特異点を提示行列とその摂動（変形）として表現することで、複素空間内の単純な孤立したコhen＝マカウレイなcodimension 2特異点を完全に分類する。特異点の変形は行列の摂動として記述され、Singularを用いたコンピュータ代数と部分標準基底アルゴリズムを体系的に用いることで、ティュリナ数の層構造を計算し、隣接関係を検証する。ファットポイントおよび空間曲線特異点の完全な隣接関係リストが得られ、従来の分類における長年の空白が解消された。

ABSTRACT

In this article, we provide a complete list of simple Cohen-Macaulay codimension 2 singularities together with a list of adjacencies which is complete in the case of fat point and space curve singularities.

研究の動機と目的

• 特異点の芽同士の同型に関して、単純な孤立コヘン＝マカウレイなcodimension 2特異点を完全に分類すること。
• これらの特異点間の完全な隣接関係リスト、特にファットポイントおよび空間曲線特異点についての関係を特定すること。
• バーチカル族におけるティュリナ数の層構造を体系的に計算することで、先行分類における欠落（特に隣接関係リストの欠落）を解消すること。
• 超曲面、曲線、曲面を越えた包括的な例の参照セットを構築すること、非完遂交差特異点を含む。
• Giusti や Frühbis-Krüger の先行リストを、計算代数幾何学的手法を用いて完全性を証明することで、それらを検証および拡張すること。

提案手法

• コヘン＝マカウレイなcodimension 2特異点を、べき級数環に係数をもつ (n+1)×n 行列の最大小行列式として表現するため、ヒルベルト＝バーチ定理を適用する。
• 特異点の平坦な変形を行列の摂動として記述し、一般化されたヒルベルト＝バーチ枠組みを通じて、変形理論を行列空間へと翻訳する。
• Singularにおける部分標準基底アルゴリズムを用い、ティュリナ数が元の特異点より1小さいバーチカル基底空間内の層を計算する。
• 数値的不変量（ミルナー数、ティュリナ数、δ不変量）の下半連続性を用いて、非隣接特異点を除外する。
• 推移性と直接計算を活用し、隣接経路を検証することで、明示的計算が必要なケース数をわずか3つにまで削減する。
• 提示行列を用いて T¹ および有限決定性条件を再定式化し、変形型のアルゴリズム的計算を可能にする。

実験結果

リサーチクエスチョン

• RQ1 どの孤立コヘン＝マカウレイなcodimension 2特異点が単純であるか、すなわちモダリティが0であり、かつ有限個の変形型しか持たないか？
• RQ2 ファットポイントおよび空間曲線特異点の単純特異点間の完全な隣接関係リストは何か。完遂交差および非完遂交差の両ケースを含む。
• RQ3 Giusti や Frühbis-Krüger の先行分類における隣接リストは、計算的手法を用いて完全に補完され、網羅的であることが確認できるか？
• RQ4 バーチカル族におけるティュリナ数の層構造をどの程度体系的に用いて、すべての可能な隣接特異点を同定できるか？
• RQ5 Singularにおける部分標準基底アルゴリズムを用いて、高精度で特異点族の隣接関係を計算および検証することは可能か？

主な発見

• 本稿は、完遂交差および非完遂交差の両タイプを含む、単純な孤立コヘン＝マカウレイなcodimension 2特異点の完全なリストを提供する。
• (C²,0) におけるファットポイント特異点では、$G_5$, $G_7$, $H_{q+3}$, $I_{2q-1}$, $I_{2r+2}$, および $inom{X_k}{ ext{matrix}}$（$k \to \text{type}$）などのタイプが含まれる。
• (C³,0) における空間曲線特異点では、ICISタイプの $S_{n+3}$, $T_7$, $T_8$, $T_9$, $U_7$, $U_8$, $U_9$, $W_8$, $W_9$, $Z_9$, $Z_{10}$ および非ICISタイプの $A_{k-3}\bigvee L$, $E_6(1)$, $E_7(1)$, $E_8(1)$, $J_{2,k}(2)$, $E_{12}(2)$, $D_{k+4}\bigvee L$, $E_6\bigvee L$, $E_7\bigvee L$, $E_8\bigvee L$, $S_6^*$, $T_7^*$, $U_7^*$, $W_8^*$ が含まれる。
• ファットポイントおよび空間曲線特異点における隣接関係リストは完全であり、図6～8により、推移的かつ直接的な隣接関係が示され、平面曲線特異点への接続も含む。
• ティュリナ数の層構造をバーチカル族で計算し、既知の特異点と照合することで、明示的計算が必要なケース数をわずか3つにまで削減した。
• 本稿は、$U_{k+1}$ が $A_k$ に変形できないことを確認し、$E_k \bigvee L$ の場合における最後の残存する隣接候補を解消した。