[논문 리뷰] Topological freeness for $*$-commuting covering maps

Nicolai Stammeier|arXiv (Cornell University)|2013. 11. 04.

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

한 줄 요약

이 논문은 가환 호모토피를 갖는 컴팩트 하우스도르프 공간 위의 가산 개의 ∗-교환되는 커버링 사상의 가족과 관련된 C*-대수 𝒪[X,P,θ]에서, 위상적 자유성, 이상의 교차 성질, ℓ²(X) 위의 표준 표현의 충실성, 그리고 C(X)가 마스터 아벨 자명한 부분대수로서의 최대성 간의 동치성을 확립한다. 또한 𝒪[X,P,θ]의 단순성은 역동계의 최소성과 동치이며, 이 C*-대수는 관련된 곱계열의 힐버트 이중모듈러스에 기반한 쿤츠-니카-피姆스너 대수와 자연스럽게 동형임을 보인다.

ABSTRACT

A countable family of $*$-commuting surjective, non-injective local homeomorphisms of a compact Hausdorff space $X$ gives rise to an action $θ$ of a countably generated, free abelian monoid $P$. For such a triple $(X,P,θ)$, which we call an irreversible $*$-commutative dynamical system, we construct a universal $C^*$-algebra $\mathcal{O}[X,P,θ]$. Within this setting we show that the following four conditions are equivalent: $(X,P,θ)$ is topologically free, $C(X) \subset \mathcal{O}[X,P,θ]$ has the ideal intersection property, the natural representation of $\mathcal{O}[X,P,θ]$ on $\ell^2(X)$ is faithful, and $C(X)$ is a masa in $\mathcal{O}[X,P,θ]$. As an application, we characterise simplicity of $\mathcal{O}[X,P,θ]$ by minimality of $(X,P,θ)$. We also show that $\mathcal{O}[X,P,θ]$ is isomorphic to the Cuntz-Nica-Pimsner algebra of a product system of Hilbert bimodules naturally associated to $(X,P,θ)$. Moreover, we find a close connection between $*$-commutativity and independence of group endomorphisms, a notion introduced by Cuntz and Vershik. This leads to the observation that, for commutative irreversible algebraic dynamical systems of finite type $(G,P,θ)$, the dual model $(\hat{G},P,\hatθ)$ is an irreversible $*$-commutative dynamical system and $\mathcal{O}[\hat{G},P,\hatθ]$ is canonically isomorphic to $\mathcal{O}[G,P,θ]$. This allows us to conclude that minimality of $(G,P,θ)$ is not only sufficient, but also necessary for simplicity of $\mathcal{O}[G,P,θ]$ if $(G,P,θ)$ is commutative and of finite type.

연구 동기 및 목표

• 가환 호모토피를 갖는 컴팩트 하우스도르프 공간 위의 가산 개의 ∗-교환되는, 비단사적이고 전사적인 국소 위상동형사상의 가족으로부터 유도되는 비역행적 ∗-교환 동역학계를 정의하고 연구한다.
• 이러한 체계와 관련된 보편 C*-대수 𝒪[X,P,θ]를 구성하며, 엔도모르피즘에 의한 에크셀의 교차곱을 다변수 및 비가역적 상황으로 일반화한다.
• 네 가지 핵심 구조적 성질 간의 동치성을 확립한다: 위상적 자유성, 이상의 교차 성질, ℓ²(X) 위의 표준 표현의 충실성, 그리고 C(X)가 마스터 아벨 자명한 부분대수로서의 최대성.
• 기본 역동계의 최소성 조건을 통해 𝒪[X,P,θ]의 단순성을 특성화한다.
• 𝒪[X,P,θ]가 (X,P,θ)와 자연스럽게 관련된 힐버트 이중모듈러스의 곱계열에 대한 쿤츠-니카-피姆스너 대수와 표준적으로 동형임을 보인다.

제안 방법

• P가 가산 생성된 자유 아벨 모노이드이고, 각각의 θ_p: X → X 가 전사적이며 비단사적인 국소 위상동형사상이며, ∗-교환 조건을 만족하는 삼중조합 (X,P,θ)로 비역행적 ∗-교환 동역학계를 정의한다: θ_p ∘ θ_q = θ_q ∘ θ_p 이고, 모든 x ∈ X 에 대해 θ_p^{-1}(θ_q(x)) = θ_q^{-1}(θ_p(x)) 이다.
• 생성자와 관계를 통해 보편 C*-대수 𝒪[X,P,θ]를 구성한다: 각 p ∈ P 에 대해 α_p(f) = f∘θ_p 를 실현하는 등급사상 (s_p), 그리고 L_p(f) = s_p^* f s_p 를 만족하는 공등급사상 (s_p^*)를 포함하며, ∗-교환 조건에 따라 상호 호환성을 확보하는 관계를 설정한다.
• 표준 표현 φ: 𝒪[X,P,θ] → B(ℓ²(X)) 를 s_p δ_x = δ_{θ_p(x)} 와 s_p^* δ_y = ∑_{z∈θ_p^{-1}(y)} δ_z 로 정의하여 충실성을 분석한다.
• 이상의 교차 성질을 적용한다: 𝒪[X,P,θ]의 모든 비자명한 이상 I 에 대해 I ∩ C(X) ≠ 0 이다. 이 성질이 위상적 자유성과 동치임을 보인다.
• 위상적 자유성—각 비항등원 p ∈ P 에 대해 고정점 집합의 내부가 공집합임—이 다른 세 성질과 동치임을 연쇄적 함의를 통해 증명한다.
• 커버링 사상으로부터 자연스럽게 유도된 힐버트 이중모듈러스의 곱계열에 기반한 쿤츠-니카-피姆스너 대수와 𝒪[X,P,θ] 사이의 동형관계를 확립한다.

실험 결과

연구 질문

• RQ1 𝒪[X,P,θ] 의 ℓ²(X) 위의 표준 표현이 충실한가?
• RQ2 C*-대수 𝒪[X,P,θ] 가 이상의 교차 성질을 갖는다는 것은 언제인가? 즉, 모든 비자명한 이상이 C(X)와 비자명하게 만날 때.
• RQ3 C(X) 가 𝒪[X,P,θ] 내에서 최대 아벨 자명한 부분대수(masa)인가?
• RQ4 (X,P,θ) 에 대해 𝒪[X,P,θ] 의 단순성을 보장하는 정확한 조건은 무엇인가?
• RQ5 ∗-교환성은 쿤츠와 베르시크의 관점에서의 군 엔도모르피즘의 독립성과 어떻게 관련되는가?

주요 결과

• (X,P,θ) 의 위상적 자유성은 모든 비자명한 이상이 C(X) 와 비자명하게 만날 수 있음을 의미하는 이상의 교차 성질과 동치이다.
• 𝒪[X,P,θ] 의 ℓ²(X) 위의 표준 표현 φ 는 (X,P,θ) 가 위상적으로 자유일 때이고 그 때에만 충실하다.
• C(X) 는 (X,P,θ) 가 위상적으로 자유일 때이고 그 때에만 𝒪[X,P,θ] 내에서 마스터 아벨 자명한 부분대수이다.
• C*-대수 𝒪[X,P,θ] 는 (X,P,θ) 가 최소일 때이고 그 때에만 단순하다.
• 𝒪[X,P,θ] 는 (X,P,θ) 와 관련된 힐버트 이중모듈러스의 곱계열에 대한 쿤츠-니카-피姆스너 대수와 표준적으로 동형이다.
• 유한 유형의 가환 비역행적 대수적 동역학계 (G,P,θ) 에서, (G,P,θ) 의 최소성은 𝒪[G,P,θ] 의 단순성에 대해 필요이고 충분하며, 이는 쌍대성에 의해 (Ĝ,P,θ̂) 체계와 연결된다.