[论文解读] 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 代數的單位球面之間的每個滿射等距同構唯一地延拓為一個滿射實線性等距同構，從而為 von Neumann 代數中的 Tingley 問題提供了完整的正向解答。關鍵結果表明，這種等距同構保持酉元，且由 Jordan *-同構與目標代數中酉元乘法的複合所誘導。

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 代數的單位球面之間的滿射等距同構，保持關鍵的代數與幾何結構，如酉元與範數閉合面。
• 證明此類等距同構源自 Jordan *-同構與酉元乘法的複合，從而產生到實線性等距同構的規範延拓。
• 透過利用酉元的凸組合與面結構的保持性，克服非原子 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 $ 為 Jordan *-同構，$ p $ 為目標代數中的中心投影，以定義實線性延拓。

实验结果

研究问题

• RQ1 兩個 von Neumann 代數的單位球面之間的每個滿射等距同構，是否都能唯一地延拓為整個代數上的滿射實線性等距同構？
• RQ2 單位球面之間的等距同構在 von Neumann 代數中如何與單位球的面結構相互作用？
• RQ3 此類等距同構是否能在一般 von Neumann 代數中保持酉元？而不僅僅是有限或原子型代數？
• RQ4 在 von Neumann 代數的背景下，球面等距同構的線性延拓具有何精確形式？
• RQ5 在非原子 von Neumann 代數中，部分等距同構及其相關的範數閉合面在等距球面映射下表現為何？

主要发现

• 兩個 von Neumann 代數的單位球面之間的每個滿射等距同構，皆可唯一地延拓為整個代數上的滿射實線性等距同構。
• 延拓式為 $ T(x) = f(1)ig(pJ(x) + (1-p)J(x)^*ig) $，其中 $ J $ 為 Jordan *-同構，$ p $ 為目標代數中的中心投影。
• 單位球面之間的滿射等距同構保持酉元，將有限 von Neumann 代數中的結果推廣至一般 von Neumann 代數。
• 此等距同構將與非零部分等距同構相關的單位球的範數閉合面，映射至目標代數中的對應面。
• 在 von Neumann 代數的單位球面中，每個元素皆可透過酉元的凸組合逼近，進而利用實仿射結構實現等距同構的延拓。
• 在因子的情境下，此等距同構的形式為 $ f(x) = f(1)J(x) $ 或 $ f(x) = f(1)J(x^*) $，其中 $ J $ 為 Jordan *-同構，顯示出延拓的清晰分類。