[論文レビュー] 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∗-三重系におけるTingleyの問題を完全に解決し、このような空間の単位球面間の全単射等距写像が、全空間間の実線形等距写像に一意に拡張可能であることを証明している。主な結果として、すべての低ランクコンパクト作用素およびスピン因子（無限次元空間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）におけるTingleyの問題を解明すること、特にスピン因子と有限次元カルタン因子に対して。
• 弱くコンパクトなJB∗-三重系の単位球面間の全単射等距写像を、全空間間の実線形等距写像に拡張すること。
• 複素ヒルベルト空間間のコンパクト作用素空間K(H, K)に対して、その単位球面間の全単射等距写像が、K(H, K)上に実線形等距写像に拡張可能であることを確立すること。ただし、dim(K) ≤ 4であり、dim(H) = ∞である場合を含む。
• 先行研究で提起されたプログラムを完了し、特に[29]で未解決のまま残っていた低ランクケース（特にランク2および3のJB∗-三重系）を解決すること。
• C∗-代数、フォンノイマン代数、古典的バナッハ空間における等距写像の拡張に関する先行結果を統合・一般化すること。

提案手法

• JB∗-三重系における三重元の構造およびペアシー分解を用いたジョルダン代数的技法の使用。
• カルタン因子（特にスピン因子およびタイプ1〜4の因子）の幾何的性質を応用し、単位球面上の等距写像を分析すること。
• すべての三重元u ∈ Xに対してf(iu) = if(u)が成り立つという事実を活用し、複素線形構造への拡張を可能にする。
• fが直交する最小の三重元を直交する最小の三重元に写すことの証明により、自己共役部の実線形等距写像の構成が可能になる。
• ゾルンの補題を用いて、単位球面上の特定の凸線分が最大面に含まれることを示し、等距構造が保存されることを保証する。
• 自己共役部X₁上の実線形等距写像Fを用いて、X = X₁ ⊕ iX₁に複素線形拡張Tを定義する。すなわちT(x₁ + iz₁) = F(x₁) + iF(z₁)とする。

実験結果

リサーチクエスチョン

• RQ1 任意の弱くコンパクトなJB∗-三重系EとB（ランク2〜4）の単位球面間の全単射等距写像f : S(E) → S(B)は、全空間間の実線形等距写像T : E → Bに一意に拡張可能か？
• RQ2 dim(K) ≤ 4かつdim(H) = ∞のとき、コンパクト作用素空間K(H, K)に対してTingleyの問題は正の解を有するか？
• RQ3 ジョルダン理論的技法を用いて、スピン因子および有限次元カルタン因子において、単位球面上の等距写像の拡張を達成可能か？
• RQ4 低ランクJB∗-三重系の設定において、単位球面からの等距写像の拡張は一意的か？
• RQ5 単位球面にどのような幾何的・代数的条件が満たされていれば、実線形等距写像の拡張が存在するか？

主な発見

• 弱くコンパクトなJB∗-三重系EとBの単位球面間の全単射等距写像f : S(E) → S(B)は、一意に全空間間の全単射実線形等距写像T : E → Bに拡張可能である。
• この拡張は、すべての低ランクケース（スピン因子およびタイプ1〜4のカルタン因子を含む）に成立し、このクラスにおけるTingleyの問題の解決を完全に完了している。
• 複素ヒルベルト空間HとK間のコンパクト作用素空間K(H, K)に対して、任意の全単射等距写像f : S(K(H, K)) → S(K(H, K))は、K(H, K)上に全単射実線形等距写像に拡張可能である。
• この拡張は、自己共役部X₁上の実線形等距写像Fを用いて構成され、その後FをX = X₁ ⊕ iX₁に複素線形に拡張することで得られる。
• 証明は、特に最小および完全な三重元における直交性とノルム構造の保存に依拠している。
• この結果により、弱くコンパクトなJB∗-三重系における単位球面の幾何的構造が、全線形等距写像構造を回復するのに十分であることが確認された。