[論文レビュー] Semi log resolution

Janós Kollár|ArXiv.org|Dec 18, 2008

Algebraic Geometry and Number Theory参考文献 3被引用数 14

ひとこと要約

本稿は、特性0の体上の還元済みスキームに対して、半対数解消の存在を確立する。任意のペア $(X,D)$ に対して、$(X', D')$ が半対数正則であり、$f$ が半対数正則 locus の稠密な開部分集合上で同型であるような、射影的・有理型な準同型 $f: X' \to X$ が存在することを証明する。この構成は、正則交差をもつ特異点および自己同型不変構造に適応されたヒロナカ型解消技法に依拠しており、対数解消定理を半対数正則設定へと拡張する。

ABSTRACT

The aim of this note is to discuss resolution theorems that are useful in the study of semi log canonical varieties.

研究の動機と目的

• 特性0の体上の還元済みスキームとウェイリ・ディーバイザーを備えたものに対して、半対数解消の存在を確立すること。
• 特に正則交差型特異点をもつ多様体に対して、対数解消理論を半対数正則設定へと拡張すること。
• 半対数正則 locus 上で同型である解消を構成し、不要な例外的除集合の導入を最小限に抑えること。
• 自己同型の存在下で、導関数と正規化の構造を保ちながら特異点を解消すること。
• 半対数正則ペアの文脈における最小モデルプログラムのための基盤的ツールを提供すること。

提案手法

• 半対数正則 locus 外の中心を帰納的にブロー・アップすることで、ヒロナカ型解消技法を適応し、指定された開部分集合上での半対数正則構造を保つ。
• 滑らかな多様体、カルティエ除集合のイデアル・シアー、半対数正則除集合を含む一般化された解消問題を導入し、このような構成における半対数正則性の概念を定義する。
• イデアル・シアーの順序低減を用いて多重度を低下させ、有理型変換が多重度1となるようにし、帰納的制御を可能にする。
• 正規化 $X$ の埋め込み解消を適用し、導関数上のイデアルの多重度低減により、ウェイリ・ディーバイザーの引き戻しを処理する。
• 普遍的プッシュアウト構成を用いて、正規化からの解消を元のスキームへと降下させ、自己同型構造を保つ。
• スキーム $X$ を $\mathbb{P}^N$ に埋め込み、完全交差を用いて関連する特異点を分離し、標準的な対数解消を適用することで、一般の場合を準射影的設定へと還元する。

実験結果

リサーチクエスチョン

• RQ1 ペア $(X,D)$ の半対数正則 locus 上で同型である対数解消を構成することは可能か？
• RQ2 還元済みスキーム $X$ とウェイリ・ディーバイザー $D$ に対して、解消により得られるペア $(X', D')$ が半対数正則となるような特異点の解消は存在するか？
• RQ3 自己同型の存在下で、導関数と正規化の構造を保つように解消技法をどのように適応できるか？
• RQ4 不必要な例外的除集合（不備差 $-1$ をもつもの）を避ける意味で、解消を最小化することは可能か？
• RQ5 半対数正則性を維持しながら特異点を解消するための最小解消条件は何か？

主な発見

• 射影的・有理型な準同型 $f: X' \to X$ が存在し、$(X', D')$ が半対数正則であり、$f$ がペア $(X,D)$ の半対数正則 locus の稠密な開部分集合上で同型である。
• 解消が、初期ペアのすべての半対数正則中心の一般点上で同型となるように構成可能であり、新たな例外的除集合の導入を最小限に抑えることができる。
• $X$ を $\mathbb{P}^N$ に埋め込み、完全交差を用いて特異点を分離することで、標準的な対数解消定理を半対数正則設定へと拡張する。
• 解消プロセスは正規化上の自己同型構造を保ち、普遍的プッシュアウトを用いて元のスキームへと降下可能である。
• 準射影的状況では有効に構成可能であり、半対数正則カテゴリーにおける最小モデルプログラムの基盤的ツールを提供する。
• 主な技術的進展は、半対数正則 locus 内の点をブロー・アップしないようにヒロナカ型解消を適応し、代わりに非半対数正則および特異中心に焦点を当てる点にある。