[논문 리뷰] Highly faithful actions and dense free subgroups in full groups

François Le Maı̂tre|arXiv (Cornell University)|2015. 09. 11.

Advanced Operator Algebra Research참고 문헌 13인용 수 3

한 줄 요약

이 논문은 자유군 𝔽ₘ(𝑚개의 생성자를 가짐)의 고도로 충실하고 거의 모든 궤도에 대해 애매한(amenability onto almost every orbit) 작용을 구성하여, 비용이 𝑚보다 작은 측도를 보존하는 에르고딕 동치 관계를 유도한다. 구체적으로, 전체군에 대한 위상 생성자를 명시적으로 구성하고, 이를 비틀어 높은 비자유성(non-freeness)을 확보함으로써, 이러한 전체군이 𝑚개의 생성자를 가진 밀도 있는 자유 부분군을 포함한다는 것을 증명한다. 이는 보웬(Bowen)의 바이어 카테고리 결과를 더 강력하게 하는 것으로, 구조적이고 명시적인 방법을 사용한다.

ABSTRACT

In this paper, we show that every measure-preserving ergodic equivalence relation of cost less than m comes from a "rich" faithful invariant random subgroup of the free group on m generators, strengthening a result of Bowen which had been obtained by a Baire category argument. Our proof is completely explicit: we use our previous construction of topological generators for full groups and observe that these generators induce a totally non free action. We then twist this construction so that the action is moreover amenable onto almost every orbit and highly faithful.

연구 동기 및 목표

• 비용이 𝑚보다 작은 𝔽ₘ의 동치 관계에 대해, 보웬의 Baire 카테고리 결과를 명시적이고 구조적인 방법으로 강화함으로써, 충실한 불변 랜덤 부분군에 대한 결과를 보다 강력하게 하기 위해.
• 비자유성(non-freeness)을 애매성 또는 전이성 이상으로 강화하는 '고도의 충실성(high faithfulness)'의 개념을 도입함으로써, 𝔽ₘ의 비자유 작용을 분류하기 위해.
• 비용이 𝑚보다 작은 에르고딕이자 측도를 보존하는 동치 관계의 전체군이 𝑚개의 생성자를 가진 밀도 있는 자유 부분군을 포함한다는 것을 보여주기 위해.
• 명시적인 조합론적 및 군론적 비틀기( twisting )를 통해, 전체군의 위상 생성과 고도의 충실성 작용 간의 연결 고리를 확립하기 위해.

제안 방법

• 부분 등장사상과 순환 분해를 사용하여 초유한 동치 관계의 전체군에 대한 수정된 위상 생성자를 구성한다.
• 고정된 부분 등장사상 𝜓를 사용한 비틀기 절차를 적용하여 표준 생성자를 수정함으로써, 결과적으로 작용이 고도로 충실해지도록 한다.
• 𝔽ₘ가 홀수 소수 𝑞에 대해 잔여적으로 𝑞-유한임을 이용하여, 유한 집합 위에서 渐近적으로 자유 작용을 구성하고, 이를 전체군에 통합한다.
• 전체군의 닫힘 성질과 동치 관계의 조인잉( joining )의 구조를 활용하여, 생성된 군이 전체군에 밀도적으로 포함됨을 보인다.
• 서로소 지지부위와 특정 순환 구조가 허용하는 바, 일부 곱의 닫힘으로 인해 𝑈 및 𝐶_{Φ̃ᵢ}와 같은 핵심 원소들이 생성됨을 이용한다.
• 정리 4.5를 적용하여, 유한 궤도를 가진 부분집합 𝐴 위에 새로운 𝔽ₘ 작용을 유도함으로써, 고도의 충실성과 거의 모든 궤도에 대한 애매성(amenability)을 보장한다.

실험 결과

연구 질문

• RQ1 비용이 𝑚보다 작은 측도를 보존하는 동치 관계에 대해, Baire 카테고리 추론에 의해 보장되는 존재성 이상으로, 𝔽ₘ의 명시적이고 고도로 충실한 작용을 구성할 수 있는가?
• RQ2 𝔽ₘ 작용의 비자유성은 어느 정도까지 강화되어 저비용 동치 관계를 분류하는 데 기여할 수 있는가?
• RQ3 비용이 𝑚보다 작은 에르고딕 동치 관계의 전체군이 𝑚개의 생성자를 가진 밀도 있는 자유 부분군을 포함하는가? 만약 그렇다면, 그러한 부분군은 어떻게 명시적으로 실현할 수 있는가?
• RQ4 한 번의 𝔽ₘ 작용에서 거의 모든 궤도에 대한 애매성과 고도의 충실성을 동시에 확보할 수 있는가?
• RQ5 전체군의 위상 생성자를 어떻게 수정하여, 고도의 충실성과 전체군 내 밀도성을 동시에 확보할 수 있는가?

주요 결과

• 비용이 𝑚보다 작은 측도를 보존하는 에르고딕 동치 관계는 모두 𝔽ₘ(𝑚개의 생성자를 가진 자유군)의 고도로 충실한 작용으로부터 유도된다.
• 해당 동치 관계의 전체군은 𝑚개의 생성자를 가진 밀도 있는 자유 부분군을 포함하며, 이는 명시적으로 구성된다.
• 구성된 작용은 거의 모든 궤도에 대해 애매하다. 즉, 각 궤도의 군 작용이 애매함을 의미하며, 이는 강력한 비자유성의 한 형태이다.
• 작용은 고도로 충실하다. 즉, 자유곱 ℤ * 𝔽ₘ의 작용이 코널 셋에서 충실함을 보장하여 강력한 비자유성을 확보한다.
• 증명은 완전히 명시적이고 구조적인 것으로, 이전 결과에서 사용된 Baire 카테고리 추론을 피한다.
• 유한 순환 순열과 순환 구조를 사용하여, 특정 곱의 닫힘으로 전체군이 생성됨을 보장한다.