[论文解读] 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

一句话总结

本文证明了当 $\delta$ 足够小时，对于所有 $1 \leq p < \infty$ 且 $p \neq 4,6,8,\ldots$，$L_p(0,1)$ 空间中等距同构群在有限维子空间的 $\delta$-等距嵌入空间上的作用是 $\varepsilon$-传递的，其方法是通过扩展 Plotkin-Rudin 等测度原理。主要贡献在于引入了 Fraïssé Banach 空间的概念，并通过多维 Borsuk-Ulam 陈述，为 $\ell_p^n$ 空间提供了 Ramsey 性质的新证明。

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$-传递性结果。
• 定义并研究 Fraïssé Banach 空间的概念，识别出 $L_p(0,1)$（$p \neq 4,6,8,\ldots$）和 Gurarij 空间作为典型例子。
• 通过将 Ramsey 性质解释为多维 Borsuk-Ulam 陈述，为类 $\{\ell_p^n\}_{n}$（$p \neq 2,\infty$）提供新的证明。
• 建立一个 Kechris-Pestov-Todorcevic 对应关系的版本，将近似超同构 Banach 空间背景下，超同构性与 Ramsey 性质联系起来。

提出的方法

• 将 Plotkin-Rudin 等测度原理扩展至处理 $L_p$ 空间中的 $\delta$-等距嵌入，从而实现对等距同构群作用下扰动的控制。
• 引入了 Fraïssé Banach 空间这一概念，作为一类度量结构，其有限维子空间满足并置与联合嵌入性质，将 Fraïssé 理论推广至 Banach 空间。
• 将对偶 Ramsey 定理应用于商映射空间 $\mathrm{Quo}^\perp(\ell_1^n, \ell_1^d)$，以推导出 $\ell_p^n$ 空间的 Ramsey 型结果。
• 在乘积空间 $\Lambda = \Delta \times E$ 上使用词典序，其中 $\Delta$ 编码缩放后的基向量，$E$ 编码单射函数与符号选择，以建模嵌入。
• 构造一个刚性满射 $h \in \mathrm{Epi}(\Lambda, \Delta)$，以逼近算子的复合，并通过 $\varepsilon$ 控制算子范数差。
• 通过修改的 KPT 对应关系，建立 $\{\ell_p^n\}$ 的 Ramsey 性质与等距同构群极端可迁性之间的联系。

实验结果

研究问题

• RQ1 对于哪些 $p \in [1,\infty)$ 且 $p \neq 4,6,8,\ldots$，$\mathrm{Iso}(L_p(0,1))$ 在 $\mathrm{Emb}_\delta(X, L_p(0,1))$ 上的作用是 $\varepsilon$-传递的（当 $\delta$ 足够小时）？
• RQ2 Plotkin 和 Rudin 的经典等测度原理应如何扩展，以支持 $L_p$ 空间中的 $\varepsilon$-传递性？
• RQ3 等距同构群在 $\delta$-等距嵌入上 $\varepsilon$-传递作用的 Banach 空间具有何种结构特征？其与 Fraïssé 理论的关系如何？
• RQ4 能否从多维 Borsuk-Ulam 原理推导出类 $\{\ell_p^n\}_{n}$（$p \neq 2,\infty$）的 Ramsey 性质？
• RQ5 Kechris-Pestov-Todorcevic 对应关系如何推广至近似超同构 Banach 空间？其如何将有限维子空间的 Ramsey 性质与等距同构群的极端可迁性联系起来？

主要发现

• 当 $\delta$ 足够小时，对于所有 $1 \leq p < \infty$ 且 $p \neq 4,6,8,\ldots$，等距同构群 $\mathrm{Iso}(L_p(0,1))$ 在有限维子空间到 $L_p(0,1)$ 的 $\delta$-等距嵌入空间上的作用是 $\varepsilon$-传递的。
• 作者定义了一类新的 Banach 空间，称为 Fraïssé Banach 空间，其中 $L_p(0,1)$（$p \neq 4,6,8,\ldots$）和 Gurarij 空间是典型例子，其特征为有限维子空间的并置与联合嵌入性质。
• 通过多维 Borsuk-Ulam 陈述，证明了类 $\{\ell_p^n\}_{n}$（$p \neq 2,\infty$）的 Ramsey 性质，该结果与 Graham-Rothschild 算术 Ramsey 定理相关联。
• 建立了一个 Kechris-Pestov-Todorcevic 对应关系的新版本，表明近似超同构空间 $X$ 的等距同构群的极端可迁性，等价于其有限维子空间的 Ramsey 性质。
• 证明依赖于在缩放基向量与符号函数的有序集合之间构造一个刚性满射 $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$-误差内有限逼近。