[論文レビュー] Boundary complexes and weight filtrations

Sam Payne|arXiv (Cornell University)|Sep 20, 2011

Algebraic Geometry and Number Theory参考文献 38被引用数 9

ひとこと要約

本稿は、代数的多様体のコンパクト化の対数解消の境界複体の単純ホモトピー型が、解消およびコンパクト化の選択に依存しないことを確立する。この複体の有理数係数の削減ホモロジー群が、コhomologyにおける混合Hodge構造の最高重量型に同型であることを証明し、StepanovおよびThuillierの既知の結果を一般化するとともに、非アルキメデス的幾何とトーリック手法を用いて特異多様体に対しても不変性を拡張する。

ABSTRACT

We study the dual complexes of boundary divisors in log resolutions of compactifications of algebraic varieties and show that the homotopy types of these complexes are independent of all choices. Inspired by recent developments in nonarchimedean geometry, we consider relations between these boundary complexes and weight filtrations on singular cohomology and cohomology with compact supports, and give applications to dual complexes of resolutions of isolated singularities that generalize results of Stepanov and Thuillier.

研究の動機と目的

• 代数的多様体の対数解消およびコンパクト化のすべての選択に対して、境界複体の単純ホモトピー型が不変であることを確立すること。
• 境界複体と混合Hodge理論におけるDeligneの重みフィルトレーションとの関係を明確にすること。
• 滑らか多様体の双対複体に関する既知の結果を特異的およびアフィンな場合に一般化すること。
• ニュートン多面体を用いて、孤立した超曲面および完遂交差特異点の解消複体のホモトピー型を組合せ的に計算すること。
• ニュートン多面体の格子幾何に基づいて、解消複体のベッチ数を組合せ的公式で与えること。

提案手法

• 対数解消における境界除法と特異除法の交わりを記述するΔ-複体として双対複体Δ(∂X′)を構成する。
• 弱因子分解とトーリック幾何を用いて、異なる解消の間の関係を確立し、単純ホモトピー型の不変性を証明する。
• 非アルキメデス的解析幾何を適用して境界複体をX^anに埋め込み、Berkovichの重みフィルトレーションの結果と結びつける。
• 重心分割とニュートン多面体のユニモジュラー refinementを用いて、特異点の埋め込み解消を構成する。
• Van Kampen、Mayer–Vietoris、Whiteheadの定理を適用し、解消複体が球のワジントのホモトピー型に同値であることを示す。
• ニュートン多面体の頂点およびコンパクトな辺から、解消複体に含まれる球の数を組合せ的に導出する公式を導出する。

実験結果

リサーチクエスチョン

• RQ1 対数解消の境界複体の単純ホモトピー型は、解消およびコンパクト化の選択に依存しないか？
• RQ2 境界複体の位相的性質は、多様体のコhomologyにおけるDeligneの重みフィルトレーションとどのように関係するか？
• RQ3 孤立特異点の解消複体のホモトピー型は、そのニュートン多面体から組合せ的に計算可能か？
• RQ4 境界複体と多様体の非アルキメデス的解析化X^anとの正確な関係は何か？
• RQ5 どのような条件下で特異点の解消複体が収縮可能か？

主な発見

• 弱解消およびコンパクト化の選択に依存しない、境界複体Δ(∂X⁺)の単純ホモトピー型が不変である。これはThuillierの結果を特異的かつ滑らかでない状況に一般化する。
• 境界複体の削減有理数係数ホモロジー群と重みフィルトレーションの2n番目のグレーディング部分の間には、自然な同型が存在する：˜H_{i−1}(Δ(∂X′);ℚ) ≅ Gr^{W}_{2n} H^{2n−i}(X)。
• ニュートン多面体に関して一般な孤立超曲面特異点に対しては、解消複体は(n−1)-次元球のワジントのホモトピー型をとる。
• 解消複体に含まれる球の数は、ニュートン多面体の内部頂点の数に加え、コンパクトな辺ごとの（格子長−1）の和に等しい。
• ニュートン多面体に関して一般な孤立した有理特異点の解消複体は収縮可能である。
• 境界複体は非アルキメデス的解析化X^anに埋め込まれ、無限遠点における穿孔されたチューブ近傍内でのその閉包は、Xの内在的境界複体を定義する。