[논문 리뷰] $C^*$-algebras associated with textile dynamical systems

Kengo Matsumoto|arXiv (Cornell University)|2011. 06. 25.

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

한 줄 요약

이 논문은 두 개의 가환하는 $C^*$-기호 동역계를 사양 맵 $\kappa$를 통해 조합함으로써 $C^*$-기호 동역계의 고차원 일반화인 $C^*$-섬유 동역계를 도입한다. 이 시스템으로부터 유니버설 $C^*$-대수 ${\cal O}^\kappa_{\rho,\eta}$를 구성하고, 비가역성 조건 하에서 그 자유성과 단순성을 확립하며, 쿤텐트 공식을 통해 K-이론을 유도하여, 두 성분이 모두 자유일 경우 그 대수가 단순곱 ${\cal O}_\rho \otimes {\cal O}_\eta$와 동형임을 보인다.

ABSTRACT

A $C^*$-symbolic dynamical system $({\cal A}, ρ, Σ)$ is a finite family $\{ρ_α\}_{α\inΣ}$ of endomorphisms of a $C^*$-algebra ${\cal A}$ with some conditions. It yields a $C^*$-algebra ${\cal O}_ρ$ from an associated Hilbert $C^*$-bimodule. In this paper, we will extend the notion of $C^*$-symbolic dynamical system to $C^*$-textile dynamical system $({\cal A}, ρ, η, {Σ^ρ}, {Σ^η}, κ)$ which consists of two $C^*$-symbolic dynamical systems $({\cal A}, ρ, {Σ^ρ})$ and $({\cal A}, η, {Σ^η})$ with certain commutation relations $κ$ between their endomorphisms $\{ρ_α\}_{α\in Σ^ρ}$ and $\{η_a \}_{a \in Σ^η}$. $C^*$-textile dynamical systems yield two-dimensional subshifts and $C^*$-algebras ${\cal O}^κ_{ρ,η}$. We will study the structure of the algebras ${\cal O}^κ_{ρ,η}$ and present its K-theory formulae.

연구 동기 및 목표

• 두 개의 가환하는 내형사상 가닥을 사용하여 $C^*$-기호 동역계를 이차원 프레임워크로 일반화하기.
• 섬유 시스템을 통해 이차원 타일링을 모델링하고, 시스템으로부터 유니버설 $C^*$-대수 ${\cal O}^\kappa_{\rho,\eta}$를 정의하기.
• 유도된 $C^*$-대수가 단순하거나 더 단순한 대수들의 텐서곱과 동형일 조건을 확립하기.
• $C^*$-대수들의 텐서곱에 대한 쿤텐트 공식을 적용하여 ${\cal O}^\kappa_{\rho,\eta}$의 K-이론을 계산하기.

제안 방법

• 두 개의 $C^*$-기호 동역계와 가환관계를 강제하는 전단사 사상 $\kappa$를 갖는 $C^*$-섬유 동역계 $({\cal A}, \rho, \eta, \Sigma^\rho, \Sigma^\eta, \kappa)$를 정의하며, $\kappa(\alpha,b) = (a,\beta)$이면 $\eta_b \circ \rho_\alpha = \rho_\beta \circ \eta_a$를 만족시킨다.
• 요구사항 $(\rho,\eta;\kappa)$를 만족하는 ${\cal A}$의 원소들과 부분 등위사상 $S_\alpha, T_a$로 생성되는 유니버설 $C^*$-대수 ${\cal O}^\kappa_{\rho,\eta}$를 구성하며, 이는 직교 프로젝션과 내형사상과의 호환성을 포함한다.
• 힐베르트 $C^*$-이중모듈러스의 핀스너 구성법을 사용하여 개별 기호 시스템으로부터 ${\cal O}_\rho$와 ${\cal O}_\eta$를 실현한다.
• 대수와 내형사상을 조합하여 텐서곱 시스템 $(\bar{{\cal A}}, \bar{\rho}, \bar{\eta}, \Sigma^{\bar{\rho}}, \Sigma^{\bar{\eta}}, \bar{\kappa})$를 정의하고, 성분들이 자유일 경우 그 시스템이 자유임을 증명한다.
• 두 시스템 $({\cal A}^\rho, \rho, \Sigma^\rho)$와 $({\cal A}^\eta, \eta, \Sigma^\eta)$가 모두 자유일 경우 ${\cal O}^\kappa_{\rho,\eta} \cong {\cal O}_\rho \otimes {\cal O}_\eta$임을 확립한다.
• $C^*$-대수들의 텐서곱에 대한 쿤텐트 공식을 적용하여 $K_*( {\cal O}^\kappa_{\rho,\eta} )$를 $K_*({\cal O}_\rho) \otimes K_*({\cal O}_\eta)$로부터 계산한다.

실험 결과

연구 질문

• RQ1 $C^*$-섬유 동역계와 관련된 $C^*$-대수 ${\cal O}^\kappa_{\rho,\eta}$가 텐서곱 ${\cal O}_\rho \otimes {\cal O}_\eta$와 동형일 조건은 무엇인가?
• RQ2 사양 맵 $\kappa$는 $C^*$-섬유 시스템에서 내형사상 $\rho_\alpha$와 $\eta_a$ 사이의 가환성을 어떻게 보장하는가?
• RQ3 $C^*$-대수 ${\cal O}^\kappa_{\rho,\eta}$가 단순해지기 위한 필요 및 충분조건은 무엇인가?
• RQ4 ${\cal O}^\kappa_{\rho,\eta}$의 K-이론은 성분 대수 ${\cal O}_\rho$와 ${\cal O}_\eta$의 K-이론으로 어떻게 표현되는가?
• RQ5 개별 $C^*$-기호 시스템의 자유성은 텐서곱 $C^*$-섬유 시스템의 자유성으로 이어질 수 있는가?

주요 결과

• 두 시스템 $({\cal A}^\rho, \rho, \Sigma^\rho)$와 $({\cal A}^\eta, \eta, \Sigma^\eta)$가 모두 자유일 경우, $C^*$-대수 ${\cal O}^\kappa_{\rho,\eta}$는 텐서곱 ${\cal O}_\rho \otimes {\cal O}_\eta$와 동형이다.
• 두 성분 시스템이 모두 비가역적일 경우 ${\cal O}^\kappa_{\rho,\eta}$는 단순하다.
• 원래 시스템들이 자유일 경우, 텐서곱 시스템 $(\bar{{\cal A}}, \bar{\rho}, \bar{\eta}, \Sigma^{\bar{\rho}}, \Sigma^{\bar{\eta}}, \bar{\kappa})$는 자유이다.
• K-이론 군 $K_*({\cal O}^\kappa_{\rho,\eta})$는 $K_*({\cal O}_\rho) \otimes K_*({\cal O}_\eta)$에 쿤텐트 공식을 적용하여 계산된다.
• 이 구성은 섬유 시스템을 통해 이차원 타일링의 구조를 유도하며, 왕 타일링의 일반화를 제공한다.
• 사양 맵 $\kappa$는 두 내형사상 가닥 간의 일관된 가환성을 보장하여 시스템의 대수적 및 동역학적 구조를 가능하게 한다.