[논문 리뷰] Graphs, groups and self-similarity

Ruy Exel, Enrique Pardo|arXiv (Cornell University)|2013. 07. 03.

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

한 줄 요약

이 논문은 유한 그래프 $E$의 경로 공간 위에서 군 $G$의 작용을 한 캐릭터스틱 함수 $\varphi$를 통해 통합된 C*-대수 구조 $\mathcal{O}_{G,E}$를 제안한다. 이는 Katsura 대수 $\mathcal{O}_{A,B}$와 Nekrashevych 대수 $\mathcal{O}_{(G,X)}$를 일반화한 것으로, 핵심 결과로 $\mathcal{O}_{G,E}$가 대응관계의 Cuntz-Pimsner 대수와 $*$-동형임을 보이며, $G$가 아메니타블일 경우 $\mathcal{O}_{G,E}$는 핵심성을 지닌다. 이는 군단위 C*-대수 이론과 자기유사 동역학 이론의 기존 결과를 확장한다.

ABSTRACT

We study a family of C*-algebras generalizing both Katsura algebras and certain algebras introduced by Nekrashevych in terms of self-similar groups.

연구 동기 및 목표

• 두 개별적인 C*-대수 클래스인 Katsura 대수 $\mathcal{O}_{A,B}$와 Nekrashevych 대수 $\mathcal{O}_{(G,X)}$를 공통 프레임워크 아래 통합하기.
• 근이 있는 트리 위에서의 자기유사 군 작용을 유한 그래프의 경로 공간으로 일반화하여, 코사이클 $\varphi$를 통한 비충실 작용을 允허하기.
• 군 $G$, 유한 그래프 $E$, 그리고 경로 상에서의 자기유사 조건을 만족하는 일차 코사이클 $\varphi$를 바탕으로 C*-대수 $\mathcal{O}_{G,E}$를 구성하기.
• $\mathcal{O}_{G,E}$가 대응관계의 Cuntz-Pimsner 대수와 동형임을 보여, 기존의 C*-대수 구성과 연결하기.
• $G$가 아메니타블일 경우 $\mathcal{O}_{G,E}$의 핵심성을 확립하여 군단위 C*-대수 이론의 기존 결과를 확장하기.

제안 방법

• $G$의 경로 공간 $E^*$ 위에서의 작용에 대해 자기유사 조건을 정의: $g(\alpha\beta) = (g\alpha)(\varphi(g,\alpha)\beta)$, 여기서 $\varphi$는 $E^1$ 위의 $G$-작용에 대한 일차 코사이클이다.
• 군 작용과 코사이클에 기반한 생성자와 관계를 통해 $\mathcal{O}_{G,E}$를 구성하며, 이는 Katsura 및 Nekrashevych 구성 방식을 일반화한다.
• $C(E^0)$ 위의 $C^*$-대응관계 $M$에 대해 $\mathcal{O}_{G,E}$를 Cuntz-Pimsner 대수로 표현하며, 표현 $\theta_M$과 $*$-준동형사상 $\theta_A$를 사용한다.
• 대응관계의 유일 표현이 $\mathcal{O}_M$을 통해 인식되며, 이로 인해 $*$-동형사상 $\Theta: \mathcal{O}_M \to \mathcal{O}_{G,E}$를 도출한다.
• 단위 공간이 $E$의 무한 경로 공간인 군단위 모델 $\mathcal{G}_{G,E}$를 사용하며, 그 구조는 반직접곱 군에 값을 갖는 라그랑주 함수에 의해 지배된다.
• $G$의 아메니타블성에 기반하여 $\mathcal{O}_{G,E}$의 핵심성을 확립하며, $C(E^0) \rtimes G$가 $G$가 아메니타블일 경우 핵심성을 지닌다는 사실과, 핵심성은 몫과 Cuntz-Pimsner 대수에서 보존된다는 점을 활용한다.

실험 결과

연구 질문

• RQ1 Katsura 대수 $\mathcal{O}_{A,B}$와 Nekrashevych 대수 $\mathcal{O}_{(G,X)}$는 그래프 경로 공간 위의 군 작용을 포함하는 단일 구성에 의해 통합될 수 있는가?
• RQ2 자기유사 군 작용은 충실한 작용이 아닌, 유한 그래프의 경로 공간으로 어떻게 일반화될 수 있는가?
• RQ3 일차 코사이클 $\varphi: G \times E^1 \to G$는 경로 상에서 일관된 자기유사 조건을 정의하는 데 어떤 역할을 하는가?
• RQ4 $\mathcal{O}_{G,E}$가 유사한 알려진 C*-대수 클래스, 예를 들어 Cuntz-Pimsner 대수와 동형인지 여부는 무엇인가?
• RQ5 $\mathcal{O}_{G,E}$가 핵심성을 지닐 조건은 무엇이며, $G$의 아메니타블성과 이 성질은 어떻게 관련되는가?

주요 결과

• $\mathcal{O}_{G,E}$는 $C^*$-대응관계 $M$의 Cuntz-Pimsner 대수 $\mathcal{O}_M$과 $*$-동형사상 $\Theta$를 통해 동형임을 보이며, 생성자 $q_x$, $t_e$, $v_g$가 각각 $p_x$, $s_e$, $u_g$로 매핑된다.
• $G$가 아메니타블일 경우 $\mathcal{O}_{G,E}$는 핵심성을 지닌다. 이는 계수 대수 $C(E^0) \rtimes G$가 핵심성을 지니며, 핵심성은 Cuntz-Pimsner 구성과 몫에서 보존되기 때문이다.
• $G = \mathbb{Z}$, $E$가 행렬 $A$를 갖는 그래프이며, $\varphi$가 $mB_{ij} + n$을 $A_{ij}$로 나눈 유클리드 나눗셈에 의해 정의될 경우, 구성은 Katsura 대수 $\mathcal{O}_{A,B}$를 복원한다.
• $E$가 원판의 모양을 가진 봉우리(한 정점, $X$개의 간선)이고 $\varphi(g,x) = g|_x$ (자기유사 군의 관점에서의 제한)일 경우, 구성은 Nekrashevych 대수 $\mathcal{O}_{(G,X)}$를 복원한다.
• $\mathcal{O}_{G,E}$에 관련된 군단위 $\mathcal{G}_{G,E}$는 그래프 군단위와 동일한 단위 공간을 가지며, 반직접곱 군에 값을 갖는 라그랑주 함수로 기술된다. 이는 Kumjian-Pask-Raeburn-Renault의 구성 방식을 일반화한다.
• $G$가 아메니타블이고 $(G,E,\varphi)$가 잔여적으로 자유일 경우, $\mathcal{G}_{\text{tight}}(\mathcal{S}_{G,E})$와 $\mathcal{G}_{G,E}$는 모두 아메니타블 군단위가 되며, 이는 Nekrashevych의 군단위의 아메니타블성 결과를 확장한다.