[論文レビュー] 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

ひとこと要約

本稿は、複素ヒルベルト空間上のp-シュレーディン・フォンノイマンクラス $C_p(H)$ の単位球面に対して、ティンゲリー問題を解決する。任意の全単射等長写像が、空間全体に複素線形または共役線形な全単射等長写像に拡張可能であることを証明する。証明は、最小部分等長射の保存に依拠し、一般化されたウィグナーの定理と $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$-シュレーディン・フォンノイマンクラス $C_p(H)$ におけるティンゲリー問題を解決すること。
• 2 つのこのような空間の単位球面間の全単射等長写像が、作用素空間全体に線形または共役線形等長写像に拡張可能かどうかを特定すること。
• 最小部分等長射がそのような等長写像のもとで保存されることを確立し、一般化されたウィグナー型の定理の適用を可能にすること。
• $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. モルナール（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 $p$-シュレーディン・フォンノイマンクラス $C_p(H)$ と $C_p(H')$ の単位球面間の任意の全単射等長写像が、空間全体に複素線形または共役線形等長写像に拡張可能かどうか。
• RQ2 最小部分等長射は、そのような等長写像のもとでどのように保存されるのか。この保存性は、グローバルな等長写像の再構成にどのように寄与するか。
• RQ3 すべての最小部分等長射への $p$-ノルム距離に基づく恒等式の原理が、$C_p(H)$ 内の作用素を一意に特定可能かどうか。
• RQ4 特に $p \neq 2$ の場合に、$C_p(H)$ の非可換構造が等長写像の拡張を妨げるか、あるいは可能にする要因として果たす役割は何か。
• 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)$ が成り立つ。これにより、モルナールの一般化されたウィグナー定理の適用が可能になる。
• 新たな恒等式の原理が確立された：すべての $e \in U_{\min}(H)$ および $\gamma \in \mathbb{T}$ に対して $\|a - \gamma e\|_p = \|b - \gamma e\|_p$ が成り立つならば、$a = b$ である。
• 有限次元部分空間では、等長写像はすべての有限ランク作用素を固定する。密度と連続性を用いて、$S(C_p(H))$ のすべての要素に対しても同様に成立する。
• 最終的な拡張は、ユニタリ $u, v$ を用いて $T(x) = u x v$ または $T(x) = u \overline{x} v$ の形で与えられ、これにより完全な拡張結果が得られる。