[論文レビュー] The dual complex of singularities

Tommaso de Fernex, Janós Kollár+1 more|arXiv (Cornell University)|Dec 7, 2012

Algebraic Geometry and Number Theory参考文献 41被引用数 19

ひとこと要約

この論文は、Q-クリアーな正則クラスをもつ孤立特異点に対して、dlt修正を用いて、一意的（PL同相型）に定義された標準的で well-defined な双対複体の存在を確立する。この最小双対複体（DMR）は特異点の位相的不変量であり、すべての解像に付随する双対複体は単純同相型に同値、あるいはそれへ収縮することを示し、有理的連結な多様体の族における双対複体の収縮性を一般化する。

ABSTRACT

The dual complex of a singularity is defined, up-to homotopy, using resolutions of singularities. In many cases, for instance for isolated singularities, we identify and study a "minimal" representative of the homotopy class that is well defined up-to piecewise linear homeomorphism. This is derived from a more global result concerning dual complexes of dlt pairs. As an application, we also show that the dual complex of a log terminal singularity as well as the one of a simple normal crossing degeneration of a family of rationally connected manifolds are contractible.

研究の動機と目的

• 孤立特異点に対して、解像の選択に依存しない、標準的で最小の双対複体の代表元を定義すること。
• 正則クラスがQ-クリアーである場合、この最小双対複体（DMR）がPL同相型で一意的であることを証明すること。
• すべての解像に由来する双対複体が、最小のものと単純同相型に同値であり、Q-ファクター性のもとでそれへ収縮することを示すこと。
• これらの結果を有理的連結多様体の族へ拡張し、そのような設定における双対複体の収縮性を証明すること。

提案手法

• 著者たちは、dlt対 (Y, E) が除法的対数終票的であり、K_Y + E が X 上でネフであるような、射影的かつ双有理的射影写像であるdlt修正を、最小双対複体を定義する主要な構成として用いる。
• dlt対 (X, Δ) に対して、g⁻¹(Δ^{=1}) の台をもつsnc除部分 E の双対複体は、対数正則中心の和集合 Δ^{=1} の双対複体と単純同相型に同値であることを証明する。
• 主な技術的道具は、適切な仮定の下で、解像における Δ^{=1} の全逆像の双対複体が Δ^{=1} そのものの双対複体と単純同相型に同値であることを示すグローバル定理である。
• Fano収縮に関して保存され、歪み-1 をもつ除部分の抽出を可能にする、商的dlt（qdlt）対のクラスを導入する。
• 最小モデルプログラム（MMP）を用いて問題をFanoファイブレーションに還元し、次元に関する帰納法を用いて双対複体の収縮性を証明する。
• 局所的にトロイダル幾何を用いてdlt修正を構成し、それをグローバルに拡張することで、双対複体構造と整合性を保つ。

実験結果

リサーチクエスチョン

• RQ1 特異点の双対複体に対して、解像の選択に依存しない標準的で最小の代表元を定義できるか？
• RQ2 Q-クリアーな特異点の任意の解像に由来する双対複体は、この最小代表元と単純同相型に同値か？
• RQ3 Q-ファクター性のもとで、双対複体は最小代表元へ収縮するか？
• RQ4 有理的連結な多様体の退化において、双対複体がいつ収縮するか？
• RQ5 商的dlt対は、対数正則中心および双対複体の構造とどのように関係するか？

主な発見

• C 上の孤立特異点 (0 ∈ X) で K_X がQ-クリアーであるとき、dlt修正における特異点上の例外除部分の双対複体は、PL同相型で一意に定まり、標準的不変量 DMR(0 ∈ X) をなす。
• このような特異点の解像に由来するすべての双対複体は、DMR(0 ∈ X) と単純同相型に同値であり、特異点の位相的不変量を確立する。
• X がQ-ファクターであり、解像が特異点を除き同型であるならば、双対複体はDMR(0 ∈ X) へ収縮する。これはホモトピー同値より強い同値関係である。
• 有理的連結な一般ファイバーをもつ族 f: X → (0 ∈ C) で、全空間がqdltであるとき、中心ファイバーの双対複体は収縮可能である。
• qdlt対における Δ^{=1} の双対複体はFano収縮に関して保存され、このような族における中心ファイバーの双対複体は帰納法により収縮可能である。
• dlt対 (X, Δ) の双対複体は Δ^{=1} のそれと単純同相型に同値であり、Δ^{=1} がQ-クリアーである場合にはそれへ収縮する。