[論文レビュー] The locus of log canonical singularities

Florin Ambro|ArXiv.org|Jun 11, 1998

Algebraic Geometry and Number Theory参考文献 8被引用数 25

ひとこと要約

この論文は、対 (X,B_X) が対数正則特異点をもつとき、対数正則特異点の集合（LCS）の局所は分離正則であることを証明し、V. Shokurovの予想を確認した。Kawamataの影響を受ける摂動技法と形式的分離正則性の結果を用いて、対数正則特異点の下で LCS(X,B_X) が分離正則であることを確立し、以前の正則性および厳密対数正則性に関する結果を一般化した。この結果は、最小モデルプログラムにおける帰納的議論の基盤的ツールを提供する。

ABSTRACT

The LCS locus is an essential ingredient in the proof of fundamental results of Log Minimal Model Program, such as nonvanishing and base point freeness theorems. We prove in this paper that the LCS locus of a log canonical variety has seminormal singularities.

研究の動機と目的

• 対数正則対における対数正則特異点の集合（LCS）の特異点を調査すること。
• V. Shokurovが提起した予想、すなわち (X,B_X) が対数正則特異点をもつとき LCS(X,B_X) が分離正則であるという予想を解決すること。
• 対数正則および厳密対数正則の場合におけるLCSの正則性に関する以前の結果を一般化すること。
• 相対的対数対における理想層と分離正則準同型を用いたLCSの研究の形式的枠組みを確立すること。
• LCS局所の構造を分析することにより、最小モデルプログラムにおける帰納的技法の基盤的ツールを提供すること。

提案手法

• 相対的有効対数対におけるLCS理想層の定義を修正し、Shokurovの元来の構成を一般化する。
• 定理2.6を証明し、ShokurovおよびKollárのLCS局所の収縮に関する結果を拡張する、重要な技術的結果を得る。
• Kawamataの摂動技法を適用し、適切な仮定の下で、任意の対数正則中心の有限和が分離正則であることを示す。
• 形式的分離正則性の結果を用いて、環境対が対数正則特異点をもつとき、LCS局所が分離正則であることを導く。
• 分離正則化の普遍性を用いて、代数的多様体の圏における準同型に関して関手的および整合性を確立する。
• 証明の主要技術的道具として、特徴が0のときのKawamata-Viehwegの消失定理を用いる。

実験結果

リサーチクエスチョン

• RQ1 環境対が対数正則特異点をもつとき、対数正則特異点の局所は分離正則か？
• RQ2 Kawamataの摂動法は、対数正則設定におけるLCS局所の分離正則性を示すために拡張可能か？
• RQ3 LCS理想層は、双有理的写像および対数解消に関してどのように振る舞うか？
• RQ4 環境空間の特異点とLCS局所の分離正則性の間にはどのような関係があるか？
• RQ5 分離正則化の普遍性は、関手的およびLCS局所を通る因子分解を確立するために用いることができるか？

主な発見

• 環境対 (X,B_X) が対数正則特異点をもつとき、対数正則特異点の局所 LCS(X,B_X) は分離正則である。これはShokurovの予想を確認するものである。
• LCS理想層が定義され、対数多様体の場合にはShokurovの元来の定義と同型であることが示された。
• LCS局所の収縮が分離正則準同型であることが示され、これによりLCS局所の分離正則性が導かれる。
• 本論文の仮定のもとで、任意の対数正則中心の有限和は分離正則である。これはKollárおよびShokurovの結果を拡張するものである。
• 分離正則化関手は普遍性を保ち、分離正則準同型は合成および基底変換に関して保存される。
• 結果は特徴が0のとき成り立ち、主要なコhom論的議論にはKawamata-Viehwegの消失定理を用いる。