[논문 리뷰] Self-Similar $k$-Graph C*-Algebras

Hui Li, Dilian Yang|arXiv (Cornell University)|2017. 12. 21.

Advanced Operator Algebra Research참고 문헌 24인용 수 9

한 줄 요약

이 논문은 이산군이 k-그래프 위에 자기유사 작용을 하도록 정의하고, 그에 대응하는 보편 C*-대수 $\mathcal{O}_{G,\Lambda}$를 구성한다. 이는 $\mathbb{N}^k$ 위의 제품계의 Cuntz-Pimsner 대수와 동형임을 보여주며, $G$가 유한성이고 작용이 가짜자유일 경우 $\mathcal{O}_{G,\Lambda}$는 '경로 유사' 군집 C*-대수와 동형임을 보인다. 이에 따라 분류가 가능해지며, $\Lambda$가 비영인 그래프 추적을 갖는지 여부에 따라 $\mathcal{O}_{G,\Lambda}$는 안정적으로 유한하거나 순수 무한이 된다.

ABSTRACT

In this paper, we introduce a notion of a self-similar action of a group $G$ on a $k$-graph $Λ$, and associate it a universal C*-algebra $Ø_{G,Λ}$. We prove that $Ø_{G,Λ}$ can be realized as the Cuntz-Pimsner algebra of a product system. If $G$ is amenable and the action is pseudo free, then $Ø_{G,Λ}$ is shown to be isomorphic to a "path-like" groupoid C*-algebra. This facilitates studying the properties of $Ø_{G,Λ}$. We show that $Ø_{G,Λ}$ is always nuclear and satisfies the Universal Coefficient Theorem; we characterize the simplicity of $Ø_{G,Λ}$ in terms of the underlying action; and we prove that, whenever $Ø_{G,Λ}$ is simple, there is a dichotomy: it is either stably finite or purely infinite, depending on whether $Λ$ has nonzero graph traces or not. Our main results generalize the recent work of Exel and Pardo on self-similar graphs.

연구 동기 및 목표

• Exel과 Pardo의 자기유사 그래프 C*-대수 이론을 높은 계수인 $k$-그래프로 일반화하기 위해.
• 군 $G$가 $k$-그래프 $\Lambda$ 위에 자기유사 작용을 정의하고, 그에 대응하는 보편 C*-대수 $\mathcal{O}_{G,\Lambda}$를 구성하기 위해.
• $\mathcal{O}_{G,\Lambda}$, Cuntz-Pimsner 대수, 그리고 '경로 유사' 군집 C*-대수 $\mathrm{C}^*({\mathcal{G}}_{G,\Lambda})$ 사이의 동형을 확립하기 위해.
• 유한성과 가짜자유 조건 하에서 $\mathcal{O}_{G,\Lambda}$의 핵심성, UCT 성질, 단순성을 규명하기 위해.
• 단순할 경우, $\mathcal{O}_{G,\Lambda}$는 $\Lambda$가 비영인 그래프 추적을 갖는지 여부에 따라 안정적으로 유한하거나 순수 무한이 되며, 이는 이분법을 증명하기 위해.

제안 방법

• 이산군 $G$가 $k$-그래프 $\Lambda$ 위에 자기유사 작용을 정의하고, 랭크-1 경우를 일반화하기 위해.
• product system $X_{G,\Lambda}$를 $\mathbb{N}^k$ 위에 구성하고, $\mathcal{O}_{G,\Lambda}$를 그 Cuntz-Pimsner 대수로 표현하기 위해.
• '경로 유사' 군집 $\mathcal{G}_{G,\Lambda}$를 도입하여, 랭크-1 그래프에 대한 Exel-Pardo의 구성으로 일반화하기 위해.
• Cuntz-Nica-Pimsner 대수의 유일성 정리(Carlsen-Larsen-Sims-Vittadello)를 사용하여 $\mathcal{NO}_{X_{G,\Lambda}} \cong \mathrm{C}^*(\mathcal{G}_{G,\Lambda})$를 증명하기 위해.
• 몫사상과 유일성 원리를 통해 $\mathcal{O}_{G,\Lambda} \cong \mathcal{NO}_{X_{G,\Lambda}} \cong \mathrm{C}^*(\mathcal{G}_{G,\Lambda})$를 증명하기 위해.
• 최근의 군집 C*-대수 이론을 응용하여 $\mathcal{O}_{G,\Lambda}$의 단순성과 순수 무한성 분석하기 위해.

실험 결과

연구 질문

• RQ1 어떻게 하면 자기유사 군 작용을 $k$-그래프에 정의하여 랭크-1 경우를 일반화할 수 있는가?
• RQ2 $\mathcal{O}_{G,\Lambda}$의 보편 C*-대수의 구조는 어떻게 되는가?
• RQ3 $\mathcal{O}_{G,\Lambda}$가 군집 C*-대수와 동형이 되는 조건은 무엇인가?
• RQ4 $\mathcal{O}_{G,\Lambda}$가 단순한 경우, 그 분류가 안정적으로 유한하거나 순수 무한이 되는 기준은 무엇인가?
• RQ5 $\Lambda$에 비영인 그래프 추적이 존재하는지 여부가 $\mathcal{O}_{G,\Lambda}$의 성질에 어떤 영향을 미치는가?

주요 결과

• $\mathcal{O}_{G,\Lambda}$는 $\mathbb{N}^k$ 위의 제품계의 Cuntz-Pimsner 대수와 항상 동형이다.
• $G$가 유한성이고 작용이 가짜자유일 경우, $\mathcal{O}_{G,\Lambda}$는 군집 C*-대수 $\mathrm{C}^*(\mathcal{G}_{G,\Lambda})$와 동형이다.
• $\mathcal{O}_{G,\Lambda}$는 항상 핵심적이며, Universal Coefficient Theorem을 만족한다.
• $\mathcal{O}_{G,\Lambda}$의 단순성은 $\Lambda$의 $G$-공진성과 $G$-비주기성에 의해 특징지어진다.
• $\mathcal{O}_{G,\Lambda}$가 단순할 경우, $\Lambda$가 비영인 그래프 추적을 갖는다면 안정적으로 유한하고, 그렇지 않으면 순수 무한이 된다.
• $\mathcal{O}_{G,\Lambda}$가 단순하고 순수 무한일 경우, 이는 Kirchberg 대수이며 K-이론으로 분류 가능하다.