[논문 리뷰] Periodic 2-graphs arising from subshifts

David Pask, Iain Raeburn외 1명|ArXiv.org|2009. 11. 04.

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

한 줄 요약

이 논문은 유한 유형의 하위시프트로부터 주기적인 2-그래프를 구성하며, 특히 q 모듈로의 추적 조건으로 정의된 시프트 공간 Ω와의 연결을 다룬다. 블루 그래프가 길이 n, 추적 t mod q를 가진 목걸이에 대응하는 상호분리된 사이클로 분해되며, 리드넘 단어를 통한 명시적 수세기 방법이 제시되고, 2-그래프가 혼합성 성질을 지님에도 불구하고 시프트가 비혼합임을 증명한다.

ABSTRACT

Higher-rank graphs were introduced by Kumjian and Pask to provide models for higher-rank Cuntz-Krieger algebras. In a previous paper, we constructed 2-graphs whose path spaces are rank-two subshifts of finite type, and showed that this construction yields aperiodic 2-graphs whose $C^*$-algebras are simple and are not ordinary graph algebras. Here we show that the construction also gives a family of periodic 2-graphs which we call \emph{domino graphs}. We investigate the combinatorial structure of domino graphs, finding interesting points of contact with the existing combinatorial literature, and prove a structure theorem for the $C^*$-algebras of domino graphs.

연구 동기 및 목표

• 유한 유형의 하위시프트로부터 유도된 주기적 2-그래프의 구조를 규명하는 것.
• 도미노 2-그래프 Λ(n,q,t)의 골격을 빨간색 및 파란색 그래프의 관점에서 묘사하는 것.
• 2-그래프 내에서 각각의 n의 약수 d에 대해 길이 d인 블루 사이클의 수를 결정하는 것.
• 관련된 시프트 공간 Ω의 역학적 성질, 특히 비혼합성에 대해 분석하는 것.
• 2-그래프 구성과 모델 Rq²/(g) 사이의 연결을 설정하는 것. 여기서 g는 원분 다항식 gT(u1,u2) = 1 + u1 + ⋯ + u1^{n−1}이다.

제안 방법

• 빨간 그래프 RΛ는 완전 방향 그래프 K_{q^n - 1}로 식별되어, 모든 u,v ∈ Λ⁰에 대해 |vΛe²u| = 1임을 보장한다.
• 정점 집합 Λ⁰은 Z/qZ 위에서 길이 n, 추적 t mod q를 만족하는 단어의 집합 Ant와 일대일 대응됨을 보였다.
• 파란 그래프 BΛ는 길이가 n의 약수인 상호분리된 사이클의 직합으로 구성된다.
• 길이 d인 블루 사이클의 수는 d⁻¹sn ≡ t mod q를 만족하는 s ∈ Z/qZ에 대해, 약수 L_q(d,s) — 길이 d인 알파벳 크기 q에서의 리드넘 단어 수 — 를 가중치로 사용한 합으로 계산된다.
• 이 구성은 Theorem 3.4 of [PRW]와 Proposition 3.5를 활용하여 기수와 연결성 성질을 확립한다.
• 시프트 공간 Ω는 모든 l ∈ Z²에 대해 ∑_{i∈T} f|_{T+l}(i) ≡ 0 mod q 라는 조건으로 정의되며, 그 비혼합성은 [Schmidt]의 Theorem 6.5(2)로부터 유도된다.

실험 결과

연구 질문

• RQ1 도미노 2-그래프 Λ(n,q,t)의 골격, 특히 빨간색 및 파란색 그래프는 어떻게 구성되어 있는가?
• RQ2 n의 각 약수 d에 대해 2-그래프 Λ(n,q,t) 내에서 길이 d인 블루 사이클의 수는 얼마인가?
• RQ3 추적 조건으로 정의된 시프트 공간 Ω는 2-그래프 Λ(n,q,t)와 어떻게 관련되어 있는가?
• RQ4 이전 연구에서 혼합성 하위시프트와 관련된 2-그래프임에도 불구하고, 시프트 Ω는 왜 비혼합인가?
• RQ5 리드넘 단어는 2-그래프 내 블루 사이클 수를 세는 데 어떤 역할을 하는가?

주요 결과

• 빨간 그래프 RΛ는 완전 방향 그래프 K_{q^n - 1}이므로, 모든 u,v ∈ Λ⁰에 대해 |vΛe²u| = 1이다.
• 정점 집합 Λ⁰는 Z/qZ 위에서 길이 n, 추적 t mod q를 만족하는 단어의 집합 Ant와 일대일 대응된다.
• 파란 그래프 BΛ는 길이가 n의 약수인 상호분리된 사이클들로 이루어져 있으며, 이는 길이 n, 추적 t mod q를 가진 목걸이에 대응한다.
• 길이 d인 블루 사이클의 수 h_d는 h_d = ∑_{s∈Z/qZ, d⁻¹sn≡t mod q} L_q(d,s)로 주어지며, 여기서 L_q(d,s)는 크기 q의 알파벳에서 길이 d인 리드넘 단어의 수이다.
• 시프트 공간 Ω는 [Schmidt]의 Theorem 6.5(2)에 의해 비혼합임이 입증되었지만, 이는 이전 연구에서 혼합성 하위시프트로부터 유도된 2-그래프임에도 불구하고 성립한다.
• 시프트 Ω는 g = g_T(u1,u2) = 1 + u1 + ⋯ + u1^{n−1}인 모델 R_q²/(g)에 대응하며, 이는 하위시프트와 관련된 원분 다항식이다.