[論文レビュー] Hodge theory meets the minimal model program: a survey of log canonical and Du Bois singularities

Sándor J. Kovács, Karl Schwede|arXiv (Cornell University)|Sep 5, 2009

Algebraic Geometry and Number Theory参考文献 49被引用数 42

ひとこと要約

このサーベイ論文は、対数正則およびデュボア特異点を体系的にレビューすることで、ホッジ理論と最小モデルプログラムを統一する。特異点と双有理幾何およびモジュライ理論との関係を確立し、定義、性質、最近の進展について包括的な概説を提供する。特に、デュボア特異点が有理特異点を一般化し、コンパクト化されたモジュライ空間および特異点の解消において自然に生じることを強調している。

ABSTRACT

This is a survey of some recent developments in the study of singularities related to the classification theory of algebraic varieties. In particular, the definition and basic properties of Du Bois singularities and their connections to the more commonly known singularities of the minimal model program are reviewed and discussed.

研究の動機と目的

• 最小モデルプログラムの枠組みの中で、対数正則およびデュボア特異点について包括的なサーベイを提供すること。
• これらの特異点が双有理幾何において果たす役割を明確にし、代数的多様体の双有理同値類への分類における重要性を明らかにすること。
• 特異点の解消やコンパクト化されたモジュライ空間において、デュボア特異点がどのように自然に現れるかを説明すること。
• 最近の結果を用いて、特異点の特徴づけを特徴づけるために、特徴的pの方法（例えばフロベニウスの分裂やF特異点）とデュボア特異点理論を結びつけること。
• 高次元代数幾何における特異点を理解するために不可欠な基礎的定義および道具（例えば、ハイパーレゾリューションや導来カテゴリ）を提示すること。

提案手法

• ハイパーレゾリューションおよびスキームの図式の言語を用いて、導来カテゴリを通じてデュボア複体を定義・研究する。
• ハイパーレゾリューション $ f: X_\bullet \to X $ に対して導来押し出し $ R(f_*) $ を適用し、$ R(f_*)\mathcal{O}_{X_\bullet} $ をデュボア複体の解体とみなす。
• 反射的冪 $ \mathcal{F}^{[m]} = (\mathcal{F}^{\otimes m})^{**} $ を用いて、$ \mathbb{Q} $-ラインバンドルおよび $ \mathbb{Q} $-ディーラーを定義する。
• ある $ m \in \mathbb{N}_+ $ に対して $ mD $ がカルティエであるようなウェイル特異点 $ D $ として $ \mathbb{Q} $-カルティエ特異点を定義する。これは最小モデルプログラムにおける特異点の理解に不可欠である。
• 導来カテゴリ $ D^+(X_\bullet, \text{Ab}(X_\bullet)) $ および右導来函手 $ R(f_*) $ を用いて、デュボア複体を $ R\varprojlim(Rf_{i*} \mathcal{O}_{X_i}) $ として構成する。
• [GNPP88] の基礎的結果に依拠して、デュボア複体を構成し、基底変換および特異点の解消と整合する性質を証明する。

実験結果

リサーチクエスチョン

• RQ1 デュボア特異点は、最小モデルプログラムにおけるより古典的な特異点（有理特異点や対数正則特異点など）とどのように関係しているか？
• RQ2 モジュライ理論およびモジュライ空間のコンパクト化の文脈において、デュボア特異点はどのように自然に現れるか？
• RQ3 ハイパーレゾリューションがデュボア複体の定義および計算に果たす役割は何か？また、この構成はホッジ理論とどのように関係するか？
• RQ4 特徴的pの方法（例えばフロベニウスの分裂やF特異点）は、デュボア特異点理論とどのように結びつくか？
• RQ5 特異点がデュボア特異点であるための必要十分条件は何か？また、コホモロジー的または導来カテゴリ的基準を用いてどのようにテストできるか？

主な発見

• ハイパーレゾリューション $ \pi: X_\bullet \to X $ に対して、自然な写像 $ \mathcal{O}_X \to R\pi_*\mathcal{O}_{X_\bullet} $ が準同値であることが、デュボア特異点の特徴づけであり、これは有理特異点を一般化する。
• 対数正則特異点はデュボア特異点であり、デュボア特異点のクラスは小さな準同型写像および有限被覆の下で保存される。
• デュボア複体 $ \underline{\Omega}^\bullet_X $ はデリーニュ＝デュボア複体と同型であり、そのコホモロジー群は特異な状況下でもホッジからde Rhamのスペクトル系列を回復する。
• 正規多様体 $ X $ に対して、特異点がデュボア特異点であるための必要十分条件は、ある（または任意の）特異点の解消 $ \pi: X_\bullet \to X $ に対して、自然な写像 $ \mathcal{O}_X \to R\pi_*\mathcal{O}_{X_\bullet} $ が準同値であることである。
• デュボア特異点のクラスには有理特異点が含まれており、codimension 1で同型であるような双有理写像の下で保存される。
• 最近の結果により、特徴的pにおいてフロベニウス準同型写像がコホモロジー上に全射を誘導するという性質とデュボア特異点が同値であることが示され、これによりF特異点との間の関係がpで還元することによって結びつけられた。