[论文解读] Low rank compact operators and Tingley's problem

Francisco J. Fernández-Polo, Antonio M. Peralta|arXiv (Cornell University)|Nov 30, 2016

Advanced Banach Space Theory被引用 1

一句话总结

本文為弱紧致 JB∗-三重的丁格利問題提供了完整解法，證明了此類空間單位球面之間的任意滿射等距同構可唯一地延拓為整個空間之間的實線性等距同構。關鍵結果透過約旦代數技巧與卡坦因子的幾何性質，將此延拓結果推廣至所有低秩緊緻算子與自旋因子，包含形式為 K(H, H′) 的無限維空間（其中 dim(H′) ≤ 4）。

ABSTRACT

Let $E$ and $B$ be arbitrary weakly compact JB$^*$-triples whose unit spheres are denoted by $S(E)$ and $S(B)$, respectively. We prove that every surjective isometry $f: S(E) o S(B)$ admits an extension to a surjective real linear isometry $T: E o B$. This is a complete solution to Tingley's problem in the setting of weakly compact JB$^*$-triples. Among the consequences, we show that if $K(H,K)$ denotes the space of compact operators between arbitrary complex Hilbert spaces $H$ and $K$, then every surjective isometry $f: S(K(H,K)) o S(K(H,K))$ admits an extension to a surjective real linear isometry $T: K(H,K) o K(H,K)$.

研究动机与目标

• 解決弱緊致 JB∗-三重中低秩（2 至 4）之剩餘開放案例的丁格利問題，特別是自旋因子與有限維卡坦因子。
• 將弱緊致 JB∗-三重單位球面之間的滿射等距同構延拓至整個空間之間的實線性等距同構。
• 建立在複 Hilbert 空間之間的緊緻算子空間 K(H, K) 上，此類空間滿足 dim(K) ≤ 4 時，單位球面之間的等距同構可延拓為整個空間上的實線性等距同構。
• 完成先前工作所啟動的計畫，解決 [29] 中未解決的低秩案例，特別是秩 2 與秩 3 的 JB∗-三重。
• 統一並推廣先前在 C∗-代數、von Neumann 代數與經典 Banach 空間中關於等距同構延拓的研究成果。

提出的方法

• 使用約旦代數技巧，特別是 JB∗-三重中對偶元與佩爾斯分解的結構。
• 應用卡坦因子的幾何性質，包括自旋因子與型 1–4 因子，以分析單位球面上的等距同構。
• 利用 f(iu) = if(u) 對所有 X 中的對偶元 u 成立的事實，進而實現複線性結構的延拓。
• 證明 f 將正交的極小對偶元映射至正交的極小對偶元，進而可建構自伴部分上的實線性等距同構。
• 使用祖恩引理（Zorn's lemma）證明單位球面上的某些凸線段包含於最大面中，進而保持等距結構。
• 透過自伴部分 X₁ 上的實線性等距同構 F，定義複線性延拓 T：對 x₁ + iz₁ ∈ X = X₁ ⊕ iX₁，定義 T(x₁ + iz₁) = F(x₁) + iF(z₁)。

实验结果

研究问题

• RQ1 所有弱緊致 JB∗-三重（秩 2 至 4）之間單位球面的滿射等距同構，是否都能延拓為整個空間之間的實線性等距同構？
• RQ2 當 dim(K) ≤ 4 且 dim(H) = ∞ 時，丁格利問題在緊緻算子空間 K(H, K) 上是否具有正向解？
• RQ3 能否使用約旦理論方法，在自旋因子與有限維卡坦因子中實現單位球面上等距同構的延拓？
• RQ4 在低秩 JB∗-三重設定下，從單位球面到整個空間的等距同構延拓是否唯一？
• RQ5 單位球面上的哪些幾何與代數條件可確保實線性等距同構延拓的存在？

主要发现

• 所有弱緊致 JB∗-三重 E 與 B 之間的單位球面之間的滿射等距同構 f : S(E) → S(B)，皆可唯一地延拓為 E 到 B 上的滿射實線性等距同構 T : E → B。
• 此延拓適用於所有低秩情形，包含自旋因子與型 1–4 的卡坦因子，從而完整解決此類空間中的丁格利問題。
• 對於複 Hilbert 空間 H 與 K 之間的緊緻算子空間 K(H, K)，所有單位球面之間的滿射等距同構 f : S(K(H, K)) → S(K(H, K))，皆可延拓為 K(H, K) 上的滿射實線性等距同構。
• 此延拓透過自伴部分 X₁ 上的實線性等距同構 F 建構，再以複線性方式延拓至整個空間 X。
• 證明依賴於 f 對極小與完整對偶元之正交性與範數結構的保持，特別是這些結構的保持性。
• 結果確認，弱緊致 JB∗-三重單位球面的幾何結構已足夠恢復整個線性等距同構結構。