[論文レビュー] On the comparison of different notions of geometric categories

Joerg Schuermann|ArXiv.org|Jan 29, 2002

Advanced Topology and Set Theory参考文献 13被引用数 3

ひとこと要約

本稿は、実幾何における3つの公理的枠組み—o-極小構造、解析的幾何的カテゴリ（van den Dries-Miller）、$ψ$-集合（Shiota）—を統合・比較するための概念「Nash幾何的カテゴリ」を導入する。解析的幾何的カテゴリをNash多様体に制限することで、これらのシステム間の標準的対応関係を確立し、三角形分割、ウィットニーの区分化、定義可能関数を$C^p$関数の零点として表すといった主要な結果を、異なる枠組み間で移行可能にする。

ABSTRACT

We explain our notion of a Nash geometric category, which allows an easy comparison between the following different axiomatic notions of geometric categories: o-minimal structures on the real field, analytic geometric categories and X-sets (as defined by van den Dries, Miller and Shiota).

研究の動機と目的

• o-極小構造、解析的幾何的カテゴリ、$ψ$-集合—3つの異なる公理的枠組みの間における体系的な比較の欠如を解消すること。
• 基礎的仮定の相違により、曲線選択、成長二分法、一般性の自明性といった高度な結果がこれらの枠組み間で移行できないというギャップを埋めること。
• o-極小構造、解析的幾何的カテゴリ、$ψ$-集合の3つのシステム間の直接的比較と結果移行を可能にする統一的枠組み「Nash幾何的カテゴリ」を提唱すること。
• Nash幾何的カテゴリ構成が、重要な性質（例えば射影や正規写像に関する安定性）を保存することを示し、1つのシステムにおける結果を他者へ拡張できることを示すこと。

提案手法

• van den DriesとMillerの解析的幾何的カテゴリをNash多様体に制限することで「Nash幾何的カテゴリ」を定義し、代数的および部分解析的構造と整合性を持つようにする。
• 任意の$×$上のo-極小構造に対して、それが一意に対応するNash幾何的カテゴリを誘導することを用いて、$×$上のo-極小構造とNash幾何的カテゴリの間の一対一対応を確立する。
• 局所的Nash同型と有界性条件を介して、$ψ$-集合（Shiota）の公理が、与えられた構成下でNash幾何的カテゴリの公理と同値であることを証明する。
• 同値性を用いて結果を移行する：例えば、o-極小構造で成り立つ結果（例：閉じた定義可能集合が$C^p$関数の零点として表せること）が、解析的幾何的カテゴリおよび$ψ$-集合へも拡張可能であることを示す。
• Nash同型技法を用いて、アフィン空間における局所的帰着により、大域的命題を簡略化し、Nash写像が代数的および$ψ$-集合的性質を保存することを活用する。
• Nash枠組み下で、解析的幾何的カテゴリの公理（AG1–AG5）および$ψ$-集合の公理（X1–Xiv）が、積、射影、正規写像に関する安定性を用いて満たされることを検証する。

実験結果

リサーチクエスチョン

• RQ1 基礎的公理が異なるにもかかわらず、o-極小構造、解析的幾何的カテゴリ、$ψ$-集合を体系的に比較する方法は何か？
• RQ2 これら3つの幾何的カテゴリを統一する共通の枠組みを構築可能か？ そして、それによって異なる枠組み間での結果移行が可能か？
• RQ3 三角形分割、ウィットニーの区分化、定義可能関数を零点として表すことといった、主要な結果が、これらのカテゴリ全体に一様に成り立つか？
• RQ4 Nash多様体は、解析的およびモデル理論的アプローチの幾何的カテゴリを統合するために果たす役割は何か？
• RQ5 o-極小構造と解析的幾何的カテゴリの対応関係を、統一的Nash形式主義を介して$ψ$-集合へ拡張可能か？

主な発見

• 任意の$×$上のo-極小構造に対して、それが一意に関連するNash幾何的カテゴリを有し、モデル理論的枠組みと解析的幾何的枠組みの橋渡しを果たす。
• $ψ$-集合のカテゴリは、Nash幾何的カテゴリのカテゴリと同値であり、代数的、部分解析的、o-極小幾何学の統一的基盤を確立する。
• 定義可能写像の三角形分割、三角形分割の一意性、トムの同相型補題といった結果が、Nash幾何的カテゴリ枠組みにおいて一様に成立する。
• 任意のこのようなカテゴリにおける閉じた定義可能集合は、正確に定義可能$C^p$関数（$1 \leq p < \infty$）の零点として表され、van den DriesとMillerの結果を一般化する。
• 定義可能族の一般性の自明性および多項式的有界o-極小構造における成長二分法の結果が、Nash幾何的カテゴリの設定へ拡張可能である。
• 同値性の証明は、局所的Nash同型と有界性に依拠しており、代数的近傍における局所的に定義された性質が、カテゴリの公理により大域的に持ち上げられることを保証する。