[論文レビュー] Morita Transforms of Tensor Algebras

Paul S. Muhly, Baruch Solel|arXiv (Cornell University)|Jul 20, 2010

Advanced Operator Algebra Research参考文献 16被引用数 3

ひとこと要約

本稿は、C*-対応ペア (E,M) と (F,N) の間のモラータ同値性が、それぞれのテンソル代数 T₊(E) と T₊(F) のヒルベルト加群の圏の間で等長関手を誘導することを確立している。この関手は絶対連続性を保ち、クンツの等長移動族を用いた安定化を通じてポプロスの再構成作用素の新たな解釈を提供する。

ABSTRACT

We show that if $M$ and $N$ are $C^{*}$-algebras and if $E$ (resp. $F$) is a $C^{*}$-correspondence over $M$ (resp. $N$), then a Morita equivalence between $(E,M)$ and $(F,N)$ implements a isometric functor between the categories of Hilbert modules over the tensor algebras of $\mathcal{T}_{+}(E)$ and $\mathcal{T}_{+}(F)$. We show that this functor maps absolutely continuous Hilbert modules to absolutely continuous Hilbert modules and provides a new interpretation of Popescu's reconstruction operator.

研究の動機と目的

• C*-対応ペア (E,M) と (F,N) がモラータ同値であるとき、テンソル代数 T₊(E) と T₊(F) の表現理論の明示的な等長同型を解明すること。
• 同値バイモジュラ X を用いたテンソル積が、ヒルベルト加群の主要な構造的性質、特に絶対連続性を保つ関手を実装することを示すこと。
• モラータ同値の文脈において、クンツ族の等長移動を用いた安定化を通じて、ポプロスの再構成作用素の新たな明確な解釈を提供すること。
• リエッフェル誘導と交換子を根拠とする構成を通じて、T₊(E) と T₊(F) の誘導表現理論が等長同型であることを示すこと。
• 特に (C^d, C) 及びそのコンパクト作用素による安定化の状況において、C*-代数の異なる安定化がモラータ同値の文脈で果たす役割を調査すること。

提案手法

• C*-対応ペアのモラータ同値性を、C*-同値バイモジュラ X が X⊗ₙF ≅ E⊗ₘX として C*-対応として満たすことで定式化する。
• リエッフェルの誘導表現理論を適用し、E⊗σH および F⊗σH における作用を通じて、T₊(E) および T₊(F) のヒルベルト加群を構成する。
• 完全に収縮的バイモジュラ写像 T:E→B(H) と収縮的交換子 T̃:E⊗σH→H の間の全単射対応を確立し、表現の明示的実現を可能にする。
• 同値バイモジュラ X とのテンソル積によってヒルベルト加群圏の間の等長関手を構成し、絶対連続加群の構造を保つことを示す。
• ℓ²(ℕ) 上のクンツ族 {Sᵢ} を用いて、𝒦(ℓ²(ℕ)) 上の自己準同型 α を定義し、C_d(𝒦) ≅ α𝒦 のような安定化された対応の同型を特定する。
• ポプロスの再構成作用素を、誘導された交換子の随伴 (T̃^X)* = ∑ᵢ Sᵢ ⊗ Tᵢ* として再解釈し、モラータ同値の枠組みに明示的に結びつける。

実験結果

リサーチクエスチョン

• RQ1 C*-対応ペア (E,M) と (F,N) 間のモラータ同値性が、T₊(E) と T₊(F) のヒルベルト加群の圏の間で等長同型をどのように誘導するか。
• RQ2 同値バイモジュラ X がこの等長関手を実装する際の明確な役割は何か。また、絶対連続性の性質をどのように保っているか。
• RQ3 ポプロスの再構成作用素は、C*-対応の文脈におけるモラータ同値性と安定化の結果として自然に再解釈可能か。
• RQ4 C*-代数の異なる安定化、例えば 𝒦(ℓ²(ℕ)) は、モラータ同値性とどのように作用し、テンソル代数の構造にどのような影響を与えるか。
• RQ5 クンツ族 {Sᵢ} の選択が、安定化された設定における再構成作用素に与える影響はどの程度で、非可換関数論におけるより深い構造的含意を示唆するか。

主な発見

• C*-同値バイモジュラ X を通じた (E,M) と (F,N) 間のモラータ同値性が、T₊(E) と T₊(F) のヒルベルト加群の圏の間で等長関手を誘導する。
• この関手は、T₊(E) 上の絶対連続ヒルベルト加群を、T₊(F) 上の絶対連続ヒルベルト加群に写し、その構造的および解析的性質を保つ。
• H 上での T₊(F) の誘導表現は、E⊗σH 上での誘導表現と交換子 T̃ の合成として実現され、X の作用が等長同型を与える。
• ポプロスの再構成作用素は、(T̃^X)* = ∑ᵢ Sᵢ ⊗ Tᵢ* として、ℓ²(ℕ) 上のクンツ族 {Sᵢ} を用いた随伴として再解釈される。
• C^d の安定化をコンパクト作用素による同値バイモジュラ C_∞(𝒦) を用いて行うと、α𝒦 と同型な対応が得られ、α が ∑ᵢ Sᵢ a Sᵢ* で定義される自己準同型であることから、α𝒦 が C^d の有効な安定化であることが示される。
• この構成により、再構成作用素がクンツ族 {Sᵢ} の選択に依存することは本質的であり、非可換関数論におけるより深い構造的含意を示唆する可能性がある。