[論文レビュー] On quantales that classify C*-algebras

David Kruml, Pedro Manuel Agostin Resende|ArXiv.org|Mar 31, 2004

Advanced Topics in Algebra参考文献 7被引用数 31

ひとこと要約

この論文は、各単位的 C*-代数 A に対してその閉線形部分空間の単位的自己対合的量化概念 Max(A) を割り当てる関手 Max が、*-同型に関して C*-代数を分類することを確立している。Max(A) と Max(B) 間の任意の同型は、左側要素に制限すると A と B 間の *-同型から生じることを示しているが、一方で Max(A) のすべての自己同型が A の自己同型から引き起こされるわけではないことを示しており、全体として Max は同型に関して全関手ではないことが示されている。

ABSTRACT

The functor Max of Mulvey assigns to each unital C*-algebra A the unital involutive quantale Max A of closed linear subspaces of A, and it has been remarked that it classifies unital C*-algebras up to *-isomorphism. In this paper we provide a proof of this and of the stronger fact that for every isomorphism u : Max A -> Max B of unital involutive quantales there is a *-isomorphism u' : A -> B such that Max u' coincides with u when restricted to the left-sided elements of Max A. But we also show that isomorphisms u : Max A -> Max B may exist for which no isomorphism v : A -> B is such that Max v = u.

研究の動機と目的

• 単位的 C*-代数が関連する量化概念を通じて Max 関手がどの程度分類可能であるかを明確にすること。
• 量化概念の圏における同型が、C*-代数の圏における *-同型に引き上げられるかどうかを調査すること。
• Max が同型に関して全関手であるかどうか、すなわち、Max(A) と Max(B) 間の任意の量化概念同型が C*-代数の *-同型から生じるかどうかを特定すること。
• A の自己同型から生じない Max(A) の自己同型が存在することを示す反例を構成することにより、Max の圏論的強度の限界を明らかにすること。

提案手法

• 著者たちは、単位的 C*-代数 A の閉線形部分空間の単位的自己対合的量化概念 Max(A) の構造を分析する。
• 量化概念の点（主成分自己対合左加群）の概念を用いて、Max(A) の左側における空間性を研究する。
• Max(A) の左側要素が点によって分離されることを示し、これにより量化概念同型がこの部分構造上で *-同型に引き上げられることを可能にする。
• C*-代数 ℂ² を用いた具体的な反例を構成し、Max(ℂ²) が ℂ² の任意の *-自己同型から生じない自己同型を有することを示す。
• ヒルベルト空間上での A と B の表現を比較し、それらに誘導される量化概念準同型を用いて Max(A) と Max(B) をそれらの点を通じて関連付ける。
• [2] および [16] の弱密な包含およびジョルダン代数構造に関する結果を応用し、C*-代数がその量化概念スペクトルによって決定されることを示す。

実験結果

リサーチクエスチョン

• RQ1 Max(A) と Max(B) 間の任意の同型 u: Max(A) → Max(B) が、左側要素に制限すると A と B 間の *-同型から生じるか？
• RQ2 Max 関手は同型に関して全関手か、すなわち、Max(A) と Max(B) 間の任意の量化概念同型が C*-代数の *-同型に引き上げられるか？
• RQ3 Max(A) の自己同型が A の自己同型から生じないことがあるのか。その場合、Max の圏論的性質にどのような含意があるか？
• RQ4 Max(A) の左側における空間性が、同型が左側要素への作用によって決定されることをどの程度保証するか？
• RQ5 Max(A) を商または部分対象に置き換えることで、量化概念の圏への全関手的かつ忠実な関手を回復できるか？

主な発見

• 任意の単位的自己対合的量化概念の同型 u: Max(A) → Max(B) は、Max(A) のすべての左側要素 a に対して u(a) = Max(ū)(a) を満たす *-同型 ū: A → B に引き上げられる。
• 反例により、Max 関手が同型に関して全関手でないことが示された：C*-代数 ℂ² は Max(ℂ²) の自己同型を有するが、それらは ℂ² の任意の *-自己同型から生じない。
• この自己同型は、両成分が非ゼロのとき、標準基底ベクトルに対応する2つの原子を入れ替えるが、軸に沿った1次元部分空間は固定する。
• この反例により、Max は C*-代数の自己同型群を分類できないことが示され、*-,同型に関して C*-代数自体は分類可能であるが、自己同型群に関しては分類できない。
• Max(A) の左側における空間性により、左側要素がすべての同型を検出できるが、これは全量化概念にまで拡張されない。
• Max が同型に関して全関手でないことは、単位的 C*-代数と単位的自己対合的量化概念のフルサブカテゴリとの間で、Max が圏同値をもたらさないことを示唆する。