[論文レビュー] Algebraically constructible functions: real algebra and topology

Clint McCrory, Adam Parusiński|arXiv (Cornell University)|Feb 9, 2002

Advanced Topology and Set Theory被引用数 5

ひとこと要約

この論文は、実代数幾何と位相幾何の橋渡しとして代数的構成可能関数を導入し、リンク作用素から得られる局所不変量を用いて、位相空間が実代数的集合に位相的に同相であるための条件を特徴づける。主な貢献は、次元4における完全な局所位相的障害の集合であり、具体的には2^43 − 43個の不変量が実代数的集合上でのみ消失する。これは、Akbulut-KingおよびCoste-Kurdykaの先行結果を一般化するものである。

ABSTRACT

Algebraically constructible functions connect real algebra with the topology of algebraic sets. In this survey we present some history, definitions, properties, and algebraic characterizations of algebraically constructible functions, and a description of local obstructions for a topological space to be homeomorphic to a real algebraic set.

研究の動機と目的

• 実代数と位相幾何を結ぶ道具として代数的構成可能関数を定義・研究すること。
• Sullivanの実代数的集合におけるオイラー特性の条件を、高次元の局所不変量へ一般化すること。
• 三角化可能な空間が実代数的集合に位相同型であるための完全な局所位相的障害を同定すること。
• 解体塔と複素化の役割が、これらの不変量の構成に果たす影響を調査すること。
• 次元4において、これらの不変量が消失することは、空間が実代数的集合に位相同型であることを示すか、それらの同型性を特徴づけるかを同定すること。

提案手法

• 実代数幾何と実スペクトルを用いて、多項式の符号の有限和として定義される代数的構成可能関数を定義する。
• 構成可能関数から局所不変量を生成するための主要な道具として、半リンク作用素$\tilde{\Lambda}$を導入する。
• 作用素$\tilde{\Lambda}$と変換$P(\varphi) = \frac{1}{2}(\varphi^4 - \varphi^2)$を用いて、次元4における$2^{43} - 43$個の局所不変量を構成する。
• 特異点の解体と複素化を用いて、不変量をミルナー・ファイバー上のモノドロミー作用および共役作用に関連付ける。
• ファン理論的およびNash構成可能関数の技法を用いて、多項式和の表現可能性と最小性を特徴づける。
• 不変量の吹き出し（blow-ups）における振る舞いを解析し、Akbulut-Kingの解体塔不変量と比較する。

実験結果

リサーチクエスチョン

• RQ1 変換$P(\varphi) = \frac{1}{2}(\varphi^4 - \varphi^2)$は代数的構成可能関数を保存するか。また、解体塔を用いない位相的証明は可能か。
• RQ2 コンパクトな4次元の三角化可能空間$X$について、すべての点$x$におけるリンク$ \operatorname{lk}(x,X)$の局所不変量が消失するならば、$X$は実代数的集合に位相同型であるか。
• RQ3 次元4における$2^{43} - 43$個の不変量は、Sullivanの元来のアプローチと同様に複素化を用いて構成可能か。
• RQ4 局所不変量が消失する4次元空間に対して、位相的解体塔が存在するか。また、その塔が代数的性を満たす条件を満たすか。
• RQ5 線形写像$c: \mathcal{A}_3' \to (\mathbb{Z}/2)^N$は単射か。すなわち、不変量の消失が次元3における実代数的集合のリンクを特徴づけるか。

主な発見

• 代数的構成可能関数とは、まさに多項式の符号の有限和として表せる構成可能関数そのものである。
• 半リンク作用素$\tilde{\Lambda}$は、Akbulut-KingおよびCoste-Kurdykaの不変量を一般化する局所不変量を生成する。
• 次元4において、実代数的集合のリンクに位相同型である場合に限り消失する、$2^{43} - 43$個の独立した局所位相不変量が存在する。
• 次元4のコンパクトな弧対称的半代数的集合に対して、すべての点で$2^{43} - 43$個の不変量が消失する。
• 変換$P(\varphi) = \frac{1}{2}(\varphi^4 - \varphi^2)$は代数的構成可能関数を保存するが、有限和表現がなければ、Nash構成可能関数への保存性は未解決のままである。
• 実解析的集合はオイラー空間であり、Akbulut-Kingの不変量はそれらで消失する。これはSullivanの元来の結果と整合的である。