[論文レビュー] Weights on cohomology, invariants of singularities, and dual complexes

Donu Arapura, Parsa Bakhtary+1 more|arXiv (Cornell University)|Feb 21, 2011

Algebraic Geometry and Number Theory参考文献 15被引用数 5

ひとこと要約

本稿では、解体の例外的除集合のコホモロジーにおけるDeligneの重みフィルトレーションを用いて、特異点の重みに基づく不変量を導入し、その結果、解体の例外的除集合のコホモロジーにおける重み0部分の次元が、その双対複体のベッチ数に等しいことを示した。主な貢献は、コホモロジーにおける重み空間の一般な上界を確立し、特異点が孤立した有理特異点およびCohen-Macaulay特異点である場合、双対複体の高次ベッチ数が消えることを証明したことである。これにより、その有理ホモトピー型が球面のワッペン型であることが示された。

ABSTRACT

In this paper, we extract natural invariants of a singularity by using the Deligne weight filtration on the cohomology of an exceptional fibre of a resolution, and also on the intersection cohomology of the link. Our primary goal is to study and give natural bounds on the weights in terms of direct images of differential forms. These bounds can be made explicit for various standard classes such as rational, isolated normal Cohen-Macaulay and toroidal singularities, and lead to strong restrictions on the topology of these singularities. A secondary goal of this paper is to make the weight filtration, and related constructions, more widely accessible. So we have tried to make the presentation somewhat self contained. This is supersedes our earlier preprint arXiv:0902.4234.

研究の動機と目的

• 解体の例外的ファイバーのコホモロジーにおけるDeligneの重みフィルトレーションを用いて、特異点の不変量を構築すること。
• ファイバーおよび特異点のリンクのコホモロジーにおける重み空間の次元の上界を確立すること。
• 孤立特異点や単純正順交差除集合を超えて、双対複体のホモトピー不変性を一般化すること。
• 有理特異点およびCohen-Macaulay特異点において、双対複体の高次ベッチ数が消えることを示し、これにより球面のワッペン型の有理ホモトピー型が得られることを示すこと。

提案手法

• 解体の例外的除集合のコホモロジーにおけるDeligneの重みフィルトレーションを用い、重み0部分を介して不変量を定義する。
• 式 $ W_0(H^i(D, \mathbb{C})) = H^i(\Sigma_D, \mathbb{C}) $ を適用し、重み0コホモロジーを双対複体のコホモロジーと同定する。
• 弱因子化およびブローアップ技法を用いて、固有のビリアル写像下での双対複体のホモトピー不変性を証明する。
• 分解定理を用いて、特異点のリンクの不変量をファイバーのそれと関連付け、交差コホモロジーへと結果を拡張する。
• 精密化された因子化定理（7.6, 7.7）を用いて、非孤立特異点および非除集合的ファイバーに対してもホモトピー不変性を一般化する。
• 繰り返しのブローアップを通じて双対複体上に整合性のある変形再帰を構成し、入れ子になった複体のホモトピー同値性を証明する。

実験結果

リサーチクエスチョン

• RQ1 解体の双対複体のホモトピー型は、補集合のビリアル類にのみ依存するか？
• RQ2 コホモロジー上の重みフィルトレーションは、特に有理特異点およびCohen-Macaulay特異点において、強力な位相的不変量を提供できるか？
• RQ3 ファイバーごとのコホモロジー $ W_j(H^i(f^{-1}(y), \mathbb{C})) $ の次元に、どのような上限を置けるか？
• RQ4 孤立した有理特異点の解体の双対複体は常に可縮であるか、それともその位相を捉える弱い不変量が存在するか？
• RQ5 トロイダル特異点またはCohen-Macaulay特異点において、不変量 $ w^i_j(y) = \dim W_j(H^i(f^{-1}(y), \mathbb{C})) $ はどのように振る舞うか？

主な発見

• 重み0コホモロジーの次元 $ \dim W_0(H^i(f^{-1}(y), \mathbb{C})) $ は、双対複体 $ \Sigma_{f^{-1}(y)} $ の $ i $ 番目のベッチ数に等しく、特異点の位相的不変量を提供する。
• 孤立した正規Cohen-Macaulay特異点 $ (Y,y) $ に対して、$ 0 < i < \dim Y - 1 $ のとき不変量 $ w^i_0(y) $ は消える。これにより、双対複体は球面のワッペン型の有理ホモトピー型を持つことが示される。
• トロイダル特異点に対しては、$ j < i/2 $ かつ $ i > 0 $ のとき $ w^i_j(y) = 0 $ であり、高次重み空間の強い消滅を示している。
• 多様体 $ E \subset X $ の双対複体のホモトピー型は、$ X \setminus E $ の固有ビリアル類にのみ依存する。これは、非孤立特異点への先行結果の一般化である。
• 不変量 $ w^i_j(y) $ は、$ p \leq j $ の各 $ p $-形式のファイバーに沿った $ (i-p) $ 次コホモロジーの和の上界として有界であり、一般なコホモロジー的上界を提供する。
• 孤立した有理特異点の解体の双対複体は、高次ベッチ数が自明であり、ステパノフの予想の弱い形が確認された。