[論文レビュー] A topological version of the Bergman property

Christian Rosendal|ArXiv.org|Sep 28, 2005

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

ひとこと要約

この論文は、ポーランド群におけるバーグマン性質の位相的類似物—性質 (OB)—を導入し、研究する。性質 (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) は、群上のすべての左不変距離の有界性と同値であり、幾何的特徴づけを提供する。
• 共役類が余第一カテゴリ的で、かつ可算個の真の開部分群の和集合でないポーランド群は、任意の連続的・反転を伴わない木上の作用において頂点を固定する。
• ポーランド群に稠密な共役類が存在するならば、任意の連続的・反転を伴わない木上の作用において、すべての元が楕円的（elliptic）である。
• $Λ$-木上の作用において、移動長関数は連続的であり、群に稠密な共役類が存在するならば、すべての元が楕円的となり、固定点が存在する。
• 有理数ユルスキー空間の等長群は性質 (OB) を満たし、これはその豊富な一般元と巡回的稠密な共役類のおかげで、可算個の真の部分群の和集合でないことを保証する。