[論文レビュー] One-parameter families containing three-dimensional toric Gorenstein singularities

Klaus Altmann|ArXiv.org|Sep 11, 1996

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

ひとこと要約

本稿は、非コンパクトな多面体のミンコフスキー和成分を用いて、3次元トーリックゴレンシュタイン特異点における $T^1$-加群の幾何的組合せ的解釈を提供する。これにより、非負の多重次数においても1パラメータの変形の構成が可能になる。無限小変形が1次元 $T^1$-部品に属する場合、それらは妨害されず、真の1パラメータ族に持ち上げられ、万能変形空間のスケルトンを形成する。この結果は、3次元のフリップの理解に応用可能である。

ABSTRACT

For affine toric varieties, the vector space T1 (containing the infinitesimal deformations) will be interpreted via Minkowski summands of cross cuts of the defining polyhedral cone. This result will be applied to study the deformation theory of (in particular non-isolated) three-dimensional Gorenstein singularities.

研究の動機と目的

• 非コンパクト多面体とミンコフスキー和成分を用いて、すべての多重次数におけるトーリック特異点の $T^1$-加群の幾何的解釈を提供すること。
• トーリックでなくなる場合でさえも、非負の次数にまで、真の変形の構成を負の多重次数（全空間がトーリックである場合）を超えて拡張すること。
• 非孤立特異点（例えば、横断的 $A_k$-型）を有する3次元トーリックゴレンシュタイン特異点における $T^1$-加群の構造を解析すること。この場合、$T^1$ は無限個の多重次数に分散する。
• 特に非負の次数における1次元 $T^1$-部品に属する無限小変形に対し、明示的な1パラメータ族を構成すること。
• 3次元フリップに関連する、基底空間の既約成分およびそれらの一般ファイバーへの組み合わせに関する基礎的枠組みを構築すること。

提案手法

• 非コンパクト多面体のミンコフスキー和成分を用いて、すべての多重次数における $T^1$-加群の幾何的記述を可能とし、孤立特異点に対する既存の結果を一般化すること。
• 集合 $E_j^R$ と関連する複体 $\operatorname{span}(E^R)_\bullet$ を定義し、$T^1_Y(-R)$ を $\mathbb{C}$ とテンソル積をとった複体のコホモロジーとして計算すること。
• 線形関係を用いた、より高次元の錐 $\tilde{\sigma} \subset M \oplus \mathbb{Z}$ への単項式の組合せ的持ち上げを通じて、コダイラ-スペンサー写像を構成すること。
• 全空間の境界方程式に対する摂動則の導入：単項式関係を $f^1 - f = t \cdot g$ に置き換えることで、変形パラメータを捉える。
• 特定の例（例えば、$\mathbb{P}(1,2,3)$ の錐）にこの手法を適用し、関連する $R^*$-直線を特定し、持ち上げられた錐 $\tilde{\sigma}$ の生成元を構成すること。
• 明示的な方程式による変形族の検証：境界方程式を変形パラメータ $t$ を含む項で摂動し、持ち上げられた単項式から導かれる係数を用いること。

実験結果

リサーチクエスチョン

• RQ1 任意のトーリック特異点における $T^1$-加群を、孤立ゴレンシュタインの場合を超えて、すべての多重次数において幾何的にどのように解釈できるか？
• RQ2 全空間がもはやトーリックでなくなる場合でさえも、非負の多重次数において真の1パラメータ変形を構成できるか？
• RQ3 非孤立特異点を有する3次元トーリックゴレンシュタイン特異点における $T^1$-加群の構造は何か？非自明な変形を支えるのは何個の多重次数か？
• RQ4 基底空間の万能変形の既約成分に対応する1パラメータ族はどれか？
• RQ5 これらの1パラメータ族は、どのように組み合わせて一般ファイバー（つまり、滑らか化）を構成できるか？これは3次元フリップに関連する。

主な発見

• 非孤立特異点を有する3次元トーリックゴレンシュタイン特異点では、$T^1_Y$ が無限個の多重次数に分散し、その多くが1次元である。
• 1次元 $T^1$-部品に属する無限小変形は妨害されず、真の1パラメータ族に持ち上げられる。
• 変形族は境界方程式の摂動により構成される。例えば、$V_2 Z_1 - U^2 \to V_2 Z_1 - U^2 - t_\alpha Z_3 = 0$ であり、パラメータ $t$ は持ち上げられた錐内の単項式の差から生じる。
• $\mathbb{P}(1,2,3)$ の錐の例では、$-R^\alpha$、$-R^\beta$、$-R^\gamma$ の各次数にそれぞれ異なる $R^*$-直線と摂動則に対応する3つの明示的な1パラメータ族が構成される。
• 持ち上げられた錐 $\tilde{\sigma}$ は、$M \oplus \mathbb{Z}$ 内の4つの生成元によって生成される単体であり、変形は持ち上げられた単項式間の線形関係に符号化されている。
• 全空間がトーリックでなくても、コダイラ-スペンサー写像および変形の全空間の組合せ的記述が得られる。