[論文レビュー] The versal Deformation of an isolated toric Gorenstein Singularity

Klaus Altmann|ArXiv.org|Mar 2, 1994

Algebraic structures and combinatorial models参考文献 5被引用数 8

ひとこと要約

この論文は、格子多面体 Q を用いて、孤立したトーリック Gorenstein特異点の普遍変形族を構成する。Minkowski分解をパラメトライズする affine scheme M(Q) を定義することで、特異点 Y をファイバーとする M(Q) 上の誘導された平坦族が、Y が孤立特異点であるとき普遍的であることを示しており、このような変形の完全なモジュライ記述を提供する。

ABSTRACT

Given a lattice polytope Q in R^n, we define an affine scheme M(Q) that reflects the possibilities of splitting Q into a Minkowski sum. On the other hand, Q induces a toric Gorenstein singularity Y, and we construct a flat family over M(Q) with Y as special fiber. In case Y has an isolated singularity only, this family is versal. (This revised version contains the proof now.)

研究の動機と目的

• 孤立したトーリック Gorenstein 特異点の普遍変形空間の幾何的構成を提供すること。
• このような特異点の変形理論を、格子多面体に符号化された組合せ的データに関連付けること。
• 与えられた多面体 Q の Minkowski 分解をパラメトライズする affine scheme M(Q) を定義すること。
• 特異点が孤立しているとき、M(Q) 上の誘導された平坦族が普遍的であることを確立すること。
• 組合せ的・代数的幾何学の道具を用いて、変形の完全なモジュライ的記述を提供すること。

提案手法

• 構成は、R^n 内の格子多面体 Q から始める。これは、関連する affine 半群代数によって、トーリック Gorenstein 特異点 Y を定義する。
• M(Q) は、Q のすべての可能な Minkowski 分解をパラメトライズする環のスペクトルとして定義される affine scheme である。
• 特殊ファイバーがトーリック Gorenstein 特異点 Y に同型である M(Q) 上の平坦族が構成される。
• 多面体およびその分解の組合せ的性質を用いて、族の平坦性が確立される。
• 基底 scheme M(Q) が Y の変形函手をプロレプレゼンターすることを示すことで、族の普遍性が証明される。
• 普遍性の証明は、改訂版（v2）に含まれており、構成の正しさと完全性が確認されている。

実験結果

リサーチクエスチョン

• RQ1 格子多面体からの組合せ的データを用いて、孤立したトーリック Gorenstein 特異点の変形空間をどのように幾何的に記述できるか？
• RQ2 格子多面体の Minkowski 分解は、関連するトーリック特異点の変形をどのようにパラメトライズするか？
• RQ3 Q によって定義される特異点 Y に対して、M(Q) 上の平坦族がいつ普遍的になるか？
• RQ4 このような特異点の変形のモジュライ空間を、明示的に affine scheme として構成できるか？
• RQ5 多面体 Q の組合せ論が、変形空間 M(Q) の幾何にどのように支配的か？

主な発見

• affine scheme M(Q) は、格子多面体 Q のすべての Minkowski 分解をパラメトライズし、変形の組合せ的モジュライ空間を提供する。
• M(Q) 上の平坦族は、多面体 Q から得られるトーリック Gorenstein 特異点 Y を特殊ファイバーとして持つ。
• 特異点 Y が孤立しているとき、M(Q) 上の族は普遍的であり、Y の変形函手をプロレプレゼンターする。
• この構成により、孤立したトーリック Gorenstein 特異点の普遍変形空間の完全かつ明示的な記述が得られる。
• 改訂版（v2）には普遍性の完全な証明が含まれており、主な構成の正しさが確認されている。
• この結果により、格子多面体の組合せ論と特異点の変形理論との深い関係が確立される。