[论文解读] Outer automorphism groups of some ergodic equivalence relations

Alex Furman|ArXiv.org|Dec 17, 2003

Advanced Operator Algebra Research参考文献 14被引用 24

一句话总结

本文在特定条件下，利用齐默的强刚性定理、拉特纳的幂零流定理以及格罗莫夫的测度等价理论，证明了由高秩格作用生成的遍历等价关系的外自同构群是平凡的。研究证明，对于 PSL_n(Z[S^{-1}]) 等格的标准作用，Out(R) 是平凡的，从而扩展了可测动力系统中刚性结果的研究。

ABSTRACT

Let R a be countable ergodic equivalence relation of type II_1 on a standard probability space (X,m). The group Out(R) of outer automorphisms of R consists of all invertible Borel measure preserving maps of the space which map R-classes to R-classes modulo those which preserve almost every R-class. We analyze the group Out(R) for relations R generated by actions of higher rank lattices, providing general conditions on finiteness and triviality of Out(R) and explicitly computing this group for the standard actions. The method is based on Zimmer's superrigidity for measurable cocycles, Ratner's theorem and Gromov's Measure Equivalence construction.

研究动机与目标

• 确定在何种条件下，类型 II₁ 的可数遍历等价关系 R 的外自同构群 Out(R) 是有限的或平凡的。
• 显式计算由半单李群中高秩格的标准作用所生成的轨道等价关系的 Out(R)。
• 通过群作用与可测上链的研究，分析 Out(R) 的结构，从而扩展已知的可测动力系统中的刚性结果。
• 建立等价关系 R 的外自同构群与作用格 Γ 的外自同构群之间的联系。
• 证明对于不可约的高秩格作用，当作用是标准的且格为算术格时，Out(R) 是平凡的。

提出的方法

• 应用齐默的可测上链强刚性定理，分析等价关系的可测对称性。
• 利用拉特纳在齐次空间中幂零流的定理，控制遍历分量与轨道等价关系的结构。
• 采用格罗莫夫的测度等价构造，将格作用的动力学与周围李群的几何联系起来。
• 分析外自同构在格的边界或其有限余维扩张上的作用，特别是通过在阿代尔完备化中子群的闭包。
• 应用强逼近定理，证明格的交换子群中的元素必须属于算术子群，例如 PSL_n(Z[S^{-1}])。
• 将问题约化为分析交错作用的可测映射，证明此类映射必为由群自同构诱导的仿射映射。

实验结果

研究问题

• RQ1 在何种条件下，高秩格作用在标准概率空间上的外自同构群 Out(R) 是平凡的？
• RQ2 等价关系 R 的外自同构与作用格 Γ 的外自同构之间有何关系？
• RQ3 轨道等价关系 R 的可测对称性能否由群自同构或交换子元素诱导的仿射映射实现？
• RQ4 格的算术结构（例如 PSL_n(Z[S^{-1}])) 在决定 Out(R) 的平凡性中起什么作用？
• RQ5 强刚性与测度等价技术在多大程度上限制了 R 的可能外自同构？

主要发现

• 对于半单李群 G 中不可约高秩格 Γ 的标准作用（G 的秩 ≥ 2），其相关轨道等价关系 R 的外自同构群 Out(R) 是平凡的。
• R 的外自同构群同构于格 Γ 的外自同构群的商群；对于算术格如 PSL_n(Z[S^{-1}])，该商群是平凡的。
• 任何 R 的外自同构均来自 Γ 的群自同构或交换子元素，且若其保持测度类，则此类元素必须属于算术子群 PSL_n(Z[S^{-1}])。
• 证明表明，任何诱导 R 的外自同构的可测映射必为仿射映射，且可通过交换子群中的元素共轭为内自同构，而该元素被证明属于算术群。
• 关键步骤是利用强逼近定理与测度论的余密度论证，证明任一属于 PSL_n(ℚ) 的交换子元素 g₁ 实际上必属于 PSL_n(ℤ[S⁻¹])。
• 该结果推广了盖弗特早期的例子，并为具有平凡 Out(R) 的遍历等价关系提供了一个广泛类，证实了可测动力系统中的一种刚性现象。