[論文レビュー] Morita Type Equivalences and Reflexive Algebras

George Eleftherakis|ArXiv.org|Sep 5, 2007

Advanced Topics in Algebra参考文献 9被引用数 8

ひとこと要約

この論文は、非自己随伴代数への古典的モラータ理論の拡張として、単位的双対作用素代数に対する新しいモラータ同値関係—$Δ$-同値関係—を導入する。$Δ$-同値関係が完全等長性、不変射影格子、および再帰的性を保存することを証明し、また、2つの CSL 代数が $Δ$-同値であるための必要十分条件として、特定のテンソル積条件を満たす TRO 同値性が成り立つことを確立する。

ABSTRACT

Two unital operator algebras A, B are called Delta-equivalent if there exists an equivalence functor between the categories A-mod and B-mod which "extends" to a *-functor implementing an equivalence between the categories A-dmod and B-dmod. Here A-mod denotes the category of normal representations of A and A-dmod denotes the category with the same objects as A-mod and D(A)-module maps (D(A) is the diagonal of A). We prove that any such functor maps completely isometric representations to completely isometric representations, "respects" the lattices of the algebras and maps reflexive algebras to reflexive algebras. We present applications to the class of CSL algebras.

研究の動機と目的

• 非自己随伴的単位的双対作用素代数へのモラータ理論の拡張を目的とし、$Δ$-同値関係と呼ばれる新しい同値関係を導入すること。
• $Δ$-同値関係が完全等長性や再帰的代数といった重要な構造的性質を保存することを確立すること。
• CSL 代数における $Δ$-同値関係を TRO 同値性および空間的テンソル積の観点から特徴づけること。
• 格子同型と $Δ$-同値関係の関係を明確にし、同型な格子が常に $Δ$-同値関係を意味するとは限らないことを示すこと。
• 類似するネストが $Δ$-同値関係をもたらさないことを、反例を構成することで示すこと。特に、同型な対角を持つ場合でも、$Δ$-同値関係は成立しないこと。

提案手法

• $Δ$-同値関係を、正規表現の圏間の関手として定義する。この関手は、表現の交換子およびその対角 $Δ(\mathcal{A}) = \mathcal{A} \cap \mathcal{A}^*$ への制限を保存する。
• TRO（三重作用素環）の理論を用いて $Δ$-同値関係を特徴づける：2つの CSL 代数 $\mathcal{A}, \mathcal{B}$ が $\Delta$-同値であるための必要十分条件は、ある TRO $\mathcal{M}$ が存在して $\mathcal{A} = [\mathcal{M}^*\mathcal{B}\mathcal{M}]^{-w^*}$ かつ $\mathcal{B} = [\mathcal{M}\mathcal{A}\mathcal{M}^*]^{-w^*}$ となること。
• すべての $Δ$-同値関手が、表現のテンソル積上のノルムを保存する同型写像を通じて、完全等長表現を完全等長表現に写すことの証明。
• このような関手が、表現の不変射影格子を保存することを確立し、$\mathrm{Lat}(\pi)$ を $\mathrm{Lat}(\mathcal{F}(\pi))$ に写すこと。
• 類似しているが $Δ$-同値でないネストを用いた反例を構成し、格子同型および対角同型が $Δ$-同値関係を意味しないことを示すこと。
• 対角間の $*$-同型写像およびユニタリ実装を用いて、反例において $Δ$-同値関係が成立すると仮定した場合の矛盾を導出すること。

実験結果

リサーチクエスチョン

• RQ1 2つの単位的双対作用素代数の正規表現の圏間の関手が $Δ$-同値関係であるための条件は何か？
• RQ2 $Δ$-同値関係は作用素代数の再帰的性を保存するか？
• RQ3 CSL 代数間の $Δ$-同値関係は TRO 同値性によって特徴づけられるか？
• RQ4 不変射影格子の同型は、CSL 代数の $Δ$-同値関係を十分に保証するか？
• RQ5 ネストの類似性は、それに対応するネスト代数の $Δ$-同値関係を意味するか？

主な発見

• すべての $Δ$-同値関手は、完全等長表現を完全等長表現に写す。
• すべての $Δ$-同値関手は、表現の不変射影格子を保存し、$\mathrm{Lat}(\pi)$ を $\mathrm{Lat}(\mathcal{F}(\pi))$ に写す。
• $Δ$-同値関手によって誘導される関手は、再帰的代数を再帰的代数に写す。
• 2つの CSL 代数 $\mathcal{A}$ と $\mathcal{B}$ が $\Delta$-同値であるための必要十分条件は、ある TRO $\mathcal{M}$ が存在して $\mathcal{A} = [\mathcal{M}^*\mathcal{B}\mathcal{M}]^{-w^*}$ かつ $\mathcal{B} = [\mathcal{M}\mathcal{A}\mathcal{M}^*]^{-w^*}$ となること。
• 同型な対角を持つ類似するネストが存在し、それに対応する代数が $Δ$-同値でない例が存在する。これは、格子同型が $Δ$-同値関係を意味しないことを示している。
• 反例は、一方の代数が完全に原子的であり、他方が非自明な連続部分を持つ場合に、同型な対角のもとでも $Δ$-同値関係が成立しないことを示している。