[论文解读] Orbit inequivalent actions of non-amenable groups

Inessa Epstein|ArXiv.org|Jul 28, 2007

Advanced Operator Algebra Research参考文献 27被引用 51

一句话总结

本文提出了一种广义共归纳构造，用于自由、保测度的群作用，使得当群Δ的轨道等价关系包含于更大群Γ的轨道等价关系时，可将Δ的作用转移到Γ上。利用该方法，作者证明了每个可数非阿本耳群均存在不可数无穷多（连续统多）轨道非等价、自由、保测度、遍历的作用——解决了非阿本耳群在轨道等价理论中长期悬而未决的问题。

ABSTRACT

Consider two free measure preserving group actions $Γ\actson (X, μ), Δ\actson (X, μ)$, and a measure preserving action $Δ\actson^a (Z, ν)$ where $(X, μ), (Z, ν)$ are standard probability spaces. We show how to construct free measure preserving actions $Γ\actson^c (Y, m)$, $Δ\actson^d (Y, m)$ on a standard probability space such that $E_Δ^d \subset E_Γ^c$ and $d$ has $a$ as a factor. This generalizes the standard notion of co-induction of actions of groups from actions of subgroups. We then use this construction to show that if $Γ$ is a countable non-amenable group, then $Γ$ admits continuum many orbit inequivalent free, measure preserving, ergodic actions on a standard probability space.

研究动机与目标

• 将标准群作用共归纳概念推广至更一般情形，即当较小群Δ的轨道等价关系包含于较大群Γ的轨道等价关系时。
• 建立一种构造方法，将Δ的作用提升为Γ的作用，同时保持轨道等价关系与因子之间的结构关系。
• 将此构造应用于证明每个可数非阿本耳群均存在不可数无穷多轨道非等价、自由、保测度、遍历的作用。
• 将伊瓦娜（Ioana）利用F₂的非同构表示与高斯作用的方法推广至广义共归纳框架。
• 证明此类群的轨道等价作用集合中，每个作用仅与可数多个其他作用轨道等价，从而确保存在不可数无穷多不同轨道等价类。

提出的方法

• 定义一种新构造：给定作用Γ↷(X,μ)与Δ↷(X,μ)，满足EΔ⊆EΓ，以及Δ在(Z,ν)上的作用a，构造新空间(Y,m)上的Γ-与Δ-作用，使得Ed⊆Ec，且d通过a因子化。
• 利用广义共归纳将F₂的高斯作用（源自非同构、不可约、弱混合酉表示）提升为Γ的作用。
• 构造商映射p_i: Y_i → T²×Z_i，使得Γ作用在F₂上的限制具有与原作用a在T²上共轭的因子作用。
• 应用引理3.2（伊瓦娜定理的推广），证明若两个作用轨道等价，则其在F₂上的限制必须具有共轭的不变子集。
• 利用可分酉表示仅有可数多个非同构不可约子表示的事实，证明每个作用仅与可数多个其他作用轨道等价。
• 利用π_i ≤ κ₀^{d_i|Y_i′}及π_i的非同构性，得出轨道等价作用集合中每个作用仅与可数多个其他作用轨道等价，因此存在不可数无穷多不同轨道等价类。

实验结果

研究问题

• RQ1 标准群作用共归纳构造能否推广至更一般情形，即当较小群Δ的轨道等价关系包含于较大群Γ的轨道等价关系时？
• RQ2 每个可数非阿本耳群是否均存在不可数无穷多轨道非等价、自由、保测度、遍历的作用？
• RQ3 能否将利用F₂的非同构表示与高斯作用的方法适配至广义共归纳框架，以证明存在不可数无穷多轨道非等价作用？
• RQ4 对酉表示与轨道等价关系的何种结构约束会阻止存在不可数无穷多轨道等价作用？
• RQ5 广义共归纳在多大程度上保持了遍历性、自由性与保测度性等性质？

主要发现

• 本文构造了一种广义共归纳程序，当EΔ⊆EΓ时，可将Δ的作用提升为Γ的作用，同时保持测度与Borel结构。
• 对于任意可数非阿本耳群Γ，广义共归纳构造可产生连续统多条轨道非等价、自由、保测度、遍历的作用。
• 由于可分酉表示中不可约子表示的谱为可数，因此该族中每个作用仅与可数多个其他作用轨道等价。
• 关键技术步骤在于：若两个作用轨道等价，则其在F₂上的限制必须具有共轭的不变子集，从而强制Koopman表示同构。
• 该构造确保原F₂作用a在T²上是限制作用d_i的商映射，且表示π_i可嵌入到d_i的Koopman表示中。
• F₂的不可约表示的非同构集合不可数，结合酉表示中同构类的可数性，意味着轨道等价类的数量为不可数（具体为连续统大小）。