[论文解读] Locally Moving Groups and the Reconstruction Problem for Chains and Circles

Stephen H. McCleary, Matatyahu Rubin|ArXiv.org|Oct 6, 2005

Geometric and Algebraic Topology参考文献 25被引用 14

一句话总结

本文证明，当自同构群具有局部移动性并满足弱传递性条件时（链结构为2-区间传递，圆结构为3-区间传递），可从其自同构群重构出稠密链或圆的戴德金完备化。关键结果是：此类自同构群之间的任意群同构均唯一地源自于完备化结构之间的保序或保向双射。

ABSTRACT

We prove that complete Boolean algebras can be reconstructed from any locally moving subgroup of their full automorphism group. We use this theorem in order to prove that linear orders and circles can be reconstructed from small subgroups of their full automorphism groups.

研究动机与目标

• 研究自同构群在多大程度上可重构稠密链或圆的序结构。
• 确定此类重构在何种最小群论条件下可能实现，重点关注局部运动与区间传递性。
• 证明此类结构的自同构群通过群同构编码了完整的序或循环序（至多反转）。
• 将重构结果扩展至自同构群中底层序结构的一阶解释。
• 探讨传递性性质（如n-区间传递性）及其在实现重构中的强度作用。

提出的方法

• 将‘局部移动’群定义为：每个开区间均支持一个在补集上固定的非平凡群元素。
• 引入‘n-区间传递性’，即存在群元素将任意n个不相交区间映射到另一组任意n个不相交区间。
• 使用来回论证构造群元素，以扩展有限部分序同构，同时保持群结构。
• 在自同构群中建立戴德金完备化及序/循环序关系的一阶解释。
• 分析群在完备化空间轨道上的作用，以识别凸块并确定传递性水平。
• 构造反例以表明2-区间传递性严格弱于3-区间传递性或2-序传递性。

实验结果

研究问题

• RQ1 在何种群论条件下，可从其自同构群重构稠密链的序类型？
• RQ2 能否从自同构群重构稠密圆的循环序？需要何种传递性条件？
• RQ3 自同构群在多大程度上能导出底层序结构的一阶解释？
• RQ4 弱传递性性质（如2-区间传递性）与更强的性质（如3-区间传递性）相比，其强度如何？
• RQ5 是否存在不源自于底层空间保序或保向双射的自同构群之间的群同构？

主要发现

• 若 $ G_1 \to \text{Aut}(L_1) $ 与 $ G_2 \to \text{Aut}(L_2) $ 是在稠密链 $ L_1, L_2 $ 上局部移动且2-区间传递的，则任意群同构 $ \theta: G_1 \to G_2 $ 均由唯一的单调双射 $ \tau: \bar{L}_1 \to \bar{L}_2 $ 唯一诱导。
• 存在局部移动且2-区间传递但非3-区间传递，亦非在任何轨道上2-序传递的群，表明2-区间传递性为最小条件。
• 对于循环序结构 $ \text{CR}(L) $，若 $ G_i \to \text{Aut}(\text{CR}(L_i)) $ 是局部移动且3-区间传递的，则任意群同构 $ \theta: G_1 \to G_2 $ 均源自于唯一的保向或反向双射 $ \tau: \text{CR}(\bar{L}_1) \to \text{CR}(\bar{L}_2) $。
• 群 $ G $ 在 $ \bar{L} $（或 $ \text{CR}(\bar{L}) $）的稠密子集上的作用在 $ G $ 中存在一阶解释，即序结构可在群内定义。
• 对于 $ \text{ED}(L) $，3-区间传递性蕴含对所有 $ n $ 的 $ n $-区间传递性；类似地，对于 $ \text{EO}(L) $，在4-区间传递性下亦成立。
• 存在反例表明，即使群在空间上作用传递，2-区间传递性也不蕴含2-序传递性。