[논문 리뷰] The structure of gauge-invariant ideals of labelled graph $C^*$-algebras

Ja A Jeong, Sun Ho Kim외 1명|arXiv (Cornell University)|2011. 02. 21.

Advanced Operator Algebra Research참고 문헌 7인용 수 3

한 줄 요약

이 논문은 $\mathcal{B}$ 가 상대적 여집합에 대해 닫혀 있을 조건 하에, 적합한 집합의 유전적 포화된 부분집합들과 레이블된 그래프 C*-대수 $C^*(E,\mathcal{L},\mathcal{B})$ 내의 게이지-불변 이상수 사이의 일대일 대응을 수립한다. 또한 몫 레이블된 공간을 도입하고, 게이지-불변 유일성 정리를 증명함으로써 단순성의 특성화를 이끌어내는데, 이는 $C^*(E,\mathcal{L},\overline{\mathcal{E}})$ 가 단순함과 동시에 강한 공포성과 불일치성 조건을 만족할 때 성립한다. 이는 각 일반화된 정점 $[v]_l$ 가 어떤 $l$ 에 대해 유한할 조건 하에, 기존의 그래프 및 초그래프 C*-대수 결과를 더 일반적인 레이블된 그래프 설정으로 확장한다.

ABSTRACT

In this paper, we consider the gauge-invariant ideal structure of a $C^*$-algebra $C^*(E,\mathcal{L},\mathcal{B})$ associated to a set-finite, receiver set-finite and weakly left-resolving labelled space $(E,\mathcal{L},\mathcal{B})$, where $\mathcal{L}$ is a labelling map assigning an alphabet to each edge of the directed graph $E$ with no sinks. Under the assumption that an accommodating set $\mathcal{B}$ is closed under taking relative complement, it is obtained that there is a one to one correspondence between the set of all hereditary saturated subsets of $\mathcal{B}$ and the gauge-invariant ideals of $C^*(E,\mathcal{L},\mathcal{B})$. For this, we introduce a quotient labelled space $(E,\mathcal{L},[\mathcal{B}]_R)$ arising from an equivalence relation $\sim_R$ on $\mathcal{B}$ and show the existence of the $C^*$-algebra $C^*(E,\mathcal{L},[\mathcal{B}]_R)$ generated by a universal representation of $(E,\mathcal{L},[\mathcal{B}]_R)$. Also the gauge-invariant uniqueness theorem for $C^*(E,\mathcal{L},[\mathcal{B}]_R)$ is obtained. For simple labelled graph $C^*$-algebras $C^*(E,\mathcal{L},\bar{\mathcal{E}})$, where $\bar{\mathcal{E}}$ is the smallest accommodating set containing all the generalized vertices, it is observed that if for each vertex $v$ of $E$, a generalized vertex $[v]_l$ is finite for some $l$, then $C^*(E,\mathcal{L},\bar{\mathcal{E}})$ is simple if and only if $(E,\mathcal{L},\bar{\mathcal{E}})$ is strongly cofinal and disagreeable. This is done by examining the merged labelled graph $(F,\mathcal{L}_F)$ of $(E,\mathcal{L})$ and the common properties that $C^*(E,\mathcal{L},\bar{\mathcal{E}})$ and $C^*(F,\mathcal{L},\bar{\mathcal{F}})$ share.

연구 동기 및 목표

• 세트 유한성, 수신자 집합 유한성, 약한 왼쪽 해소 가능한 레이블된 공간에 대해 $\mathcal{B}$ 가 상대적 여집합에 대해 닫혀 있을 때 $C^*(E,\mathcal{L},\mathcal{B})$ 의 게이지-불변 이상수의 구조를 규명하는 것.
• 유전적 포화된 부분집합과 $C^*(E,\mathcal{L},\mathcal{B})$ 의 게이지-불변 이상수 사이의 일대일 대응을 수립하는 것.
• 몰입된 레이블된 공간 $(E,\mathcal{L},[\mathcal{B}]_{\textsc{R}})$ 을 도입하고, 관련된 $C^*$-대수의 존재성과 게이지-불변 유일성 정리를 증명하는 것.
• $\overline{\mathcal{E}}$ 가 모든 일반화된 정점들을 포함하고 상대적 여집합에 대해 닫혀 있는 최소의 적합한 집합일 때, $C^*(E,\mathcal{L},\overline{\mathcal{E}})$ 의 단순성을 특성화하는 것.
• 각 일반화된 정점 $[v]_l$ 가 어떤 $l$ 에 대해 유한할 조건 하에, $C^*(E,\mathcal{L},\overline{\mathcal{E}})$ 의 단순성이 레이블된 공간이 강한 공포성과 불일치성을 동시에 만족할 때와 동치임을 보이는 것.

제안 방법

• 논문은 적합한 집합 $\mathcal{B}$ 에서의 동치관계 $\sim_{\textsc{R}}$ 을 도입하여 몰입된 레이블된 공간 $(E,\mathcal{L},[\mathcal{B}]_{\textsc{R}})$ 을 유도한다.
• 몰입된 레이블된 공간의 보편 표현을 통해 $C^*$-대수 $C^*(E,\mathcal{L},[\mathcal{B}]_{\textsc{R}})$ 를 구성한다.
• 게이지-불변 유일성 정리를 $C^*(E,\mathcal{L},[\mathcal{B}]_{\textsc{R}})$ 에 대해 수립하여, 생성 프로젝션에 대해 비퇴화인 $*$-호모모르피즘이 단사임을 보장한다.
• $(E,\mathcal{L})$ 의 병합된 레이블된 공간 $(F,\mathcal{L}_F)$ 을 정의하고 분석하며, 강한 공포성과 불일치성과 같은 핵심 구조적 성질을 유지함을 보인다.
• 레이블된 경로 사이의 대응과 동치류에 따른 범위 행동을 이용하여, 강한 공포성과 불일치성이 병합 과정에서 유지됨을 증명한다.
• 일반화된 정점 $[v]_l$ 의 성질, 특히 그 유한성에 기반하여 $C^*(E,\mathcal{L},\overline{\mathcal{E}})$ 의 구조와 병합된 시스템의 구조를 연결한다.

실험 결과

연구 질문

• RQ1 만약 $\mathcal{B}$ 가 상대적 여집합에 대해 닫혀 있을 경우, $\mathcal{B}$ 의 유전적 포화된 부분집합과 $C^*(E,\mathcal{L},\mathcal{B})$ 의 게이지-불변 이상수 사이에 일대일 대응이 존재하는가?
• RQ2 몰입된 레이블된 공간 $(E,\mathcal{L},[\mathcal{B}]_{\textsc{R}})$ 은 $C^*(E,\mathcal{L},\mathcal{B})$ 의 이상수 구조와 어떻게 관련이 있는가?
• RQ3 레이블된 공간 $(E,\mathcal{L},\overline{\mathcal{E}})$ 에 어떤 조건이 성립해야 $C^*(E,\mathcal{L},\overline{\mathcal{E}})$ 가 단순해지는가?
• RQ4 레이블된 그래프가 그 병합된 형태로 병합될 때, 강한 공포성과 불일치성이 어떻게 유지되는가?
• RQ5 각 일반화된 정점 $[v]_l$ 가 어떤 $l$ 에 대해 유한할 조건 하에, $C^*(E,\mathcal{L},\overline{\mathcal{E}})$ 가 단순해지기 위한 조건은 무엇인가?

주요 결과

• $\mathcal{B}$ 가 상대적 여집합에 대해 닫혀 있을 경우, $\mathcal{B}$ 의 모든 유전적 포화된 부분집합의 집합과 $C^*(E,\mathcal{L},\mathcal{B})$ 의 게이지-불변 이상수 사이에 일대일 대응이 존재한다.
• 몰입된 레이블된 공간 $(E,\mathcal{L},[\mathcal{B}]_{\textsc{R}})$ 은 보편 $C^*$-대수 $C^*(E,\mathcal{L},[\mathcal{B}]_{\textsc{R}})$ 를 허용하며, 이 대수에 대해 게이지-불변 유일성 정리가 성립한다.
• $(E,\mathcal{L})$ 의 병합된 레이블된 공간 $(F,\mathcal{L}_F)$ 는 강한 공포성을 유지한다: $(E,\mathcal{L},{\overline{\mathcal{E}}})$ 가 강한 공포성일 때이고, 뿐만 아니라 $(F,\mathcal{L}_F,{\overline{\mathcal{F}}})$ 도 강한 공포성일 때이다.
• 병합된 레이블된 공간은 불일치성 또한 유지한다: $(E,\mathcal{L},{\overline{\mathcal{E}}})$ 가 불일치성일 때이고, 뿐만 아니라 $(F,\mathcal{L}_F,{\overline{\mathcal{F}}})$ 도 불일치성일 때이다.
• 세트 유한성, 수신자 집합 유한성, 약한 왼쪽 해소 가능한 레이블된 공간 $(E,\mathcal{L},{\overline{\mathcal{E}}})$ 에 대해, $C^*(E,\mathcal{L},{\overline{\mathcal{E}}})$ 가 단순함과 동시에 $(E,\mathcal{L},{\overline{\mathcal{E}}})$ 가 강한 공포성과 불일치성을 동시에 만족할 때이다. 이는 각 일반화된 정점 $[v]_l$ 가 어떤 $l$ 에 대해 유한할 조건 하에 성립한다.