[논문 리뷰] Uniformly continuous orbit equivalence of Markov shifts and gauge actions on Cuntz-Krieger algebras

Kengo Matsumoto|arXiv (Cornell University)|2016. 07. 19.

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

한 줄 요약

이 논문은 한쪽 방향의 위상적 마르코프 시프트에 대해 연속 궤도 동치(COE)의 보완으로 균일 연속 궤도 동치(UCOE)를 도입하며, Cuntz–Krieger 대수에서의 게이지 작용과의 연관성을 제시한다. UCOE는 강한 연속 궤도 동치(SCOE)를 함의하며, 그 역은 성립하지 않음을 보여주는 반례를 제시함으로써, 기호 역학과 C*-대수 분류에서 궤도 동치 관계의 계층을 명확히 한다.

ABSTRACT

We introduce a notion of uniformly continuous orbit equivalence as a subequivalence relation of continuous orbit equivalence of one-sided topological Markov shifts. It is described in terms of gauge actions on the associated Cuntz-Krieger algebras and continuous full groups of the Markov shifts.

연구 동기 및 목표

• 한쪽 방향의 위상적 마르코프 시프트에서 연속 궤도 동치(COE)의 하위관계로 균일 연속 궤도 동치(UCOE)를 정의하고 연구한다.
• UCOE를 마르코프 시프트 공간의 연속 전순군과 Cuntz–Krieger 대수의 게이지 작용을 통해 기술한다.
• UCOE, SCOE, COE 및 기타 궤도 동치 관계 간의 관계를 명확히 하고, C*-대수 동형사상에 대한 영향을 분석한다.
• UCOE가 COE 또는 SCOE를 함의하지 않는다는 반례를 제시하며, AF 대수와 $K_0$-군이 이러한 클래스를 구별하는 데서 수행하는 역할을 분석한다.
• 궤도 동치 관계가 Cuntz–Krieger 대수와 그 고정점 부분대수에 대한 동형사상과 어느 정도 일치하는지 조사한다.

제안 방법

• 연속 함수 $k_1, l_1: X_A \to \bbZ_+$ 가 모든 $x \in X_A$ 에 대해 $\sigma_B^{k_1(x)}(h(\sigma_A(x))) = \sigma_B^{l_1(x)}(h(x))$ 를 만족하고, 코ycle 함수의 균일 연속성을 갖는 방식으로 균일 연속 궤도 동치를 정의한다.
• Cuntz–Krieger 대수 $\cO_A$ 에서의 게이지 작용 $\rho_t^A$ 와의 연관성을 분석하며, 특히 고정점 부분대수 $\cF_A$ 와 그 $K_0$-군을 중심으로 다룬다.
• 연속 전순군 $\Gamma_A$ 와 그 AF 부분군 $\Gamma_A^{\text{AF}}$ 를 이용해 유한 차원 부분대수를 보존하는 호메오모르피즘을 기술한다.
• 궤도 동치에 의해 유도된 호모모르피즘 $\Psi_h: C(X_B, \bbZ) \to C(X_A, \bbZ)$ 를 적용하여 $H^A = C(X_A, \bbZ)/\{g - g \circ \sigma_A\}$ 에서의 코homology 클래스를 비교한다.
• 차원 군 $K_0(\cF_A)$ 와 $K_0(\cF_A)$ 내의 원소 $[1]$ 을 이용해 비동형인 AF 대수를 구별하며, $K_0(\cF_{B_2}) \not\cong K_0(\cF_{A_2})$ 를 보여준다.
• 행렬 $A_2, A_4, B_2, F_2, B_3, C_3$ 를 사용해 궤도 동치 계층에서의 비등가성을 보여주는 명시적 반례를 구성한다.

실험 결과

연구 질문

• RQ1 균일 연속 궤도 동치(UCOE)는 한쪽 방향의 위상적 마르코프 시프트에서 강한 연속 궤도 동치(SCOE)를 함의하는가?
• RQ2 UCOE는 Cuntz–Krieger 대수와 그 고정점 부분대수에서의 게이지 작용을 통해 대수적으로 기술될 수 있는가?
• RQ3 UCOE가 SCOE를 함의하는 함의의 역은 항상 참인가, 아니면 반례가 존재하는가?
• RQ4 AF 고정점 부분대수 $\cF_A$ 와 $\cF_B$ 의 $K_0$-군은 UCOE와 COE 클래스를 어떻게 구별하는가?
• RQ5 UCOE는 Cuntz–Krieger 대수와 그 대각 부분대수 $\cD_A$ 의 동형사상과 어느 정도 일치하는가?

주요 결과

• UCOE는 SCOE를 함의한다. 이는 $c_1 = 1_{X_A}$ 와 $c_2 = 1_{X_B}$ 이면 코ycle 함수가 상수 함수가 되어 강한 궤도 동치가 성립하기 때문이다.
• 일부 예에서는 $\cO_{A_2} \cong \cO_{A_4}$ 이지만 UCOE 하에서는 $\cO_{A_2} \not\cong \cO_{A_4}$ 이므로, UCOE는 COE보다 엄밀히 더 강한 조건임을 보여준다.
• AF 대수 $\cF_{B_2}$ 는 $K_0(\cF_{B_2}) \cong \bbZ^3$ 이고 $[1] = 3$ 이며, $\cF_{A_2}$ 는 $K_0(\cF_{A_2}) \cong \bbZ[1/2]$ 이고 $[1] = 1$ 이므로 $\cF_{B_2} \not\cong \cF_{A_2}$ 이다. 이는 $\text{UCOE} \not\Rightarrow \text{COE}$ 를 뒤집어도 성립하지 않음을 의미한다.
• 두쪽 방향의 시프트 $\bar{X}_{A_2}$ 와 $\bar{X}_{F_2}$ 는 위상적으로 동치가 아니지만, $\cO_{A_2} \cong \cO_{F_2}$ 이고 $\det(\text{id} - A_2) = \det(\text{id} - F_2)$ 이므로 $\text{COE}$ 는 성립하지만 $\text{SCOE}$ 는 성립하지 않는다.
• 두쪽 방향의 시프트가 동치이지만 $\cF_{B_3}$ 와 $\cF_{C_3}$ 는 서로 동형이 아니므로, $\text{COE} \not\Rightarrow \text{UCOE}$ 를 뒤집어도 성립하지 않음을 보여준다.
• 최종적으로, '일부가 한쪽으로의 동치'에서 '두쪽으로의 동치'로의 함의의 역은 여전히 미해결 문제로 남아 있으며, 논문에서 이는 언급된 바 있다.