[論文レビュー] Quantitative study of semi-Pfaffian sets

Thierry Zell|ArXiv.org|Jan 8, 2004

Advanced Topology and Set Theory参考文献 46被引用数 4

ひとこと要約

この論文は、モース理論、変形技術、スペクトル系列、再帰的組合せ的議論の道具を用いて、半・サブ・パフィアン集合のベッチ数の有効な上界を、そのパフィアン複雑度（フォーマット）の観点から確立する。主な貢献は、すべてのこのような集合にわたるベッチ数の和に対する定量的かつ一様な推定値であり、o-極小幾何学およびパフィアン関数論の結果を拡張するものである。

ABSTRACT

We study the topological complexity of sets defined using Khovanskii's Pfaffian functions, in terms of an appropriate notion of format for those sets. We consider semi- and sub-Pfaffian sets, but more generally any definable set in the o-minimal structure generated by the Pfaffian functions, using the construction of that structure via Gabrielov's notion of limit sets. All the results revolve around giving effective upper-bounds on the Betti numbers (for the singular homology) of those sets. Keywords: Pfaffian functions, fewnomials, o-minimal structures, tame topology, spectral sequences, Morse theory.

研究の動機と目的

• パフィアン複雑度に基づいて、半・パフィアン集合およびサブ・パフィアン集合のベッチ数に対する有効な上界を確立すること。
• パフィアン多様体からの定量的位相的推定を、o-極小構造におけるより一般的な定義可能集合へと拡張すること。
• 形式に依存する明示的な上界を提供し、パフィアン構成の組合せ的および幾何的複雑度を反映すること。
• スペクトル系列および変形技術を用いて、半・パフィアン集合、サブ・パフィアン集合、およびパフィアン極限集合の間で位相的推定を統一すること。

提案手法

• パフィアン集合の摂動における位相的変化を解析するために、モース理論および連続的変形を用いる。
• 連続な全射に関連するスペクトル系列を適用し、ファイバーのホモロジーと全空間のグローバルホモロジーを関連付ける。
• セル分解およびフィルトレーションにおける再帰的組合せ的上界を用いて、段階的にベッチ数を推定する。
• 非コンパクトな半・パフィアン集合を扱うために、ボレル＝ムーアホモロジーおよび相対的閉包を用いる。
• ベトリス＝ベーグル写像定理およびアレクサンダーコホノロジーを適用し、適切な写像の下での位相的不変性を保証する。
• フィルタードチェーン複体を構成し、関連するスペクトル系列を解析することで、ランク推定を用いてベッチ数を上界で制御する。

実験結果

リサーチクエスチョン

• RQ1 与えられたパフィアン複雑度を持つ半・パフィアン集合のベッチ数の和として得られる最大値は何か？
• RQ2 k個の量化子を含む定義を持つサブ・パフィアン集合のベッチ数は、定義の複雑度にどのように依存するか？
• RQ3 幾何的およびホモロジカルな道具を用いて、パフィアン極限集合に対して有効な位相的上界を確立できるか？
• RQ4 スペクトル系列および変形技術を、o-極小構造におけるベッチ数の制御にどの程度まで応用できるか？
• RQ5 非コンパクトな半・パフィアン集合のベッチ数は、そのコンパクト化および閉包とどのように関係するか？

主な発見

• 半・パフィアン集合のベッチ数の和は、パフィアン複雑度（フォーマット）に関して二重指数関数的に上界づけられる。その上界は、関数の数、それらの次数、および定義域の複雑度に明示的な依存関係を示す。
• k個の量化子で定義されるサブ・パフィアン集合のベッチ数は、kおよびパフィアンフォーマットに関して二重指数関数的に上界づけられる関数で抑えられる。
• パフィアン極限集合のベッチ数は有限であり、上界づけられる。その推定は、ハウスドルフ極限および射影の三角形分割から導かれる。
• 連続な全射に関連するスペクトル系列により、ファイバーごとの推定と全ホモロジーへの収束を用いて、ホモロジーの効果的制御が可能になる。
• ボレル＝ムーアホモロジーの使用により、一点コンパクト化を考慮することで、非コンパクトな半・パフィアン集合に対しても位相的上界が得られる。
• 重要な技術的結果として、フィルタード複体のホモロジー群のランクは、関連するスペクトル系列のE^1ページのランクの和によって上界づけられることを示した。