[논문 리뷰] Orbit equivalence of one-sided subshifts and the associated C^*-algebras

Kengo Matsumoto|ArXiv.org|2007. 09. 08.

Advanced Operator Algebra Research참고 문헌 23인용 수 5

한 줄 요약

이 논문은 λ-그래프 시스템으로부터 유도된 두 개의 한쪽 방향 서브시프트가 연속적으로 궤도 등가일 조건을 규명한다. 즉, 그들의 관련 C*-대수 사이에 존재하는 등장사상이 기저 공간 위의 연속 함수들의 교환 가능한 C*-부분대수를 유지할 때이고, 그와 동시에 그들의 위상적 전체 역반군을 뒤섞는 홈오미오피즘의 존재와도 등가이다. 이 결과는 이전의 위상 마르코프 시프트에 대한 결과를 더 넓은 의미의 한쪽 방향 서브시프트로 일반화한다.

ABSTRACT

A $λ$-graph system ${\frak L}$ is a generalization of a finite labeled graph and presents a subshift. We will prove that the topological dynamical systems $(X_{{\frak L}_1},σ_{{\frak L}_1})$ and $(X_{{\frak L}_2},σ_{{\frak L}_2})$ for $λ$-graph systems ${\frak L}_1$ and ${\frak L}_2$ are continuously orbit equivalent if and only if there exists an isomorphism between the associated $C^*$-algebras ${\Cal O}_{{\frak L}_1}$ and ${\Cal O}_{{\frak L}_2}$ keeping their commutative $C^*$-subalgebras $C(X_{{\frak L}_1})$ and $C(X_{{\frak L}_2})$. It is also equivalent to the condition that there exists a homeomorphism from $X_{{\frak L}_1}$ to $X_{{\frak L}_2}$ intertwining their topological full inverse semigroups. In particular, one-sided subshifts $X_{Λ_1}$ and $X_{Λ_2}$ are $λ$-continuously orbit equivalent if and only if there exists an isomorphism between the associated $C^*$-algebras ${\Cal O}_{Λ_1}$ and ${\Cal O}_{Λ_2}$ keeping their commutative $C^*$-subalgebras $C(X_{Λ_1})$ and $C(X_{Λ_2})$.

연구 동기 및 목표

• λ-그래프 시스템을 사용하여 위상 마르코프 시프트에서 일반적인 한쪽 방향 서브시프트로 연속 궤도 등가 이론을 확장한다.
• 관련 C*-대수 사이의 등장사상이 그들의 교환 가능한 C*-부분대수를 유지함을 조건으로 연속 궤도 등가를 특성화한다.
• 연속 궤도 등가가 기저 공간 간의 홈오미오피즘 존재와 등가임을 보인다. 이 홈오미오피즘은 두 시스템의 위상적 전체 역반군을 뒤섞는다.
• 기존의 쿤츠-크리에거 대수와 궤도 등가에 대한 결과를 λ-그래프 시스템을 통해 일반 서브시프트의 맥락으로 일반화한다.
• 한쪽 방향 서브시프트에 대해 위상 역학, C*-대수, 궤도 등가를 연결하는 통합된 프레임워크를 제공한다.

제안 방법

• 한쪽 방향 서브시프트를 표현하기 위해 유한 레이블 그래프의 일반화로서 λ-그래프 시스템을 사용하며, 이는 관련 C*-대수의 구축을 가능하게 한다.
• 동적 시스템의 위상적 전체 역반군을 정의한다. 이는 각 점을 그 궤도 내의 점으로 매핑하는 호메오모르피즘의 집합이며, 연속 궤도 코호몰로지가 존재한다.
• 연속 궤도 등가가 두 시스템의 기저 공간 간의 홈오미오피즘이 존재하고, 이 홈오미오피즘이 두 시스템의 위상적 전체 역반군을 뒤섞는 조건과 등가임을 증명한다.
• 연속 궤도 등가가 기저 공간 위의 연속 함수들의 교환 가능한 C*-부분대수를 유지하는 C*-대수 등장사상의 존재를 암시함을 증명한다.
• C*-대수 내부의 표준 AF-대수에 기저 공간 위의 연속 함수들의 교환 가능한 C*-부분대수가 포함되어 있음을 이용한다.
• C*-크로스곱과 대수의 대각 부분대수를 유지하는 등장사상 이론을 적용하여 토미야마의 결과를 호메오모르피즘이 아닌 연속 전사 사상으로 확장한다.

실험 결과

연구 질문

• RQ1 두 개의 한쪽 방향 서브시프트가 언제 연속 궤도 등가가 되는가?
• RQ2 연속 궤도 등가와 관련 C*-대수의 등장사상 사이의 정확한 관계는 무엇인가? 이 등장사상은 기저 공간 위의 연속 함수들의 교환 가능한 C*-부분대수를 유지해야 한다.
• RQ3 위상적 전체 역반군은 한쪽 방향 서브시프트 맥락에서 궤도 등가와 어떻게 관련되는가?
• RQ4 위상 마르코프 시프트에 대한 궤도 등가 이론은 λ-그래프 시스템을 통해 일반적인 한쪽 방향 서브시프트로 일반화될 수 있는가?
• RQ5 서브시프트 공간 간의 홈오미오피즘이 어떤 조건을 만족할 경우, 교환 가능한 부분대수를 유지하는 C*-대수 등장사상을 유도하는가?

주요 결과

• 두 개의 한쪽 방향 서브시프트가 연속 궤도 등가일 조건은 그들의 관련 C*-대수 사이에 존재하는 등장사상이 기저 공간 위의 연속 함수들의 교환 가능한 C*-부분대수를 유지할 때이다.
• 연속 궤도 등가는 기저 공간 간의 홈오미오피즘이 존재하고, 이 홈오미오피즘이 두 시스템의 위상적 전체 역반군을 뒤섞을 때와 등가이다.
• 이 결과는 토미야마의 정리(연속 자유 홈오미오피즘에 대한 연속 궤도 등가)를 호메오모르피즘이 아닌 연속 전사 사상으로 일반화한다.
• 두 개의 양방향 서브시프트 Λ₁과 Λ₂로부터 유도된 한쪽 방향 서브시프트에 대해, λ-연속 궤도 등가가 성립하는 것은 𝒪_Λ₁과 𝒪_Λ₂ 사이에 C*-대수 등장사상이 존재하고, 이 등장사상이 C(X_Λ₁)와 C(X_Λ₂)의 교환 가능한 부분대수를 유지할 때이다.
• C*-대수 내부의 표준 AF-대수에는 서브시프트 공간 위의 연속 함수들의 교환 가능한 C*-부분대수가 포함되어 있으며, 이 포함관계는 등장사상 하에서도 유지된다.
• 한쪽 방향 서브시프트 간의 위상 동형은 λ-연속 궤도 등가를 암시하며, 따라서 교환 가능한 부분대수를 유지하는 C*-대수 등장사상을 암시한다.