[논문 리뷰] Topological conjugacy of topological Markov shifts and Ruelle algebras

Kengo Matsumoto|arXiv (Cornell University)|2017. 06. 22.

Advanced Operator Algebra Research참고 문헌 7인용 수 8

한 줄 요약

이 논문은 기저 행렬 $A$가 기약적이고 비순환적이며 순열 행렬이 아닌 두변수 위상 마르코프 시스템의 위상 동형성에 대해, 그에 해당하는 확장 루엘 C*-대수 $\widetilde{\mathcal{R}}_A$와 그에 수반된 자연스러운 토러스 작용 및 교환 부분대수 $C(\bar{X}_A)$가 완전한 불변량임을 증명한다. 핵심 결과는 역온도 $\log \beta$에서의 KMS 상태, 여기서 $\beta$는 페론-프로베니우스 고유값인 경우, 이 상태가 시프트 공간 위의 파리 측도를 유일하게 확장하며, 이는 $\widetilde{\mathcal{R}}_A$의 K-이론에 의해 계산 가능한 불변량을 제공한다. 점점 커지는 루엘 대수 $\mathcal{R}_A$와 그에 수반된 원환면 작용 역시 동형성을 특징짓지만, 확장된 형태는 더 강력하고 완전한 불변량을 제공한다.

ABSTRACT

We will characterize topologically conjugate two-sided topological Markov shifts $(\bar{X}_A,\barσ_A)$ in terms of the associated asymptotic Ruelle $C^*$-algebras ${\mathcal{R}}_A$ with its commutative $C^*$-subalgebras $C(\bar{X}_A)$ and the canonical circle actions. We will also show that extended Ruelle algebras ${\widetilde{\mathcal{R}}}_A$, which are purely infinite version of the asymptotic Ruelle algebras, with its commutative $C^*$-subalgebras $C(\bar{X}_A)$ and the canonical torus actions $γ^A$ are complete invariants for topological conjugacy of two-sided topological Markov shifts. We then have a computable topological conjugacy invariant, written in terms of the underlying matrix, of a two-sided topological Markov shift by using K-theory of the extended Ruelle algebra. The diagonal action of $γ^A$ has a unique KMS-state on ${\widetilde{\mathcal{R}}}_A$, which is an extension of the Parry measure on $\bar{X}_A$.

연구 동기 및 목표

• 이중 방향 위상 마르코프 시스템의 위상 동형성을 C*-대수 불변량을 사용하여 특징짓는 것.
• 확장 루엘 대수 $\widetilde{\mathcal{R}}_A$와 그 토러스 작용 $\gamma^A$, 교환 부분대수 $C(\bar{X}_A)$가 위상 동형성에 대해 완전한 불변량임을 보이는 것.
• 기저 행렬 $A$로부터 유도된 $\widetilde{\mathcal{R}}_A$의 K-이론을 사용하여 위상 동형성에 대해 계산 가능한 불변량을 설정하는 것.
• 역온도 $\log \beta$에서 $\widetilde{\mathcal{R}}_A$에 존재하는 유일한 KMS 상태가 $\bar{X}_A$ 위의 파리 측도로 제한될 때, 이 측도와 일치함을 증명하는 것, 여기서 $\beta$는 행렬 $A$의 페론-프로베니우스 고유값이다.

제안 방법

• 논문은 시스템의 점점 커지는 역학을 기록하는 점근적 에탈 군oids $G_A^a \rtimes \mathbb{Z}$의 군oids C*-대수로서 점점 커지는 루엘 대수 $\mathcal{R}_A$를 구성한다.
• 이를 확장하여 안정 및 불안정 동치관계를 포함하는 $\widetilde{\mathcal{R}}_A = C^*(G_A^{s,u} \rtimes \mathbb{Z}^2)$를 정의하며, 이는 단위를 갖는 순수하게 무한한 C*-대수이며 자연스러운 토러스 작용 $\gamma^A$를 갖는다.
• 대수 $\mathcal{R}_A$에 대한 자연스러운 원환면 작용 $\rho^A_t$와 대수 $\widetilde{\mathcal{R}}_A$에 대한 토러스 작용 $\gamma^A$를 사용하여 동역학적 불변량을 정의하고, 이는 시프트 시스템을 분류하는 데 사용된다.
• 행렬 $A$에 대한 페론-프로베니우스 고유벡터 이론을 활용하여 전이 확률 $p_n(i,j)$의 점근적 공식을 유도하며, 이는 $\frac{1}{\beta^{n+1}} b_i a_j$로 스케일링됨을 보여준다. 여기서 $a_j, b_i$는 각각 행렬 $A$와 $A^t$의 정규화된 페론-프로베니우스 고유벡터이다.
• 역온도 $\log \gamma$에서 $\widetilde{\mathcal{R}}_A$에 존재하는 KMS 상태가 존재하고 유일한지 여부를 증명하며, 이는 $\gamma = \beta$일 때에만 성립한다. 여기서 $\beta$는 페론-프로베니우스 고유값이다.
• 이 KMS 상태가 $C(\bar{X}_A)$로 제한될 때, 이는 $\bar{X}_A$ 위의 파리 측도와 일치함을 보여주며, 이는 C*-대수적 구조와 시프트 공간의 불변 측도 사이의 깊은 연결 고리를 확립한다.

실험 결과

연구 질문

• RQ1 이중 방향 위상 마르코프 시스템의 위상 동형성은 C*-대수 불변량으로 완전히 특징지을 수 있는가?
• RQ2 자연스러운 토러스 작용을 갖는 확장 루엘 대수 $\widetilde{\mathcal{R}}_A$는 이러한 시스템의 위상 동형성에 대해 완전한 불변량인가?
• RQ3 역온도 $\log \beta$에서 $\widetilde{\mathcal{R}}_A$에 존재하는 KMS 상태가 $\bar{X}_A$ 위의 파리 측도를 유일하게 확장하는가?
• RQ4 확장 루엘 대수 $\widetilde{\mathcal{R}}_A$의 K-이론은 기저 행렬 $A$의 표현으로 계산 가능한 위상 동형성 불변량을 제공하는가?
• RQ5 페론-프로베니우스 고유값 $\beta$와 $\widetilde{\mathcal{R}}_A$에 존재하는 KMS 상태의 존재성 및 유일성 사이의 정확한 관계는 무엇인가?

주요 결과

• 기저 행렬 $A$가 기약적이고 비순환적이며 순열 행렬이 아닌 두변수 위상 마르코프 시스템에 대해, 자연스러운 토러스 작용 $\gamma^A$와 교환 부분대수 $C(\bar{X}_A)$를 갖는 확장 루엘 대수 $\widetilde{\mathcal{R}}_A$는 위상 동형성에 대해 완전한 불변량을 형성한다.
• 행동 $\delta^A$에 대해 $\widetilde{\mathcal{R}}_A$에 존재하는 KMS 상태가 존재하는 것은 역온도가 $\log \beta$일 때에만 가능하며, 이 경우 상태는 유일하다.
• 유일한 KMS 상태가 $\widetilde{\mathcal{R}}_A$에서 $C(\bar{X}_A)$로 제한될 때, 이는 $\bar{X}_A$ 위의 파리 측도와 일치하며, 이는 에르고딕 이론과 C*-동역학계 사이의 깊은 연결 고리를 확립한다.
• 시프트 공간 내 상태 $i$와 $j$ 사이의 점근적 전이 확률 $p_n(i,j)$는 $p_n(i,j) = \frac{1}{\beta^{n+1}} b_i a_j$를 만족한다. 여기서 $a_j, b_i$는 각각 행렬 $A$와 $A^t$의 정규화된 페론-프로베니우스 고유벡터이다.
• 확장 루엘 대수 $\widetilde{\mathcal{R}}_A$의 K-이론은 기저 행렬 $A$의 표현으로 완전히 기술 가능한 계산 가능한 위상 동형성 불변량을 제공한다.
• 점점 커지는 루엘 대수 $\mathcal{R}_A$와 그 원환면 작용 역시 위상 동형성을 특징짓지만, 더 풍부한 토러스 대칭성 덕분에 확장된 형태인 $\widetilde{\mathcal{R}}_A$는 더 강력하고 완전한 불변량을 제공한다.