[논문 리뷰] Stable orbit equivalence of Bernoulli actions of free groups and isomorphism of some of their factor actions

Niels Meesschaert, Sven Raum외 1명|arXiv (Cornell University)|2011. 07. 07.

Advanced Operator Algebra Research참고 문헌 22인용 수 16

한 줄 요약

이 논문은 자유군의 베르누이 작용에 대한 루이스 보우언의 안정적 궤도 동치 정리에 대한 초등적인 증명을 제공하며, 임의의 두 자유군의 베르누이 작용이 압축 상수 $(n-1)/(m-1)$ 를 가진 채로 안정적 궤도 동치임을 보여준다. 또한 무한한 애매한 군 $Λ_1 * \cdots * \u039b_n$ 의 자유곱 $Γ = \u039b_1 * \cdots * \u039b_n$ 에 대해, 임의의 컴acts한 두차원 군 $K$ 에 대해 요소 작용 $Γ \curvearrowright K^\u0393 / K$ 는 베르누이 작용과 동형임을 증명하며, 이 군류에 대해 이론을 부정적으로 해결한다.

ABSTRACT

We give an elementary proof for Lewis Bowen's theorem saying that two Bernoulli actions of two free groups, each having arbitrary base probability spaces, are stably orbit equivalent. Our methods also show that for all compact groups K and every free product \\Gamma of n infinite amenable groups, the factor K^{\\Gamma}/K of the Bernoulli action of \\Gamma on K^{\\Gamma} by the diagonal action of K, is isomorphic with a Bernoulli action of \\Gamma.

연구 동기 및 목표

• 자유군의 베르누이 작용에 대한 루이스 보우언의 안정적 궤도 동치 정리에 대한 초등적이고 자가 포함된 증명을 제공하는 것.
• 무한한 애매한 군의 자유곱인 $\Gamma$ 에 대해, 요소 작용 $\Gamma \curvearrowright K^\Gamma / K$ 가 $\Gamma$ 의 베르누이 작용과 동형임을 보여주어, 비이sov머피한 $K$ 에 대해 이러한 작용이 궤도 동치가 아님을 시사하는 추측을 반박하는 것.
• 베르누이 유형의 작용의 요소 작용이 언제 베르누이 작용과 동형이 되는지 조건을 명확히 하여, 동형과 궤도 동치에 대한 군 작용의 분류에 기여하는 것.

제안 방법

• 궤도가 일치하고, 베르누이 작용의 추상적 특성 조건을 만족하는 공통 공간 위에서 $\mathbb{F}_n$ 과 $\mathbb{F}_m$ 의 작용을 구성함으로써, 안정적 궤도 동치의 명시적 공식 구축을 피하는 것.
• 자유군의 유한 길이의 단어를 인덱스로 갖는 랜덤 변수의 독립성에 기반한 조합론적 및 확률론적 추론을 사용하는 것.
• 특히 $K^{\mathcal{I}_k} \times K^{\mathcal{I}_{k+1} \setminus \mathcal{I}_k}$ 위에서 정의된 맵 $\omega_{i,\varepsilon,g}$ 의 적절한 가족에 Lemma 4 를 적용하여, 특정 좌표 차이들이 독립적임을 보이고, 영 집합을 제외한 전체 $\sigma$-대거를 생성함을 보이는 것.
• 애매한 군의 자유곱의 구조를 활용하여, $\mathbb{F}_n$ 에서의 동형 결과를 $\Gamma = \Lambda_1 * \cdots * \Lambda_n$ 으로 일반화하는 데, 단어 길이에 대한 귀납적 추론과 독립성 성질을 사용하는 것.
• 콤팩트 군의 본질적으로 자유 작용에 관한 유명한 보조정리를 활용하여, 등변성과 측도 보존 조건을 만족하는 보렐 동형사상 $\theta: G \times Y_0 \to X_0$ 를 구성함으로써, 요소 공간을 베르누이 이동과 식별할 수 있도록 하는 것.
• 길이 $k$ 의 원소 $g$ 에 대해 $i=1,\dots,n$, $\varepsilon=\pm1$ 인 $x \mapsto x_g^{-1} x_{a_i^\varepsilon g}$ 의 랜덤 변수 집합이, $K^{\mathbb{F}_n}/K$ 의 전체 $\sigma$-대거를 영 집합을 제외한 범위에서 생성함을 증명하는 것.

실험 결과

연구 질문

• RQ1 서로 다른 자유군 $\mathbb{F}_n$ 과 $\mathbb{F}_m$ 의 베르누이 작용은 안정적 궤도 동치인가? 만약 그렇다면, 압축 상수는 무엇인가?
• RQ2 무한한 애매한 군의 자유곱인 $\Gamma = \Lambda_1 * \cdots * \Lambda_n$ 에 대해, 요소 작용 $\Gamma \curvearrowright K^\Gamma / K$ 는 $\Gamma$ 의 베르누이 작용과 동형인가?
• RQ3 비이sov머피한 컴팩트 군 $K$ 에 대해 작용 $\Gamma \curvearrowright K^\Gamma / K$ 는 궤도 동치가 아님을 시사하는 추측이 $\Gamma = \mathbb{F}_n$ 에 대해 성립하는가?
• RQ4 명시적 공식 구축 없이, 구조적 성질과 독립성 추론을 사용하여 자유군의 베르누이 작용 간의 안정적 궤도 동치를 증명할 수 있는가?
• RQ5 모든 컴팩트 두차원 군 $K$ 에 대해 $\Gamma \curvearrowright K^\Gamma / K$ 가 베르누이 작용과 동형이 되는 카운터블 군 $\Gamma$ 는 어떤 군인가?

주요 결과

• 논문은 보우언의 안정적 궤도 동치 정리에 대해 새로운 초등적 증명을 제공하며, $\mathbb{F}_n$ 과 $\mathbb{F}_m$ 의 베르누이 작용이 압축 상수 $(n-1)/(m-1)$ 를 가진 채로 안정적 궤도 동치임을 보여준다.
• 무한한 애매한 군의 자유곱인 임의의 $\Gamma = \Lambda_1 * \cdots * \Lambda_n$ 에 대해, 모든 컴팩트 두차원 군 $K$ 에 대해 요소 작용 $\Gamma \curvearrowright K^\Gamma / K$ 는 $\Gamma$ 의 베르누이 작용과 동형임을 보여주며, 이러한 작용이 궤도 동치가 아님을 시사하는 추측을 반박한다.
• 길이 $k$ 의 원소 $g$ 와 $i=1,\dots,n$, $\varepsilon=\pm1$ 에 대해 $x \mapsto x_g^{-1} x_{a_i^\varepsilon g}$ 의 랜덤 변수 집합은 영 집합을 제외한 $K^{\mathbb{F}_n}/K$ 의 전체 $\sigma$-대거를 생성하는 독립적인 랜덤 변수 집합을 이룬다.
• 증명은 $\Gamma$ 가 무한한 애매한 군의 자유곱일 경우에도 작용 $\Gamma \curvearrowright K^\Gamma / K$ 가 베르누이 작용과 동형임을 보여주며, 이는 이전의 $\Gamma = \mathbb{F}_2$ 와 $K = \mathbb{Z}/2\mathbb{Z}$ 의 결과를 일반화한다.
• 모든 컴팩트 두차원 군 $K$ 에 대해 $\Gamma \curvearrowright K^\Gamma / K$ 가 베르누이 작용과 동형이 되는 군 $Γ$ 의 집합 $Γ$ 은 자유곱에 대해 닫혀 있으며, 모든 무한한 애매한 군을 포함한다.
• 결과는 $Γ$ 이 무한한 정상부분군을 가지며 상대적 성질 (T) 를 만족하는 군을 포함하지 않으며, 무한군과 비애매군의 직접곱인 군도 포함하지 않음을 시사하며, 강성과 민첩성 사이의 뚜렷한 대비를 드러낸다.