[论文解读] On the extension of isometries between the unit spheres of a JBW$^*$-triple and a Banach space

Julio Becerra Guerrero, María Cueto-Avellaneda+2 more|arXiv (Cornell University)|Aug 4, 2018

Advanced Operator Algebra Research参考文献 57被引用 8

一句话总结

本文证明了所有秩为一或秩为三及以上的JBW$^*$-三重系统均满足Mazur–Ulam性质：即任意此类三重系统与另一巴拿赫空间之间，其单位球面之间的任意同构等距映射均可唯一地延拓为两空间之间的实线性等距映射。该结果进一步推广至其双对偶中原子部分不是秩二卡坦因子的JBW$^*$-三重系统，从而在非结合算子代数中解决了Tingley问题的关键情形。

ABSTRACT

We prove that every JBW$^*$-triple $M$ with rank one or rank bigger than or equal to three satisfies the Mazur--Ulam property, that is, every surjective isometry from the unit sphere of $M$ onto the unit sphere of another Banach space $Y$ extends to a surjective real linear isometry from $M$ onto $Y$. We also show that the same conclusion holds if $M$ is not a JBW$^*$-triple factor, or more generally, if the atomic part of $M^{**}$ is not a rank two Cartan factor.

研究动机与目标

• 确定JBW$^*$-三重系统满足Mazur–Ulam性质的条件，即单位球面之间的任意同构等距映射是否可延拓为实线性等距映射。
• 通过刻画单位球面上等距映射是否可线性延拓，解决JBW$^*$-三重系统中的Tingley问题。
• 将近期关于C$^*$-代数和冯诺依曼代数的结果推广至JBW$^*$-三重系统的非结合算子代数框架。
• 通过紧致三元元刻画JB$^*$-三重系统双对偶单位球中相对开面的特征。
• 证明当JBW$^*$-三重系统的双对偶中其原子部分不是秩二卡坦因子时，Mazur–Ulam性质成立。

提出的方法

• 利用Mori与Ozawa关于巴拿赫空间中强Mankiewicz性质的结果，建立JBW$^*$-三重系统中的基础几何结构。
• 通过三元元，特别是紧致三元元，刻画JB$^*$-三重系统双对偶单位球的弱$^*$-闭真面。
• 证明：JB$^*$-三重系统双对偶单位球的弱$^*$-闭面是原三重系统中相对开的，当且仅当其对应于双对偶中的一个紧致三元元。
• 利用面结构证明：单位球面上的等距映射保持范数闭面，因此在这些面上是仿射的。
• 应用Mazur–Ulam定理，并通过面保持性质推导出等距映射的线性延拓。
• 通过双对偶的分解及原子部分的性质，将一般情形约化为秩一或秩三及以上的卡坦因子。

实验结果

研究问题

• RQ1 所有秩为一或秩≥3的JBW$^*$-三重系统是否满足Mazur–Ulam性质，即单位球面之间的等距映射是否可延拓为实线性等距映射？
• RQ2 Mazur–Ulam性质是否可推广至其双对偶中原子部分不是秩二卡坦因子的JBW$^*$-三重系统？
• RQ3 如何通过三元元精确刻画JB$^*$-三重系统双对偶单位球中相对开面的特征？
• RQ4 JBW$^*$-三重系统单位球面之间的等距映射如何与单位球的面结构相互作用？
• RQ5 在双对偶满足何种条件下，强Mankiewicz性质可推出JBW$^*$-三重系统的Mazur–Ulam性质？

主要发现

• 所有秩为一的JBW$^*$-三重系统均满足Mazur–Ulam性质，因其等距同构于复希尔伯特空间，而希尔伯特空间已知满足此性质。
• 所有秩≥3的JBW$^*$-三重系统均满足Mazur–Ulam性质，此结论通过等距映射保持范数闭面及紧致三元元结构得以证明。
• JB$^*$-三重系统双对偶单位球的弱$^*$-闭面是原三重系统中相对开的，当且仅当其与双对偶中的一个紧致三元元相关联。
• 对于其双对偶中原子部分不是秩二卡坦因子的任意JBW$^*$-三重系统，Mazur–Ulam性质成立，包括非因子及高阶卡坦因子的$\ell^\infty$-和。
• 满足主定理条件的JBW$^*$-三重系统中，单位球面上等距映射到实线性等距映射的延拓是唯一的。
• 该结果将近期关于C$^*$-代数和冯诺依曼代数的研究成果推广至JBW$^*$-三重系统的非结合算子代数框架，确认了在更广泛的算子代数类中Mazur–Ulam性质的成立。