[論文レビュー] On the extension of isometries between the unit spheres of a C*-algebra and B(H)

Francisco J. Fernández-Polo, Antonio M. Peralta|arXiv (Cornell University)|Jan 11, 2017

Advanced Operator Algebra Research参考文献 21被引用数 7

ひとこと要約

本稿は、複素ヒルベルト空間 $H$ 上の有界線形作用素代数 $B(H)$ と $B(K)$ の単位球面間の全単射等長写像に関して、ティンゲリー問題に対する肯定的解決を提供する。すべての such 等長写像が、$B(H)$ と $B(K)$ の全作用素代数間の全単射複素線形または共役線形等長写像に一意に拡張可能であることを証明する。主な革新点は、$B(H)$ の非コンパクトな場合に、最大面が双対空間 $B(H)^{**}$ 内の最小部分等長写像によって特徴づけられることを活用し、有限次元やコンパクト作用素の設定で用いられた手法が不適切となる障害を克服するため、JB*-三重系の幾何的・構造的技法を適応することにある。

ABSTRACT

Given two complex Hilbert spaces $H$ and $K$, let $S(B(H))$ and $S(B(K))$ denote the unit spheres of the C$^*$-algebras $B(H)$ and $B(K)$ of all bounded linear operators on $H$ and $K$, respectively. We prove that every surjective isometry $f: S(B(K)) o S(B(H))$ admits an extension to a surjective complex linear or conjugate linear isometry $T: B(K) o B(H)$. This provides a positive answer to Tingley's problem in the setting of $B(H)$ spaces.

研究の動機と目的

• 複素ヒルベルト空間上の作用素代数 $B(H)$ の設定において、ティンゲリー問題を解決すること。
• $B(H)$ と $B(K)$ の単位球面間の全単射等長写像を、作用素代数全体への実線形または共役線形等長写像に拡張すること。
• $B(H)$ の最大ノルム閉面が双対空間 $B(H)^{**}$ 内の最小部分等長写像によって決定されることに起因する課題を克服すること。これは、有限次元やコンパクト作用素の設定で用いられた手法が不適切となる原因である。
• 拡張が一意的であり、$B(H)$ 空間の代数的および位相的構造を保存することを確立すること。

提案手法

• $B(H)$ 内のノルム閉面および極値点の幾何的性質、特に最小部分等長写像に焦点を当てる。
• 定理 2.5 の適用：単位球面間の全単射等長写像は、$A$ 内の最小部分等長写像を $B(H)$ 内の最小部分等長写像に写すことが示され、非コンパクトの場合でも成立する。
• 射影を用いた代数の分解と、コーナー代数への誘導された等長写像を介して、$B(K)$ 上の実線形等長写像 $T$ を構成する。
• 部分代数への誘導された等長写像の弱*-連続性と線形性を用いて、$T$ が単位球面上で $f$ を拡張することを保証する。
• 最小部分等長写像に関する強い構造的結果を活用し、特に [22] および [16] からの JB*-三重系理論の技法を $B(H)$ の設定に適応する。
• 命題 3.1 を用いた拡張の証明：$T$ がすべての最小部分等長写像で $f$ と一致することを示し、密度および最大性の議論により、単位球面全体で一致することを導く。

実験結果

リサーチクエスチョン

• RQ1 $B(H)$ と $B(K)$ の単位球面間のすべての全単射等長写像は、作用素代数全体への実線形等長写像に拡張可能か？
• RQ2 コンパクト $C^*$-代数や弱コンパクト JB*-三重系の設定で用いられた手法は、$B(H)$ の非コンパクトな場合に適応可能か？
• RQ3 最小部分等長写像は、$B(H)$ の単位球面間の等長写像の下でどのように振る舞うか、特にそれらが双対空間に属する場合に？
• RQ4 このような等長写像の拡張は、必然的に複素線形または共役線形であると保証可能か？有限次元性に依存せずにこれを証明できるか？
• RQ5 この結果は、$B(H)$ 空間の $\ell^\infty$-和へ一般化可能か？

主な発見

• すべての全単射等長写像 $f: S(B(K)) \to S(B(H))$ は、一意に全単射複素線形または共役線形等長写像 $T: B(K) \to B(H)$ に拡張可能であり、$B(H)$-空間におけるティンゲリー問題が解決される。
• 拡張は弱*-連続であり、作用素代数の代数的構造を保存する。
• $B(K)$ 内の最小部分等長写像は $B(H)$ 内の最小部分等長写像に写され、このような等長写像で保存される重要な幾何的不変量である。
• 証明は、最大面が双対空間内の最小部分等長写像によって特徴づけられる非コンパクトな設定に、顕著な顕著な適応を用いる。
• 結果は $B(H)$ 空間の $\ell^\infty$-和へ拡張され、このより広いクラスの作用素代数に対しても、拡張性が成立することが示された。
• $K(H)$ や弱コンパクト JB*-三重系に関する先行研究に依存せず、ティンゲリー問題の新たなフロンティアを確立した。