[論文レビュー] Orbits of Distal Actions on Locally Compact Groups

Riddhi Shah|arXiv (Cornell University)|Oct 27, 2010

Advanced Topology and Set Theory参考文献 15被引用数 10

ひとこと要約

この論文は、コンpact生成で局所コンパクトなアーベル群が局所コンパクト群に自己同型により作用する場合、作用の非可縮性（distality）が[ MOC ]性質—すなわち、任意の軌道の閉包が最小不変集合であること—と同値であることを確立する。主な貢献は、これらの条件下で非可縮性が[ MOC ]を含むことを証明したことであり、既知の結果を拡張し、商や正規部分群に関する保存性結果も得ている。

ABSTRACT

We discuss properties of orbits of (semi)group actions on locally compact groups G. In particular, we show that if a compactly generated locally compact abelian group acts distally on G then the closure of each of its orbits is a minimal closed invariant set (i.e. the action has [MOC]). We also show that for such an action distality is preserved if we go modulo any closed normal invariant subgroup and hence [MOC] is also preserved. We also show that any semigroup action on G has [MOC] if and only if the corresponding actions on a compact invariant metrizable subgroup K and on the quotient space G/K has [MOC].

研究の動機と目的

• 局所コンパクト群上の非可縮作用が、[ MOC ]性質（任意の軌道の閉包が最小かつ不変であること）を満たすかどうかを調査すること。
• 特に、コンパクト生成で局所コンパクトなアーベル群による作用に関して、非可縮性が[ MOC ]を含む条件を同定すること。
• 閉正規不変部分群による商をとる場合の[ MOC ]および非可縮性の保存性を確立すること。
• 既知の結果（コンパクト群、離散群、または連結リー群の場合の[ MOC ]および非可縮性）を、より広いクラスの局所コンパクト群へと拡張すること。
• 多項式成長、コンパクト拡張、FC⁻-群などの構造的性質が、自己同型作用における[ MOC ]の成立にどのように寄与するかを検討すること。

提案手法

• 群作用が非可縮であることは、非自明な軌道の閉包に単位元が含まれないことに同値である、という特徴づけを用いる。
• [ MOC ]（最小軌道閉包）を、軌道閉包が最小不変集合であるという位相的条件として用いる。
• 特に、連結部と完全不連結部に分解する局所コンパクト群の構造論を応用する。
• コンパクト正規部分群や商群の存在を活用し、非自明なコンパクト正規部分群を持たないリー群の状況に問題を還元する。
• エルゴディック理論および半群ダイナミクスの結果を適用し、Aut(G) 内の点列の極限点や弱位相における収束を用いる。
• コンパクト空間では、半群作用の非可縮性は[ MOC ]と同値であり、これを同次空間へと拡張する。

実験結果

リサーチクエスチョン

• RQ1 コンパクト生成で局所コンパクトなアーベル群が局所コンパクト群に自己同型により作用する場合、その非可縮性は[ MOC ]性質を含むか？
• RQ2 閉正規不変部分群による商をとる際に[ MOC ]性質は保存されるか？
• RQ3 非可縮性と[ MOC ]の同値性は、コンパクト群、離散群、または連結リー群の範囲を超えて拡張可能か？
• RQ4 作用群に帰属する構造的条件（例：ムーア群、FC⁻-群）が、非可縮性が[ MOC ]を含むことを保証するにはどのようなものか？
• RQ5 軌道閉包の振る舞いは、作用群および被作用群の代数的構造とどのように関係するか？

主な発見

• コンパクト生成で局所コンパクトなアーベル群が局所コンパクト群に自己同型により作用するとき、非可縮性は[ MOC ]性質と同値である。
• [ MOC ]性質は、任意の閉正規不変部分群による商をとる際にも保存され、非可縮性に対しても同様の保存性が成り立つ。
• 局所コンパクト群上の半群作用が[ MOC ]を満たすための必要十分条件は、コンパクトな距離化可能な不変部分群および商空間への誘導作用が両方[ MOC ]を満たすことである。
• この結果は、コンパクト生成アーベル群のコンパクト拡張およびムーア群へと拡張可能であり、これらの状況でも非可縮性と[ MOC ]の同値性が成り立つ。
• 証明は、非自明なコンパクト正規部分群を持たない連結リー群の状況に還元することに依拠しており、Aut(G) 内の点列の収束および軌道閉包の議論を用いる。
• 本論文は、アーベル群、コンパクト群、連結群の各ケースにおける構造的類似性を踏まえ、一般化された FC⁻-群に対しても同値性が成り立つと予想している。