[论文解读] On Virtual Conjugacy of Generalized Odometers

María Isabel Cortéz, Konstantin Medynets|arXiv (Cornell University)|Aug 7, 2015

Advanced Operator Algebra Research参考文献 29被引用 3

一句话总结

该论文建立了极小等连续系统中连续轨道等价性的刚性定理，证明此类系统为拟(piecewise)共轭当且仅当其定义群为拟同构且保持有限指数子群结构。此外，论文进一步表明，极小等连续系统之拓扑全群为可约当且仅当作用群为可约，从而推广了Boyle的翻转共轭定理，并为广义Bunce-Deddens C*-代数中的受限同构提供了动力学分类。

ABSTRACT

The paper is focused on the study of continuous orbit equivalence for generalized odometers (profinite actions). We show that two generalized odometers are continuously orbit equivalent if and only if the acting groups have finite index subgroups (having the same index) whose actions are piecewise conjugate. This result extends M.~Boyle's flip-conjugacy theorem originally established for $\mathbb Z$-actions. As a corollary we obtain a dynamical classification of the restricted isomorphism between generalized Bunce-Deddens $C^*$-algebras. We also show that the full group associated with a generalized odometer is amenable if and only if the acting group is amenable.

研究动机与目标

• 建立极小等连续系统中连续轨道等价性的动力刚性定理。
• 通过其定义群的拟同构性，刻画两个投影群作用何时连续轨道等价。
• 将Boyle的翻转共轭定理推广至更高秩的 $Δ^{d}$-作用。
• 利用动力不变量对广义Bunce-Deddens C*-代数中的受限同构进行分类。
• 以作用群的可约性为条件，确定拓扑全群的可约性。

提出的方法

• 通过嵌套的有限指数子群（不一定是正规的）将等连续系统表示为 $G$- odometers。
• 通过保持紧邻域上局部共轭的同胚来定义连续轨道等价。
• 使用轨道上链 $f(\gamma,x)$ 将拓扑全群的元素与局部作用的群元素关联。
• 将拓扑全群 $[[G]]$ 构造为与嵌套划分结构相容的子群 $[[G]]_n$ 的并集。
• 证明当 $G_n$ 为正规子群时，$[[G]]_n$ 同构于半直积 $G_n^{[G:G_n]} \rtimes S_{[G:G_n]}$，从而支持归纳极限分析。
• 应用群论中关于可约性与嵌入的结果，将全群可约性与群可约性关联。

实验结果

研究问题

• RQ1 何时两个自由极小等连续系统为连续轨道等价？
• RQ2 何种群论条件可确保两个投影群作用之间存在连续轨道等价？
• RQ3 连续轨道等价如何与 $Δ^{d}$-作用中的拟共轭相关？
• RQ4 拓扑全群在决定系统可约性方面起何作用？
• RQ5 有限指数子群的结构如何决定广义 odometers 中的轨道等价性？

主要发现

• 两个投影群作用 $(X,G)$ 与 $(Y,H)$ 连续轨道等价当且仅当 $G$ 与 $H$ 拟同构，且同构保持定义作用的有限指数子群结构。
• 极小等连续 $\mathbb{Z}^d$-系统之间的连续轨道等价蕴含拟分段共轭，从而推广了Boyle的翻转共轭定理。
• 极小等连续系统 $(X,G)$ 的拓扑全群 $[[G]]$ 为可约当且仅当群 $G$ 为可约。
• 对于由正规子群 $\{G_n\}$ 定义的自由精确 odometer，其拓扑全群 $[[G]]$ 同构于归纳极限 $\varinjlim(G_n^{[G:G_n]} \rtimes S_{[G:G_n]}, \tau_n)$。
• 任意自由极小等连续康托尔系统之拓扑全群同构于一精确 odometer 全群的子群，从而实现可约性传递。
• 广义Bunce-Deddens $C^*$-代数的受限同构类完全由关联群的拟同构类型及有限指数子群结构的保持性所决定。