[論文レビュー] A topological obstruction for small-distortion embeddability into spaces of continuous functions on countable compact metric spaces

Florent P. Baudier|arXiv (Cornell University)|May 17, 2013

Advanced Banach Space Theory参考文献 3被引用数 3

ひとこと要約

本稿は、可分なバナッハ空間および距離空間を、可算なコンパクトな距離空間 $K$ 上の連続関数空間に埋め込む際の $c(K)$-歪みに関する、これまでに知られていた最初の下界を確立する。カントール＝ベンディクソン導来の位相的不変量を用いて、$K = [0,\omega^k \cdot n]$ の場合、歪み $D_k$ が $D_k \geq \frac{k+1}{k}$ を満たすことを証明する。$k=1$ の場合に等号が成立し、$D_2 = 2$ となることから、中間の歪み閾値に関する長年の理解の空白が解消される。

ABSTRACT

We give the first lower bound on the $\scr C(K)$-distortion of the class of separable Banach spaces, for $K$ a countable compact in the family $\{ [0,ω],[0,ω\cdot2],\cdots, [0,ω^2], \cdots, [0,ω^k\cdot n],\cdots,[0,ω^ω]\}$.

研究の動機と目的

• 可分なバナッハ空間および距離空間を、$K$ が可算なコンパクトな距離空間である $\scr C(K)$ に双リプシッツ埋め込みする際の最良の歪みを特定すること。
• 既知の極端な歪み値（$K=[0,1]$ の場合 $D=1$、$K=[0,\omega]$ の場合 $D=2$）の間の、中間の歪み値に関する理解のギャップを埋めるために、$K$ のカントール＝ベンディクソン階層が高くなる場合の下界を確立すること。
• 特に、$\scr C(K)$-埋め込みでより小さい歪みを防ぐ位相的障害、具体的にはカントール＝ベンディクソン導来順序を同定すること。

提案手法

• 本稿は、カントール＝ベンディクソン導来階層を用いて、$K$ の最後の非空導来集合の順序である位相的不変量 $\sigma(K)$ を定義する。
• 可分な距離空間を $\scr C(K)$ に双リプシッツ埋め込む際の歪みの下界として、$\scr C(K)$-歪み $c_{\scr C(K)}(\textrm{SEP})$ を定義する。
• $K = [0,\omega^k \cdot n]$ の $\scr C(K)$-空間の構造を分析することで、$\sigma(K) = k$ に基づく位相的障害を構築する。
• もし $\sigma(K) = k \geq 2$ であれば、$c_{\scr C(K)}(\textrm{SEP}) \geq \frac{k+1}{k}$ を示す。この証明には双対性および $\scr C(K)$ 内の $c_0$-飽和部分空間の性質を用いる。
• 証明の根拠は、可算な $K$ に対して $\scr C(K)$-空間が $c_0$-飽和していることにある。したがって、$\sigma(K) = k$ のとき、すべての可分バナッハ空間を $\frac{k+1}{k}$ より小さい歪みで埋め込むことは不可能である。
• 証明は、非線形幾何学の古典的結果（例：Kalton-Lancien の埋め込み）と、可算コンパクト空間の理論における記述的集合論的道具を組み合わせる。

実験結果

リサーチクエスチョン

• RQ1 可算なコンパクトな距離空間 $K$ でカントール＝ベンディクソン階層が $k \geq 2$ である場合、すべての可分距離空間を $\scr C(K)$ に埋め込む際の最良の歪みは何か？
• RQ2 $K = [0,\omega^k \cdot n]$ の歪み $D_k$ が $\frac{k+1}{k}$ より厳密に小さいことは可能か？ あるいはこの境界は鋭いか？
• RQ3 $K$ の位相的不変量として、すべての可分バナッハ空間を普遍的に埋め込む際の最小可能 $\scr C(K)$-歪みを特徴づけるものがあるか？
• RQ4 どの可算コンパクトな $K$ に対して $c_{\scr C(K)}(\textrm{SEP}) = 1$ が成り立ち、この現象が成立するための $K$ の必要十分な位相的条件は何か？

主な発見

• 任意の可算コンパクト距離空間 $K$ でカントール＝ベンディクソン階層 $\sigma(K) = k \geq 2$ であるとき、可分距離空間のクラスの $\scr C(K)$-歪みは $c_{\scr C(K)}(\textrm{SEP}) \geq \frac{k+1}{k}$ を満たす。
• 特に、$K = [0,\omega \cdot 2]$ の場合、歪み $D_2$ は正確に 2 であり、Kalton と Lancien が示した既知の上界と一致する。
• $k=1$ の場合、境界 $\frac{k+1}{k}$ は鋭く、$D_1 = 2$ である。これは、以前は $D_k \leq 2$ のみが分かっていたことと比較して、新たな知見である。
• 本稿は、$c_{\scr C(K)}(\textrm{SEP}) = 1$ であるのは $\sigma(K) \geq \omega$ の場合に限ることを示しており、$\scr C(K)$ が可分バナッハ空間のほぼ等長な普遍空間であるためには、$K$ が無限大のカントール＝ベンディクソン階層を持つ必要があることを示唆する。
• 結果として、完全な位相的障害が確立された：$\sigma(K)$ が有限である $\scr C(K)$-空間は、$k = \sigma(K)$ に対して、すべての可分バナッハ空間を $\frac{k+1}{k}$ より小さい歪みで埋め込むことはできない。
• 本稿は $D_2 = 2$ の場合を解決し、より高い $k$ に対する $D_k$ を分析するための枠組みを提供する。$D_k = \frac{k+1}{k}$ が最適である可能性が示唆される。