[논문 리뷰] Bernoulli actions of amenable groups with weakly mixing Maharam extensions

Michael Björklund, Zemer Kosloff|arXiv (Cornell University)|2018. 08. 17.

Advanced Operator Algebra Research참고 문헌 8인용 수 5

한 줄 요약

이 논문은 가산 적분 가능 군의 비특이 베르누이 작용에 대해 약한 혼합성 마라모프 확장을 갖는 조건을 단순한 기준으로 설정하며, 모든 이러한 군이 기저 공간 $\{0,1\}^G$를 갖는 안정적 타입 $III_1$ 베르누이 작용을 갖는다고 증명함으로써, 바에스와 왈의 최근 미해결 문제를 기저를 칸토어 집합으로 대체하지 않고도 해결한다.

ABSTRACT

We provide a simple criterion for a non-singular and conservative Bernouilli action to have a weakly mixing Maharam extension. As an application, we show that every countable amenable group admits a stable type III_1 Bernoulli action, answering a recent question by Vaes and Wahl.

연구 동기 및 목표

• Vaes와 Wahl이 최근 제기한 질문, 즉 모든 가산 적분 가능 군이 기저 공간 $\{0,1\}^G$를 사용하여 비특이 베르누이 작용을 갖는 약한 혼합성 마라모프 확장을 갖는지 여부를 해결하는 것.
• 군에 대한 기술적 고갈 조건을 제거하기 위해, 가족 $(\mu_g)$에 대한 점점 가까워지는 조건과 보존성만으로도 마라모프 확장의 약한 혼합성을 보장하는 것으로 보여주는 것.
• 적분 가능 군의 비특이 베르누이 작용에 대해 마라모프 확장의 약한 혼합성을 보장하는 일반 기준을 수립하는 것. 이 기준은 군의 구조적 가정에 의존하지 않는다.
• 비특이 베르누이 작용이 마진 분포 $\mu_g(0)$에 대해 특정 점점 가까워지는 조건을 만족하고 보존성일 경우, 반드시 약한 혼합성 마라모프 확장을 갖는다는 것을 보여주는 것.

제안 방법

• 기저 $\{0,1\}$에서의 측도 $\mu_g$의 점점 가까워지는 행동에 기반한 새로운 기준을 도입하며, 이는 모든 $g \in G$에 대해 $\sum_{h\in G}(\mu_{gh}(0) - \mu_h(0))^2 < \infty$ 를 요구한다. 이 조건은 비특이성을 보장한다.
• 베르누이 작용의 보존성을 핵심 가정으로 삼아, 마라모프 확장의 약한 혼합성을 도출하기 위해 헬무스 재발정리의 새로운 응용을 마라모프 확장의 맥락에서 활용한다.
• 보존적이고 본질적으로 자유인 작용의 마라모프 확장에 대해 헬무스 재발정리의 변종을 적용하여, 작은 라돈-니코딤 코 cycles 값을 갖는 복귀 시간에 대한 조건을 유도한다.
• 모든 $\varepsilon > 0$ 에 대해, 집합 $C \cap \bigcup_{g \notin F} g^{-1}C \cap \{|r_\xi(g,\cdot)| < \varepsilon\}$ 가 $C$ 에서 전체 $\xi$-측도를 갖는다는 것을 증명하며, 이는 약한 혼합성을 암시한다.
• 푸비니 정리와 마라모프 확장 $\widetilde{\mu} = \mu \otimes e^t dt$ 의 구조를 활용하여, 무한한 복귀 시간의 합과 코 cycles 크기 사이의 관계를 설정한다.
• 측도 $\ell^2(G)$-감쇠성에 의한 차이 $\mu_g(0) - \lambda(0)$ 는 제품 측도 $\prod_g \lambda$ 와 측도 동치임을 이용하여, 비적분 가능 설정에서의 타입 $III$ 존재를 배제한다.

실험 결과

연구 질문

• RQ1 모든 가산 적분 가능 군이 기저 공간 $\{0,1\}^G$를 사용하여 약한 혼합성 마라모프 확장을 갖는 비특이 베르누이 작용을 갖는가?
• RQ2 Vaes와 Wahl의 기준에서 군의 고갈 조건이 마라모프 확장의 약한 혼합성에 필수적인가?
• RQ3 비특이 베르누이 작용이 보존적이며 마진 분포 $\mu_g(0)$ 에 대해 특정 점점 가까워지는 조건을 만족할 경우, 마라모프 확장이 약한 혼합성을 갖는가?
• RQ4 모든 가산 적분 가능 군에 대해 기저 공간 $\{0,1\}$ 을 일반적으로 사용할 수 있는가, 아니면 칸토어 집합이 필요한가?
• RQ5 비특이 베르누이 작용에서 등가의 $\sigma$-유한 측도의 존재를 방지하는 데 있어 적분 가능성의 역할은 무엇인가?

주요 결과

• 모든 가산 적분 가능 군 $G$ 는 약한 혼합성 마라모프 확장을 갖는 비특이 베르누이 작용 $G \curvearrowright (\{0,1\}^G, \mu)$ 를 갖는다. 이는 바에스와 왈의 질문에 긍정적으로 답하는 것이다.
• 마라모프 확장의 약한 혼합성 기준은 모든 $g \in G$ 에 대해 $\sum_{h\in G}(\mu_{gh}(0) - \mu_h(0))^2 < \infty$ 라는 점점 가까워지는 조건과 작용의 보존성으로만 충분하며, 군에 대한 추가적인 구조적 가정이 필요하지 않다.
• 저자들은 보존적 비특이 베르누이 작용이 점점 가까워지는 조건을 만족할 경우, 마라모프 확장이 약한 혼합성을 갖는다는 것을 증명한다. 이는 군에 대한 $G$-불변 고갈 또는 $\lambda$-무의미 집합을 가정하지 않아도 된다는 것을 의미한다.
• 군 $G$ 가 비적분 가능하고 $\mu_g(0) \to \lambda(0)$ 이면, $\mu$ 는 제품 측도 $\prod_g \lambda$ 와 측도 동치이므로, 이러한 작용은 타입 $III$ 가 될 수 없다.
• 증명은 마라모프 확장에 대해 헬무스 재발정리를 정교하게 응용하여, 양의 측도를 갖는 집합이 작은 코 cycles 값을 갖는 복귀 시간을 무한히 반복함을 보여주며, 이는 약한 혼합성을 암시한다.
• 결과적으로, 기저 공간 $\{0,1\}^G$ 를 갖는 안정적 타입 $III_1$ 베르누이 작용이 모든 가산 적분 가능 군에 대해 존재함을 증명하며, 기저 공간 일반성 문제를 해결한다.