[논문 리뷰] Subequivalence Relations and Positive-Definite Functions

Adrian Ioana, Alexander S. Kechris외 1명|ArXiv.org|2008. 06. 03.

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

한 줄 요약

이 논문은 표준 확률 공간의 자기동형사상군에서의 부분동치관계와 양의 정부호 함수 사이의 새로운 연결을 제시한다. 함수 $\varphi_E(S) = \mu(\{x : S(x) E x\})$를 통해 동치관계가 자동형사상을 얼마나 '포함'하는지를 측정한다. 주요 기여는 공-induction된 군 작용의 혼합성 및 에르고딕성 성질을 $\varphi_E(\gamma)$의 감쇠 행동을 통해 특성화한 것으로, 모든 기본 작용에 대해 $\varphi_E(\gamma) \to 0$ as $\gamma \to \infty$이면 공-induction된 작용이 혼합성이 됨을 증명한다.

ABSTRACT

We study a positive-definite function associated to a measure-preserving equivalence relation on a standard probability space and use it to measure quantitatively the proximity of subequivalence relations. This is combined with a recent co-inducing construction of Epstein to produce new kinds of mixing actions of an arbitrary infinite discrete group and it is also used to show that orbit equivalence of free, measure preserving, mixing actions of non-amenable groups is unclassifiable in a strong sense. Finally, in the case of property (T) groups we discuss connections with invariant percolation on Cayley graphs and the calculation of costs.

연구 동기 및 목표

• 측도를 보존하는 가산 동치관계와 $\mathrm{Aut}(X,\mu)$에서의 양의 정부호 함수를 연결하는 함수해석학적 프레임워크를 구축하기.
• 특히 궤도 구조와 비용과의 관련성에서, $E \subseteq F$인 부분동치관계의 유사도를 $\varphi_E(\gamma)$의 하한을 통해 분석하기.
• 공-induction된 군 작용의 에르고딕성 및 혼합성 성질을 $\varphi_E(\gamma)$의 감쇠 행동을 통해 연구하기.
• 카즈단의 성질 (T)과 HAP를 고려할 때, 동치관계와 군 작용의 비용에 대한 정량적 상한을 도출하기.
• 공-induction된 작용이 혼합성 또는 에르고딕성을 가지는 조건을 $\varphi_E(\gamma)$의 감쇠 행동에 기반해 특성화하기.

제안 방법

• 모든 $S \in \mathrm{Aut}(X,\mu)$에 대해 $\varphi_E(S) = \mu(\{x : S(x) E x\})$로 정의된 양의 정부호 함수를 도입하여, $S$가 동치관계 $E$를 얼마나 유지하는지를 측정한다.
• 함수 $\varphi_E$를 사용해, 특히 $\Gamma$의 군 작용에 의해 유도된 $F$인 경우의 부분동치관계 $E \subseteq F$의 구조를 분석한다.
• 에르고딕 이론 기법과 군 작용의 동역학을 적용하여, 하한 $\varphi_E^0 = \inf_{\gamma \in \Gamma} \varphi_E(\gamma)$가 불변 집합의 존재성과 $[F|A:E|A]$ 지표와 어떻게 관련되는지 분석한다.
• 에프스테인의 공-induction 구성법을 활용하여 기본 작용 $a$의 에르고딕 성질이 공-induction된 작용 $b = \mathrm{CInd}(a_0,b_0)^\Gamma_\Delta(a)$에 어떻게 영향을 주는지 연결한다.
• 모든 기본 작용 $a$에 대해 $\varphi_E(\gamma) \to 0$ as $\gamma \to \infty$이면 공-induction된 작용이 혼합성이 됨을 증명한다.
• 카즈단의 성질 (T)과 HAP를 활용하여, 고정점 집합의 측도와 $\varphi_E(\gamma)$의 추정치를 통해 $C(\Gamma)$의 정량적 상한을 유도한다.

실험 결과

연구 질문

• RQ1 공-induction된 작용 $b$가 기본 작용 $a$의 혼합성을 물려받기 위해 $\varphi_E(\gamma)$에 어떤 조건이 필요한가?
• RQ2 $\varphi_E^0 = \inf_{\gamma \in \Gamma} \varphi_E(\gamma)$는 부분동치관계 $E \subseteq F$의 구조에 어떤 제약을 가하는가?
• RQ3 $\varphi_E(\gamma)$의 감쇠 행동과 공-induction된 작용 $b$의 에르고딕성 또는 혼합성 사이의 관계는 무엇인가?
• RQ4 카즈단 쌍 $(Q,\epsilon)$과 $\varphi_E(\gamma)$의 행동에 기반해 군 $\Gamma$의 비용을 유계로 둘 수 있는가?
• RQ5 만약 $\Gamma$가 HAP를 갖지 않으며, $\min_{\gamma \in Q} \varphi_E(\gamma) > 1 - \epsilon$이라면, 어떤 $\Delta$가 $E$를 유도할 수 없고 HAP를 갖지 못하는가?

주요 결과

• 만약 $\varphi_E^0 = \inf_{\gamma \in \Gamma} \varphi_E(\gamma) > \frac{1}{2}$이면, 양의 측도를 가진 보렐 집합 $A \subseteq X$에서 $F|A = E|A$이다.
• 만약 $\varphi_E^0 > \frac{3}{4}$이면, $\mu(A) \geq 4\varphi_E^0 - 3$인 $E$-불변 보렐 집합 $A$가 존재한다.
• 모든 무한군 $\Gamma$에 대해 자유이고 혼합성이 있는 작용 $b_0$가 존재하면, $\varphi_E(\gamma) \to 0$ as $\gamma \to \infty$가 되는 자유이고 혼합성이 있는 $\mathbb{Z}$의 작용 $a_0$가 존재한다.
• 만약 $\Gamma$가 비가역적이라면, 자유이고 혼합성이 있는 작용 $b_0$와 자유이고 에르고딕성 있는 $F_2$의 작용 $a_0$를 찾아서 $\varphi_E(\gamma) \to 0$ as $\gamma \to \infty$가 성립한다.
• 성질 (T)를 갖는 군 $\Gamma$와 카즈단 쌍 $(Q,\epsilon)$이 존재할 경우, $Q$에 무한 차수 원소가 포함되어 있으면 $C(\Gamma) \leq n - \frac{\epsilon^2}{8}$이다.
• $\Gamma$가 HAP를 갖지 않으며, $\min_{\gamma \in Q} \varphi_E(\gamma) > 1 - \epsilon$이라면, $E$를 유도하는 임의의 군 $\Delta$는 HAP를 가질 수 없다.