[論文レビュー] On the extension of isometries between the unit spheres of von Neumann algebras

Antonio M. Peralta, Francisco J. Fernández-Polo|arXiv (Cornell University)|Sep 25, 2017

Advanced Topics in Algebra被引用数 5

ひとこと要約

この論文は、von Neumann代数におけるTingleyの問題に対して完全な肯定的解決を確立し、2つのvon Neumann代数の単位球面間の全単射等長写像が一意に実線形全単射等長写像に拡張されることを証明している。主な結果は、このような等長写像がユニタリ元を保存し、ユニタリ元による乗算と組み合わせたジョルダン*-同型を通じて誘導されることを示している。

ABSTRACT

We prove that every surjective isometry between the unit spheres of two von Neumann algebras admits a unique extension to a surjective real linear isometry between these two algebras.

研究の動機と目的

• 一般のvon Neumann代数の文脈においてTingleyの問題を解決すること。ここでの焦点は、単位球面から全代数への等長写像の拡張が未解決のまま残っていることである。
• C*-代数やJBW*-三重体における既知の等長写像拡張結果を、より広いクラスのvon Neumann代数へと拡張すること。
• von Neumann代数の単位球面間の全単射等長写像が、ユニタリ元やノルム閉じた面といった、重要な代数的・幾何的構造を保存することを確立すること。
• このような等長写像が、ユニタリ元による乗算と組み合わせたジョルダン*-同型から生じることを証明し、実線形等長写像への標準的拡張をもたらすこと。
• 非原子的von Neumann代数における技術的困難を、ユニタリ元の凸結合と面構造の保存性を活用することで克服すること。

提案手法

• 単位球面間の全単射等長写像が、単位球の最大凸集合およびノルム閉じた面を保存する幾何的性質を用いる。
• C*-代数の単位球面間の全単射等長写像が、非ゼロの部分等長写像を部分等長写像に写し、関連するノルム閉じた面を保存することを証明する。
• このような等長写像がユニタリ元を保存することを示し、有限von Neumann代数における結果を任意のvon Neumann代数へ一般化する。
• HatoriとMolnárの結果を適用し、von Neumann代数のユニタリ群間の全単射等長写像が実線形等長写像に一意に拡張されることを用いる。
• von Neumann代数におけるユニタリ作用素の凸結合理論（OlsenとPedersen）を用い、部分等長写像を近似し、等長写像を全球に拡張する。
• 拡張を $ T(x) = f(1)ig(pJ(x) + (1-p)J(x)^*ig) $ として構成する。ここで $ J $ はジョルダン*-同型、$ p $ は終端代数内の中心射影である。

実験結果

リサーチクエスチョン

• RQ1 2つのvon Neumann代数の単位球面間の全単射等長写像は、常に全代数上への全単射実線形等長写像に一意に拡張可能か？
• RQ2 単位球面間の等長写像は、von Neumann代数における単位球の面構造とどのように関係するか？
• RQ3 非有限的または非原子的von Neumann代数においても、このような等長写像がユニタリ元を保存することは一般に示せるか？
• RQ4 von Neumann代数の文脈において、球面等長写像の線形拡張の正確な形は何か？
• RQ5 非原子的von Neumann代数において、部分等長写像およびそれに関連するノルム閉じた面は、等長写像下でどのように振る舞うか？

主な発見

• 2つのvon Neumann代数の単位球面間の全単射等長写像は、全代数上への全単射実線形等長写像に一意に拡張可能である。
• 拡張は $ T(x) = f(1)ig(pJ(x) + (1-p)J(x)^*ig) $ で与えられ、ここで $ J $ はジョルダン*-同型、$ p $ は終端代数内の中心射影である。
• 単位球面間の全単射等長写像はユニタリ元を保存する。これは、有限von Neumann代数における結果を一般化したものである。
• 等長写像は、非ゼロの部分等長写像に関連する単位球のノルム閉じた面を、対応する終端代数内の面に写す。
• von Neumann代数の単位球の任意の元は、ユニタリ元の凸結合により近似可能であり、これにより実アフィン構造を介した等長写像の拡張が可能になる。
• 因子の場合、等長写像は $ f(x) = f(1)J(x) $ または $ f(x) = f(1)J(x^*) $ の形を取り、$ J $ はジョルダン*-同型である。これは、拡張の明確な分類を示している。