[논문 리뷰] Twisted relative Cuntz-Krieger algebras associated to finitely aligned higher-rank graphs

Benjamin Whitehead|arXiv (Cornell University)|2013. 10. 25.

Advanced Operator Algebra Research참고 문헌 8인용 수 5

한 줄 요약

이 논문은 유한으로 정렬된 고차원 그래프에 대해 $\mathbb{T}$-값을 갖는 2-코호몰로지에 의한 휘어진 상대 Cuntz-Krieger 대수를 도입하고, 게이지 작용과 게이지 불변 유일성 정리를 수립하며, 포화된 순서 집합과 유한의 전진 가족들의 포화된 집합을 통한 게이지 불변 이상의 완전한 그래프 이론적 분류를 제공한다.

ABSTRACT

To each finitely aligned higher-rank graph $Λ$ and each $\mathbb{T}$-valued 2-cocycle on $Λ$, we associate a family of twisted relative Cuntz-Krieger algebras. We show that each of these algebras carries a gauge action, and prove a gauge-invariant uniqueness theorem. We describe an isomorphism between the fixed point algebras for the gauge actions on the twisted and untwisted relative Cuntz-Krieger algebras. We show that the quotient of a twisted relative Cuntz-Krieger algebra by a gauge-invariant ideal is canonically isomorphic to a twisted relative Cuntz-Krieger algebra associated to a subgraph. We use this to provide a complete graph-theoretic description of the gauge-invariant ideal structure of each twisted relative Cuntz-Krieger algebra.

연구 동기 및 목표

• 유한으로 정렬된 고차원 그래프에 대해 $\mathbb{T}$-값을 갖는 2-코호몰로지에 의한 휘어짐을 포함하는 상대 Cuntz-Krieger 대수의 일반화를 위해.
• 휘어진 상대 Cuntz-Krieger 대수에 게이지 작용을 수립하고, 게이지 불변 유일성 정리를 증명하기 위해.
• 게이지 불변 이상의 구조를 포화된 순서 집합과 유한의 전진 가족들의 포화된 집합이라는 그래프 이론적 자료로 기술하기 위해.
• 휘어진 상대 Cuntz-Krieger 대수의 게이지 불변 이상으로 나누어진 몫이 하위그래프에 대응하는 휘어진 상대 Cuntz-Krieger 대수로 자연스럽게 동형임을 보여주기 위해.
• 기본 고차원 그래프의 조합론적 자료를 통해 모든 게이지 불변 이상의 완전하고 명시적인 분류를 제공하기 위해.

제안 방법

• 유한으로 정렬된 $k$-그래프 $\Lambda$ 위에서 2-코호몰로지 $c$를 사용한 토플리츠-Cuntz-Krieger 가족을 통해 휘어진 상대 Cuntz-Krieger 대수를 정의한다.
• 핵심 대수의 구조 분석을 위해 간격 프로젝션과 경계 경로를 도입한다.
• 생성자 $s_\lambda$에 대해 $z^{d(\lambda)}$의 무게를 할당함으로써 $z \in \mathbb{T}^k$에 의한 휘어진 대수 위의 게이지 작용을 구성한다.
• 충실한 조건부 기대와 수직화된 범위 프로젝션을 사용하여 게이지 작용 하의 고정점 대수를 분석한다.
• 핵심 대수의 구조와 동형 타입을 분석하기 위해 행렬 단위를 수립한다.
• 핵심에 대해 단사이고 게이지 작용을 존중하는 $*$-준동형사상이 동형임을 보여줌으로써 게이지 불변 유일성 정리를 증명한다.

실험 결과

연구 질문

• RQ1 유한으로 정렬된 고차원 그래프에 대해 2-코호몰로지를 사용하여 어떻게 휘어진 상대 Cuntz-Krieger 대수를 구성할 수 있는가?
• RQ2 이러한 휘어진 대수에 대한 게이지 작용의 구조는 어떠한가? 그리고 게이지 불변 유일성 정리는 성립하는가?
• RQ3 휘어진 대수의 게이지 불변 이상은 원래 그래프의 하위그래프와 조합론적 자료와 어떻게 관련되는가?
• RQ4 휘어진 상대 Cuntz-Krieger 대수의 게이지 불변 이상으로 나누어진 몫은 자연스럽게 다른 휘어진 상대 Cuntz-Krieger 대수로 표현될 수 있는가?
• RQ5 이러한 휘어진 대수의 모든 게이지 불변 이상에 대해 완전한, 그래프 이론적 분류가 존재하는가?

주요 결과

• 휘어진 상대 Cuntz-Krieger 대수에 대한 게이지 작용 하의 고정점 대수는 비휘어진 경우의 고정점 대수와 자연스럽게 동형임이 보장된다.
• 휘어진 상대 Cuntz-Krieger 대수의 게이지 불변 이상으로 나누어진 몫은 $\Lambda$의 하위그래프에 대응하는 휘어진 상대 Cuntz-Krieger 대수와 자연스럽게 동형임이 보장된다.
• $C^*(\Lambda, c; \mathcal{E})$의 게이지 불변 이상과 쌍 $(H, \mathcal{B})$ 사이에 일대일 대응이 존재한다. 여기서 $H$는 포화된 순서 집합이고 $\mathcal{B}$는 $\Lambda \setminus \Lambda H$ 내의 유한의 전진 가족들의 포화된 집합이다.
• $\{s_\mathcal{E}(v) : v \in H\}$와 $\{Q(s_\mathcal{E})^E : E \in \mathcal{B}\}$로 생성되는 이상 $I_{H,\mathcal{B}}$는 $C^*(\Lambda \setminus \Lambda H, c; \mathcal{B})$로의 몫 사상의 핵이 정확히 일치한다.
• 게이지 불변 유일성 정리는, 핵심에 대해 단사이고 게이지 작용을 존중하는 $C^*(\Lambda, c; \mathcal{E})$에서 다른 $C^*$-대수로의 $*$-준동형사상이 동형임을 보장한다.
• 게이지 불변 이상의 분류는 $\Lambda$의 조합론적 성질에 의해 완전히 결정되며, $H_{I_{H,\mathcal{B}}} = H$ 및 $\mathcal{B}_{I_{H,\mathcal{B}}} = \mathcal{B}$이므로 대응의 일대일성(쌍대성)이 증명된다.