[논문 리뷰] Orbit inequivalent actions for groups containing a copy of $\Bbb F_2$

Adrian Ioana|ArXiv.org|2006. 12. 31.

Advanced Operator Algebra Research인용 수 7

한 줄 요약

이 논문은 $$\mathbb{F}_2$$의 사본을 포함하는 임의의 가산 이산군 $$\Gamma$$가 비가산 개의 비오르비트 동치가 아닌 자유적이고 에르고딕적이며 측도를 보존하는 작용을 가짐을 증명한다. 상대적 성질 (T)에 기반한 $$\mathbb{F}_2$$-작용의 강성과 분리 가능성에 기반한 추론을 통해, 이러한 작용들 간의 오르비트 동치는 그들의 $$\mathbb{F}_2$$에 대한 제한이 동치임을 보이며, 이는 공유된 작용을 통한 방법으로 비동치인 제한을 비가산 개로 구성함으로써 배제된다.

ABSTRACT

We prove that if a countable group $Γ$ contains a copy of $\Bbb F_2$, then it admits uncountably many non orbit equivalent actions.

연구 동기 및 목표

• $$\mathbb{F}_2$$의 사본을 포함하는 비압류 군이 비가산 개의 비오르비트 동치 작용을 가지는지 여부를 다루는 것.
• 성질 (T), 자유군, 매핑 클래스 군을 초월하여 비압류 군의 비오르비트 동치 작용의 알려진 범주를 확장하는 것.
• 측도 동치가 비가산 개의 비오르비트 동치 작용을 가진다는 성질을 유지하는지 확인하는 것.
• $$\mathbb{F}_2$$-작용이 $$\mathbb{T}^2$$에서 가지는 강성이 분리 가능성에 기반한 추론을 통해 오르비트 동치 클래스를 구별하는 데 활용될 수 있는지 보여주는 것.

제안 방법

• $$\Gamma$$-작용의 클래스 $$\mathcal{F}$$를 정의하여, 그 제한이 $$\mathbb{F}_2$$-작용을 $$\mathbb{T}^2$$에 대해 몫으로 가지게 한다.
• $$\mathbb{F}_2\ltimes\mathbb{Z}^2$$와 $$\mathbb{Z}^2$$의 쌍에 대한 상대적 성질 (T)을 사용하여 $$\alpha$$-작용의 강성을 확립하고, 이는 특정 벡터에 대해 근사적인 $$\mathbb{F}_2$$-불변성은 정확한 불변성을 암시함을 의미한다.
• 팝아와 가보리우의 영감을 받은 분리 가능성 추론을 적용하여, $$\mathcal{F}$$에 속한 두 $$\Gamma$$-작용의 오르비트 동치는 그들의 $$\mathbb{F}_2$$-제한이 동치임을 보인다.
• 공유된 작용을 사용하여 $$\mathcal{F}$$에 속하는 비가산 개의 작용을 구성하고, 이들의 $$\mathbb{F}_2$$-제한이 상호 비동치임을 보장한다.
• 폰 뉴만 대수 기법을 사용: $$N = L^\infty(\mathbb{T}^2)\rtimes_\alpha \mathbb{F}_2$$를 $$M_i = L^\infty(X_i)\rtimes_{\sigma_i} \Gamma$$의 교차곱에 매장하고, 포함관계 $$Q \subset N$$의 강성을 이용하여, 비가산 개의 $$M_i$$가 서로 동형이라면 모순이 발생함을 도출한다.

실험 결과

연구 질문

• RQ1 모든 가산 이산군 $$\Gamma$$가 $$\mathbb{F}_2$$의 사본을 포함할 경우, 비가산 개의 비오르비트 동치이자 자유적이고 에르고딕적이며 측도를 보존하는 작용을 가지는가?
• RQ2 $$\mathbb{F}_2$$-작용이 $$\mathbb{T}^2$$에서 가지는 강성은 분리 가능성에 기반한 추론을 통해 $$\Gamma$$-작용의 오르비트 동치 클래스를 구별하는 데 사용될 수 있는가?
• RQ3 측도 동치에 의해 비가산 개의 비오르비트 동치 작용을 가진다는 성질이 유지되는가?
• RQ4 공유된 작용을 통해 클래스 $$\mathcal{F}$$ 내에서 $$\mathbb{F}_2$$-제한이 비동치가 되는 정도는 어느 정도인가?

주요 결과

• $$\Gamma$$가 $$\mathbb{F}_2$$의 사본을 포함하는 임의의 가산 이산군일 경우, 비가산 개의 비오르비트 동치가 아닌 자유적이고 에르고딕적이며 측도를 보존하는 작용을 가진다.
• $$\mathbb{F}_2\ltimes\mathbb{Z}^2$$와 $$\mathbb{Z}^2$$의 쌍에 대한 상대적 성질 (T)에 기반한 $$\mathbb{F}_2$$-작용의 강성은 특정한 벡터에 대해 근사적인 $$\mathbb{F}_2$$-불변성이 정확한 불변성을 암시함을 보장한다.
• $$\mathcal{F}$$에 속한 두 $$\Gamma$$-작용의 오르비트 동치는 그들의 $$\mathbb{F}_2$$에 대한 제한이 동치임을 의미한다.
• 공유된 작용을 통해 $$\mathcal{F}$$에 속하는 비가산 개의 작용을 구성하였고, 이들의 $$\mathbb{F}_2$$-제한은 상호 비동치이다.
• 증명은 만약 비가산 개의 교차곱 $$M_i = L^\infty(X_i)\rtimes_{\sigma_i}\Gamma$$가 서로 동형이라면, 포함관계 $$Q \subset N$$의 강성에 의해 모순이 발생하며, 이는 $$Q$$의 유니터리 군 위에서 표준적인 평균화 기법을 통해 유도된다.
• 결과는 $$\Gamma$$와 측도 동치인 임의의 군 $$\Lambda$$에도 확장되며, 이 역시 비가산 개의 비오르비트 동치 작용을 가진다.