[論文レビュー] Proper isometric actions

José Carlos Díaz-Ramos|ArXiv.org|Nov 4, 2008

Geometric Analysis and Curvature Flows参考文献 4被引用数 11

ひとこと要約

この論文は、等長群 $ I(M) $ の部分群 $ G \subset I(M) $ が、$ G $ が $ I(M) $ で閉じていることと、$ M $ 上に適切に作用することの必要十分条件であることを、ヘーゲンソンの定理（等長写像の収束に関する）を用いて簡潔に証明する。さらに、閉じた軌道は $ G $ の閉包と軌道同値であることと結びつけ、適切な作用と軌道構造の関係を明らかにする。

ABSTRACT

We prove the following to results: (1) A subgroup G of the isometry group of a Riemannian manifold M acts properly on M if and only if G is closed in the isometry group of M. (2) The orbits of an isometric action are closed if and only if the action is orbit equivalent to a proper isometric action.

研究の動機と目的

• 完全連結リーマン多様体 $ M $ 上の等長群 $ I(M) $ の部分群が適切に作用するための必要十分条件を確立すること。
• 適切な等長作用が $ I(M) $ の閉じた部分群であることと同値である、という広く知られたフォルクロア的予想を証明すること。
• 等長作用の閉じた軌道と作用群の閉包との間の関係を明確にすること。
• 幾何的議論を避け、ヘーゲンソンの収束定理を用いて洗練された証明を提供すること。

提案手法

• 任意の等長写像列 $ \{g_n\} \subset I(M) $ で、点列 $ \{g_n(p)\} $ が $ M $ 内で有界であるようなものに対して、$ I(M) $ 内に収束部分列が存在する、というヘーゲンソンの定理を利用する。
• 特に、$ g_n(p_n) $ と $ p_n $ の列の収束を含む、等長作用の適切性の条件の同値性を応用する。
• 部分群 $ G \subset I(M) $ が $ M $ 上に適切に作用するための必要十分条件は、任意の列 $ \{g_n\} \subset G $ で $ \{g_n(p)\} $ が有界であるようなものに対して、$ G $ 内で収束部分列が存在することであることを用いる。
• 作用群の閉包 $ \bar{G} \subset I(M) $ を用いて、軌道構造を比較し、$ G $ と $ \bar{G} $ の間の軌道同値性を証明する。
• 距離空間における極限の一意性を活用し、$ g_n(p) \to q $ かつ $ g_n \to g $ ならば $ q = g(p) $ が成り立つことを示す。これは軌道の閉じ性を示すために不可欠である。
• $ G $ が $ I(M) $ で閉じていることから、$ G $ 内の任意の収束列は $ G $ の元に収束することを示し、これにより適切性が保証される。

実験結果

リサーチクエスチョン

• RQ1 部分群 $ G \subset I(M) $ が完全連結リーマン多様体 $ M $ 上に適切に作用するのはいつか？
• RQ2 $ I(M) $ の閉じた部分群は適切に作用するというよく知られた事実の逆は成り立つか？成り立つとすれば、どのような条件下で成り立つか？
• RQ3 等長作用の閉じた軌道と、作用群の $ I(M) $ における閉包との関係は何か？
• RQ4 どのような条件下で、等長作用が適切な等長作用と軌道同値になるか？

主な発見

• 部分群 $ G \subset I(M) $ が $ M $ 上に適切に作用するための必要十分条件は、$ G $ が $ I(M) $ で閉じていることである。この予想は短い証明によって解決された。
• 証明は、有界な等長写像列が $ I(M) $ 内で収束部分列を持つというヘーゲンソンの収束定理に依拠している。
• もし $ G $ が適切に作用するならば、任意の列 $ \{g_n\} \subset G $ で $ \{g_n(p)\} $ が有界であるようなものに対して、$ G $ 内で収束部分列が存在する。これは $ G $ が閉じていることを意味する。
• 逆に、$ G $ が $ I(M) $ で閉じているならば、任意の有界列 $ \{g_n(p)\} $ は $ I(M) $ 内で収束し、$ G $ が閉じているため、極限は $ G $ に属する。よって $ G $ は適切に作用する。
• 群 $ G $ の軌道が閉じていることと、$ G $ がその閉包 $ \bar{G} $ と軌道同値であることは同値であり、軌道幾何と群の閉包の間の構造的関係を確立する。
• 等長作用の軌道が閉じていることと、それが適切な等長作用と軌道同値であることは同値であり、適切性の特徴づけを軌道構造によって与える。