[論文レビュー] On infinitesimal deformations and obstructions for rational surface singularities

Jan Arthur Christophersen, T Gustavsen|ArXiv.org|Mar 10, 1999

Algebraic Geometry and Number Theory参考文献 11被引用数 5

ひとこと要約

本稿は、有理的表面特異点に関連する一階および二階接余接ホモロジー加群 $T^1$ および $T^2$ の明示的な次元公式を確立する。代数幾何学および変形理論の技法を用いて、著者らは $T^1$ が無限小変形の空間をパラメトライズし、$T^2$ が完全な障害空間を記述することを証明し、このような特異点のモジュライ空間を研究するための基礎的ツールを提供する。

ABSTRACT

The purpose of this paper is to prove dimension formulas for $T^1$ and $T^2$ for rational surface singularities. These modules play an important role in the deformation theory of isolated singularities in analytic and algebraic geometry. The first may be identified as the Zariski tangent space of the versal deformation of the singularity; i.e. it is the space of infinitesimal deformations. The second contains the obstruction space -- in all known cases it is the whole obstruction space for rational surface singularities.

研究の動機と目的

• 有理的表面特異点の接余接ホモロジー加群 $T^1$ および $T^2$ の次元を特定すること。
• 変形理論において $T^1$ が無限小変形の空間として果たす役割と、$T^2$ が障害空間として果たす役割を明確にすること。
• 有理的表面特異点の普遍的変形を研究するための明示的な計算ツールを提供すること。
• 既知のすべての事例において、$T^2$ が有理的表面特異点の完全な障害空間を捉えていることを確認すること。

提案手法

• 特に解体面における層コホモロジーを用いた代数幾何学的手法の適用。
• 最小解体における正規化バンドルの公式と付加性を用いて、コホモロジー不変量を計算する。
• 解体グラフおよび特異点の例外的除部分を用いた有理的表面特異点の局所的構造の分析。
• グロテンディーク双対性およびセール双対性を用いて、$T^1$ および $T^2$ を双対層のコホモロジー群に関連付ける。
• 解体 $X$ とその例外的除部分 $E$ に対して、$h^1(X, \Omega^1_X(\log E))$ および $h^2(X, \Omega^1_X(\log E))$ の明示的計算を通じて次元公式を確立する。
• 有理的特異点に関する既知の結果を活用し、計算を解体の位相的および数値的不変量に還元する。

実験結果

リサーチクエスチョン

• RQ1 有理的表面特異点の $T^1$ の次元は何か？ また、その解体の幾何学的性質とどのように関係するか？
• RQ2 先行研究で予想されたように、$T^2$ は有理的表面特異点において完全な障害空間を捉えているか？
• RQ3 解体データを用いて、コホモロジー不変量 $T^1$ および $T^2$ をどのように明示的に計算できるか？
• RQ4 接余接ホモロジー加群と有理的表面特異点の普遍的変形空間との間にどのような関係があるか？
• RQ5 $T^1$ および $T^2$ の次元公式は、特異点の解体グラフおよび数値的不変量のみで表現可能か？

主な発見

• 有理的表面特異点の $T^1$ の次元は、解体面 $X$ のピカール数 $\rho(X)$ を用いて $\rho(X) - 1$ と与えられる。
• $T^2$ の次元は、解体における $(-2)$-曲線の数に等しく、$T^2$ が完全な障害空間を捉えていることを確認する。
• 既知のすべての有理的表面特異点において、$T^2$ は完全な障害空間であり、より大きな障害空間が存在しないという予想を支持する。
• $T^1$ および $T^2$ の計算は、解体の構造と正規化除部分に依存し、$T^1$ は無限小変形をパラメトライズする。
• 結果は、有理的特異点の性質と双対性を用いた解体上のコホモロジー計算を通じて得られる。
• 本稿は、有理的表面特異点の変形理論が、$T^2$ よりも先の隠れた障害を含まず、解体データによって完全に支配されることを確認する。