[论文解读] On the extension of isometries between the unit spheres of a C*-algebra and B(H)

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

Advanced Operator Algebra Research参考文献 21被引用 7

一句话总结

该论文为 $B(H)$ 与 $B(K)$ 之间单位球面上的满等距映射提供了正向解，证明了此类等距映射均可唯一延拓为 $B(H)$ 与 $B(K)$ 全体算子代数之间的复线性或共轭线性满等距映射。其关键创新在于将 JB*-三重态的几何与结构方法适配至 $B(H)$ 的非紧致情形，其中极大面由其双对偶中的极小部分等距元确定，从而克服了先前方法在该情形下失效的障碍。

ABSTRACT

Given two complex Hilbert spaces $H$ and $K$, let $S(B(H))$ and $S(B(K))$ denote the unit spheres of the C$^*$-algebras $B(H)$ and $B(K)$ of all bounded linear operators on $H$ and $K$, respectively. We prove that every surjective isometry $f: S(B(K)) o S(B(H))$ admits an extension to a surjective complex linear or conjugate linear isometry $T: B(K) o B(H)$. This provides a positive answer to Tingley's problem in the setting of $B(H)$ spaces.

研究动机与目标

• 解决复希尔伯特空间上 $B(H)$ 代数设定下的 Tingley 问题。
• 将 $B(H)$ 与 $B(K)$ 单位球面之间的满等距映射延拓为算子代数上的全线性或共轭线性等距映射。
• 克服在 $B(H)$ 中极大范数闭面由其双对偶 $B(H)^{**}$ 中的极小部分等距元决定所带来的挑战，该性质使有限维或紧算子情形下所用方法失效。
• 确立该延拓是唯一的，并保持 $B(H)$ 空间在代数与拓扑结构上的完整性。

提出的方法

• 利用 $B(H)$ 中范数闭面与极值点的几何性质，特别关注极小部分等距元。
• 应用定理 2.5，该定理表明单位球面之间的满等距映射将 $A$ 中的极小部分等距元映射至 $B(H)$ 中的极小部分等距元，即使在非紧致情形下亦成立。
• 通过投影分解代数并利用其在角代数上诱导的等距映射，构造 $B(K)$ 上的实线性等距映射 $T$。
• 利用子代数上诱导等距映射的弱*-连续性与线性性，确保 $T$ 在单位球面上延拓了 $f$。
• 通过利用极小部分等距元的更强结构结果，将 JB*-三重态理论中的技术（特别是 [22] 与 [16] 中的方法）适配至 $B(H)$ 设定。
• 通过命题 3.1 证明延拓，表明 $T$ 在所有极小部分等距元上与 $f$ 一致，因此由于稠密性与极大性论证，其在整个单位球面上一致。

实验结果

研究问题

• RQ1 每个 $B(H)$ 与 $B(K)$ 单位球面之间的满等距映射是否都能延拓为算子代数之间的实线性等距映射？
• RQ2 能否将用于紧致 C*-代数与弱紧致 JB*-三重态的方法适配至 $B(H)$ 的非紧致情形？
• RQ3 在 $B(H)$ 中，单位球面之间的等距映射下极小部分等距元的行为如何，特别是当它们位于双对偶中时？
• RQ4 此类等距映射的延拓是否必然为复线性或共轭线性？该结论能否在不依赖有限维性的情况下得到证明？
• RQ5 该结果能否推广至 $B(H)$ 空间的 $\ell^\infty$-直和？

主要发现

• 每个满等距映射 $f: S(B(K)) \to S(B(H))$ 均可唯一延拓为 $B(K) \to B(H)$ 上的满复线性或共轭线性等距映射 $T$，从而解决了 $B(H)$-空间上的 Tingley 问题。
• 该延拓是弱*-连续的，并保持算子代数的代数结构。
• $B(K)$ 中的极小部分等距元被映射为 $B(H)$ 中的极小部分等距元，这是此类等距映射下保持的关键几何不变量。
• 证明依赖于将面与极值点技术新颖地适配至非紧致设定，其中极大面由双对偶中的极小部分等距元决定。
• 该结果被推广至 $B(H)$ 空间的 $\ell^\infty$-直和，表明该延拓性质在更广泛的算子代数类中依然成立。
• 该解独立于 $K(H)$ 与弱紧致 JB*-三重态的先前结果，为 Tingley 问题开辟了新的研究前沿。