[논문 리뷰] Amalgamation and Ramsey properties of $L_p$ spaces

Valentin Ferenczi, J. López-Abad외 2명|arXiv (Cornell University)|2019. 03. 13.

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é 바나흐 공간의 개념을 도입하고, 다차원 Borsuk-Ulam 문장으로서 $\ell_p^n$ 공간들의 레이먼드 성질에 대한 새로운 증명을 제시하는 것이다.

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é 바나흐 공간의 개념을 정의하고 연구하며, $p \neq 4,6,8,\ldots$ 인 $L_p(0,1)$ 및 구라리지 공간을 표준적인 예로 식별한다.
• $p \neq 2,\infty$ 인 $\{\ell_p^n\}_{n}$ 클래스에 대한 레이먼드 성질에 대한 새로운 증명을 제시하며, 이를 다차원 Borsuk-Ulam 문장으로 해석한다.
• 약간의 초등균형성 바나흐 공간의 맥락에서, 초등균형성과 레이먼드 성질을 연결하는 Kechris-Pestov-Todorcevic 대응의 한 버전을 확립한다.

제안 방법

• Plotkin-Rudin 등면적성 원리를 $L_p$ 공간 내의 $\delta$-등장변환 임베딩을 다룰 수 있도록 확장하여, 등장변환군 작용에서의 변형을 제어할 수 있도록 한다.
• 유한차원 부분공간이 융합성과 공동 포함성을 만족하는 메트릭 구조로서, 바나흐 공간으로의 Fraïssé 이론의 일반화를 목적으로 하는 Fraïssé 바나흐 공간의 개념을 도입한다.
• 몫 사상 공간 $\mathrm{Quo}^\perp(\ell_1^n, \ell_1^d)$ 에 이중 레이먼드 정리 적용을 통해 $\ell_p^n$ 공간에 대한 레이먼드 유사 결과를 도출한다.
• 스케일된 기저 벡터를 코딩하는 $\Delta$와 단사 함수 및 부호 선택을 코딩하는 $E$의 곱공간 $\Lambda = \Delta \times E$ 에 레이싱 순서를 도입하여 임베딩을 모델링한다.
• 연산자 합성의 근사와 연산자 노름 차이를 $\varepsilon$ 이내로 제한하기 위해, $h \in \mathrm{Epi}(\Lambda, \Delta)$ 를 이용한 강성 전단사 함수를 구성한다.
• $\{\ell_p^n\}$ 의 레이먼드 성질과 등장변환군의 극도로 미소한 성질 사이의 연결을, 메트릭 구조에 대한 수정된 KPT 대응을 통해 수립한다.

실험 결과

연구 질문

• RQ1 모든 $1 \leq p < \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$ 인 모든 $p$ 에 대해, 충분히 작은 $\delta$ 에 대해 등장변환군 $\mathrm{Iso}(L_p(0,1))$ 이 $L_p(0,1)$ 에 유한차원 부분공간의 $\delta$-등장변환 임베딩 공간 위에서 $\varepsilon$-준전이적으로 작용한다.
• 저자들은 새로운 바나흐 공간의 클래스인 Fraïssé 바나흐 공간을 정의하였으며, $p \neq 4,6,8,\ldots$ 인 $L_p(0,1)$ 및 구라리지 공간이 표준적인 예로, 이는 유한차원 부분공간의 융합성과 공동 포함성을 특징으로 한다.
• $p \neq 2,\infty$ 인 $\{\ell_p^n\}_{n}$ 클래스의 레이먼드 성질은 다차원 Borsuk-Ulam 문장에 기반한 증명을 통해 입증되었으며, 이는 Graham-Rothschild 산술적 레이먼드 정리와 연결된다.
• 극도로 미소한 성질을 갖는 약간의 초등균형성 공간 $X$ 의 등장변환군의 극도로 미소성과 그 유한차원 부분공간의 레이먼드 성질 사이의 등가성을 보여주는, Kechris-Pestov-Todorcevic 대응의 새로운 버전을 확립하였다.
• 증명은 스케일된 기저 벡터와 부호 함수로 구성된 순서 집합 간의 강성 전단사 함수 $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$ 오차 내에서 등장변환 임베딩을 유한하게 근사할 수 있다.