[논문 리뷰] Groupoid models for the C*-algebras of topological higher-rank graphs

Trent Yeend|ArXiv.org|2006. 03. 03.

Advanced Operator Algebra Research참고 문헌 12인용 수 33

한 줄 요약

이 논문은 위상적 고차원 그래프의 C*-대수에 대해 군oids 모델을 수립하며, 경로 군oids $ G_{\bigwedge} $와 그 경계 축소 $ \mathcal{G}_{\bigwedge} $를 도입하여 각각 토플리츠 대수와 쿤츠-크리거 대수를 실현한다. 주요 기여는 군의 코행동(또는 쌍대 작용)에 의한 C*-대수의 외적곱이 비틀림 곱 위상적 k-그래프의 C*-대수와 동형임을 증명하는 것이다.

ABSTRACT

We provide groupoid models for Toeplitz and Cuntz-Krieger algebras of topological higher-rank graphs. Extending the groupoid models used in the theory of graph algebras and topological dynamical systems to our setting, we prove results on essential freeness and amenability of the groupoids which capture the existing theory, and extend results involving group crossed products of graph algebras.

연구 동기 및 목표

• 군oids 모델을 통해 위상적 그래프와 고차원 그래프의 C*-대수 이론을 통합하기 위해.
• 위상적 k-그래프 $ \bigwedge $에 대해 경로 군oids $ G_{\bigwedge} $와 그 경계 축소 $ \mathcal{G}_{\bigwedge} $를 정의하여, 각각 토플리츠 대수와 쿤츠-크리거 대수를 포괄하기 위해.
• 이산 k-그래프에서의 본질적 자유성과 애매성 결과를 위상적 설정으로 확장하기 위해.
• 비틀림 곱 구성법을 통해 이산 k-그래프에서의 외적곱 동형 결과를 위상적 k-그래프로 일반화하기 위해.
• 행동과 코행동에 대해 외적곱 C*-대수와 비틀림 곱 위상적 k-그래프의 C*-대수 사이의 동형을 확립하기 위해.

제안 방법

• 소형 범주로서의 위상적 k-그래프 $ (\Lambda, d) $를 정의하며, 연속적인 도메인 맵 $ d: \Lambda \to \mathbb{N}^k $를 갖추고, 조합과 분해 공리를 만족시킨다.
• 단위 공간이 $ X_{\bigwedge} $인 경로 군oids $ G_{\bigwedge} $를 구성하며, 이는 $ \Lambda $ 내의 유한 및 무한 경로의 공간으로, 국소적으로 컴act하고 r-이산적인 위상군oids가 되도록 한다.
• 범위와 소스 맵의 연속성과 $ G_{\bigwedge} $의 국소 컴팩트성을 보장하기 위해, 컴팩트 정렬의 개념을 도입한다.
• 경계 경로 공간 $ \partial\Lambda \subset X_{\bigwedge} $를 정의하고, 경계 경로 군oids $ \mathcal{G}_{\bigwedge} = G_{\bigwedge}|_{\partial\Lambda} $를 형성하며, 이는 하르 체계를 갖춘다.
• 연속 함자 $ c: \Lambda \to A $에 대해, $ A $가 국소 컴팩트 아벨 또는 이산군일 때 비틀림 곱 위상적 k-그래프 $ \Lambda \times_c A $를 정의한다.
• 군oids 이중성과 외적곱 이론을 사용하여 $ C^*(G_{\bigwedge}) \times_{\delta(\tilde{c})} A \cong C^*(G_{\Lambda \times_c A}) $ 및 $ C^*(\mathcal{G}_{\bigwedge}) \times_{\delta(\tilde{c})} A \cong C^*(\mathcal{G}_{\Lambda \times_c A}) $를 증명하며, 이중 작용에 대해서도 유사한 결과를 도출한다.

실험 결과

연구 질문

• RQ1 위상적 k-그래프 $ \Lambda $에 대해, 관련된 경로 군oids $ G_{\bigwedge} $가 국소 컴팩트이고 r-이산적인 위상군oids이며 하르 체계를 갖는 조건은 무엇인가?
• RQ2 경계 경로 군oids $ \mathcal{G}_{\bigwedge} $가 본질적으로 자유일 조건은 무엇이며, 이는 비주기성 조건과 어떻게 관련되는가?
• RQ3 경계 경로 군oids $ \mathcal{G}_{\bigwedge} $가 애매성일 조건은 무엇이며, 이는 $ \Lambda $에 어떤 구조적 조건을 요구하는가?
• RQ4 이산군의 코행동과 이중군의 작용이 $ C^*(G_{\bigwedge}) $ 및 $ C^*(\mathcal{G}_{\bigwedge}) $에 대해 비틀림 곱 위상적 k-그래프의 C*-대수와 어떻게 관련되는가?
• RQ5 이산 k-그래프에서의 외적곱 동형 결과가 위상적 설정으로 얼마나 일반화되는가?

주요 결과

• 경로 군oids $ G_{\bigwedge} $가 국소 컴팩트이고 r-이산적인 위상군oids이며 하르 체계를 갖는 것은 $ \Lambda $가 컴팩트 정렬일 때이고, 그 때에만 성립한다.
• 경계 경로 군oids $ \mathcal{G}_{\bigwedge} $가 본질적으로 자유일 때는 $ \Lambda $가 비주기성 조건을 만족할 때이다.
• 경계 경로 군oids $ \mathcal{G}_{\bigwedge} $가 애매성일 때는 $ \Lambda $가 유한히 정렬된 이산 k-그래프이거나, 위상적 1-그래프이거나, 근원이 없는 적절한 위상적 k-그래프일 때이다.
• 연속 함자 $ c: \Lambda \to A $에 대해, 외적곱 $ C^*(G_{\bigwedge}) \times_{\delta(\tilde{c})} A $는 $ C^*(G_{\Lambda \times_c A}) $와 동형이며, 여기서 $ \tilde{c} $는 $ c $의 군oids로의 확장이다.
• 유사하게, $ C^*(\mathcal{G}_{\bigwedge}) \times_{\delta(\tilde{c})} A \cong C^*(\mathcal{G}_{\Lambda \times_c A}) $이며, 이는 이산 k-그래프에서의 기존 결과를 위상적 k-그래프로 확장한다.
• A가 아벨일 경우, $ C^*(G_{\bigwedge}) $에서의 이중 작용 $ \alpha(\tilde{c}) $는 $ C^*(G_{\bigwedge}) \times_{\alpha(\tilde{c})} \widehat{A} \cong C^*(G_{\Lambda \times_c A}) $를 만족하며, 경계 대수의 경우에도 동일한 결과가 성립한다.