[논문 리뷰] Noncommutative Cartan sub-algebras of C*-algebras

Ruy Exel|ArXiv.org|2008. 06. 25.

Advanced Operator Algebra Research참고 문헌 10인용 수 23

한 줄 요약

이 논문은 C*-대수에서 카르탕 부분대수의 레온르의 이론을 일반화하며, 부분대수가 아벨일 필요가 없도록 조건을 제거하여 '비아벨 카르탕 부분대수'를 도입한다. 이는 강화된 최대성 조건(Max')을 통해 이루어지며, 조건부 기댓값의 유일성을 확립하고, 분리 가능한 일반화된 카르탕 쌍이 가산 역행 세미군의 피eller 번들의 위상에서 유도되는 축소된 난잡한 군oids C*-대수로 표현됨을 보여, 고전 결과를 비아벨 설정으로 확장한다.

ABSTRACT

J. Renault has recently found a generalization of the caracterization of C*-diagonals obtained by A. Kumjian in the eighties, which in turn is a C*-algebraic version of J. Feldman and C. Moore's well known Theorem on Cartan subalgebras of von Neumann algebras. Here we propose to give a version of Renault's result in which the Cartan subalgebra is not necessarily commutative [sic]. Instead of describing a Cartan pair as a twisted groupoid C*-algebra we use N. Sieben's notion of Fell bundles over inverse semigroups which we believe should be thought of as "twisted etale groupoids with noncommutative unit space". En passant we prove a theorem on uniqueness of conditional expectations.

연구 동기 및 목표

• 카르탕 부분대수의 레온르 특성화를 아벨 조건을 제거함으로써 비아벨 경우로 확장한다.
• 비아벨 설정에서 조건부 기댓값의 유일성 실패 문제를 해결하기 위해 더 강력한 최대성 조건(Max')을 도입하여 기존의 최대 아벨 자기중심 조건을 대체한다.
• 피엘러 번들을 사용하여 비아벨 단위 공간을 가진 군oids 모델을 비아벨 설정으로 일반화한다.
• 일반화된 카르탕 쌍과 가산 역행 세미군 위의 피엘러 번들의 축소된 단면 C*-대수 사이의 구조적 대응 관계를 확립한다.
• 새로운 공리 체계 하에서 일반화된 카르탕 부분대수 위의 조건부 기댓값이 유일함을 증명하여 레온르의 결과를 확장한다.

제안 방법

• 모든 가상 중심이 부분대수에 포함됨을 요구하는 조건(Max')으로 아벨 부분대수의 최대성 조건을 대체하여 카르탕 부분대수의 정의를 재구성한다.
• N. 시벤의 역행 세미군 위의 피엘러 번들 이론을 사용하여 비아벨 단위 공간을 가진 난잡한 에탈 군oids의 비아벨 일반화로 간주한다.
• 각 순수 상태 위에 GNS 표현을 구성하고, 관련된 순환 벡수를 사용하여 힐버트 공간 사이의 유니터리 사상 정의한다.
• 순수 상태 위의 GNS 표현들의 직합이 C*-대수의 충실한 표현을 이룬다는 것을 증명한다.
• 피엘러 번들의 축소된 단면 C*-대수에서 원래 C*-대수로의 사상이 등급을 유지하며, 부분대수가 아이디오포텐트 세미군에 해당함을 보인다.
• 조건부 기댓값의 상의 조밀성과 표현의 충실성에 기반하여 식 (14.5.1)의 노름 등식을 확립함으로써 등급을 확인한다.

실험 결과

연구 질문

• RQ1 아벨 조건을 약화시킴으로써 C*-대수에서 조건부 기댓값의 유일성은 비아벨 카르탕 부분대수의 경우로 확장될 수 있는가?
• RQ2 부분대수가 비아贝尔일 경우, 레온르의 군oids 모델은 어떻게 일반화될 수 있는가?
• RQ3 비아벨 단위 공간 설정에서 난잡한 군oids의 대체로 역행 세미군 위의 피엘러 번들이 적합한가?
• RQ4 강화된 최대성 조건(Max')은 비아벨 경우에서 조건부 기댓값의 유일성을 보장하는가?
• RQ5 모든 분리 가능한 일반화된 카르탕 쌍은 가산 역행 세미군 위의 피엘러 번들의 축소된 단면 C*-대수로 표현될 수 있는가?

주요 결과

• 비아벨일지라도 부분대수가 강화된 최대성 조건(Max')을 만족하면 일반화된 카르탕 부분대수 위의 조건부 기댓값은 유일하다.
• 분리 가능한 일반화된 카르탕 쌍 (A,B)는 가산 역행 세미군 S 위의 피엘러 번들의 축소된 단면 C*-대수와 등급이다.
• 부분대수 B는 S의 아이디오포텐트 세미군에 대한 피엘러 번들의 제한과 정확히 일치한다.
• 등급 증명은 GNS 구성으로 충실한 표현을 구성하고, A의 임의의 원소의 노름이 GNS 표현들의 직합에 의한 이미지의 노름의 상한과 같다는 것을 보여 이뤄진다.
• 등급은 부분대수 B가 A에 포함되는 방식을 유지하는 사상에 의해 실현되며, 이는 구조적 대응 관계를 확인한다.
• 레온르의 정리가 비아벨 카르탕 부분대수로 일반화되었으며, 이는 역행 세미군의 피엘러 번들을 통해 비아벨 단위 공간으로의 전환을 통해 이루어진다.