[논문 리뷰] Cartan subalgebras in C*-algebras

Jean Renault|ArXiv.org|2008. 03. 15.

Advanced Operator Algebra Research참고 문헌 28인용 수 6

한 줄 요약

이 논문은 정규적이고 충실한 조건부 기대를 갖는 최대아벨자기대수라는 조건을 추가로 정의함으로써 Feldman-Moore 정리의 C*-대수적 유사체를 제안한다. 이에 따라 모든 이러한 Cartan 부분대수는 본질적으로 주로, 하우스도르프, 에탈레 군oids와 그 위의 트위스트로부터 유도됨을 증명하며, Kumjian의 이전 결과를 일반화하고 그래프 대수 및 분할 대수에까지 적용 가능하게 확장한다.

ABSTRACT

According to J. Feldman and C. Moore's well-known theorem on Cartan subalgebras, a variant of the group measure space construction gives an equivalence of categories between twisted countable standard measured equivalence relations and Cartan pairs, i.e. a von Neumann algebra (on a separable Hilbert space) together with a Cartan subalgebra. A. Kumjian gave a C*-algebraic analogue of this theorem in the early eighties. After a short survey of maximal abelian self-adjoint subalgebras in operator algebras, I present a natural definition of a Cartan subalgebra in a C*-algebra and an extension of Kumjian's theorem which covers graph algebras and some foliation algebras.

연구 동기 및 목표

• 그래프 대수와 분할에서 유도되는 비주로 군oids를 포함하도록 Kumjian의 C*-대각선 이론을 확장하기 위해.
• 비자명한 이소트로피를 갖는 대수에서는 Kumjian의 원래 정리가 실패하므로, 더 넓은 범위의 Cartan 부분대수를 도입하기 위해.
• C*-대수의 Cartan 부분대수와 본질적으로 주로인, 하우스도르프, 에탈레 군oids와 트위스트 사이의 범주적 동치를 확립하기 위해.
• 유일한 연장 성질의 역할과 군oids의 주로성 간의 관계를 명확히 하기 위해.
• 연속 추적 C*-대수에서 Cartan 부분대수와 Dixmier-Douady 불변량 간의 관계를 조사하기 위해.

제안 방법

• C*-대수에서 Cartan 부분대수를 정규적이고 충실한 조건부 기대를 갖는 masa로 새로운 정의를 제안한다.
• 군oids C*-대수 구성법을 사용하여 본질적으로 주로인, 하우스도르프, 에탈레 군oids와 트위스트의 축소 C*-대수를 실현한다.
• 이러한 군oids의 단위공간 위의 연속함수 부분대수가 Cartan 부분대수임을 증명한다.
• 쌍대성과 군oids 코hom로지 기법을 적용하여 모든 Cartan 부분대수가 이러한 군oids와 트위스트로부터 유도됨을 보인다.
• Pedersen 이상수와 궤도 공간 분석을 활용하여 Cartan 부분대수가 유일한 연장 성질을 갖는 조건을 특성화한다.
• 군oids 코hom로지 기반으로 Cartan 부분대수와 관련된 트위스트가 연속 추적 C*-대수에서 Dixmier-Douady 불변량과 어떻게 연결되는지 규명한다.

실험 결과

연구 질문

• RQ1 비주로 군oids를 포함하는 Feldman-Moore 정리의 C*-대수적 유사체를 구성할 수 있는가?
• RQ2 어떤 조건에서 C*-대수에 Cartan 부분대수가 존재하며, 언제 그 존재가 유일한가?
• RQ3 군oids에서 비자명한 이소트로피가 존재할 경우, masas와 조건부 기대의 구조에 어떤 영향을 미치는가?
• RQ4 연속 추적 C*-대수에서 Cartan 부분대수와 관련된 트위스트와 Dixmier-Douady 불변량 간의 관계는 무엇인가?
• RQ5 H^3(T, Z)의 모든 체흐 코hom로지 클래스가 Cartan 부분대수를 갖는 C*-대수의 Dixmier-Douady 불변량으로 실현될 수 있는가?

주요 결과

• C*-대수에서 Cartan 부분대수는 정규적이고 충실한 조건부 기대를 갖는 masa로 정의된다.
• 본질적으로 주로인, 하우스도르프, 에탈레 군oids와 트위스트를 갖는 군oids의 단위공간 위의 연속함수 부분대수는 Cartan 부분대수이다.
• 모든 Cartan 부분대수는 이러한 군oids와 트위스트로부터 유도되며, 이는 완전한 동형 불변량을 확립한다.
• Cartan 부분대수가 유일한 연장 성질을 갖는 것은 해당 군oids가 주로일 때에만 성립한다.
• 연속 추적 C*-대수에서는 관련 벡터(bundle)가 선다발들로 분해될 수 있을 때에만 Cartan 부분대수가 존재하며, 이는 항상 가능한 것은 아니다.
• 연속 추적 C*-대수에서 Cartan 부분대수와 관련된 트위스트는 군oids 코hom로지 기반으로 Dixmier-Douady 불변량과 대응된다.