[論文レビュー] A remark about the Connes fusion tensor product

Andreas Thom|ArXiv.org|Jan 3, 2006

Algebraic structures and combinatorial models参考文献 5被引用数 14

ひとこと要約

この論文は、von Neumann代数 M 上の双有限ヒルベルト双モジュールのコンヌ融合テンソル積（CFTP）が、有界ベクトルの観点から見ることで大幅に単純化されることを示している。これにより、CFTP におけるこのような双モジュールの圏と、M 上の有限生成射影双モジュールの標準的代数的テンソル積における圏との同値性が得られる。主な結果は、双対性を保つモノイダル圏同値であり、CFTP がこのモジュールクラスに対して技術的な複雑さを除去し、代数的に扱えるようにすることを実現している。

ABSTRACT

We analyze the algebraic structure of the Connes fusion tensor product (CFTP) in the case of bi-finite Hilbert modules over a von Neumann algebra M. It turns out that all complications in its definition disappear if one uses the closely related bi-modules of bounded vectors. We construct an equivalence of monoidal categories with duality between a category of Hilbert bi-modules over M with CFTP and some natural category of bi-modules over M with the usual relative algebraic tensor product. The results are surely well-known to the experts. We hope that the exposition and presentation is useful for those who want to learn about the CFTP .

研究の動機と目的

• von Neumann代数 M 上の双有限ヒルベルト双モジュールの文脈において、コンヌ融合テンソル積（CFTP）の代数的構造を明確化すること。
• 有界ベクトルを用いることで、CFTP の見かけの複雑さを解消し、それが標準的代数的テンソル積に帰着されることを示すこと。
• CFTP における双有限双対可能ヒルベルト双モジュールの圏と、相対的代数的テンソル積における有限生成射影双モジュールの圏との間のモノイダル圏同値を確立すること。
• 代数的量子場理論および楕円コホモロジーへの応用を念頭に、CFTP の研究を簡略化する枠組みを提供すること。
• 双有限かつ双対可能な双モジュールに制限した場合、CFTP が本質的に標準的テンソル積よりも複雑ではないことを示すこと。

提案手法

• 論文は、有界ベクトルを用いて、双有限ヒルベルト双モジュールの圏から M 上の有限生成射影双モジュールの圏への関手 Dφ を構成する。
• CFTP は、忠実な正規状態 φ に付随する L² 空間 L²φ(M) を用いて、M 上の代数的テンソル積の完備化として定義される。
• 証明は、写像 Dφ(H) ⊗M Dφ(K) → Dφ(H □M K) が双モジュールの自然同型であることを示すことに依拠し、モノイダル同値性を確立する。
• 富田＝竹崎理論を用いて、L²φ(M) 上の右モジュール構造を定義し、左モジュール構造と整合性を持つようにする。
• 双モジュールの双対性が、ホモーレジズム双モジュールの性質を用いて、Dφ(H) の双対が自然に Dφ(overline{H}) に同型であることを示すことで、同値性が双対性を保存することを証明する。
• 結合則および単位同型が整合的であることが確認され、モノイダル構造が保証される。

実験結果

リサーチクエスチョン

• RQ1 von Neumann代数 M 上の双有限ヒルベルト双モジュールに対して、コンヌ融合テンソル積（CFTP）は代数的に単純化可能か？
• RQ2 CFTP における双有限双対可能ヒルベルト双モジュールの圏と、標準的代数的テンソル積における有限生成射影双モジュールの圏との間にはモノイダル同値性が存在するか？
• RQ3 ヒルベルト双モジュールにその有界ベクトル双モジュールを割り当てる関手 Dφ は、関係する圏のモノイダル構造および双対性構造を保存するか？
• RQ4 有界ベクトルの使用が、通常 CFTP に伴う技術的複雑さをどのように解消するか？
• RQ5 双有限かつ双対可能な双モジュールに制限した場合、CFTP は完全に代数的テンソル積として理解できるか？

主な発見

• 双有限ヒルベルト双モジュールのコンヌ融合テンソル積は、それに対応する有界ベクトル双モジュールの標準的代数的テンソル積と自然に同型である。
• CFTP における双有限双対可能ヒルベルト双モジュールの圏と、M 上の相対的代数的テンソル積における有限生成射影双モジュールの圏との間には、モノイダル圏同値が存在する。
• 各ヒルベルト双モジュールにその有界ベクトル双モジュールを割り当てる関手 Dφ は、双対性を保つモノイダル圏同値である。
• CFTP は結合則および単位性の性質を保ち、自然同型がモノイダル構造写像と整合的であることを構成することで示された。
• 同値性の下で双対構造が保存され、ヒルベルト双モジュールの双対は、Dφ 関手によってその有界ベクトル双モジュールの双対に対応する。
• 論文は、双有限かつ双対可能な設定において CFTP が本質的に標準的テンソル積よりも複雑ではないこと、かつ完全に代数化可能であると結論づけている。