[논문 리뷰] Realising the C*-algebra of a higher-rank graph as an Exel crossed product

Nathan Brownlowe|arXiv (Cornell University)|2009. 12. 23.

Advanced Operator Algebra Research인용 수 4

한 줄 요약

이 논문은 유한으로 정렬된 고차원 그래프 $\Lambda$의 경로 경계 공간에서 힐버트 이중모듈러스의 제품 체계를 구성하여, 그래프 C*-대수 $C^*(\Lambda)$가 이 체계의 쿤츠-니카-피姆스너 대수 $\mathcal{N}\mathcal{O}(X)$와 동형임을 보인다. 또한 부분 자기형사와 전이 연산자를 이용한 새로운 교차곱 구조를 도입하여 $C_0(\partial\Lambda) \rtimes_{\alpha,L} \mathbb{N}^k \cong C^*(\Lambda)$를 증명함으로써, 고차원 그래프 C*-대수를 일반적으로 엑셀 유형의 교차곱으로 실현한다.

ABSTRACT

We use the boundary-path space of a finitely-aligned k-graph Λto construct a compactly-aligned product system X, and we show that the graph algebra C^*(Λ) is isomorphic to the Cuntz-Nica-Pimsner algebra NO(X). In this setting, we introduce the notion of a crossed product by a semigroup of partial endomorphisms and partially-defined transfer operators by defining it to be NO(X). We then compare this crossed product with other definitions in the literature.

연구 동기 및 목표

• 비단위 C*-대수에 대해 엑셀의 교차곱 구성법을 부분 자기형사와 전이 연산자로 구성된 반군으로 일반화한다.
• 지역적으로 유한한 그래프를 초월하여 모든 유한으로 정렬된 $k$-그래프로 그래프 C*-대수의 교차곱 실현을 확장한다.
• 고차원 그래프 $\Lambda$의 경로 경계 공간 $\partial\Lambda$에서 제품 체계 $X$를 구성하여, 쿤츠-니카-피姆스너 대수가 잘 정의되도록 컴팩트로 정렬된 조건을 확보한다.
• 쿤츠-니카-피姆스너 대수 $\mathcal{N}\mathcal{O}(X)$가 그래프 C*-대수 $C^*(\Lambda)$와 동형임을 증명함으로써, $C^*(\Lambda)$를 엑셀 유형의 교차곱으로 실현한다.

제안 방법

• 경로 경계 공간 $\partial\Lambda$와 이동 사상 $\sigma_n$을 이용하여 $\mathbb{N}^k$ 위의 $C_0(\partial\Lambda)$-이중모듈러스 힐버트 제품 체계 $X$를 구성한다.
• 스미스와 요엔드의 프레임워크를 활용하여, $X$의 쿤츠-니카-피姆스너 공변 표현에 대한 보편 C*-대수로 쿤츠-니카-피姆스너 대수 $\mathcal{N}\mathcal{O}(X)$를 정의한다.
• 경로 경계 공간 $\partial\Lambda$ 상의 이동 사상 $\sigma_n$을 사용하여 부분 자기형사 $\alpha_n$와 부분적으로 정의된 전이 연산자 $L_n$을 정의한다. 이는 국소 유한성이 없기 때문에 전역적으로 정의되지 않는다.
• 엑셀과 라르센의 구성법을 부분 작용으로 일반화하기 위해, 새로운 교차곱 $C_0(\partial\Lambda) \rtimes_{\alpha,L} \mathbb{N}^k$를 $\mathcal{N}\mathcal{O}(X)$로 정의한다.
• ц린더 세트와 최소 경로의 세밀한 분석을 통해 제품 체계 $X$가 컴팩트로 정렬되어 있음을 증명한다. 이는 게이지 불변 유일성 정리와 $\mathcal{N}\mathcal{O}(X)$의 잘 정의성에 필수적이다.
• 쿤츠-니카-피姆스너 공변 조건을 검증하고 $\mathcal{N}\mathcal{O}(X)$의 보편 성질을 이용하여 $C^*(\Lambda) \to \mathcal{N}\mathcal{O}(X)$의 표준 $*$-동형을 확립한다.

실험 결과

연구 질문

• RQ1 유한으로 정렬된 $k$-그래프의 C*-대수는 부분 자기형사와 전이 연산자로 구성된 반군을 이용해 엑셀 교차곱으로 실현될 수 있는가?
• RQ2 무한 경로 공간이 국소 콪 pact가 아닐 경우, 고차원 그래프의 경로 경계 공간에서 힐버트 이중모듈러스의 제품 체계를 어떻게 구성할 수 있는가?
• RQ3 고차원 그래프에 관련된 제품 체계의 쿤츠-니카-피姆스너 대수가 그래프 C*-대수 $C^*(\Lambda)$와 동형이 되도록 보장하는 조건은 무엇인가?
• RQ4 이 새로운 교차곱 구성법은 엑셀, 라르센, 루이어의 기존 정의와 어떻게 관련이 있는가? 특히 고차원 그래프의 맥락에서.
• RQ5 경로 경계 제품 체계 $X$의 쿤츠-니카-피姆스너 대수 $\mathcal{N}\mathcal{O}(X)$는 게이지 불변 유일성 정리에 의해 보편적으로 특징지어지는가?

주요 결과

• 모든 유한으로 정렬된 $k$-그래프 $\Lambda$에 대해, 경로 경계 제품 체계 $X$의 쿤츠-니카-피姆스너 대수 $\mathcal{N}\mathcal{O}(X)$는 그래프 C*-대수 $C^*(\Lambda)$와 동형이 되며, 이는 $C^*(\Lambda)$가 쿤츠-니카-피姆스너 대수로서 보편적으로 실현됨을 보여준다.
• 경로 경계 공간 $\partial\Lambda$에서 구성된 제품 체계 $X$는 컴팩트로 정렬되어 있으며, 이는 $\mathcal{N}\mathcal{O}(X)$에 대한 게이지 불변 유일성 정리의 존재를 보장한다. 이는 부록에서 증명된 핵심 기술적 결과이다.
• 교차곱 $C_0(\partial\Lambda) \rtimes_{\alpha,L} \mathbb{N}^k$는 $\mathcal{N}\mathcal{O}(X)$로 정의되며, 부분 자기형사와 전이 연산자를 이용한 엑셀 유형의 교차곱으로서 고차원 그래프 C*-대수의 새로운 구성법을 제공한다.
• 동형 $C^*(\Lambda) \cong \mathcal{N}\mathcal{O}(X)$는 표준적이며 게이지 작용을 유지한다. 이는 시즈와 요엔드의 쿤츠-니카-피姆스너 공변 조건이 $k$-그래프의 경우 올바른 보편 프레임워크임을 확인한다.
• 이 구성은 이전 결과를 일반화한다: 국소 유한성이나 근원이 없는 조건 없이도, 그래프 대수의 엑셀 교차곱 실현을 $k$-그래프로 확장함으로써, 전체 유한으로 정렬된 $k$-그래프 클래스를 커버한다.
• 논문은 새로운 교차곱과 기존 구성 간의 정확한 관계를 확립하여, 이가 고차원 그래프 맥락에서 라르센의 반군 교차곱과 엑셀의 단일 자기형사 교차곱을 모두 일반화함을 보여준다.