[論文レビュー] Virtual Betti numbers of real algebraic varieties

Clint McCrory, Adam Parusiński|arXiv (Cornell University)|Oct 23, 2002

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

ひとこと要約

この論文は、弱因子分解定理を用いて、実代数的多様体のための仮想ベッチ数を導入し、コンパクトで非特異な多様体の mod 2 ベッチ数を、すべての実代数的多様体へ一意の加法的拡張として拡張する。Grothendieck環における仮想ポincare多項式を定義し、次元が不変量であることを証明し、実多様体の弧空間におけるモチーフ的測度の構成を可能にする。

ABSTRACT

The weak factorization theorem for birational maps is used to prove that for all nonnegative i the ith mod 2 Betti number of compact nonsingular real algebraic varieties has a unique extension to a "virtual Betti number" beta_i defined for all real algebraic varieties, such that if Y is a closed subvariety of X, then beta_i(X) = beta_i(X\Y) + beta_i(Y).

研究の動機と目的

• コンパクトで非特異な実代数的多様体の mod 2 ベッチ数を、すべての実代数的多様体に対する普遍的な加法的不変量へ拡張すること。
• 実代数的多様体のGrothendieck環から ℤ[t] への環準同型としての仮想ポincare多項式を定義すること。
• 実代数的多様体のGrothendieck環において、次元が不変量であることを証明すること。
• 仮想ポincare多項式を用いて、実多様体の弧空間におけるモチーフ的測度の存在を確立すること。
• 仮想ベッチ数が閉部分多様体の分解に関して自然な加法性を満たすことを示すこと。

提案手法

• 双有理写像の弱因子分解定理を用いて、Grothendieck環における吹き上げの挙動を特徴付ける。
• Bittnerの結果を適用し、Grothendieck環の関係を吹き上げ公式に置き換えられる：[Bl_C X] - [E] = [X] - [C]。
• 仮想ポincare多項式 β(X,t) を、環準同型 β: K₀(𝕍_ℝ) → ℤ[t] として定義し、係数は仮想ベッチ数 β_i である。
• コンパクトで非特異な X に対して、β(X,t) が ℤ₂係数の古典的ポincare多項式と一致することを示す。
• Mayer-Vietorisのスペクトル系列を用いて特異多様体のコホモロジーを解析し、仮想ベッチ数との整合性を検証する。
• Mayer-Vietorisスペクトル系列からの重みフィルトレーションが、非ゼロの d₂ 差分により仮想ベッチ数条件を満たさないことを示す。

実験結果

リサーチクエスチョン

• RQ1 コンパクトで非特異な実代数的多様体の mod 2 ベッチ数は、閉部分多様体の分解に関して加法性を保ちつつ、すべての実代数的多様体へ一意に拡張可能か？
• RQ2 実代数的多様体のGrothendieck環における仮想ポincare多項式の存在は、その環における次元が不変量であることを示唆するか？
• RQ3 仮想ポincare多項式を用いて、実多様体の弧空間におけるモチーフ的測度を定義可能か？
• RQ4 Mayer-Vietorisスペクトル系列に関連する重みフィルトレーションは、仮想ベッチ数条件と整合性を持つか？
• RQ5 仮想ベッチ数条件は、実重みフィルトレーションの存在にどのような制約を課えるか？

主な発見

• i番目の mod 2 ベッチ数は、すべての実代数的多様体へ一意に仮想ベッチ数 β_i へ拡張され、閉部分多様体 Y ⊂ X に対して β_i(X) = β_i(X\Y) + β_i(Y) を満たす。
• 仮想ポincare多項式 β(X,t) は、K₀(𝕍_ℝ) から ℤ[t] への環準同型であり、β_i は t^i の係数である。
• コンパクトで非特異な X に対して、β(X,t) は ℤ₂係数の古典的ポincare多項式に一致する。
• 次元は、仮想ポincare多項式がその次数によって次元を検出できるため、Grothendieck環 K₀(𝕍_ℝ) の不変量である。
• 仮想ポincare多項式が次元を検出し、環構造と整合性を持つことから、実多様体の弧空間におけるモチーフ的測度を定義可能である。
• Mayer-Vietorisスペクトル系列は、d₂ 差分がベッチ数の交代和の性質を破るため、仮想ベッチ数条件を満たす重みフィルトレーションを生じない。