[논문 리뷰] $C^*$-algebras of self-similar graphs over arbitrary graphs

Ruy Exel, Enrique Pardo Espino외 1명|arXiv (Cornell University)|2018. 07. 04.

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

한 줄 요약

이 논문은 자기유사 그래프에 대한 $C^*$-대수의 구성 방식을 유한 그래프에서 임의의 가산 그래프로 확장하기 위해, 행렬이 유한하고 근원이 없는 경우로의 환원을 위한 탈모수화 과정을 사용한다. 이로써 얻어진 $C^*$-대수의 단순성은 군 작용과 입구를 가진 $G$-순환의 존재성에 따라 특성화되며, 이는 이전의 유한 그래프에 대한 결과를 일반화하고, 풀 그룹로이드 $C^*$-대수로서 키르히버그 대수를 실현하기 위한 핵심 단계를 제공한다.

ABSTRACT

In this note we extend the construction of a $C^*$-algebra associated to a self-similar graph to the case of arbitrary countable graphs. We reduce the problem to the row-finite case with no sources, by using a desingularization process. Finally, we characterize simplicity in this case.

연구 동기 및 목표

• 자기유사 그래프에 대한 $C^*$-대수 이론을 유한 그래프에서 임의의 가산 그래프로 확장하기.
• 문헌에서의 격차를 해소하기 위해 [8]의 결과를 탈모수화 과정을 사용하여 임의의 그래프로 일반화하기.
• 군 작용과 입구를 가진 $G$-순환의 존재성에 따라 $C^*$-대수 $\mathcal{O}_{G,E}$ 의 단순성을 특성화하기.
• 군이 아벨리안이고 타이트 그룹로이드가 하우스도르프일 때, $C^*$-대수가 순수 무한 단순이 되는 조건을 설정하기.

제안 방법

• 임의의 가산 그래프를 행렬이 유한하고 근원이 없는 그래프로 변환하는 탈모수화 과정을 사용하여 $C^*$-대수의 구조를 유지한다.
• 유한 경로와 자기유사 조건을 만족하는 군 원소로 구성된 삼중체 $(G,E,\varphi)$ 에서 역반군 $\mathcal{S}_{G,E}$ 를 구성한다.
• 무한 경로 공간 $E^\infty$ 에 작용하는 그룹로이드의 기저 $\mathcal{G}_{\text{tight}}^{(G,E)}$ 를 정의하며, 이는 아이디포텐트의 반순서 집합의 타이트 필터 공간과 위상동형이다.
• 역반군 기법과 위상적 그룹로이드 이론을 사용하여 입구를 가진 $G$-순환의 존재성을 통해 타이트 그룹로이드가 국소적으로 수축 가능함을 특성화한다.
• 문헌 [7]과 [8]의 결과를 적용하여 그룹로이드의 국소 수축 가능성과 $C^*$-대수의 단순성 및 순수 무한성 간의 관계를 규명한다.
• 탈모수화된 삼중체 $(G,F,\widehat{\varphi})$ 를 사용하여 행렬이 유한한 경우의 단순성 및 순수 무한성 결과를 일반적인 경우로 이행한다.

실험 결과

연구 질문

• RQ1 자기유사 그래프에 대한 $C^*$-대수 구성 방식은 어떻게 유한 그래프에서 임의의 가산 그래프로 확장될 수 있는가?
• RQ2 일반적인 경우를 행렬이 유한하고 근원이 없는 경우로 환원하기 위해 어떤 탈모수화 기법이 사용되는가?
• RQ3 군 작용과 그래프 구조에 어떤 조건이 필요로 되어 $C^*$-대수 $\mathcal{O}_{G,E}$ 가 단순해지는가?
• RQ4 입구를 가진 $G$-순환의 존재성은 타이트 그룹로이드의 국소 수축 가능성과 $C^*$-대수의 단순성에 어떤 관련을 가지는가?
• RQ5 군이 아벨리안이고 타이트 그룹로이드가 하우스도르프일 때, $C^*$-대수가 순수 무한 단순이 되는 조건은 무엇인가?

주요 결과

• $C^*$-대수 $\mathcal{O}_{G,E}$ 는 임의의 가산 그래프에 대해 탈모수화된 행렬이 유한하고 근원이 없는 그래프의 $C^*$-대수와 동형이다.
• $\mathcal{O}_{G,E}$ 의 단순성은 표준 작용 $\theta: G \curvearrowright E^\infty$ 가 국소적으로 수축 가능하고, 역반군 $\mathcal{S}_{G,E}$ 가 국소적으로 수축 가능할 때와 동치이다.
• 타이트 그룹로이드 $\mathcal{G}_{\text{tight}}^{(G,E)}$ 는 모든 정점이 입구를 가진 $G$-순환으로 연결될 때이고, 그때만 국소적으로 수축 가능하다.
• 모든 정점 $x$ 에 대해, $r(\alpha_x) = x$ 를 만족하고, $s(\alpha_x) = r(\gamma)$ 인 유한 경로 $\alpha_x$ 와 입구를 가진 $G$-순환 $(g,\gamma)$ 가 존재할 때, 이것이 단순성의 필요충분조건이다.
• 만약 군 $G$ 가 아벨리안이고 탈모수화된 그래프 $F$ 에 대해 $\mathcal{G}_{\text{tight}}^{(F)}$ 가 하우스도르프이면, $\mathcal{O}_{G,E}$ 의 단순성은 순수 무한성을 함의한다.