[논문 리뷰] $C^*$-algebras and Fell bundles associated to a textile system

Valentin Deaconu|arXiv (Cornell University)|2009. 12. 30.

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

한 줄 요약

이 논문은 웨이브 타일링을 통해 두 차원 유한형 이동장치를 모델링하는 조합 구조인 섬유 시스템과 관련된 $C^*$-대수와 펠 백터를 소개한다. 섬유 시스템에서 파생된 일차원 이동장치로부터 두 가닥의 그래프 $C^*$-대수($\mathcal{A}(m,n)$ 및 $\bar{\mathcal{A}}(m,n)$)를 구성함으로써, 동역학적 복잡성의 정보를 담은 K-이론 불변량을 계산하고, 경로 올림 조건이 성립할 경우 군oids 준동형 및 펠 백터를 정의하여 두 차원 이동장치 시스템의 구조를 포착한다.

ABSTRACT

The notion of textile system was introduced by M. Nasu in order to analyze endomorphisms and automorphisms of topological Markov shifts. A textile system is given by two finite directed graphs $G$ and $H$ and two morphisms $p,q:G o H$, with some extra properties. It turns out that a textile system determines a first quadrant two-dimensional shift of finite type, via a collection of Wang tiles, and conversely, any such shift is conjugate to a textile shift. In the case the morphisms $p$ and $q$ have the path lifting property, we prove that they induce groupoid morphisms $π, ρ:Γ(G) o Γ(H)$ between the corresponding étale groupoids of $G$ and $H$. We define two families ${\mathcal A}(m,n)$ and $\bar{\mathcal A}(m,n)$ of $C^*$-algebras associated to a textile shift, and compute them in specific cases. These are graph algebras, associated to some one-dimensional shifts of finite type constructed from the textile shift. Under extra hypotheses, we also define two families of Fell bundles which encode the complexity of these two-dimensional shifts. We consider several classes of examples of textile shifts, including the full shift, the Golden Mean shift and shifts associated to rank two graphs.

연구 동기 및 목표

• 섬유 시스템을 통해 두 차원 유한형 이동장치와 연산자 대수학 간의 연결 고리를 구축하기 위해.
• 섬유 시스템과 관련된 일차원 이동장치에서 유도된 $C^*$-대수 불변량($\mathcal{A}(m,n)$, $\bar{\mathcal{A}}(m,n)$)을 정의하고 계산하기 위해.
• 추가적인 구조적 조건 하에서 이중 차원 이동장치의 복잡성을 캐릭터라이즈하는 펠 백터를 도입하기 위해.
• 조합적 및 대수적 도구를 사용하여 기존의 일차원 이동장치 및 질량 $d$ 그래프 결과를 이중 차원 사례로 일반화하기 위해.

제안 방법

• 섬유 시스템에서 유도된 일차원 이동장치로부터 두 가닥의 $C^*$-대수 $\mathcal{A}(m,n)$ 및 $\bar{\mathcal{A}}(m,n)$를 그래프 대수로 구성하기 위해.
• 모르피즘 $p,q: G \to H$의 경로 올림 성질을 이용해 그래프의 에탈 군oids 사이의 군oids 준동형 $\pi, \rho: \Gamma(G) \to \Gamma(H)$를 유도하기 위해.
• 모르피즘 $p,q$와 $s,r$의 역할을 바꿔 $\bar{T} = (\bar{G}, \bar{H}, s, r)$로 이중 섬유 시스템을 정의하여 대체적인 그래프 구조를 생성하기 위해.
• 그래프 $C^*$-대수 이론과 펠 백터 이론의 기법을 적용하여 이중 차원 이동장치의 대수적 구조를 분석하기 위해.
• 특히 비순열 조건과 전이 조건 하에서, 구성된 $C^*$-대수의 K-이론을 이중 차원 이동장치의 불변량으로 활용하기 위해.
• 완전 이동장치, 골든 메인 이동장치, 질량 2 그래프 이동장치와 같은 구체적 예제를 분석하여 구성 과정과 불변량의 성질을 시각화하기 위해.

실험 결과

연구 질문

• RQ1 섬유 시스템을 통해 두 차원 유한형 이동장치와 $C^*$-대수를 체계적으로 연결할 수 있는 방법은 무엇인가?
• RQ2 경로 올림 성질이 기저 그래프의 에탈 군oids 간의 군oids 준동형을 유도하는 데 어떤 역할을 하는가?
• RQ3 구성된 $C^*$-대수 $\mathcal{A}(m,n)$ 및 $\bar{\mathcal{A}}(m,n)$의 K-이론 군이 이중 차원 이동장치의 불변량으로서 어떻게 작용하는가?
• RQ4 어떤 조건에서 펠 백터를 정의하여 섬유 이동장치의 동역학적 복잡성을 캐릭터라이즈할 수 있는가?
• RQ5 기존의 예제들에서 $C^*$-대수에서 유도된 불변량이 엔트로피나 제타 함수와 같은 고전적 불변량과 어떻게 비교되는가?

주요 결과

• $\mathcal{A}(m,n)$ 및 $\bar{\mathcal{A}}(m,n)$의 $C^*$-대수들은 섬유 시스템에서 유도된 일차원 이동장치로부터 그래프 대수로 구성되며, 이는 이중 차원 이동장치와 연산자 대수학 간의 다리 역할을 한다.
• 모르피즘 $p$ 및 $q$가 경로 올림 성질을 만족할 경우, 그래프 $G$ 및 $H$의 에탈 군oids 사이에 군oids 준동형 $\pi, \rho: \Gamma(G) \to \Gamma(H)$가 유도된다.
• $\mathcal{A}(m,n)$ 및 $\bar{\mathcal{A}}(m,n)$의 K-이론 군은 이중 차원 이동장치의 불변량으로 기능하며, 완전 이동장치 및 골든 메인 이동장치와 같은 특정 케이스에서 명시적인 계산 결과가 제공된다.
• 추가적인 가정 하에서 펠 백터가 정의되며, 이는 군oids $C^*$-대수의 일반화된 대수적 구조를 통해 이중 차원 이동장치의 복잡성을 캐릭터라이즈한다.
• 조합적 및 대수적 도구를 사용하여 기존의 질량 $d$ 그래프 결과를 일반화하며, 연산자 대수학 기법을 활용해 고차원 이동장치를 연구할 수 있는 프레임워크를 제공한다.
• 완전 이동장치, 골든 메인 이동장치, 질량 2 그래프 이동장치와 같은 예제들은 구성된 대수의 적용 가능성과 불변성 성질을 입증한다.