[论文解读] Mankiewicz's theorem and the Mazur--Ulam property for C*-algebras

Michiya Mori, Narutaka Ozawa|arXiv (Cornell University)|Apr 27, 2018

Advanced Operator Algebra Research参考文献 16被引用 9

一句话总结

本文证明了每个单位C*-代数都具有Mazur–Ulam性质：从其单位球面到另一范数空间的单位球面的任意满等距映射均可延拓为实线性等距映射。作者建立了Mankiewicz定理的强化版本，表明从具有丰富极点结构的凸体到任意凸集的任意满等距映射均为仿射映射，从而将C*-代数的延拓结果推广至此前仅知的冯诺依曼代数情形之外。

ABSTRACT

We prove that every unital C*-algebra $A$ has the Mazur--Ulam property. Namely, every surjective isometry from the unit sphere $S_A$ of $A$ onto the unit sphere $S_Y$ of another normed space $Y$ extends to a real linear map. This extends the result of A. M. Peralta and F. J. Fernandez-Polo who have proved the same under the additional assumption that both $A$ and $Y$ are von Neumann algebras. In the course of the proof, we strengthen Mankiewicz's theorem and prove that every surjective isometry from a closed unit ball with enough extreme points onto an arbitrary convex subset of a normed space is necessarily affine.

研究动机与目标

• 为单位C*-代数的Tingley问题提供肯定解答。
• 将Mazur–Ulam性质从冯诺依曼代数推广至一般的单位C*-代数。
• 通过证明从闭凸包中极点的内部非空的凸体到任意凸集的等距映射为仿射映射，推广Mankiewicz定理。
• 为在非交换算子代数中将单位球面上的等距映射延拓为实线性映射建立一个框架。
• 通过面保持性和自伴部分上的线性延拓，提出一种证明Mazur–Ulam性质的新策略。

提出的方法

• 通过证明：若单位球的极点闭凸包具有非空内部，则从空间中任意凸体到任意凸集的任意满等距映射均为仿射映射，从而强化Mankiewicz定理。
• 利用等距映射保持极点和闭面的性质，特别是在C*-代数中单位球具有丰富的面结构这一事实。
• 通过C*-代数的自伴部分进行线性延拓，其等距同构于ℝ ⊕₁ ℋ（ℋ为希尔伯特空间）。
• 利用M₂(𝔽)中的酉群分解，将问题约化为在对角和非对角酉元上验证线性性。
• 通过纯态延拓和对偶性，证明等距映射与目标空间上的泛函的复合，与原C*-代数上某一固定态一致。
• 通过证明其在酉元和自伴元的生成集上与某一固定态一致，从而证明等距映射可线性延拓。

实验结果

研究问题

• RQ1 每个单位C*-代数的单位球面到另一范数空间的单位球面的任意满等距映射是否都能延拓为实线性等距映射？
• RQ2 Mankiewicz关于凸体之间等距映射的定理能否被强化，以适用于定义域为具有丰富极点结构的凸体、值域为任意凸集的情形？
• RQ3 Mazur–Ulam性质是否对所有单位C*-代数成立，而不仅限于冯诺依曼代数？
• RQ4 是否能通过C*-代数中面和极点的结构，建立单位球面上等距映射的线性延拓？
• RQ5 强Mankiewicz性质——即从凸体到任意凸集的等距映射为仿射映射——是否对所有单位C*-代数中的凸体都成立？

主要发现

• 每个单位C*-代数都具有Mazur–Ulam性质，即其单位球面到另一范数空间单位球面的任意满等距映射均可延拓为实线性等距映射。
• 若单位C*-代数的单位球的极点闭凸包具有非空内部，则其所有凸体均满足强Mankiewicz性质。
• 该证明表明，从具有丰富极点结构的凸体到任意凸集的等距映射必为仿射映射，从而推广了Mankiewicz的原始结果。
• 对于C*-代数M₂(𝔽)，通过证明任意单位球面上的等距映射可通过与生成集上酉元的固定态一致而线性延拓，从而证明了Mazur–Ulam性质。
• 任何实冯诺依曼代数的自伴部分也具有Mazur–Ulam性质，该结论通过将相同方法应用于其实线性结构而得到。
• 关键技术进展在于对巴拿赫空间中凸体上等距映射的精细分析，其中极点结构足够丰富，可强制映射为仿射映射。