[論文レビュー] A Spectral Theorem for Imprimitivity C*-bimodules

Paolo Bertozzini, Roberto Conti+1 more|ArXiv.org|Dec 18, 2008

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

ひとこと要約

この論文は、可換単位元付きC*-代数上の不変性C*-バイモジュールについて、スペクトル再構成定理を確立する。その結果、このようなバイモジュールが、2つのC*-代数のゲルファンドスペクトル間のホメオモルフィズムのグラフ上のヒルベルトライン bundle の連続切断のねじれバイモジュールに同型であることを示す。主な貢献は、バイモジュールをスペクトル的対象として実現する自然な同型を提供することであり、これはセール＝スワンの定理と高橋の定理をバイモジュール設定に一般化するものである。

ABSTRACT

After recalling in detail some basic definitions on Hilbert C*-bimodules, Morita equivalence and imprimitivity, we discuss a spectral reconstruction theorem for imprimitivity Hilbert C*-bimodules over commutative unital C*-algebras and consider some of its applications in the theory of commutative full C*-categories.

研究の動機と目的

• 可換単位元付きC*-代数上の不変性ヒルベルトC*-バイモジュールについて、スペクトル再構成定理を構築すること。
• セール＝スワンの定理と高橋の定理をバイモジュール設定に一般化し、双変双対性を確立すること。
• ゲルファンドスペクトル間のホメオモルフィズムのグラフ上のヒルベルトライン bundle を用いた、不変性バイモジュールの幾何的解釈を提供すること。
• C*-圏の文脈におけるゲルファンド双対性のカテゴリフィケーションのための基盤的道具を整えること。
• 不変性バイモジュールとモリタ同値の自立的取り扱いを提示し、関連するC*-代数間の明示的同型を含めること。

提案手法

• ゲルファンド＝ナイマイヤー双対性を用いて、可換単位元付きC*-代数 ${\mathscr{A}}$ と ${\mathscr{B}}$ にコンパクトハウスドルフ空間を関連付ける。
• ゲルファンドスペクトル $X_A = \text{Spec}({\mathscr{A}})$ と $X_B = \text{Spec}({\mathscr{B}})$ 間に、自然なホメオモルフィズム $R_{BA}: X_A \to X_B$ を構成する。
• ホメオモルフィズム $R_{BA}$ のグラフ上に、ヒルベルトライン bundle $(E, \pi, R_{BA})$ を定義し、これがバイモジュールのスペクトル空間として機能する。
• 連続切断の $C(X_A)$-$C(X_B)$-バイモジュール $\Gamma(R_{BA}; E)$ を、引き戻し $\pi_A^\bullet$ と $\pi_B^\bullet$ を用いた左および右作用を備えて構成する。
• バイモジュール作用を整合させる $*$-同型写像 $\Phi: {}_{\mathscr{A}}M_{\mathscr{B}} \to {}_{\pi_A^\bullet \circ \mathfrak{G}_A}\Gamma(R_{BA}; E)_{{\pi_B^\bullet \circ \mathfrak{G}_B}}$ を確立する。
• ゲルファンド変換の自然な拡張を用いて $\Phi$ を定義し、モジュール構造と整合性を保証する。

実験結果

リサーチクエスチョン

• RQ1 可換単位元付きC*-代数上の不変性ヒルベルトC*-バイモジュールは、そのスペクトルデータからどのように再構成可能か？
• RQ2 このようなバイモジュールを分類する幾何的対象は、スペクトル上のバンドルとしてどのように特定されるか？
• RQ3 ゲルファンドスペクトル間のホメオモルフィズムのグラフ上のヒルベルトラインバンドルから、バイモジュール構造を回復できるか？
• RQ4 バイモジュールに関連するC*-代数間の自然な同型が、スペクトル再構成において果たす役割は何か？
• RQ5 このスペクトル定理は、セール＝スワンの定理と高橋の定理をバイモジュールの場合にどのように一般化するか？

主な発見

• 任意の可換単位元付きC*-代数上の不変性ヒルベルトC*-バイモジュール ${}_{\mathscr{A}}M_{\mathscr{B}}$ は、${\mathscr{A}}$ と ${\mathscr{B}}$ のゲルファンドスペクトル間のホメオモルフィズムのグラフ上のヒルベルトラインバンドルの連続切断のねじれバイモジュールに同型である。
• スペクトル対象は、コンパクトハウスドルフ空間 $X_A \times X_B$ 上のヒルベルトラインバンドル $(E, \pi, R_{BA})$ であり、$R_{BA}$ は $X_A$ から $X_B$ へのホメオモルフィズムである。
• 同型 $\Phi$ は、${\mathscr{A}}$ と ${\mathscr{B}}$ のゲルファンド変換の自然な拡張として明示的に構成され、左および右モジュール作用を整合させる。
• バイモジュール構造は、スペクトルラインバンドルの切断への引き戻し $\pi_A^\bullet$ および $\pi_B^\bullet$ を通じて回復される。
• この結果は、スペクトルデータがホメオモルフィズムのグラフ上のヒルベルトラインバンドルである双変バージョンのセール＝スワンの定理を確立する。
• この構成は、ヒルベルトラインバンドルの圏と不変性ヒルベルトC*-バイモジュールの圏の間の完全な双変双対性への基礎的ステップを提供する。