[논문 리뷰] Iterating the Pimsner construction

Valentin Deaconu|ArXiv.org|2007. 07. 11.

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

한 줄 요약

이 논문은 C*-대수 위에서 두 개의 가환하는 힐버트 이중모듈러로부터 유도된 반복 Cuntz-Pimsner 대수의 K-이론을 계산하기 위한 프레임워크를 개발한다. 이는 Douglas-Howe와 Pimsner-Voiculescu의 영감을 받은 3×3 도표를 사용하며, 이중모듈러의 텐서곱 간 고정된 동형사상에 기반하여, 대수 ${\mathcal{O}}_{E_2 \otimes_A {\mathcal{O}}_{E_1}}$의 K-군을 계산하는 정확한 수열을 수립한다. 이 프레임워크는 랭크-두 그래프와 아벨 C*-대수의 가환하는 자기형사상에 적용 가능하다.

ABSTRACT

For $A$ a $C^*$-algebra, $E_1, E_2$ two Hilbert bimodules over $A$, and a fixed isomorphism $χ: E_1\otimes_AE_2 o E_2\otimes_AE_1$, we consider the problem of computing the $K$-theory of the Cuntz-Pimsner algebra ${\mathcal O}_{E_2\otimes_A{\mathcal O}_{E_1}}$ obtained by extending the scalars and by iterating the Pimsner construction. The motivating examples are a commutative diagram of Douglas and Howe for the Toeplitz operators on the quarter plane, and the Toeplitz extensions associated by Pimsner and Voiculescu to compute the $K$-theory of a crossed product. The applications are for Hilbert bimodules arising from rank two graphs and from commuting endomorphisms of abelian $C^*$-algebras.

연구 동기 및 목표

• 두 힐버트 이중모듈러에 대한 반복 Pimsner 구성으로 유도된 Cuntz-Pimsner 대수 ${\mathcal{O}}_{E_2 \otimes_A {\mathcal{O}}_{E_1}}$의 K-이론을 계산하는 것.
• Douglas-Howe와 Pimsner-Voiculescu 도표를 반복 Cuntz-Pimsner 대수를 위한 3×3 정확한 수열 프레임워크로 일반화하는 것.
• 반복 대수의 K-군을 더 단순한 텐서곱과 Toeplitz 대수의 K-군과 연결하는 K-이론 정확한 수열을 제공하는 것.
• 이 프레임워크를 랭크-두 그래프와 아벨 C*-대수의 가환하는 자기형사상 등의 구체적 사례에 적용하는 것.
• 가환성 동형사상 $\chi: E_1 \otimes_A E_2 \to E_2 \otimes_A E_1$ 이 반복 대수의 구조를 결정하는 데 수행하는 역할을 명확히 하는 것.

제안 방법

• 스칼라를 $A$에서 ${\mathcal{O}}_{E_1}$로 확장하고 두 번째로 Pimsner 구성 적용을 통해 반복 Cuntz-Pimsner 대수 ${\mathcal{O}}_{E_2 \otimes_A {\mathcal{O}}_{E_1}}$를 구성하는 것.
• 두 이중모듈러 간의 호환성을 확보하고 확장된 대수 위에서 텐서곱 구조를 정의하기 위해 고정된 동형사상 $\chi: E_1 \otimes_A E_2 \to E_2 \otimes_A E_1$를 사용하는 것.
• ${\mathcal{T}}_{E_1}$, ${\mathcal{O}}_{E_1}$, ${\mathcal{T}}_{E_2 \otimes_A {\mathcal{T}}_{E_1}}$, 및 ${\mathcal{K}}$와의 관련 텐서곱을 포함하는 C*-대수의 3×3 교환 도표를 수립하는 것.
• 3×3 도표의 행과 열에 대해 K-이론의 여섯 항목 정확한 수열을 적용하여 반복 대수의 K-군을 구성 요소의 K-군과 연결하는 것.
• 가환형 작용과 고정점 대수를 활용하여 Cuntz-Pimsner 대수의 핵심을 분석하고 K-이론 데이터를 추출하는 것.
• Toeplitz 대수와 Cuntz 대수의 알려진 K-이론 계산을 활용하여 특정 예시에서 반복 구성의 K-군을 계산하는 것.

실험 결과

연구 질문

• RQ1 Hilbert 이중모듈러 $E_1$과 $E_2$가 C*-대수 $A$ 위에서 가환하며 고정된 가환성 동형사상 $\chi$를 가질 때, 반복 Cuntz-Pimsner 대수 ${\mathcal{O}}_{E_2 \otimes_A {\mathcal{O}}_{E_1}}$의 K-이론은 어떻게 계산할 수 있는가?
• RQ2 반복 Pimsner 대수를 위한 Douglas-Howe와 Pimsner-Voiculescu 구성의 일반화로서 3×3 C*-대수 도표의 구조는 어떠한가?
• RQ3 3×3 도표에서 유도된 K-이론 정확한 수열은 반복 대수의 K-군을 Toeplitz 대수와 컴팩트 연산자 텐서곱의 K-군과 어떻게 연결하는가?
• RQ4 랭크-두 그래프와 아벨 C*-대수의 가환하는 자기형사상의 경우, ${\mathcal{O}}_{E_2 \otimes_A {\mathcal{O}}_{E_1}}$의 K-이론 군은 무엇인가?
• RQ5 가환성 동형사상 $\chi: E_1 \otimes_A E_2 \to E_2 \otimes_A E_1$가 ${\mathcal{O}}_{{\mathbb{C}}^m \otimes {\mathcal{O}}_n} \cong {\mathcal{O}}_m \otimes {\mathcal{O}}_n$와 같은 다른 반복 대수 간의 동형사상으로 이르는 조건은 무엇인가?

주요 결과

• 반복 Cuntz-Pimsner 대수 ${\mathcal{O}}_{E_2 \otimes_A {\mathcal{O}}_{E_1}}$의 K-이론은 C*-대수의 3×3 도표와 관련된 K-이론의 여섯 항목 정확한 수열을 통해 계산된다.
• $E_1 = \mathbb{C}^m$, $E_2 = \mathbb{C}^n$, $\chi$가 플립 사상인 경우, 대수 ${\mathcal{O}}_{{\mathbb{C}}^m \otimes {\mathcal{O}}_n}$는 ${\mathcal{O}}_m \otimes {\mathcal{O}}_n$과 동형이며, 그 K-이론은 $K_0 = \mathbb{Z} \oplus \mathbb{Z}$, $K_1 = 0$이다.
• 가환하는 자기형사상 $\sigma_i(x) = x^{p_i}$가 $A = C(\mathbb{T})$ 위에서 $p_1, p_2$ 가 서로소일 경우, ${\mathcal{O}}_{E_2 \otimes_A {\mathcal{O}}_{E_1}}$의 K-이론은 $K_0$가 $\mathbb{Z}^2 \oplus \mathbb{Z}_{p_1-1} \oplus \mathbb{Z}_{p_2-1}$ 를 포함하고 $K_1$이 $\mathbb{Z} \oplus \mathbb{Z}$ 와 동형이 되는 정확한 수열에 포함된다.
• $K_0$의 정확한 수열은 $K_0({\mathcal{T}}_{\alpha_1} \otimes {\mathcal{K}} + {\mathcal{K}} \otimes {\mathcal{T}}_{\alpha_2}) \to \mathbb{Z} \to K_0({\mathcal{O}}_{E_2 \otimes_A {\mathcal{O}}_{E_1}})$이며, $\mathbb{Z}$로 가는 사상은 전성이다.
• $K_1$의 정확한 수열은 $K_1({\mathcal{O}}_{E_2 \otimes_A {\mathcal{O}}_{E_1}}) \leftarrow \mathbb{Z} \leftarrow K_1({\mathcal{T}}_{\alpha_1} \otimes {\mathcal{K}} + {\mathcal{K}} \otimes {\mathcal{T}}_{\alpha_2})$이며, 이는 $K_1({\mathcal{O}}_{E_2 \otimes_A {\mathcal{O}}_{E_1}})$ 가 $\mathbb{Z}$ 에 전성으로 사상됨을 보여준다.
• 이 프레임워크는 $n$-토러스 $\mathbb{T}^n$ 의 커버링으로 일반화되어 고차원 동역학계로의 K-이론 계산을 확장할 수 있다.