[論文レビュー] Amalgamation and Ramsey properties of $L_p$ spaces

Valentin Ferenczi, J. López-Abad+2 more|arXiv (Cornell University)|Mar 13, 2019

Advanced Topology and Set Theory参考文献 21被引用数 5

ひとこと要約

本稿は、$1 \leq p < \infty$、$p \neq 4,6,8,\ldots$ における $L_p(0,1)$ 空間の等長群が、$\delta$ が十分に小さいとき、有限次元部分空間の $\delta$-等長埋め込みの空間上で $\varepsilon$-推移的であることを、Plotkin-Rudin の等測定性原理を拡張することで確立する。主な貢献は、Fraïssé バナッハ空間の概念の導入と、$\ell_p^n$ 空間のラマージュ性の新しい証明であり、これは多次元 Borsuk-Ulam 表現として解釈される。

ABSTRACT

We study the dynamics of the group of isometries of $L_p$-spaces. In particular, we study the canonical actions of these groups on the space of $δ$-isometric embeddings of finite dimensional subspaces of $L_p(0,1)$ into itself, and we show that for $p eq 4,6,8,\ldots$ they are $\varepsilon$-transitive provided that $δ$ is small enough. We achieve this by extending the classical equimeasurability principle of Plotkin and Rudin. We define the central notion of a Fraïssé Banach space which underlies these results and of which the known separable examples are the spaces $L_p(0,1)$, $p eq 4,6,8,\ldots$ and the Gurarij space. We also give a proof of the Ramsey property of the classes $\{\ell_p^n\}_n$, $p eq 2,\infty$, viewing it as a multidimensional Borsuk-Ulam statement. We relate this to an arithmetic version of the Dual Ramsey Theorem of Graham and Rothschild as well as to the notion of a spreading vector of Matoušek and Rödl. Finally, we give a version of the Kechris-Pestov-Todorcevic correspondence that links the dynamics of the group of isometries of an approximately ultrahomogeneous space $X$ with a Ramsey property of the collection of finite dimensional subspaces of $X$.

研究の動機と目的

• $L_p(0,1)$ 空間における等長群の力学的性質、特に有限次元部分空間の $\delta$-等長埋め込み上での推移的性質を調査すること。
• Plotkin と Rudin の古典的等測定性原理を拡張し、$L_p$ 空間における $\varepsilon$-推移性結果を支持すること。
• $L_p(0,1)$（$p \neq 4,6,8,\ldots$）および Gurarij 空間を代表例として持つ、Fraïssé バナッハ空間の概念を定義・研究すること。
• $p \neq 2,\infty$ の $\{\ell_p^n\}_{n}$ のクラスにおけるラマージュ性の新しい証明を提供し、それを多次元 Borsuk-Ulam 表現として解釈すること。
• 近似的に超同型なバナッハ空間の文脈において、超同型性とラマージュ性を結ぶ Kechris-Pestov-Todorcevic 対応のバージョンを確立すること。

提案手法

• $L_p$ 空間における $\delta$-等長埋め込みを扱えるように、Plotkin-Rudin の等測定性原理を拡張し、等長群作用における摂動を制御可能にする。
• 有限次元部分空間が結合と共同埋め込みを満たすメトリック構造として、バナッハ空間への Fraïssé 理論の一般化を目的とする Fraïssé バナッハ空間の概念を導入する。
• $\mathrm{Quo}^\perp(\ell_1^n, \ell_1^d)$ の商写像空間に双対ラマージュ定理を適用し、$\ell_p^n$ 空間におけるラマージュ型結果を導出する。
• スケーリングされた基底ベクトルを符号化する $\Delta$ と、単射関数および符号選択を符号化する $E$ の積空間 $\Lambda = \Delta \times E$ に辞書式順序を導入し、埋め込みをモデル化する。
• 演算子の合成を近似し、演算子ノルムの差を $\varepsilon$ 以内に抑えるために、$\Lambda$ から $\Delta$ への剛性全射 $h \in \mathrm{Epi}(\Lambda, \Delta)$ を構成する。
• $\{\ell_p^n\}$ のラマージュ性と、等長群の極端な可換性の間の関係を、メトリック構造に適応した修正版 KPT 対応を用いて確立する。

実験結果

リサーチクエスチョン

• RQ1 どの $p \in [1,\infty)$（$p \neq 4,6,8,\ldots$）に対して、$\delta$ が十分に小さいとき、$\mathrm{Iso}(L_p(0,1))$ の $\mathrm{Emb}_\delta(X, L_p(0,1))$ 上での作用が $\varepsilon$-推移的となるか？
• RQ2 Plotkin と Rudin の古典的等測定性原理は、どのようにして $L_p$ 空間における $\varepsilon$-推移性を支持するように拡張可能か？
• RQ3 等長群が $\delta$-等長埋め込み上で $\varepsilon$-推移的に作用するバナッハ空間の構造的特徴は何か？ これは Fraïssé 理論とどのように関係するか？
• RQ4 $p \neq 2,\infty$ の $\{\ell_p^n\}_{n}$ のクラスにおけるラマージュ性は、多次元 Borsuk-Ulam 原理から導出可能か？
• RQ5 Kechris-Pestov-Todorcevic 対応は、近似的に超同型なバナッハ空間にどのように拡張可能か？ 有限次元部分空間のラマージュ性と等長群の極端な可換性を結ぶ関係は何か？

主な発見

• $1 \leq p < \infty$、$p \neq 4,6,8,\ldots$ に対して、$\delta$ が十分に小さいとき、$\mathrm{Iso}(L_p(0,1))$ は $L_p(0,1)$ への有限次元部分空間の $\delta$-等長埋め込みの空間上で $\varepsilon$-推移的である。
• 著者らは、$L_p(0,1)$（$p \neq 4,6,8,\ldots$）および Gurarij 空間が代表例である、新たなバナッハ空間のクラスである Fraïssé バナッハ空間を定義した。この空間は、有限次元部分空間の結合性と共同埋め込み性によって特徴づけられる。
• $p \neq 2,\infty$ の $\{\ell_p^n\}_{n}$ のクラスにおけるラマージュ性は、多次元 Borsuk-Ulam 表現を介して証明され、Graham-Rothschild 算術的ラマージュ定理と関連づけられる。
• 極端な可換性とラマージュ性の関係を示す、Kechris-Pestov-Todorcevic 対応の新しいバージョンを確立した。これは、近似的に超同型な空間 $X$ の等長群の極端な可換性が、その有限次元部分空間のラマージュ性と同値であることを示している。
• 証明は、スケーリングされた基底ベクトルと符号関数の間の順序付き集合間の剛性全射 $h$ の構成に依存し、すべての演算子 $\tau$ に対して $\|\tau \circ \sigma - \Phi(h \circ g)\| \leq \varepsilon$ が成り立つようにすることで、$\varepsilon$-近似的な単色性を達成する。
• 基底ベクトルの離散化版 $s(l/e)u_k$（$l \leq e = \lceil 1/\varepsilon \rceil$）を用いることで、$\varepsilon$-誤差内での等長埋め込みの有限近似が可能になる。