[论文解读] The Mazur-Ulam property for commutative von Neumann algebras

Antonio M. Peralta, María Cueto-Avellaneda|arXiv (Cornell University)|Mar 1, 2018

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

一句话总结

本文证明了交换冯诺依曼代数，特别是 $L^∞(Ω,μ)$ 和 $C(K)$（其中 $K$ 为 Stonean 空间），满足 Mazur-Ulam 性质：其单位球面之间的任意等距同构均可延拓为整个空间上的实线性等距同构。该结果通过一个关于 $C(K)$ 上等距同构的一般延拓定理得出，其中 $K$ 为 Stonean 空间，利用了这些 C*-代数中投影结构与单调完备性的特性。

ABSTRACT

Let $(Ω,μ)$ be a $σ$-finite measure space. Given a Banach space $X$, let the symbol $S(X)$ stand for the unit sphere of $X$. We prove that the space $L^{\infty} (Ω,μ)$ of all complex-valued measurable essentially bounded functions equipped with the essential supremum norm, satisfies the Mazur-Ulam property, that is, if $X$ is any complex Banach space, every surjective isometry $Δ: S(L^{\infty} (Ω,μ)) o S(X)$ admits an extension to a surjective real linear isometry $T: L^{\infty} (Ω,μ) o X$. This conclusion is derived from a more general statement which assures that every surjective isometry $Δ: S(C(K)) o S(X),$ where $K$ is a Stonean space, admits an extension to a surjective real linear isometry from $C(K)$ onto $X$.

研究动机与目标

• 解决关于交换冯诺依曼代数是否满足 Mazur-Ulam 性质的开放问题，特别是在复数情形下。
• 将已知的从实巴拿赫空间到复巴拿赫空间的等距延拓结果进行推广，尤其针对 $L^\infty(\Omega,\mu)$ 和 $C(K)$（其中 $K$ 为 Stonean 空间）的情形。
• 为从 $C(K)$ 的单位球面到整个空间的满射等距同构提供一个一般性延拓框架，其中 $K$ 为 Stonean 空间。
• 通过发展一种适合复巴拿赫空间的复分析与 C*-代数方法，克服先前实变量方法的局限性。
• 阐明 Stonean 空间与单调完备性在实现单位球面上等距同构延拓中的作用。

提出的方法

• 作者证明，对于 Stonean 空间 $K$，每个从 $S(C(K))$ 到 $X$ 的单位球面的满射等距同构 $\Delta$ 均可延拓为 $C(K)$ 到 $X$ 的满射实线性等距同构 $T$，其依据是 $C(K)$ 的单调完备性，以及元素可被有限线性组合的投影一致逼近的性质。
• 他们利用当 $K$ 为超 Stonean时 $C(K)$ 作为对偶巴拿赫空间的结构，但将重点放在更一般的 Stonean 情形，以确保该结果可应用于 $L^\infty(\Omega,\mu)$，因为后者可通过表示为 $C(K)$ 空间而被涵盖。
• 证明依赖于存在足够多的投影，以及利用单位球面上的截面（slices）来控制等距同构的行为，借鉴了 Tingley 问题与 Mazur-Ulam 定理中的技术。
• 作者利用在 Stonean 空间中，任意有界递增的实值连续函数网在 $C(K)$ 中存在上确界这一事实，确保了单调完备性，从而支持了等距同构的延拓。
• 他们将单位球面上等距同构的一般延拓结果应用于 $L^\infty(\Omega,\mu)$ 的具体情形，由于 $L^\infty(\Omega,\mu)$ 同构于某个 Stonean 空间 $K$ 的 $C(K)$，因此可将结果转移至 $L^\infty$。
• 该方法避免依赖先前工作（如 Tan [42]）中的实变量技术，转而构建基于 Stonean 空间 $K$ 的 $C(K)$ 的代数与拓扑性质的复适应框架。

实验结果

研究问题

• RQ1 复值本质有界函数空间 $L^\infty(\Omega,\mu)$ 是否满足复巴拿赫空间的 Mazur-Ulam 性质？
• RQ2 当 $K$ 为 Stonean 空间时，是否每个从 $C(K)$ 与另一复巴拿赫空间 $X$ 的单位球面之间的满射等距同构 $\Delta: S(C(K)) \to S(X)$ 均可延拓为 $C(K)$ 到 $X$ 的实线性等距同构？
• RQ3 $C(K)$ 在 $K$ 为 Stonean 空间时的哪些结构性质使得其单位球面上的等距同构可被延拓至整个空间？
• RQ4 在复交换冯诺依曼代数的背景下，Mazur-Ulam 性质如何表现，尤其是在复线性与共轭线性等距同构带来的挑战下？
• RQ5 在 Tingley 问题的框架下，实巴拿赫空间的结果能在多大程度上推广至复巴拿赫空间？

主要发现

• 空间 $L^\infty(\Omega,\mu)$ 满足复巴拿赫空间的 Mazur-Ulam 性质，即其单位球面与任意复巴拿赫空间 $X$ 的单位球面之间的任意满射等距同构，均可延拓为 $L^\infty(\Omega,\mu)$ 到 $X$ 的满射实线性等距同构。
• 对于任意 Stonean 空间 $K$，每个从 $S(C(K))$ 到 $X$ 的满射等距同构 $\Delta: S(C(K)) \to S(X)$ 均可延拓为 $C(K)$ 到 $X$ 的满射实线性等距同构 $T$，从而确立了一般延拓原则。
• 该延拓结果源于当 $K$ 为 Stonean 空间时 $C(K)$ 的单调完备性与投影结构，使得能够控制单位球面上等距同构像的行为。
• 该结果推广了先前对 Tingley 问题的正向解法至复交换冯诺依曼代数，填补了文献中的关键空白。
• 作者表明，Tan 的实 $L^\infty$ 结果的复版本无法直接推广，因此必须采用基于 C*-代数与 Stonean 空间拓扑性质的新方法。
• 本研究证实，当 $K$ 为 Stonean 空间时，$C(K)$ 是复范畴下 Mazur-Ulam 性质的自然设定，扩展了已知的实巴拿赫空间结果。