[논문 리뷰] Graph inverse semigroups, groupoids and their C*-algebras

Alan L. T. Paterson|ArXiv.org|2003. 04. 23.

Advanced Operator Algebra Research참고 문헌 20인용 수 81

한 줄 요약

이 논문은 국소 유한 그래프를 초월하여 군oids 접근법을 그래프 C*-대수론에 일반화한다. 그래프의 역반군과 보편 군oids를 도입하여, 무한 경로와 특정 유한 경로를 포함하는 경로 군oids를 구성한다. 주요 기여는 W. Szymański의 단순성 정리에 대한 군oids 증명으로, 단순성이 성립하는 것은 그래프가 조건 (K)를 만족하고, 공중합성이며, 모든 정점에서 모든 무한 발화자로의 경로가 존재할 때에 한하여 성립함을 보여준다.

ABSTRACT

We develop a theory of graph C*-algebras using path groupoids and inverse semigroups. Row finiteness is not assumed so that the theory applies to graphs for which there are vertices emitting a countably infinite set of edges. We show that the path groupoid is amenable, and give a groupoid proof of a recent theorem of Szymanski characterizing when a graph C*-algebra is simple.

연구 동기 및 목표

• 임의의 가чёт한 방향 그래프로 군oids 해석을 확장하여 국소 유한성 조건을 제거한다.
• Cuntz 유사 관계를 갖는 정점과 간선으로 생성되는 그래프의 역반군을 정의하여 보편 군oids 구성 가능성을 확보한다.
• 무한 경로와 특정 유한 경로를 모두 포함하는 단위를 갖는 경로 군oids를 구성하여 국소 유한 경우를 일반화한다.
• 경로 군oids의 애매성과 그래프 C*-대수의 군oids 이론적 단순성 특성화를 증명한다.
• 군oids 최소성과 조건 (K)을 사용하여 W. Szymański의 정리에 대한 새로운 증명을 제공한다.

제안 방법

• 그래프 $ \mathcal{E} $의 정점과 간선으로 생성되는 역반군 $ S_{\mathcal{E}} $를 정의하며, 경로의 병합과 수직성을 표현하는 Cuntz 유사 관계를 포함한다.
• 역반군에 대한 보편 군oids 구성법을 사용하여 $ S_{\mathcal{E}} $에 대해 보편적인 r-이산 군oids $ H $를 정의하며, $ C^*(S_{\mathcal{E}}) \cong C^*(H) $ 임을 보인다.
• 경로 군oids $ G $를 $ H $의 축소로 구성하며, 단위는 모든 무한 경로와 $ V_\infty $에 속한 정점으로 끝나는 유한 경로를 포함한다 (무한한 간선를 갖는 정점).
• 항상 애매성이 있음을 보여 $ C^*(G) = C^*_{\text{red}}(G) $ 임을 증명하여, 축소된 C*-대수 기법을 사용할 수 있도록 한다.
• 단위 공간의 닫힌 불변 부분집합에 대한 위상적 분석을 통해 $ G $가 본질적으로 주기적임과 동시에 $ \mathcal{E} $가 조건 (K)를 만족함을 보여준다.
• 최종적으로 $ C^*(\mathcal{E}) \cong C^*(G) $임을 증명하고, 본질적으로 주기적인 군oids에서 단순성과 최소성의 동치성을 이용하여 단순성 정리를 증명한다.

실험 결과

연구 질문

• RQ1 국소 유한이 아닌 그래프에 대해 군oids 모델을 어떻게 확장할 수 있는가?
• RQ2 일반적인 경우에서 경로 군oids의 배경이 되는 역반군의 구조는 무엇이며, C*-대수와의 관계는 어떻게 되는가?
• RQ3 왜 경로 군oids의 단위 공간이 무한 발화자로 끝나는 유한 경로를 포함하는가? 이들의 군oids에서의 역할은 무엇인가?
• RQ4 경로 군oids $ G $가 언제 최소가 되며, 이는 $ C^*(\mathcal{E}) $의 단순성과 어떻게 관련되는가?
• RQ5 애매성과 본질적 주기성 조건을 사용하여 W. Szymański의 단순성 정리에 대한 군oids 이론적 증명을 제시할 수 있는가?

주요 결과

• 경로 군oids $ G $는 항상 애매하므로, 전체 및 축소 C*-대수가 일치한다.
• 그래프의 역반군 $ S_{\mathcal{E}} $는 경로 쌍의 역반군과 동형이며, 정점가 0길이의 경로로 포함된다.
• 경로 군oids $ G $는 그래프 $ \mathcal{E} $가 조건 (K)를 만족할 때에만 본질적으로 주기적이다.
• C*-대수 $ C^*(\mathcal{E}) $는 $ C^*(G) $와 동형이며, 국소 유한 경우를 일반화한다.
• 그래프 C*-대수 $ C^*(\mathcal{E}) $는 $ \mathcal{E} $가 조건 (K)를 만족하고, 공중합성이며, 모든 정점에서 모든 무한 발화자로의 경로가 존재할 때에만 단순하다.
• 논문은 군oids 기반의 W. Szymański의 정리 증명을 제공하며, 주요 조건으로 군oids $ G $의 최소성을 사용한다.