[논문 리뷰] Uniformly recurrent subgroups and the ideal structure of reduced crossed products

Takuya Kawabe|arXiv (Cornell University)|2017. 01. 12.

Advanced Operator Algebra Research참고 문헌 12인용 수 17

한 줄 요약

이 논문은 가산离산군 $ \Gamma $ 가 컴acts Hausdorff 공간 $ X $ 에 작용할 때, 감소된 교차곱 $ C(X) \rtimes_r \Gamma $ 의 이상적인 구조를, 균일하게 반복되는 부분군(URS)과 부분군들의 Chabauty 위상에 의거하여 기술한다. Kennedy의 $ \mathrm{C}^* $-단순성에 대한 대수적 특성화를 일반화하여, 교차곱의 단순성이 모든 애매한 안정화 부분군 $ \Lambda \leq \Gamma_x $ 에 대해 $ g_i \Lambda g_i^{-1} \to \{e\} $ 가 Chabauty 위상에서 성립하는 네트워크 $ (g_i) $ 의 존재성과 동치임을 보이며, $ \Gamma $-공간과 관련된 애매한 URS가 그 안정성 체계에 의해 지배되는 가장 큰 애매한 URS임을 증명한다.

ABSTRACT

We study the ideal structure of reduced crossed product of topological dynamical systems of a countable discrete group. More concretely, for a compact Hausdorff space $X$ with an action of a countable discrete group $Γ$, we consider the absence of a non-zero ideals in the reduced crossed product $C(X) times_r Γ$ which has a zero intersection with $C(X)$. We characterize this condition by a property for amenable subgroups of the stabilizer subgroups of $X$ in terms of the Chabauty space of $Γ$. This generalizes Kennedy's algebraic characterization of the simplicity for a reduced group $\mathrm{C}^{*}$-algebra of a countable discrete group.

연구 동기 및 목표

• 안정화 부분군의 역학적 성질에 따라 $ \Gamma $-공간의 교차 성질를 기술하는 것.
• 감소된 위상역학적 시스템의 교차곱에 대해 Kennedy의 $ \mathrm{C}^* $-단순성에 대한 대수적 특성화를 일반화하는 것.
• 안정화 부분군의 안정성 체계로부터 유도된 안정한 균일하게 반복되는 부분군(URS)의 순서 구조를 연구하는 것.
• $ C(X) \rtimes_r \Gamma $ 의 이상 구조와 Chabauty 공간 $ \mathrm{Sub}(\Gamma) $ 내의 코어지류 궤도의 역학적 행동 사이의 연결 고리를 설정하는 것.

제안 방법

• C(X) 의 $ \Gamma $-동치의 포함적 외접 $ C(\tilde{X}) $ 를 사용하며, 이는 Hamana 경계와 유사한 역할을 한다.
• 군의 부분군 공간 $ \mathrm{Sub}(\Gamma) $ 에서의 Chabauty 위상과 $ \Gamma $-행동(공역 변환에 의한 작용)을 적용한다.
• 점 $ x \in X $ 의 안정화 부분군 집합으로서의 안정성 체계 $ \mathcal{S}_X \subset \mathrm{Sub}(\Gamma) $ 는 $ \Gamma $-불변이고 닫힌 부분집합으로 정의된다.
• 균일하게 반복되는 부분군(URS)을 $ \mathrm{Sub}(\Gamma) $ 의 최소 $ \Gamma $-불변 부분집합으로서 정의한다.
• Arveson 정리에 의한 단위 완전 양성 확장의 사용을 통해 부분군에 관련된 표현과 핵을 분석한다.
• 강한 연속 위상 수렴성의 평균 $ n^{-1}\sum_{k=1}^n \pi_{\Lambda'}(\lambda_g)^k $ 을 이용해 불변 벡터에 사영하는 방법을 사용하며, 이는 모순 증명에 활용된다.

실험 결과

연구 질문

• RQ1 감소된 교차곱 $ C(X) \rtimes_r \Gamma $ 는 $ C(X) $ 와 자명하게 교차하는 비영 이상을 가지지 않을 조건은 무엇인가?
• RQ2 $ X $ 내의 $ \Gamma $-불변 닫힌 부분집합의 교차 성질은 안정화 부분군의 역학적 성질로 어떻게 기술될 수 있는가?
• RQ3 Chabauty 위상은 어떻게 $ C(X) \rtimes_r \Gamma $ 의 단순성 특성화에 기여하는가?
• RQ4 애매한 URS는 감소된 교차곱의 이상 구조와 어떻게 관련되는가?
• RQ5 주어진 안정성 체계 $ \mathcal{S}_X $ 에 의해 지배되는 가장 큰 애매한 URS는 유일하게 특정될 수 있는가?

주요 결과

• 모든 $ \Gamma $-불변 닫힌 부분집합에 대해 교차 성질이 성립하는 것은, 모든 $ x \in X $ 와 모든 애매한 부분군 $ \Lambda \leq \Gamma_x $ 에 대해 $ g_i x \to x $ 이고 $ g_i \Lambda g_i^{-1} \to \{e\} $ 가 Chabauty 위상에서 성립하는 네트워크 $ (g_i) $ 가 존재하는 것과 동치이다.
• 최소 $ \Gamma $-공간 $ X $ 에 대해 감소된 교차곱 $ C(X) \rtimes_r \Gamma $ 가 단순한 것은, 모든 $ x \in X $ 와 모든 애매한 $ \Lambda \leq \Gamma_x $ 에 대해 $ g_i \Lambda g_i^{-1} \to \{e\} $ 가 Chabauty 위상에서 성립하는 수열 $ (g_i) $ 가 존재하는 것과 동치이다.
• 공간 $ X $ 와 관련된 안정성 체계 $ \mathcal{S}_X \subset \mathrm{Sub}(\Gamma) $ 는 유일한 애매한 URS $ \mathcal{A}_X $ 를 생성하며, 이는 $ \mathcal{S}_X $ 에 의해 지배되는 가장 큰 애매한 URS이다.
• 만약 $ \mathcal{S}_X $ 가 URS 이면, $ \mathcal{A}_X $ 는 $ \tilde{X} $ 의 $ \Gamma $-동치 포함적 외접인 안정성 체계 $ \mathcal{S}_{\tilde{X}} $ 내에서 유일한 애매한 URS이다.
• 모든 애매한 URS $ \mathcal{U} $ 에 대해 $ I_{\mathcal{U}} = 0 $ 이면, $ \mathcal{U} $ 는 전부 순환군으로 이루어져 있으며, 이러한 $ \mathcal{U} $ 는 순환 부분군의 코어지류의 폐쇄로 유도된다.
• $ \mathrm{ker}(\pi_\Lambda) \subset \mathrm{ker}(\pi_{\Lambda'}) $ 이면, $ \overline{\mathrm{Ad}(\Gamma)\Lambda} $ 내에 존재하는 애매한 부분군 $ \Delta $ 가 존재하여 $ \Delta \subset T(\Lambda') $ 를 만족한다. 여기서 $ T(S) $ 는 그 원소의 거듭제곱이 $ S $ 에 속하는 원소들의 집합이다.