[論文レビュー] Noncommutative Cartan sub-algebras of C*-algebras

Ruy Exel|ArXiv.org|Jun 25, 2008

Advanced Operator Algebra Research参考文献 10被引用数 23

ひとこと要約

この論文は、Cartan部分代数の理論をC*-代数において一般化し、部分代数が可換である必要をなくし、強化された最大化条件（Max'）を用いて「非可換Cartan部分代数」を導入する。条件付き期待値の一意性を確立し、可分な一般化されたCartan対が、可算な逆半群上のFellバンドルを用いた削減されたねじれ付き群荒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.

研究の動機と目的

• 可換な条件を除いて、RenaultのC*-代数におけるCartan部分代数の特徴付けを可換でない場合にまで拡張すること。
• 非可換な設定における条件付き期待値の一意性の失敗を、最大可換自己可換部分代数の代わりにより強い最大化条件（Max'）を導入することで是正すること。
• Fellバンドルを用いた逆半群上の非可換単位空間を用いたFeldman-MooreおよびRenaultの群荒モデルを非可換設定に一般化すること。
• 一般化されたCartan対と可算な逆半群上のFellバンドルの削減された断面C*-代数との間の構造的対応を確立すること。
• 新しい公理の下で、一般化されたCartan部分代数への条件付き期待値が一意であることを証明し、Renaultの結果を拡張すること。

提案手法

• 最大可換部分代数の最大化を、すべての仮想可換部分代数が部分代数に写される条件（Max'）に置き換えることで、Cartan部分代数の定義を再定式化する。
• N. Siebenの逆半群上のFellバンドル理論を、非可換単位空間を持つねじれ付きエタール群荒の非可換一般化として用いる。
• 部分代数上の純粋状態ごとにGNS表現を構成し、関連する循環ベクトルを用いてヒルベルト空間間のユニタリ写像を定義する。
• 部分代数上の純粋状態に関連するGNS表現の直和が、C*-代数の忠実表現をなすことを証明する。
• Fellバンドルの削減された断面C*-代数から元のC*-代数への写像が同型であることを示し、部分代数が恒等元の半群に一致することを確認する。
• 条件付き期待値の像の稠密性と表現の忠実性を用いて、式 (14.5.1) のノルム等式を確立し、同型を裏付ける。

実験結果

リサーチクエスチョン

• RQ1 可換なCartan部分代数のケースを超えて、可換性の条件を弱めた場合に、C*-代数における条件付き期待値の一意性を拡張できるか？
• RQ2 部分代数が非可換である場合に、Renaultの群荒モデルが一般化可能か？
• RQ3 非可換単位空間の設定において、逆半群上のFellバンドルはねじれ付き群荒の代替として適切か？
• RQ4 強化された最大化条件（Max'）は、非可換な状況においても条件付き期待値の一意性を保証するか？
• RQ5 任意の可分な一般化されたCartan対は、可算な逆半群上のFellバンドルの削減された断面C*-代数として実現可能か？

主な発見

• 部分代数が強化された最大化条件（Max'）を満たせば、非可換であっても一般化されたCartan部分代数への条件付き期待値は一意である。
• 可分な一般化されたCartan対 (A,B) は、可算な逆半群 S 上のFellバンドルの削減された断面C*-代数と同型である。
• 部分代数 B は、S の恒等元の半群へのFellバンドルの制限に正確に対応する。
• 同型の証明は、GNS構成による忠実表現の構成と、A の任意の元のノルムが、そのGNS表現の直和による像のノルムの上限に一致することを示すことで成り立つ。
• 同型は、部分代数 B が A にどのように含まれるかを保つ写像によって実現され、構造的対応が確認される。
• 可換な単位空間を逆半群上のFellバンドルで置き換えることで、この結果はRenaultの定理を非可換Cartan部分代数に一般化する。