[論文レビュー] PL and differential topology in o-minimal structure

Masahiro Shiota|arXiv (Cornell University)|Feb 8, 2010

Advanced Topology and Set Theory参考文献 8被引用数 5

ひとこと要約

この論文は、実閉体上のo-極小構造におけるコンパクトな定義可能集合がPLホメオモルフィズムを除いて一意に三角形分割可能であることを示す、o-極小 Hauptvermutungを確立する。これは、古典的なPLおよび微分位相幾何学の結果を順序体のo-極小拡張へと拡張し、コボルディズム、h-コボルディズム、ポincare双対性といった主要な位相的不変量と理論が、すべてのこのような体において一様に成り立つことを示している。これにより、定義可能幾何学におけるなめらかさと構造的一致性が保証される。

ABSTRACT

Arguments on PL,(=piecewise linear) topology work over any ordered field in the same way as over the real field, and those on differential topology do over a real closed field R in an o-minimal structure that expands (R,

研究の動機と目的

• o-極小 Hauptvermutungを確立し、実閉体R上のo-極小構造におけるコンパクトな定義可能集合がPLホメオモルフィズムを除いて一意に三角形分割可能であることを証明すること。
• 実数から任意の実閉体への、古典的なPLおよび微分位相幾何学の結果（例えば、三角形分割、コボルディズム、h-コボルディズム）の拡張を、o-極小構造内の実閉体に対して行うこと。
• 実数から順序体のo-極小拡張への、位相的不変量および理論の転送可能性を明確にし、異なるモデル間での一貫性を保証すること。
• 滑らかな力学系理論をo-極小構造へと拡張する際の制限を、微分同相写像の構造的安定性に関して分析すること。
• PL多様体上の定義可能な$ C^r $構造が、その実多様体上の$ C^r $構造と正確に一致することを示すこと。幾何学的および位相的性質が保存されることを保証する。

提案手法

• o-極小構造内の任意の実閉体Rに対して、実PL写像および単体的複体を定義可能写像および複体へと持ち上げるためのR-拡張の概念を用いる。
• PL位相幾何学における正則近傍およびAlexanderのトリックのアイデアを適用し、PLホメオモルフィズムを除いた三角形分割の一意性を証明する。
• R^nにおけるコンパクトな多面体間の定義可能PL写像を、組合せ論的単体的分解を介して実対応物へと還元し、位相的性質の転送可能性を保証する。
• モデル理論的技法を用いて、ホモトピー群、コホモロジー、コボルディズム群といった位相的不変量が実閉体Rの選択に依存しないことを示す。
• 商空間および漸近的挙動（例えば、集合A = {t ∈ R : nt < 1 for all n ∈ Z} を用いた）により、o-極小設定で明示的な共役ホメオモルフィズムを構成し、構造的安定性を分析する。
• 非アーケィメデス的実閉体上での$ S^1 $上の特定の$ C^∞ $微分同相写像が、R上では安定であるにもかかわらず、構造的安定性を失う理由を分析する。

実験結果

リサーチクエスチョン

• RQ1 o-極小構造におけるコンパクトな定義可能集合の三角形分割は、PLホメオモルフィズムを除いて一意的か？（o-極小 Hauptvermutung）
• RQ2 PLおよび微分位相幾何学の古典的定理（例えば、h-コボルディズム定理やPoincaré双対性）は、実閉体のo-極小拡張へと拡張可能か？
• RQ3 ホモトピー群、コホモロジー、コボルディズム群といった位相的不変量は、o-極小構造における実閉体Rの選択に依存しないか？
• RQ4 非アーケィメデス的実閉体Rのo-極小拡張において、$ S^1 $上の微分同相写像の構造的安定性は成立するか？
• RQ5 任意のPL多様体上の定義可能な$ C^r $多様体構造は、R-拡張によって実$ C^r $構造から得られるか？

主な発見

• o-極小 Hauptvermutungは成立する：任意の実閉体Rにおけるコンパクトな定義可能集合は、PLホメオモルフィズムを除いて一意に三角形分割可能である。
• コンパクトな定義可能位相多様体は一意なPL構造を持つため、o-極小幾何学の意味で「なめらか」である。
• 古典的なPLおよび微分位相幾何学の不変量（ホモトピー群、コホモロジー、コボルディズム群、余次元群）は、実閉体Rの選択に依存しない。
• h-コボルディズム定理、Poincaré双対性、および$ C^r $三角形分割に関するCairnes-Whitehead定理は、任意の実閉体R上のo-極小構造において成り立つ。
• 非アーケィメデス的実閉体上での$ C^∞ $微分同相写像は、R上では安定であるが、構造的安定性を失う。
• コンパクトな$ R $-PL多様体が$ C^r $構造を持つための必要十分条件は、そのR-拡張が定義可能な$ C^r $構造を持つことである。これにより、実構造と定義可能構造の間の正確な対応関係が確立される。