[論文レビュー] A coarse characterization of the Baire macro-space

Тарас Банах, Ihor Zarichnyi|arXiv (Cornell University)|Mar 26, 2011

Advanced Operator Algebra Research参考文献 5被引用数 3

ひとこと要約

この論文は、漸近次元が0である粗く一様な分離可能距離空間を、粗い分類している。その結果、これらは3つの標準的空間のいずれかと粗い一様同型であることが示された：単一の点、カントール粗い立方体 $2^{<\mathbb{N}}$、またはバーレ粗い空間 $ \omega^{<\mathbb{N}}$。主な貢献は、非有界な幾何構造と漸近次元0を用いたバーレ粗い空間の特徴付けである。

ABSTRACT

We prove that each coarsely homogenous separable metric space $X$ is coarsely equivalent to one of the spaces: the sigleton, the Cantor macro-cube or the Baire macro-space. This classification is derived from coarse characterizations of the Cantor macro-cube and of the Baire macro-space given in this paper. Namely, we prove that a separable metric space $X$ is coarsely equivalent to the Baire macro-space if any only if $X$ has asymptotic dimension zero and has unbounded geometry in the sense that for every $δ$ there is $ε$ such that no $ε$-ball in $X$ can be covered by finitely many sets of diameter $\le δ$.

研究の動機と目的

• 漸近次元が0である粗く一様な分離可能距離空間を、粗い一様同型の意味で分類すること。
• 非有界で局所的に有限でない空間の標準的モデルとして、バーレ粗い空間 $\omega^{<\mathbb{N}}$ の粗い特徴付けを提供すること。
• 有界幾何構造と非有界幾何構造といった幾何的不変量を用いて、バーレ粗い空間をカントール粗い立方体および単一の点から区別すること。
• 非有界幾何構造と漸近次元0が、$\omega^{<\mathbb{N}}$ との粗い一様同型を完全に特徴付けることを確立すること。

提案手法

• 距離空間間の粗い同型を定義するために、粗い一様写像と多重写像を用いる。
• 多重写像 $\Phi$ に対して、歪みの度合を測るための振動関数 $\omega_\Phi(\delta)$ を定義する。
• 漸近的構造を分析するための主要な道具として、$\varepsilon$-連結成分 $C_\varepsilon(x)$ を導入する。
• 2つの基数不変量を定義する：$\operatorname{cov}_\delta^\varepsilon(X)$（$\varepsilon$-球の被覆の下限）および $\operatorname{Cov}_\delta^\varepsilon(X)$（上限）。これらを用いて有界幾何構造と非有界幾何構造を定義する。
• タワー同型理論の応用：空間 $X$ に関連する木 $T_X^L$ を構成し、$\deg_n(T_\omega) = \omega$ を満たす普遍的木 $T_\omega$ と同型であることを示す。
• 粗く一様な同型性を用いて、制御関数 $\varphi$ を用いて、$\omega_\Phi \leq \varphi$ を満たす粗い一様同型 $\Phi$ を構成する。

実験結果

リサーチクエスチョン

• RQ1 漸近次元が0である粗く一様な分離可能距離空間のうち、どの空間がバーレ粗い空間 $\omega^{<\mathbb{N}}$ と粗い一様同型であるか？
• RQ2 バーレ粗い空間は、カントール粗い立方体 $2^{<\mathbb{N}}$ や単一の点と、どのような幾何的条件によって区別されるか？
• RQ3 非有界幾何構造（$\varepsilon$-球の均一な有限被覆の失敗）は、粗い同型とどのように関係するか？
• RQ4 バーレ粗い空間は、漸近次元0と非有界幾何構造のみによって完全に特徴付けられるか？
• RQ5 すべての粗く一様で非有界かつ漸近的に0次元の空間は、3つの標準的モデルのいずれかと粗く同型であるか？

主な発見

• 漸近次元が0である粗く一様な分離可能距離空間 $X$ は、次のいずれかと粗い一様同型である：単一の点 $1$、カントール粗い立方体 $2^{<\mathbb{N}}$、またはバーレ粗い空間 $\omega^{<\mathbb{N}}$。
• バーレ粗い空間 $\omega^{<\mathbb{N}}$ は、漸近次元0と非有界幾何構造を満たす空間の中で、粗い同型を除いて一意に特徴付けられる。
• 非有界幾何構造とは、任意の $\delta < \infty$ に対して、ある $\varepsilon < \infty$ が存在し、$X$ のある点 $x$ に対して $\operatorname{cov}_\delta(B_\varepsilon(x)) = \infty$ となることとして定義される。
• もし $X$ が非有界で有界幾何構造を持つならば、漸近的に孤立した球が存在しないことから、$2^{<\mathbb{N}}$ と粗い一様同型であることが示された。
• 証明では、粗く一様な同型性を保証する制御関数 $\varphi$ を用いて、被覆不変量を空間間で保存するような粗い一様同型 $\Phi$ を構成した。
• $\deg_n(T_\omega) = \omega$ を満たす普遍的木 $T_\omega$ の境界は、$\omega^{<\mathbb{N}}$ と粗い一様同型であり、この同型は空間 $X$ に関連する木 $T_X^L$ を通じて $X$ へと持ち上げられる。