[논문 리뷰] Invariant percolation and measured theory of nonamenable groups

Cyril Houdayer|arXiv (Cornell University)|2011. 06. 27.

Advanced Operator Algebra Research참고 문헌 44인용 수 10

한 줄 요약

이 논문은 비암면(countable discrete) 군이 불가측한 비오르비트 등가(non-orbit equivalent) 자유 혼합 확률측도보존(pmp) 작용을 비가чёт수로 가짐을 보이며, 불변 퍼콜레이션과 측도군론을 사용한다. 비암면 군 Γ의 브라우니이 시프트 내에서 자유군 F₂의 자유 에르고딕 pmp 작용을 구성함으로써, F₂는 Γ에 측도적으로 임베딩 가능하다(F₂ <_ME Γ)는 것을 증명하며, 바르트만의 문제에 대한 측도군론적 해법을 제시하고 비암면 군에 대해 연속체 수의 비-OE 작용을 제공한다.

ABSTRACT

Using percolation techniques, Gaboriau and Lyons recently proved that every countable, discrete, nonamenable group $Γ$ contains measurably the free group $\mathbf F_2$ on two generators: there exists a probability measure-preserving, essentially free, ergodic action of $\mathbf F_2$ on $([0, 1]^Γ, λ^Γ)$ such that almost every $Γ$-orbit of the Bernoulli shift splits into $\mathbf F_2$-orbits. A combination of this result and works of Ioana and Epstein shows that every countable, discrete, nonamenable group admits uncountably many non-orbit equivalent actions.

연구 동기 및 목표

• 모든 비암면 군 Γ가 측도적으로 F₂의 사본을 포함함을 보여 측도군론의 프레임워크에서 바르트만의 문제를 해결하는 것.
• 비암면 군이 비가чёт수로 비오르비트 등가인 자유 혼합 pmp 작용을 가짐을 확립하는 것.
• 모든 비암면 군의 브라우니이 시프트의 오르비트 등가 관계 내에 존재하는 에르고딕, 트리어블, 비초한성인 부분등가관계의 존재를 자가완비적으로 증명하는 것.
• 불변 퍼콜레이션에서 핵심 구성 도구로 자유 최소 스패닝 포레스트를 사용하여 가보리우-라이온스 정리를 확장하는 것.
• 만약 오르비트 등가류가 비가чёт수라면, 구성된 작용의 쿠퍼만 표현이 비가чёт수로 비동형인 기저부분표현을 포함하게 되어 모순이 발생함을 보여, 이를 통해 오르비트 등가류의 비가чёт수성의 모순을 이끌어내는 것.

제안 방법

• Γ의 카일리 그래프에서 자유 최소 스패닝 포레스트를 통해 불변 퍼콜레이션을 이용해 R ⊂ R(Γ ≀ [0,1]^Γ)의 부분등가관계를 구성하는 것.
• 확률론적 및 기하군론적 기법을 사용해 이 부분등가관계가 에르고딕, 트리어블, 비초한성임을 증명하는 것.
• 가보리우의 비용 이론을 적용해 구성된 부분등가관계의 비용이 최소 2임을 보이며, 히오르스의 결과에 의해 F₂ 작용의 존재를 유도하는 것.
• 가우시안 작용과 공인도를 사용해 F₂의 유니터리 표현 π에 따라 인덱싱된 자유 pmp 작용 σ_π: Γ ≀ X → X의 가족을 구성하는 것.
• σ_π의 쿠퍼만 표현이 원래 표현 π를 포함함을 보이고, 이를 통해 만약 비가чёт수로 많은 σ_π가 오르비트 등가라면 모순이 발생함을 도출하는 것.
• 조건(∗)과 조건(∗∗)을 활용해 몐드맵의 혼합성과 비자명성을 보장하고, 작용의 비동형성을 유지하는 것.

실험 결과

연구 질문

• RQ1 모든 비암면 가산 이산 군은 비가чёт수로 비오르비트 등가인 자유 혼합 pmp 작용을 가지는가?
• RQ2 자유군 F₂는 오르비트 등가관계를 통해 어떤 비암면 군 Γ에 측도적으로 임베딩 가능한가?
• RQ3 비암면 군의 브라우니이 시프트의 오르비트 등가관계 내에 측도적, 에르고딕, 트리어블, 비초한성인 부분등가관계가 존재하는가?
• RQ4 Γ의 카일리 그래프에서 자유 최소 스패닝 포레스트는 이러한 부분등가관계를 유도할 수 있는가?
• RQ5 구성된 작용의 쿠퍼만 표현은 오르비트 등가류 분류에 어떤 영향을 미치는가?

주요 결과

• 모든 비암면 가산 이산 군 Γ는 비가чёт수로 비오르비트 등가인 자유 혼합 pmp 작용을 가짐.
• 자유군 F₂는 어떤 비암면 군 Γ에 대해 측도적으로 임베딩 가능하다. 즉, F₂ <_ME Γ.
• Γ의 브라우니이 시프트의 오르비트 등가관계는 자유 최소 스패닝 포레스트에서 유도된 에르고딕, 트리어블, 비초한성인 부분등가관계를 포함한다.
• 구성된 작용 σ_π: Γ ≀ X → X는 혼합적이며, 상호 비동형이며, 쿠퍼만 표현은 비가чёт수로 비동형인 기저부분표현을 포함한다.
• 비가чёт수로 비-OE 작용의 존재는 모순에 의해 증명된다: 만약 그것들이 오르비트 등가라면, 쿠퍼만 표현은 비가чёт수로 비동형인 기저부분표현을 포함하게 되며, 이는 분리 가능한 힐버트 공간에서는 불가능하다.
• 이 증명은 암면 군의 클래스가 오르비트 등가에 대해 유일한 자유 에르고딕 pmp 작용을 가짐을 정확히 특징짓는다는 것을 확인한다.