[논문 리뷰] C*-algebras associated to product systems of Hilbert bimodules

Aidan Sims, Trent Yeend|ArXiv.org|2007. 12. 18.

Advanced Operator Algebra Research참고 문헌 24인용 수 44

한 줄 요약

이 논문은 준격자주순서군 위의 컴팩트리어라인된 곱계열의 힐버트 이중모듈러스에 대한 Cuntz-Nica-Pimsner 대수를 보편 C*-대수 구조로 도입한다. 이는 Cuntz-Pimsner 대수, 그래프 C*-대수, 그리고 토플리츠 대수의 경계 몫을 일반화하며, 많은 계열에서 보편 표현이 등급을 유지함을 증명한다.

ABSTRACT

Let (G,P) be a quasi-lattice ordered group and let X be a compactly aligned product system over P of Hilbert bimodules. Under mild hypotheses we associate to X a C*-algebra which we call the Cuntz-Nica-Pimsner algebra of X. Our construction generalises a number of others: a sub-class of Fowler's Cuntz-Pimsner algebras for product systems of Hilbert bimodules; Katsura's formulation of Cuntz-Pimsner algebras of Hilbert bimodules; the C*-algebras of finitely aligned higher-rank graphs; and Crisp and Laca's boundary quotients of Toeplitz algebras. We show that for a large class of product systems X, the universal representation of X in its Cuntz-Nica-Pimsner algebra is isometric.

연구 동기 및 목표

• 기존의 C*-대수 구조—예를 들어 Cuntz-Pimsner 대수, 그래프 C*-대수, 경계 몫—을 준격자주순서군 위의 힐버트 이중모듈러스 곱계열에 대한 통합 프레임워크로 일반화한다.
• 준격자주순서군 위의 컴팩트리어라인된 곱계열에 대해 Cuntz-Nica-Pimsner 대수라 불리는 새로운 보편 C*-대수를 정의한다.
• 이 대수로의 보편 표현이 등급을 유지하는 조건을 규명하여, 힐버트 이중모듈러스 및 그래프 대수 이론의 이전 결과를 확장한다.
• 새로운 구조가 기존 결과를 통합하고 확장함을 보이며, Katsura의 상대 Cuntz-Pimsner 대수와 Crisp 및 Laca의 경계 몫을 포함한다.
• 행렬이 유한하지 않은 그래프와 왼쪽 작용이 일반적으로 컴팩트 연산자일 필요가 없는 더 일반적인 곱계열에 적용 가능한 프레임워크를 제공한다.

제안 방법

• 준격자주순서군 (G,P) 위의 컴팩트리어라인된 힐버트 이중모듈러스 곱계열에 대한 표현으로 생성되는 보편 C*-대수로서 Cuntz-Nica-Pimsner 대수를 정의한다.
• Katsura의 상대 Cuntz-Pimsner 대수에서 유도된 공변 조건을 사용하여 보편 표현을 정의함으로써 이중모듈러스 구조와의 호환성을 확보한다.
• Fowler와 Raeburn의 토플리츠 대수에 대한 유일성 정리(Unique Representation Theorem)를 적용하여, 게이지 불변 조건 하에서 표현의 충실도를 확보한다.
• 곱계열의 구조와 준격자주순서의 성질을 활용하여, 맵 $\iota^s_p$와 프로젝션 $1_p \otimes 1_p^*$를 통해 등급을 유지하는 반군 표현을 정의한다.
• 보편 표현이 등급을 유지함을 보이기 위해, $p \leq s$ 인 어떤 $p \in F$ 에 대해 합 $1_{\mathcal{L}(X_s)} + \sum (-1)^{|H|} \iota^{s}_{\vee H}(1_{\vee H} \otimes 1_{\vee H}^*)$ 가 0이 됨을 보여, 이는 등급성을 의미한다.
• 우리가 정의한 보편 대수에서 Crisp와 Laca의 경계 몫 $C_0(\partial\Omega) \rtimes G$ 의 정의 관계가 만족됨을 확인함으로써, 오른쪽-각진 아르틴 군에 대해 이 대수와의 동형을 확립한다.

실험 결과

연구 질문

• RQ1 준격자주순서군의 반군 위에서 힐버트 이중모듈러스 곱계열로 Cuntz-Pimsner 대수를 어떻게 일반화할 수 있는가?
• RQ2 어떤 조건에서 곱계열의 보편 표현이 Cuntz-Nica-Pimsner 대수로의 등급을 유지하는가?
• RQ3 Cuntz-Nica-Pimsner 대수 구조가 그래프 대수와 토플리츠 대수의 경계 몫을 통합할 수 있는가?
• RQ4 준격자주순서와 컴팩트리어라인 조건이 보편 C*-대수의 존재성과 유일성 보장에 어떤 역할을 하는가?
• RQ5 새로운 구조는 Katsura의 상대 Cuntz-Pimsner 대수를 비-행렬 유한 및 비-단사 설정으로 어떻게 확장하는가?

주요 결과

• Cuntz-Nica-Pimsner 대수 $\mathcal{NO}_X$ 는 준격자주순서군 $(G,P)$ 위의 컴팩트리어라인된 곱계열 $X$ 에 대한 표현에 대한 보편 C*-대수로 정의되며, 여러 기존 구조를 일반화한다.
• 많은 계열의 경우, $\mathcal{NO}_X$ 로의 보편 표현은 등급을 유지한다. 즉, 각 생성자의 노름이 유지된다.
• 이 구조는 Katsura의 상대 Cuntz-Pimsner 대수를 일반화하여, 임의의 (비-행렬 유한) 그래프에 대한 그래프 C*-대수를 정의할 수 있다.
• 오른쪽-각진 아르틴 군 $(G,P)$ 에서 $X = \mathbb{C}^P$ 의 곱계열에 대한 Cuntz-Nica-Pimsner 대수는 Crisp와 Laca의 경계 몫 $C_0(\partial\Omega) \rtimes G$ 와 동형이다.
• 이 동형은 보편 대수 내에서 생성자 $W_s = j_X(1_s)$ 가 경계 몫의 정의 관계를 만족함을 확인함으로써 확립된다. 이는 $\Gamma^{\text{opp}}$ 의 유한 연결 성분 $C$ 에 대해 $\prod_{s \in C} (1 - T_s T_s^*) = 0$ 의 곱 조건을 포함한다.
• 경계 몫 $C_0(\partial\Omega) \rtimes G$ 의 단순성과 보편 준동형사상의 전사성으로부터, $\pi: C_0(\partial\Omega) \rtimes G \to \mathcal{NO}_X$ 가 동형임을 증명함으로써 보편 성질이 확인된다.