[论文解读] Tingley's problem for $p$-Schatten von Neumann classes

Francisco J. Fernández-Polo, Enrique Jordá+1 more|arXiv (Cornell University)|Mar 2, 2018

Advanced Banach Space Theory被引用 1

一句话总结

该论文解决了复希尔伯特空间上 $C_p(H)$ 的 $p$-施瓦茨冯诺依曼类单位球面上的丁格利问题，证明了这些单位球面之间的任意满射等距映射均可延拓为整个空间上的复线性或共轭线性满射等距映射。证明依赖于保持极小部分等距算子，并应用广义维格纳定理和 $p$-范数的恒等原理。

ABSTRACT

Let $H$ and $H'$ be a complex Hilbert spaces. For $p\in(1, \infty)\backslash\{2\}$ we consider the Banach space $C_p(H)$ of all $p$-Schatten von Neumann operators, whose unit sphere is denoted by $S(C_p(H))$. We prove that every surjective isometry $\Delta: S(C_p(H)) o S(C_p(H'))$ can be extended to a complex linear or to a conjugate linear surjective isometry $T:C_p(H) o C_p(H')$.

研究动机与目标

• 解决 $p \in (1, \infty) \setminus \{2\}$ 时非交换设置下 $p$-施瓦茨 von Neumann 类 $C_p(H)$ 的丁格利问题。
• 确定两个此类空间单位球面之间的满射等距映射是否可延拓为整个算子空间上的线性或共轭线性等距映射。
• 建立极小部分等距算子在等距映射下被保持，从而可应用广义维格纳型定理。
• 将 $p$-范数的恒等原理推广，以通过算子到所有极小部分等距算子的距离来表征算子。
• 将此前对迹类算子和紧算子的结果推广至 $p \neq 2$ 的更广泛的 $p$-施瓦茨空间类。

提出的方法

• 证明任意满射等距映射 $\Delta: S(C_p(H)) \to S(C_p(H'))$ 将 $C_p(H)$ 中的极小部分等距算子映射到 $C_p(H')$ 中的极小部分等距算子，即 $\Delta(U_{\min}(H)) = U_{\min}(H')$。
• 利用极小部分等距算子上过渡概率的保持性，应用 L. Molnár（2014）的广义维格纳定理，该定理将此类双射分类为酉或反酉共轭。
• 建立新的恒等原理：若对所有 $e \in U_{\min}(H)$ 和 $\gamma \in \mathbb{T}$，有 $\|a - \gamma e\|_p = \|b - \gamma e\|_p$，则 $a = b$（命题 2.10）。
• 将等距映射限制在 $C_p(H)$ 同构于 $M_m(\mathbb{C})$ 的有限维子空间上，并利用恒等原理证明有限秩算子的不变性。
• 利用有限秩算子在 $S(C_p(H))$ 中的范数稠密性及 $\Delta$ 的连续性，将结果延拓至整个单位球面。
• 最终得出结论：$\Delta$ 在整个空间 $C_p(H)$ 上由酉或反酉共轭实现，因此可延拓为复线性或共轭线性等距映射。

实验结果

研究问题

• RQ1 每个满射等距映射 $\Delta: S(C_p(H)) \to S(C_p(H'))$ 是否都可延拓为 $C_p(H)$ 上的复线性或共轭线性等距映射？
• RQ2 此类等距映射如何保持极小部分等距算子？这一性质是否可用于重构全局等距映射？
• RQ3 能否基于算子到所有极小部分等距算子的 $p$-范数距离建立一个恒等原理，以唯一确定 $C_p(H)$ 中的算子？
• RQ4 在非交换结构 $C_p(H)$ 中，特别是当 $p \neq 2$ 时，其结构在阻碍或促进等距映射的延拓中起到何种作用？
• RQ5 该结果在多大程度上推广了以往在交换及其它非交换算子空间中解决丁格利问题的结果？

主要发现

• 对所有 $p \in (1, \infty) \setminus \{2\}$，任意满射等距映射 $\Delta: S(C_p(H)) \to S(C_p(H'))$ 均可延拓为 $C_p(H)$ 到 $C_p(H')$ 上的复线性或共轭线性满射等距映射 $T$。
• 等距映射 $\Delta$ 保持极小部分等距算子集合：$\Delta(U_{\min}(H)) = U_{\min}(H')$，且限制映射 $\Delta|_{U_{\min}(H)}$ 是满射等距映射。
• 过渡概率被保持：对所有 $e, v \in U_{\min}(H)$，有 $\operatorname{tr}(\Delta(e)^* \Delta(v)) = \operatorname{tr}(e^* v)$，从而可应用 Molnár 的广义维格纳定理。
• 建立了新的恒等原理：若对所有 $e \in U_{\min}(H)$ 和 $\gamma \in \mathbb{T}$，有 $\|a - \gamma e\|_p = \|b - \gamma e\|_p$，则 $a = b$。
• 在有限维子空间上，等距映射固定所有有限秩算子，且由稠密性与连续性，其固定 $S(C_p(H))$ 中所有元素。
• 最终的延拓形式为 $T(x) = u x v$ 或 $T(x) = u \overline{x} v$，其中 $u, v$ 为酉算子，从而证明了完整的延拓结果。