[논문 리뷰] Semigroupoid C*-Algebras

Ruy Exel|ArXiv.org|2006. 11. 30.

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

한 줄 요약

이 논문은 0–1 행렬과 고차수 그래프와 같은 조합 구조와 관련된 C*-대수를 통합하는 프레임워크로 준군의 C*-대수를 제안한다. 이는 준군oid $\Lambda$ 에서 유니버설 C*-대수 ${\cal O}(\Lambda)$ 를 구성하며, 마르코프 준군oid와 소스가 없는 행렬이 유한한 고차수 그래프의 경우, ${\cal O}(\Lambda)$ 가 각각 표준적인 Cuntz-Krieger 및 고차수 그래프 C*-대수와 *-동형임을 증명하여, 고차수 그래프에서 차원 함수가 C*-대수 정의에 불필요하다는 것을 보여준다.

ABSTRACT

A semigroupoid is a set equipped with a partially defined associative operation. Given a semigroupoid Λwe construct a C*-algebra C*(Λ) from it. We then present two main examples of semigroupoids, namely the Markov semigroupoid associated to an infinite 0-1 matrix, and the semigroupoid associated to a row-finite higher-rank graph without sources. In both cases the semigroupoid C*-algebra is shown to be isomorphic to the algebras usually attached to the corresponding combinatorial object, namely the Cuntz-Krieger algebras and the higher-rank graph C*-algebras, respectively. In the case of a higher-rank graph (Λ,d), it follows that the dimension function d is superfluous for defining the corresponding C*-algebra.

연구 동기 및 목표

• 조합 구조(예: 그래프와 행렬)에서 유도된 C*-대수의 일반화를 위해 준군oid 기반의 통합 프레임워크를 도입하는 것.
• 기존 프레임워크의 한계(비행렬 유한 그래프 및 소스의 부재)를 해결하기 위해 범주 대신 준군oid를 사용하는 것.
• 고차수 그래프의 C*-대수가 준군oid C*-대수와 *-동형임을 보여, 차원 함수가 대수 정의에 필수적이지 않다는 것을 입증하는 것.
• 기존의 Cuntz-Krieger 및 고차수 그래프 C*-대수와 같은 구조를 일반화하는 준군oid에 대한 유니버설 C*-대수 구축 방법을 수립하는 것.

제안 방법

• 준군oid를 부분적으로 정의된 결합 법칙을 가진 집합로 정의하여 범주에서 도메인과 코도메인의 구조를 생략함으로써 일반화하는 것.
• Exel의 역반군 C*-대수 연구에 영향을 받아, 타이트 표현 조건을 활용해 준군oid $\Lambda$ 에서 유니버설 C*-대수 ${\cal O}(\Lambda)$ 를 구성하는 것.
• 표준 Cuntz-Krieger 대수 및 고차수 그래프 C*-대수의 생성자들이 해당 준군oid의 타이트 표현의 공리들을 만족함을 증명하는 것.
• ${\cal O}(\Lambda)$ 의 유니버설 성질을 이용해 특정 준군oid에 대해 ${\cal O}(\Lambda)$ 와 알려진 C*-대수 사이의 *–동형사상을 수립하는 것.
• 생성자의 초기 및 최종 사영원소가 적절히 교환됨을 보여, 표현이 타이트함을 보장하는 것.
• 행렬이 유한하고 소스가 없는 고차수 그래프의 경우, 유니버설 성질을 활용해 역 *–호모모르피즘을 구성함으로써 $C^*(\Lambda)$ 와 ${\cal O}(\Lambda)$ 사이의 *–동형사상을 확립하는 것.

실험 결과

연구 질문

• RQ1 0–1 행렬(표준 Cuntz-Krieger 대수)과 관련된 C*-대수는 준군oid C*-대수로 복원될 수 있는가?
• RQ2 차원 함수에 의존하지 않고 고차수 그래프 C*-대수의 구조를 준군oid 프레임워크에서 재구성할 수 있는가?
• RQ3 고차수 그래프에서 차원 함수는 C*-대수 정의에 불필요한가?
• RQ4 준군oid 접근법은 기존 범주 기반 구조에서의 비행렬 유한성 문제 및 소스 문제를 해결하는가?
• RQ5 준군oid에 대한 유니버설 C*-대수 구축 방법은 기존 조합 기반 C*-대수 구조를 일반화하는가?

주요 결과

• ${\cal O}(\Lambda)$ 는 무한한 0–1 행렬에서 유도된 마르코프 준군oid와 관련된 준군oid C*-대수로서, 해당 Cuntz-Krieger 대수와 *–동형임을 보여준다.
• 소스가 없고 행렬이 유한한 고차수 그래프 $\Lambda$ 의 경우, 준군oid C*-대수 ${\cal O}(\Lambda)$ 는 표준 고차수 그래프 C*-대수 $C^*(\Lambda)$ 와 *–동형임을 보여, 차원 함수 $d$ 가 불필요함을 입증한다.
• 타이트 표현을 통한 ${\cal O}(\Lambda)$ 의 구성은 비행렬 유한성 및 소스를 포함하는 경우를 자연스럽게 다루며, 이전 프레임워크에서의 기술적 장애를 피한다.
• 증명은 $C^*(\Lambda)$ 의 표준 생성자들이 준군oid $\Lambda$ 의 타이트 표현을 형성함을 보여, 유니버설 성질을 활용해 역 *–호모모르피즘을 구성할 수 있음을 보여준다.
• $C^*(\Lambda)$ 의 생성자들의 초기 및 최종 사영원소가 적절히 교환되며, 이는 유니버설 구성에 필요한 타이트 조건을 만족함을 보여준다.
• $\Phi: C^*(\Lambda) \to {\cal O}(\Lambda)$ 와 $\Psi: {\cal O}(\Lambda) \to C^*(\Lambda)$ 의 역 *–호모모르피즘들이 상호 역관계에 있음을 보여, *–동형사상을 확립한다.