[论文解读] A Ramsey space of infinite polyhedra and the infinite random polyhedron

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

Advanced Topology and Set Theory被引用 4

一句话总结

本文引入了一种新的无限有序多面体的拓扑拉姆齐空间，证明了有限多面体类在范畴和结构两种语境下均满足拉姆齐性质。它表明（有序）随机多面体的自同构群——作为有限有序多面体的Fraïssé极限——是极端可约的，并识别出一个可数无限的拉姆齐子空间族，每个子空间产生一个不同的拉姆齐类，其Fraïssé极限互不构同。

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.

研究动机与目标

• 在无限有序多面体上建立一个拓扑拉姆齐空间结构。
• 证明有限多面体类在ℕ上的范畴语境下满足一个拉姆齐性质，同时在有限结构类的语境下满足另一个拉姆齐性质。
• 证明（有序）随机多面体的自同构群是极端可约的。
• 识别出一个可数无限的拓扑拉姆齐子空间族，每个子空间生成一个不同的有限有序结构拉姆齐类。
• 证明这些类的Fraïssé极限两两不构同，且均不与随机多面体同构。

提出的方法

• 构建一个新的拓扑拉姆齐空间，其元素为无限有序多面体。
• 应用结构拉姆齐理论，证明有限多面体类在范畴论和模型论意义上均满足拉姆齐性质。
• 使用Fraïssé极限构造法，将（有序）随机多面体定义为有限有序多面体类的极限。
• 应用KPT方法（Kechris-Pestov-Todorcevic）证明随机多面体自同构群的极端可约性。
• 识别并分析一个可数无限的拓扑拉姆齐子空间族，每个子空间诱导出一个有限有序结构的拉姆齐类。
• 比较这些类的Fraïssé极限，证明它们两两不构同，且与随机多面体不同构。

实验结果

研究问题

• RQ1 有限多面体类在ℕ上的范畴论语境下是否满足拉姆齐性质？
• RQ2 有限多面体类作为有限结构类是否满足拉姆齐性质？
• RQ3 （有序）随机多面体的自同构群是否是极端可约的？
• RQ4 能否构造一个可数无限的拓扑拉姆齐子空间族，每个子空间产生一个不同的拉姆齐类？
• RQ5 这些拉姆齐类的Fraïssé极限是否两两不构同，且均不与随机多面体同构？

主要发现

• 有限多面体类在ℕ上的范畴语境下满足拉姆齐性质。
• 有限多面体类在作为有限结构类的语境下也满足拉姆齐性质。
• （有序）随机多面体的自同构群是极端可约的。
• 构造了一个可数无限的拓扑拉姆齐子空间族，每个子空间对应一个不同的有限有序结构拉姆齐类。
• 这些拉姆齐类的Fraïssé极限作为可数结构两两不构同。
• 这些类的Fraïssé极限中没有一个与随机多面体同构。