[论文解读] A topological version of the Bergman property

Christian Rosendal|ArXiv.org|Sep 28, 2005

Holomorphic and Operator Theory参考文献 15被引用 6

一句话总结

本文引入并研究了波兰群的贝尔曼性质——拓扑类比性质（OB）——其定义为：在度量空间上的所有单独连续等距作用均具有有界轨道。关键贡献在于证明了直径为1的有理乌里松度量空间的等距群满足性质（OB），从而确立其为贝尔曼群，并将具有强有界性和不动点性质的非局部紧致群类进一步扩展。

ABSTRACT

A topological group G is defined to have property (OB) if any G-action by isometries on a metric space, which is separately continuous, has bounded orbits. We study this topological analogue of the socalled Bergman property in the context of Polish groups, where we show it to have several interesting reformulations and consequences. We subsequently apply the results obtained in order to verify property (OB) for a number of groups of isometries and homeomorphism groups of compact metric spaces. We also give a proof that the isometry group of the rational Urysohn metric space of diameter 1 is Bergman.

研究动机与目标

• 在波兰群的背景下定义并研究贝尔曼性质的拓扑类比。
• 确立等距群作用于度量空间时轨道有界的条件。
• 验证特定群（包括紧致度量空间的等距群和有理乌里松空间的等距群）的性质（OB）。
• 将性质（OB）与几何和动力学性质（如不动点行为和度量空间中的有界性）相联系。
• 将已知的贝尔曼性质结果推广至非局部紧致、非交换的波兰群。

提出的方法

• 将性质（OB）定义为：所有在度量空间上的单独连续等距作用均具有有界轨道。
• 利用性质（OB）与群上左不变度量有界的等价性。
• 应用几何群论中的结果，特别是树及Λ-树作用的理论。
• 利用波兰群中存在余稠密或循环稠密共轭类的事实，推导不动点性质。
• 将Λ-树上的结果转化为Λ-树作用，以推广等距群相关定理。
• 利用连续、等距、非反演作用在树上且平移长度函数连续时，可在特定条件下推出固定顶点的性质。

实验结果

研究问题

• RQ1 有理乌里松度量空间（直径为1）的等距群是否满足拓扑贝尔曼性质（即性质（OB））？
• RQ2 性质（OB）能否以左不变度量有界性或测地度量空间上不动点行为来表征？
• RQ3 何种条件下，波兰群可保证其所有具有单独连续性的等距作用均具有有界轨道？
• RQ4 性质（OB）与（FA）、（FH）等群论性质或丰富一般元的存在性有何关联？
• RQ5 关于Λ-树作用的结果在多大程度上可推广至Λ-树作用，以证明性质（OB）？

主要发现

• 直径为1的有理乌里松度量空间的等距群是贝尔曼群，即满足拓扑贝尔曼性质（OB）。
• 性质（OB）等价于群上每个左不变度量的有界性，从而提供了几何表征。
• 若波兰群具有余稠密共轭类，且其不能表示为可数个真开子群的并，则其在任何连续、非反演的树作用中必固定一个顶点。
• 若波兰群中存在稠密共轭类，则其在任何连续、非反演的树作用中所有元素均为椭圆元。
• 在Λ-树作用中，平移长度函数是连续的；若群具有稠密共轭类，则所有元素均为椭圆元，从而存在不动点。
• 有理乌里松空间的等距群具有性质（OB），该结论通过其丰富一般元和循环稠密共轭类得以证明，这些性质阻止其成为可数个真子群的并。