[논문 리뷰] A Ramsey space of infinite polyhedra and the infinite random polyhedron

José G. Mijares, Gabriel Díaz Padilla|arXiv (Cornell University)|2012. 09. 28.

Advanced Topology and Set Theory인용 수 4

한 줄 요약

이 논문은 유한 다면체의 범주적 및 구조적 맥락에서 램지 성질을 만족하는 무한 순서 다면체의 새로운 위상수학적 램지 공간을 제안한다. 이는 유한 다면체의 범주가 ℕ 위에서 범주론적 맥락과 유한 구조의 클래스라는 두 가지 다른 맥락에서 램지 성질을 만족함을 보여주며, (순서가 부여된) 무작위 다면체의 자기동형군이 극도로 쾌적하다는 것을 증명한다. 또한, 서로 다른 램지 클래스를 생성하는 서로 다른 위상수학적 램지 부분공간을 포함하는 가산 무한 개의 부분공간을 규명한다. 각 클래스는 서로 동형이 아닌 프라이셰 극한을 가진다.

ABSTRACT

In this paper we introduce a new topological Ramsey space whose elements are infinite ordered polyhedra. Then, we show as an application that the set of finite polyhedra satisfies two types of Ramsey property: one, when viewed as a category over $\mathbb N$; the other, when considered as a class of finite structures. The (ordered) random polyhedron is the Fraisse limit of the class of finite ordered polyhedra; we prove that its group of automorphisms is extremely amenable. Finally, we present a countably infinite family of topological Ramsey subspaces; each one determines a class of finite ordered structures which turns out to be a Ramsey class. One of these subspaces is Ellentuck's space; another one is associated to the class of finite ordered graphs whose Fraisse limit is the random graph. The Fraisse limits of these classes are not pairwise isomorphic as countable structures and none of them is isomorphic to the random polyhedron.

연구 동기 및 목표

• 무한 순서 다면체에 위상수학적 램지 공간의 구조를 수립하기 위해.
• 유한 다면체의 범주가 ℕ 위에서 범주론적 맥락과 유한 구조의 클래스라는 두 가지 다른 맥락에서 램지 성질을 만족함을 보여주기 위해.
• (순서가 부여된) 무작위 다면체의 자기동형군이 극도로 쾌적하다는 것을 증명하기 위해.
• 유한 순서 구조의 서로 다른 램지 클래스를 생성하는 가산 무한 개의 위상수학적 램지 부분공간을 규명하기 위해.
• 이 람지 클래스들의 프라이셰 극한들이 상호 간에 서로 동형이 아니며, 무작위 다면체와도 동형이 아니라는 것을 보여주기 위해.

제안 방법

• 무한 순서 다면체를 원소로 가지는 새로운 위상수학적 램지 공간을 구성하기 위해.
• 구조적 램지 이론을 적용하여, 유한 다면체의 범주가 범주론적 및 모델론적 의미에서 모두 램지 성질을 만족함을 보여주기 위해.
• 프라이셰 극한 구성법을 사용하여, (순서가 부여된) 무작위 다면체를 유한 순서 다면체의 범주의 극한으로 정의하기 위해.
• KPT 방법(Kechris-Pestov-Todorcevic)을 적용하여, 무작위 다면체의 자기동형군이 극도로 쾌적하다는 것을 증명하기 위해.
• 가산 무한 개의 위상수학적 램지 부분공간을 규명하고, 각 부분공간이 람지 클래스의 유한 순서 구조를 유도하는지 분석하기 위해.
• 이 람지 클래스들의 프라이셰 극한을 비교하여, 서로 동형이 아니며 무작위 다면체와도 동형이 아니라는 것을 증명하기 위해.

실험 결과

연구 질문

• RQ1 유한 다면체의 범주는 ℕ 위에서 범주론적 맥락에서 램지 성질을 만족하는가?
• RQ2 유한 다면체의 범주는 유한 구조의 클래스로서 램지 성질을 만족하는가?
• RQ3 (순서가 부여된) 무작위 다면체의 자기동형군은 극도로 쾌적한가?
• RQ4 서로 다른 람지 클래스를 생성하는 가산 무한 개의 위상수학적 램지 부분공간을 구성할 수 있는가?
• RQ5 이 람지 클래스들의 프라이셰 극한들은 상호 간에 서로 동형이 아니며, 무작위 다면체와도 동형이 아닌가?

주요 결과

• 유한 다면체의 범주는 ℕ 위에서 범주론적 맥락에서 램지 성질을 만족한다.
• 유한 다면체의 범주는 또한 유한 구조의 클래스로서 램지 성질을 만족한다.
• (순서가 부여된) 무작위 다면체의 자기동형군은 극도로 쾌적하다.
• 서로 다른 람지 클래스의 유한 순서 구조에 대응하는 가산 무한 개의 위상수학적 램지 부분공간이 구성된다.
• 이 람지 클래스들의 프라이셰 극한들은 가산 구조로서 상호 간에 서로 동형이 아니다.
• 이 람지 클래스들의 프라이셰 극한들 중 어느 것도 무작위 다면체와 동형이 아니다.