[论文解读] Proper isometric actions

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

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

一句话总结

本文利用赫尔加森关于等距变换收敛性的定理，给出了一个简洁证明：完备连通黎曼流形 $ M $ 的等距群 $ I(M) $ 的子群 $ G \subset I(M) $ 作用正规当且仅当 $ G $ 在 $ I(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.

研究动机与目标

• 建立等距群 $ I(M) $ 的子群在完备连通黎曼流形 $ M $ 上作用正规的必要且充分条件。
• 通过证明正规等距作用等价于 $ I(M) $ 的闭子群，解决一个长期存在的 folklore 猜想。
• 阐明闭轨道与作用群在 $ I(M) $ 中闭包的轨道等价性之间的关系。
• 利用赫尔加森收敛定理提供一种简明的证明，避免冗长的几何论证。

提出的方法

• 利用赫尔加森定理：若序列 $ \{g_n\} \subset I(M) $ 满足 $ \{g_n(p)\} $ 在 $ M $ 中有界，则 $ \{g_n\} $ 在 $ I(M) $ 中有收敛子列。
• 应用等距作用正规性条件的等价性，特别关注涉及 $ g_n(p_n) $ 与 $ p_n $ 序列收敛性的条件 (iv)。
• 利用如下事实：子群 $ G \subset I(M) $ 在 $ M $ 上作用正规当且仅当每个满足 $ \{g_n(p)\} $ 有界的序列 $ \{g_n\} \subset G $，在 $ 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) $ 中是闭的，该结果以简短证明解决了长期存在的 folklore 猜想。
• 该证明依赖于赫尔加森收敛定理，该定理保证了等距变换的有界序列在 $ I(M) $ 中有收敛子列。
• 若 $ G $ 作用正规，则任意满足 $ \{g_n(p)\} $ 有界的序列 $ \{g_n\} \subset G $，其子列必收敛于 $ G $ 中的元素，从而推出 $ G $ 是闭的。
• 反之，若 $ G $ 在 $ I(M) $ 中闭，则任意满足 $ \{g_n(p)\} $ 有界的序列 $ \{g_n\} $ 必收敛于 $ I(M) $ 中的某元素，且由于 $ G $ 闭，极限属于 $ G $，故 $ G $ 作用正规。
• $ G $ 的轨道是闭的当且仅当 $ G $ 与它的闭包 $ \bar{G} $ 在 $ I(M) $ 中轨道等价，从而建立了轨道几何与群闭包之间的结构性联系。
• 等距作用具有闭轨道当且仅当它与某个正规等距作用轨道等价，从而通过轨道结构对正规性给出了刻画。