[논문 리뷰] On Virtual Conjugacy of Generalized Odometers

María Isabel Cortéz, Konstantin Medynets|arXiv (Cornell University)|2015. 08. 07.

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

한 줄 요약

이 논문은 최소 등거리 연속 시스템에서 연속 궤도 동치에 대한 강성 정리를 수립하며, 이러한 시스템이 정의하는 군들이 가상으로 동형이면서 유한지수 부분군의 구조를 유지할 때이고, 그때에만 가상으로 조각별 동형이 된다고 증명한다. 또한 최소 등거리 연속 시스템의 위상적 전체군이 애매성(amenability)을 갖는 것은 그 작용 군이 애매성을 갖는 것과 동치이며, Boyle의 플립-동형 정리의 일반화를 제공하고, 일반화된 Bunce-Deddens C*-대수에서 제한된 동형의 동역학적 분류를 제공한다.

ABSTRACT

The paper is focused on the study of continuous orbit equivalence for generalized odometers (profinite actions). We show that two generalized odometers are continuously orbit equivalent if and only if the acting groups have finite index subgroups (having the same index) whose actions are piecewise conjugate. This result extends M.~Boyle's flip-conjugacy theorem originally established for $\mathbb Z$-actions. As a corollary we obtain a dynamical classification of the restricted isomorphism between generalized Bunce-Deddens $C^*$-algebras. We also show that the full group associated with a generalized odometer is amenable if and only if the acting group is amenable.

연구 동기 및 목표

• 연속 궤도 동치에 대한 최소 등거리 연속 시스템에서의 동역학적 강성 정리 수립.
• 두 프로피닉트 작용이 정의하는 군의 가상 동형에 의해 연속 궤도 동치가 되는 조건을 규명.
• Boyle의 플립-동형 정리를 고차원 $Δ^{d}$-작용으로 확장.
• 동역학적 불변량을 사용하여 일반화된 Bunce-Deddens C*-대수의 제한된 동형을 분류.
• 작용 군의 애매성에 따라 위상적 전체군의 애매성을 결정.

제안 방법

• 정규 부분군이 아닌 유한지수 부분군의 중첩 구조를 사용하여 등거리 시스템을 $G$-오도미터로 표현.
• 클로즈드-오픈 이웃에서 국소 동형을 유지하는 호메오모르피즘을 통한 연속 궤도 동치 정의.
• 궤도 코ycle $f(\gamma,x)$를 사용하여 위상적 전체군의 원소를 국소적으로 작용하는 군 원소와 연결.
• 중첩된 분할 구조에 맞는 부분군 $[[G]]_n$의 합집합으로 위상적 전체군 $[[G]]$를 구성.
• 정규 부분군 $G_n$에 대해 $[[G]]_n$이 $G_n^{[G:G_n]} \rtimes S_{[G:G_n]}$와 동형임을 증명하고, 귀납적 극한 분석 가능하게 함.
• 애매성과 임bedding에 관한 군론적 결과를 적용하여 전체군의 애매성과 군의 애매성 간의 관계를 규명.

실험 결과

연구 질문

• RQ1 두 자유 최소 등거리 연속 시스템은 언제 연속 궤도 동치가 되는가?
• RQ2 두 프로피닉트 작용 사이의 연속 궤도 동치를 보장하는 군론적 조건은 무엇인가?
• RQ3 연속 궤도 동치는 $Δ^{d}$-작용에서의 가상 동형과 어떻게 관련되는가?
• RQ4 위상적 전체군은 시스템의 애매성 결정에 어떤 역할을 하는가?
• RQ5 유한지수 부분군의 구조는 일반화된 오도미터에서 궤도 동치를 어떻게 결정하는가?

주요 결과

• 두 프로피닉트 작용 $(X,G)$와 $(Y,H)$는 $G$와 $H$가 가상으로 동형이면서, 이 동형이 작용을 정의하는 유한지수 부분군의 구조를 유지할 때이고, 그때에만 연속 궤도 동치이다.
• 최소 등거리 연속 $\mathbb{Z}^d$-시스템에서의 연속 궤도 동치는 가상 조각별 동형을 함의하며, Boyle의 플립-동형 정리를 일반화한다.
• 최소 등거리 연속 시스템 $(X,G)$의 위상적 전체군 $[[G]]$는 군 $G$가 애매성일 때이고, 그때에만 애매성이 있다.
• 정규 부분군 $\{G_n\}$으로 정의된 자유 정확한 오도미터에 대해 위상적 전체군 $[[G]]$는 귀납적 극한 $\varinjlim(G_n^{[G:G_n]} \rtimes S_{[G:G_n]}, \tau_n)$과 동형이다.
• 모든 자유 최소 등거리 칸토어 시스템의 위상적 전체군은 정확한 오도미터의 전체군의 부분군과 동형이며, 이는 애매성 전이를 가능하게 한다.
• 일반화된 Bunce-Deddens $C^*$-대수의 제한된 동형류는 관련 군의 가상 동형 유형과 유한지수 부분군의 구조 유지 여부에 의해 완전히 분류된다.