[论文解读] Continuous orbit equivalence rigidity

Xin Li|arXiv (Cornell University)|Mar 5, 2015

Advanced Operator Algebra Research参考文献 26被引用 15

一句话总结

本文通过将连续轨道等价性表征为保持Cartan子代数的约化C*-半直积的同构，建立了经典Singer-Feldman-Moore定理在拓扑等价中的类比。它证明了刚性结果：在某些条件下——例如当一个对偶群作用于紧致空间，且与一个可解群或非虚拟无限循环的幂零群连续轨道等价时——这些作用必须共轭，从而将轨道等价刚性推广至拓扑设定。

ABSTRACT

We take the first steps towards a better understanding of continuous orbit equivalence, i.e., topological orbit equivalence with continuous cocycles. First, we characterise continuous orbit equivalence in terms of isomorphisms of C*-crossed products preserving Cartan subalgebras. This is the topological analogue of the classical result by Singer and Feldman-Moore in the measurable setting. Secondly, we turn to continuous orbit equivalence rigidity, i.e., the question whether for certain classes of topological dynamical systems, continuous orbit equivalence implies conjugacy. We show that this is not always the case by constructing topological dynamical systems (actions of free abelian groups, and also non-abelian free groups) which are continuously orbit equivalent but not conjugate. Furthermore, we prove positive rigidity results. For instance, it turns out that general topological Bernoulli actions are rigid when compared with actions of nilpotent groups, and that topological Bernoulli actions of duality groups are rigid when compared with actions of solvable groups. The same is true for certain subshifts of full shifts over finite alphabets.

研究动机与目标

• 通过保持C*-半直积中Cartan子代数的同构，将连续轨道等价性表征为约化C*-半直积的同构，建立可测轨道等价定理的拓扑类比。
• 研究特定类别的拓扑动力系统中，连续轨道等价是否蕴含共轭，从而将轨道等价刚性概念推广至拓扑设定。
• 确定在何种条件下，连续轨道等价会强制导致共轭，特别是针对对偶群、幂零群和可解群的作用。
• 通过构造自由阿贝尔群与非阿贝尔自由群的反例，证明连续轨道等价并不总是蕴含共轭。
• 探讨在连续轨道等价背景下，群的拟等距性、代数性质（如对偶性、虚拟幂零性）与动力刚性之间的相互作用。

提出的方法

• 通过保持典型Cartan子代数 $ C_0(X) $ 和 $ C_0(Y) $ 的约化C*-半直积同构，表征连续轨道等价性，推广可测设定下的结果。
• 利用变换群胚 $ G \ltimes X $ 与 $ H \ltimes Y $ 之间的拓扑群胚同构，作为连接连续轨道等价与C*-代数同构的桥梁。
• 从连续轨道对构造拓扑耦合，并反向构造，证明这些构造互为逆同构。
• 应用几何群论工具，特别是拟等距性，证明若 $ G \curvearrowright X $ 与 $ H \curvearrowright Y $ 是连续轨道等价的，且 $ G $ 是有限生成的，则 $ G $ 与 $ H $ 是拟等距的。
• 利用对偶群理论与 $ \mathbb{Z}G $-投射性，建立连续上循环刚性，这是从连续轨道等价证明共轭的关键。
• 利用如下事实：若一个无挠可约群满足 $ \mathrm{cd}(G) \neq 1 $，则其为连续 $ H $-上循环刚性，从而可由连续轨道等价推出共轭。

实验结果

研究问题

• RQ1 在何种条件下，拓扑动力系统之间的连续轨道等价蕴含共轭？
• RQ2 能否通过保持Cartan子代数的C*-半直积同构，将经典可测轨道等价刚性结果推广至拓扑设定？
• RQ3 是否存在连续轨道等价但不共轭的系统，特别是针对自由阿贝尔群或非阿贝尔自由群？
• RQ4 群论性质（如对偶性、幂零性、可解性）如何与连续轨道等价刚性相互作用？
• RQ5 拟等距性在确定作用于紧致空间的连续自由群之间的关系中起何种作用？

主要发现

• 在第二可数局部紧的豪斯多夫空间上，拓扑自由系统之间的连续轨道等价性，等价于其约化C*-半直积之间的同构，且该同构保持典型Cartan子代数。
• 存在自由阿贝尔群与非阿贝尔自由群的连续轨道等价作用，但不共轭，表明连续轨道等价在一般情况下不蕴含共轭。
• 若一个无挠群 $ G $ 作用于紧致空间，且几乎 $ \mathbb{Z}G $-投射，且与一个非虚拟无限循环的有限生成幂零群 $ H $ 连续轨道等价，则其作用必共轭。
• 若 $ G $ 是非无限循环的对偶群，$ H $ 是有限生成的可解群，且 $ G \curvearrowright X $ 与 $ H \curvearrowright Y $ 连续轨道等价，则其作用共轭。
• 有限生成的群若连续轨道等价，则必拟等距，且若其中一个有限生成，则另一个亦然。
• 对于对偶群的拓扑伯努利作用，与可解群作用比较时，连续轨道等价蕴含共轭；对有限字母表上的全移位的某些子移位亦然。