[論文レビュー] Deformation theory from the point of view of fibered categories

Mattia Talpo, Angelo Vistoli|arXiv (Cornell University)|Jun 2, 2010

Algebraic Geometry and Number Theory参考文献 16被引用数 13

ひとこと要約

この論文は、関手の代わりにファイバードカテゴリを用いて変形理論を再定式化し、代数的対象の無限小変形を研究するための現代的な枠組みを提供する。シュレスラーの定理の版と、障害に関するラン＝カワマタの消去定理を証明し、滑らかな多様体、局所完備交差、および整合的層といった重要なケースに理論を適用する。

ABSTRACT

We give an exposition of the formal aspects of deformation theory in the language of fibered categories, instead of the more traditional one of functors. The main concepts are that of tangent space to a deformation problem, obstruction theory, versal and universal formal deformations. We include proofs of two key results: a versione of Schlessinger's Theorem in this context, and the Ran--Kawamata vanishing theorem for obstructions. We accompany this with a detailed analysis of three important cases: smooth varieties, local complete intersection subschemes and coherent sheaves.

研究の動機と目的

• 古典的変形理論をファイバードカテゴリの言語に再定式化し、より構造的で圏論的な基盤を提供すること。
• この新しい設定において、接空間、障害理論、および万有的／普遍的変形の概念を明確にすること。
• 変形圏に対してシュレスラーの定理の版を確立し、ハルトの存在性と表現可能性を保証すること。
• 障害に関するラン＝カワマタの消去定理を証明し、変形が障害のない条件を満たすための基準を提供すること。
• 滑らかな多様体、局所完備交差、整合的層の3つの中心的な幾何的ケースを、新しい形式主義を用いて分析すること。

提案手法

• 局所アーティン環上のファイバードカテゴリを用いて、従来の関手的アプローチに代わる変形問題の形式化を行う。
• リム＝シュレスラー条件を用いて変形圏を定義し、基底変換およびファイバー積に関して良好な振る舞いを保証する。
• 接空間を1次変形の空間として定義し、Ext もしくはコホモロジー群を用いて計算する。
• 無限小自己同型を、平方ゼロ拡大上の変形の自己同型群として分析する。
• 変形が持ち上がることの障害クラスをコホモロジー群（例：$ H^2 $）に定義し、それがかつてゼロである場合に限り、変形が持ち上がることを示す。
• 代数化定理を適用して、適切な条件下で形式的変形が真の代数的族から生じることを示す。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、関手の代わりにファイバードカテゴリを用いて変形理論を体系的に展開できるか？
• RQ2 どのような条件下で、変形問題が万有的または普遍的な形式的変形をもつのか？
• RQ3 コホモロジー群は、変形理論における接空間と障害の計算において果たす役割は何か？
• RQ4 いつ変形問題が障害のない状態にあるのか、そして障害クラスが消えるための条件は何か？
• RQ5 シュレスラーの定理とラン＝カワマタの消去定理という主要な結果は、ファイバードカテゴリの枠組みにおいてどのように拡張されるのか？

主な発見

• リム＝シュレスラー条件の下で、ファイバードカテゴリの設定においてシュレスラーの定理の版が証明され、最小万有的変形の存在が保証される。
• ラン＝カワマタの消去定理が確立され、$ H^2 $ が消えるならばすべての障害が消えることが示され、変形が障害のない状態にあることが保証される。
• 体 $ k $ 上の滑らかな多様体について、接空間は $ H^0(X_0, T_{X_0}) $、つまりベクトル場の空間であり、障害は $ H^2(X_0, T_{X_0}) $ に位置する。
• 局所完備交差部分多様体について、変形理論は正規バンドルによって制御され、障害は $ H^1(N_{Y_0/X_0}) $ に位置する。
• 整合的層について、接空間は $ ext{Ext}^1( ext{層}, ext{層}) $ であり、障害は $ ext{Ext}^2 $ に位置し、ベクトルバンドルのケースを一般化する。
• 本論文は、ノードを持つ曲線の形式的変形がエタール引き戻しを用いて研究できることを証明し、適切な条件下で代数化が成立することを示し、形式的幾何と代数的幾何を結びつける。