[論文レビュー] The deformation theory of local complete intersections

Angelo Vistoli|ArXiv.org|Mar 6, 1997

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

ひとこと要約

この解説論文は、最小限の形式的記法を用いて、局所的完全交差の変形理論を展開し、無限小の持ち上げ、形式的変形、および普遍族に焦点を当てる。障害理論の自己完結的取り扱いと、普遍変形の存在を示し、単体的技法に依存しない障害の新規構成と、障害から生成元の関係を直接導出する手法を提供する。

ABSTRACT

This is an expository paper on the subject of the title. It assumes basic scheme theory, commutative and homological algebra.

研究の動機と目的

• 代数幾何学者および数論家向けに、局所的完全交差の変形理論について自己完備的でアクセス可能な入門を提供すること。
• 変形の持ち上げにおける障害類の役割と、それらのコhomologicalな解釈を明確にすること。
• 生成元の関係を障害類から直接計算することで、普遍変形の存在を確立すること。
• 単体的技法に依存しない障害の構成を提示し、より初等的な手法を提供すること。

提案手法

• 基本的なスキーム、可換代数、ホモロジー代数を基礎的道具として用いる。
• 局所的平坦性基準を適用して、商から代数への平坦性の持ち上げを行う。
• 図式走査と加群の完全系列を用いて、逆極限上の代数の平坦性を証明する。
• 環上の平坦代数と、その商環上の平坦代数の整合性のある系との間の関手的同値を構成する。
• 生成元の関係を障害類から直接抽出することで、普遍変形の存在を導出する。
• 障害の構成において単体的構造を避けることで、より初等的で明示的なアプローチを提供する。

実験結果

リサーチクエスチョン

• RQ1 単体的技法を用いずに、局所的完全交差の変形の障害類をどのように構成できるか？
• RQ2 局所的完全交差に対して、普遍変形族が存在するための条件は何か？
• RQ3 生成元の関係は、どのように障害類から生じるか？
• RQ4 Artin環の逆極限を通じて、代数の平坦性はどのように持ち上げられるか？
• RQ5 障害が消えるとき、持ち上げの同型類の集合はどのように特徴づけられるか？

主な発見

• 変形の持ち上げに対する障害は、無限小変形の空間よりも次数が1高いコホモロジー群の自然な元として定まる。
• 障害が消えるとき、持ち上げの同型類の集合は、コホモロジー群による作用を受ける主同次空間をなす。
• やや弱い仮定の下で、任意の局所的完全交差に対して普遍変形が存在し、その基底環は形式的べき級数環の商である。
• 普遍族のパラメータ間の関係は、障害類から直接導出可能である。
• 完全局所環上の代数の平坦性は、ネガティブイデアルによる還元を用いた局所的平坦性基準によりチェック可能である。
• 環上の平坦代数の圏は、その商環上の平坦代数の整合性のある系の圏と、明示的な関手的構成により同値である。