[論文レビュー] Separable and tree-like asymptotic cones of groups

Alessandro Sisto|arXiv (Cornell University)|Oct 6, 2010

Geometric and Algebraic Topology参考文献 12被引用数 3

ひとこと要約

この論文は非標準解析を用いて、群の漸近的コーンとして現れる可能性のある距離空間を特徴づけ、幾分かの分離可能な漸近的コーンしか持たない群がほとんどべき零であることを証明し、実木構造として現れる可能性のあるものについて分類している—具体的には、各点で $2^{\aleph_0}$-有理度を持つ木のみが許容される。

ABSTRACT

Using methods from nonstandard analysis, we will discuss which metric spaces can be realized as asymptotic cones. Applying the results we will find in the context of groups, we will prove that a group with "a few" separable asymptotic cones is virtually nilpotent, and we will classify the real trees appearing as asymptotic cones of (not necessarily hyperbolic) groups.

研究の動機と目的

• 非標準解析を用いて、どの距離空間が群の漸近的コーンとして実現可能かを特定すること。
• 特に分離可能性と次元に関連する、漸近的コーンの幾何学的・位相的制約を調査すること。
• 任意の（必ずしも双曲的でない）群の漸近的コーンとして現れる実木構造を分類すること。
• 群の漸近的コーンの構造に基づいて、群がほとんどべき零であることを保証する条件を確立すること。
• 任意の完備距離空間が、ある距離空間の漸近的コーンとして実現可能であることを示し、この構成の完全性を示すこと。

提案手法

• 距離空間および群の非標準拡張を用いて、無限小スケーリングと超積を介して漸近的コーンを定義する。
• 非標準拡張における内部集合は有限または $2^{\aleph_0}$ 以上であるという二分岐性を用いて、位相的制約を導出する。
• 内部点によるコンパクト性の非標準的特徴づけを応用し、コーン構成における全射性を証明する。
• 先行研究で確立されたように、有限のミンコフスキー次元を持つ適切な漸近的コーンは、ほとんどべき零性を示す。
• 与えられた完備距離空間 $X$ から、$X$ が $Y$ の漸近的コーンに等長同型となるような距離空間 $Y$ を構成する。この際、ワーブド積に類似した距離関数を用いる。
• 一様性とスケーリング不変性を活用して、異なる無限小スケーリング要因における漸近的コーンの構造を分析する。

実験結果

リサーチクエスチョン

• RQ1 どの距離空間が群または距離空間の漸近的コーンとして現れるか？
• RQ2 分離可能な漸近的コーンを持つ群が、どのような条件下でほとんどべき零になるか？
• RQ3 双曲的でない群の漸近的コーンとして現れる実木構造はどのようなものか？
• RQ4 任意の完備距離空間が、ある他の距離空間の漸近的コーンとして実現可能か？
• RQ5 漸近的コーンの位相的および幾何学的性質（例：分離可能性、次元）は、元の群にどのように反映されるか？

主な発見

• 分離可能な距離空間が漸近的コーンであるためには、それが完備でなければならない。したがって、分離可能なヒルベルト空間は漸近的コーンとして現れない。
• 群 $G$ がスケーリング要因が区間 $[\nu_1, \nu_2]$ に含まれるすべての漸近的コーンが分離可能であるならば、$G$ はほとんどべき零である。
• 群の漸近的コーンとして現れる唯一の実木構造は、点、実直線、または各点で有理度 $2^{\aleph_0}$ を持つ木である。
• 任意の完備距離空間 $X$ は、ある距離空間 $Y$ の漸近的コーンに等長同型であり、$X$ が測地的かつ非有界であるならば、$Y$ も測地的に選べる。
• $Y$ の構成は、$X \times \mathbb{N}$ の非標準拡張を用い、漸近的コーンが $X$ を回復するように慎重に定義された距離関数を用いる。
• 証明は、非標準的コンパクト性の特徴づけに依拠している：コンパクト集合の非標準拡張における内部点は、標準点に無限に近い。