[論文レビュー] The combinatorial part of the cohomology of a singular variety

Donu Arapura, Parsa Bakhtary+1 more|ArXiv.org|Feb 24, 2009

Algebraic Geometry and Number Theory参考文献 7被引用数 13

ひとこと要約

この論文は、特異な複素代数的多様体のコhomologyの組合せ論的部品を、Deligneの重みフィルトレーションの最初の段階、W₀Hⁱ_c(X) として同定し、鋭い上界を確立する：dim(KHⁱ(f⁻¹(y), ℂ)) ≤ dim((Rⁱf₊*𝒪_X)_y ⊗ 𝒪_y/m_y)。この結果は、有理的特異点の解消における組合せ論的コhomologyが消えることを示し、Stepanovの予想を裏付け、ホッジ理論的手法により特異点に強い位相的制約を与える。

ABSTRACT

We study the first step of the weight filtration on the cohomology of a proper complex algebraic variety, which we call the combinatorial part. We obtain a natural upper bound on its size, which gives rather strong information about the topology of rational singularities.

研究の動機と目的

• コンパクト台付きコhomologyの組合せ論的部品 KHⁱ_c(X) を、適切な写像の下で保存される自然な部分空間として定義・特徴づけること。
• この部分空間の次元に対する鋭い上界を、構造層のファイバーごとのコhomologyの用語で確立すること。
• Stepanovの予想を検証すること：有理的特異点の解消における例外的除集合の組合せ論的コhomologyが消えることを示すこと。
• 組合せ論的コhomologyを、単体的解消を介してDeligneの重みフィルトレーションの最初の段階と、ホッジ理論的不変量と結びつけること。

提案手法

• 3つの公理により KHⁱ_c(X) を定義する：(K1) 射影の下での不変性、(K2) smoothかつ完全な多様体上で自明であること、(K3) 切り捨て列との整合性。
• 単体的解消を用いて、コhomologyを組合せ論的に計算することで、KHⁱ_c(X) を W₀Hⁱ_c(X) と同定する。
• ホッジフィルトレーションと単体的解消のスペクトル系列における端点射影を用いて、KHⁱ と Hⁱ(X,𝒪_X) を関連付ける。
• Gr⁰_F Hⁱ(X,ℂ) を通る自然な写像 κ: Hⁱ(X,ℂ) → Hⁱ(X,𝒪_X) を構成し、W₀Hⁱ(X,ℂ) が Hⁱ(X,𝒪_X) に埋め込まれることを示す。
• 形式的関数定理と極限の議論を用いて、構造層のファイバーごとのコhomologyを、ファイバーの組合せ論的コhomologyと関連付ける。
• Kawamata-Viehwegの消滅定理とSerre双対性を用いて、Y が孤立した正則なCohen-Macaulay特異点を持つとき、0 < i < dim Y − 1 に対して Rⁱf₊*𝒪_X が消えることを示す。

実験結果

リサーチクエスチョン

• RQ1 特異多様体のコhomologyの組合せ論的部品の正確な幾何学的・コhomological的意味は何か？
• RQ2 ファイバー f⁻¹(y) の組合せ論的コhomologyの次元は、構造層の層コhomologyの用語でどのように上界をもつことができるか？
• RQ3 Stepanovの予想が正しければ、有理的特異点の解消において、組合せ論的コhomologyは消えるのか？
• RQ4 W₀Hⁱ(X,ℂ) におけるホッジフィルトレーションは、Hⁱ(X,𝒪_X) の代数的構造をどの程度反映しているか？
• RQ5 単体的解消を用いて重みフィルトレーションを明示的に計算できるか？ そして、これは構造層のコhomologyとどのように関係するか？

主な発見

• 単体的解消技法を用いて、組合せ論的コhomology KHⁱ_c(X) は、重みフィルトレーションの最初の段階 W₀Hⁱ_c(X) と自然に同一視される。
• 任意の固有射 f:X→Y に対して、ファイバー f⁻¹(y) の組合せ論的コhomologyの次元は、dim((Rⁱf₊*𝒪_X)_y ⊗ 𝒪_y/m_y) によって上から抑えられる。
• 包含写像 W₀Hⁱ(X,ℂ) ↪ Gr⁰_F Hⁱ(X,ℂ) は Hⁱ(X,𝒪_X) を通じて因数分解され、したがって W₀Hⁱ(X,ℂ) は Hⁱ(X,𝒪_X) に埋め込まれる。
• 有理的特異点の解消において、すべての i > 0 に対して KHⁱ(f⁻¹(y),ℂ) = 0 である。これは Stepanov の予想を確認する。
• 孤立した正則なCohen-Macaulay特異点を持つとき、0 < i < dim Y − 1 に対して Rⁱf₊*𝒪_X は消えるため、その範囲で KHⁱ(f⁻¹(y),ℂ) = 0 である。