[논문 리뷰] Relative Property (T) for the Subequivalence Relations Induced by the Action of SL$_2(\Bbb Z)$ on $\Bbb T^2$

Adrian Ioana|ArXiv.org|2009. 01. 13.

Advanced Operator Algebra Research참고 문헌 19인용 수 6

한 줄 요약

이 논문은 SL₂(ℤ)가 2토러스 𝕋²에 작용하는 에르고딕 하위동치관계에 대해 이분법을 수립한다: 모든 이러한 관계는 초유한가 아니면 강성 있는가이다. 에르고딕 이론과 폰 노이만 대수 기법을 사용하여, 저자들은 비초유한 하위동치관계가 그룹 작용으로부터 유도된 강성을 상속함을 증명하며, 그룹 이론적 기원 없이 강성을 갖는 첫 번째 예를 제공함으로써, 포파와 가보리오가 제기한 오랜 숙제를 해결한다.

ABSTRACT

Let $\Cal S$ be the equivalence relation induced by the action SL$_2(\Bbb Z)\curvearrowright (\Bbb T^2,λ^2)$, where $λ^2$ denotes the Haar measure on the 2-torus, $\Bbb T^2$. We prove that any ergodic subequivalence relation $\Cal R$ of $\Cal S$ is either hyperfinite or rigid in the sense of S. Popa ([Po06]). The proof uses an ergodic-theoretic criterion for rigidity of countable, ergodic, probability measure preserving equivalence relations. Moreover, we give a purely ergodic-theoretic formulation of rigidity for free, ergodic, probability measure preserving actions of countable groups.

연구 동기 및 목표

• SL₂(ℤ) 작용이 𝕋²에 대해 비초유한 에르고딕 하위동치관계가 모두 강성 있는가에 대한 오랜 숙제를 해결하기 위해.
• 상대적 성질 (T)을 갖는 군 쌍에서 유래되지 않는 새로운 강성 동치관계의 클래스를 수립하기 위해.
• 2토러스에 대한 SL₂(ℤ) 작용의 하위동치관계에 대해 구조적 이분법을 수립하기 위해.
• 강성이 동치관계에서 군 이론적 강성보다는 동역학적 및 측도 이론적 성질에서 유래될 수 있음을 보여주기 위해.

제안 방법

• 동치관계의 강성과 폰 노이만 대수 위의 힐버트 이중모듈러스에서의 0이 아닌 중심 벡터의 존재 사이의 등가성을 사용한다.
• 유한 폰 노이만 대수의 포함관계에 대한 상대적 성질 (T)의 개념을 하위동치관계 분석에 적용한다.
• 비초유한 하위동치관계가 강성임을 모순에 의한 방법으로 보이며, 비강성 가정이 초유한성을 이끌어냄으로써 증명한다.
• 오자와 및 다른 이들의 강력한 에르고딕성과 초유한성 결과를 활용하여 하위동치관계의 구조를 제약한다.
• SL₂(ℤ)가 𝕡¹(ℝ) 위의 보렐 확률측도 공간에 작용함으로써 초유한 극한 작용을 구성한다.
• 콘네스-펠드만-위스 정리를 적용하여, 측도의 안정자군이 아벨리안일 경우 초유한성을 결론짓는다.

실험 결과

연구 질문

• RQ1 SL₂(ℤ) 작용이 𝕋²에 대해 비초유한 에르고딕 하위동치관계는 모두 강성 있는가?
• RQ2 강성이 군 이론적 기원 없이, 예를 들어 군 쌍의 상대적 성질 (T) 없이도 동치관계에서 유도될 수 있는가?
• RQ3 하위동치관계에서 초유한성이 결여되어 있으면, 폰 노이만 대수적 의미에서 강성이 유도되는가?
• RQ4 SL₂(ℤ) 작용이 𝕋²에 대해 모든 에르고딕 하위동치관계는 초유한가 아니면 강성 있는가에 대한 구조적 이분법이 존재하는가?
• RQ5 강성이 동치관계에서 강력한 에르고딕성을 암시하는가? 그리고 이는 오자와의 결과를 재증명하는 데 사용될 수 있는가?

주요 결과

• SL₂(ℤ) 작용이 𝕋²에 대해 모든 에르고딕 하위동치관계는 초유한가 아니면 강성 있는 것으로, 완전한 이분법을 수립한다.
• 상대적 성질 (T)을 갖는 군 쌍에서 기인하지 않는 동치관계의 강성에 대한 첫 번째 예가 구성된다.
• 비초유한 하위동치관계의 비용은 1보다 크며, 이는 비초유한성을 암시한다.
• SL₂(ℤ)가 𝕡¹(ℝ) 위의 보렐 확률측도 공간에 작용함으로써 초유한 동치관계가 유도된다.
• 하위동치관계가 초유한이 아니면, 오자와의 결과에 따라 강력한 에르고딕성이 성립하며, 이는 강성 결과와 일치한다.
• 𝕡¹(ℝ) 위의 보렐 확률측도 공간에서 일반적인 측도의 안정자군은 아벨리안이며, 이는 관련 작용의 초유한성을 암시한다.