[논문 리뷰] Exactness of Cuntz-Pimsner C*-algebras

Ken Dykema, Dimitri Shlyakhtenko|ArXiv.org|1999. 11. 02.

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

한 줄 요약

이 논문은 C*-대수 A 위의 전순수 힐버트 C*-이중모듈러에 대응하는 Cuntz–Pimsner 대수는 A가 정확할 때이고 그때에만 정확하다는 것을 증명한다. 저자들은 이 결과를 활용하여 정확한 C*-대수들의 감소형 혼합 자유곱의 정확성에 대한 새로운 증명을 제시하며, 기저 대수가 유한차원일 경우 이러한 대수 위의 Bogljubov 자기동형사상의 위상적 엔트로피가 0임을 추가로 보여준다.

ABSTRACT

Let H be a full Hilbert bimodule over a C*-algebra A. We show that the Cuntz-Pimsner C*-algebra associated to H is exact if and only if A is exact. Using this result, we give alternative proofs for exactness of reduced amalgamated free products of exact C*-algebras. In the case that A is a finite dimensional C*-algebra, we also show that the Brown-Voiculescu topological entropy of Bogljubov automorphisms of the Cuntz-Pimsner algebra associated to an A,A Hilbert bimodule is zero.

연구 동기 및 목표

• 기저 C*-대수의 정확성에 따라 Cuntz–Pimsner 대수의 정확성에 대한 특성화를 확립하는 것.
• Cuntz–Pimsner 대수의 정확성을 이용하여 정확한 C*-대수들의 감소형 혼합 자유곱의 정확성에 대한 새로운 증명을 제공하는 것.
• 기저 대수가 유한차원일 경우 Cuntz–Pimsner 대수 위의 Bogljubov 자기동형사상의 위상적 엔트로피를 조사하는 것.
• 특히 자유곱과 자기동형사상과의 관계에서, 연산자 대수의 맥락에서 위상적 엔트로피에 대한 이해를 확장하는 것.

제안 방법

• 힐버트 C*-이중모듈러의 구조와 관련된 Cuntz–Pimsner 대수 구성법을 이용하여 대수의 정확성과 기저 C*-대수의 정확성 간의 관계를 규명하는 것.
• Fock 공간에 관련된 유한차원 부분이중모듈러에 대한 압축 기법을 적용하며, 사영과 완전히 양성적인 수축을 사용하는 것.
• 이deals의 사슬을 구성하고, 정확성이 유한차원 몫에 대해 압축에 의해 유지된다는 사실을 활용하는 것.
• 확장된 Cuntz–Pimsner 대수와 감소형 혼합 자유곱 사이의 동형사상을 활용하여 자유곱을 Cuntz–Pimsner 대수에 매장하는 것.
• 기저 대수가 유한차원이므로 Fock 공간 위의 연산자 대수의 랭크를 유한하게 제한하여 엔트로피 추정치의 지수적 성장 이하로 유도하는 것.
• 완전히 양성적인 사상과 그 노름을 이용한 위상적 엔트로피 정의를 적용하며, 랭크가 지수적 성장 이하로 증가할 경우 엔트로피가 0임을 이용하는 것.

실험 결과

연구 질문

• RQ1 어떤 조건에서 힐버트 C*-이중모듈러에 대응하는 Cuntz–Pimsner 대수가 정확한가?
• RQ2 Cuntz–Pimsner 대수의 정확성을 이용하여 정확한 C*-대수들의 감소형 혼합 자유곱의 정확성을 재증명할 수 있는가?
• RQ3 기저 대수가 유한차원일 경우 Cuntz–Pimsner 대수 위의 Bogljubov 자기동형사상의 위상적 엔트로피는 얼마인가?
• RQ4 Fock 공간과 그 유한차원 부분모듈러의 구조는 자기동형사상의 엔트로피와 어떻게 관련이 있는가?
• RQ5 기저 C*-대수의 정확성은 관련된 Cuntz–Pimsner 대수의 정확성에 대해 필수적이고 충분한 조건인가?

주요 결과

• 기저 C*-대수 A 위의 전순수 힐버트 C*-이중모듈러에 대응하는 Cuntz–Pimsner 대수는 A가 정확할 때이고 그때에만 정확하다.
• 정확한 C*-대수들의 감소형 혼합 자유곱의 정확성은 해당 Cuntz–Pimsner 대수의 정확성에 의해 유도된다.
• 기저 C*-대수가 유한차원일 경우 Cuntz–Pimsner 대수의 모든 Bogljubov 자기동형사상은 위상적 엔트로피가 0이다.
• 엔트로피가 0임을 보이기 위해, 유한차원 Fock 공간 위의 연산자 대수의 랭크가 반복 횟수에 따라 지수적 성장 이하로 증가함을 보여주는 것으로 증명된다.
• 감소형 자유곱을 Cuntz–Pimsner 대수에 매장함으로써 자유곱의 경우에 대한 정확성의 새로운 증명이 가능해진다.
• Fock 공간의 유한차원 부분공간 위에 사영과 완전히 양성적인 수축을 구성함으로써, 랭크의 경계를 이용한 엔트로피 추정이 가능해진다.