[論文レビュー] Approximately multiplicative maps between algebras of bounded operators on Banach spaces

Yemon Choi, Bence Horváth+1 more|arXiv (Cornell University)|Oct 8, 2021

Advanced Banach Space Theory参考文献 32被引用数 3

ひとこと要約

本稿は、X が分離可能な反射的バナッハ空間で、E が非可算なクラウン系とアメーナブルなコンパクト作用素を持つバナッハ空間であるとき、作用素代数 B(E) → B(X) に対して AMNM（近似的に乗法的であることは、乗法的ホモモーフィズムに近い）性質を確立する。主な結果は、ジョンソンとハウイの ℓp 結果を、Lp[0,1]（1 < p < ∞）、オーリッチおよびローレンツの列空間、チレルソン空間を含む広範な空間類に一般化したものであり、コhomological 技法と、摂動を制御するための新規な非線形改善作用素を用いている。

ABSTRACT

We show that for any separable reflexive Banach space $X$ and a large class of Banach spaces $E$, including those with a subsymmetric shrinking basis but also all spaces $L_p$ for $1\leq p \leq \infty$, every bounded linear map ${\mathcal B}(E) o {\mathcal B}(X)$ which is approximately multiplicative is necessarily close in the operator norm to some bounded homomorphism ${\mathcal B}(E) o {\mathcal B}(X)$. That is, the pair $({\mathcal B}(E), {\mathcal B}(X))$ has the AMNM property in the sense of Johnson ( extit{J.~London Math.\ Soc.} 1988). Previously this was only known for $E=X=\ell_p$ with $1<p<\infty$; even for those cases, we improve on the previous methods and obtain better constants in various estimates. A crucial role in our approach is played by a new result, motivated by cohomological techniques, which establishes AMNM properties relative to an amenable subalgebra; this generalizes a theorem of Johnson ( extit{op cit.}).

研究の動機と目的

• 既知の ℓp 空間の場合に限らない、近似的に乗法的である写像が実際にホモモーフィズムに近いという AMNM 性質を、より広範なバナッハ空間類にまで拡張すること。
• 特に、定義域代数が非 ℓp 空間の B(E) である場合に、バナッハ空間上の有界作用素代数間の有界線形写像に対するウラム安定性問題を解明すること。
• E ≠ X であり、E が反射的であるとは限らない場合に、E に構造的条件を課すことで、(B(E), B(X)) が AMNM 性質を満たすことを確立すること。
• 近似的にホモモーフィズムである写像を分析するための、新規なコhomological 基盤を構築し、摂動の見積もりを精緻化するための非線形改善作用素を導入すること。

提案手法

• 有界線形写像における乗法的性質の破綻をモデル化するため、近似的なチェイン複体を用いた新規なコhomological フレームワークを導入する。
• 近似的に乗法的である写像 φ を、よりホモモーフィズムに近い新しい写像 F(φ) に写す非線形改善作用素 F を定義する。これには、近似的な単位元のネットと、プロジェクト型テンソル積上の有界線形汎関数を用いる。
• 特に、部分空間的対称性を有する縮小基底または特定の構造（例：チレルソン空間）を持つバナッハ空間に対して、ℕ の部分集合のほぼ互いに素な族を用いて非可算なクラウン系を構成する。
• コンパクト作用素 K(E) がアメーナブルで、E が非可算なクラウン系を有するならば、任意の分離可能な反射的 X に対して (B(E), B(X)) は AMNM 性質を満たすことを証明する。
• 乗法的欠陥 def(φ) と、最も近いホモモーフィズムからの距離 dist(φ) の関係を、定数 K と ∥φ∥ を含む明示的評価式を用いて、鋭い二分法的結果を用いて関係づける。
• ユニタル拡張を用いたユニタル還元技術を適用し、正規化された改善作用素の使用を可能にし、欠陥伝播の解析を簡略化する。

実験結果

リサーチクエスチョン

• RQ1 E が古典的な非 ℓp バナッハ空間（例：1 < p < ∞ に対する Lp[0,1] やチレルソン空間）であり、X が分離可能な反射的空間であるとき、B(E) → B(X) に対して AMNM 性質が成り立つか。
• RQ2 E ≠ X であり、E が反射的でない場合に、E に適切な構造的条件を課すことで、ジョンソン＝ハウイの ℓp 空間に関する結果を一般化できるか。
• RQ3 バナッハ空間 E にどのような構造的条件を課すれば、任意の分離可能な反射的 X に対して (B(E), B(X)) が AMNM 性質を満たすか。
• RQ4 コhomological 手法をどのように変更すれば、近似的に乗法的である写像の乗法的欠陥を制御する非線形改善作用素を構成できるか。
• RQ5 非可算なクラウン系の存在が、近似的に乗法的である写像がホモモーフィズムに近いことを保証するために果たす役割は何か。

主な発見

• 任意の分離可能な反射的バナッハ空間 X と、コンパクト作用素 K(E) がアメーナブルで、非可算なクラウン系を有する任意のバナッハ空間 E に対して、ペア (B(E), B(X)) は AMNM 性質を満たす。
• ジョンソンおよびハウイの ℓp 空間（1 < p < ∞）に対する AMNM 結果を、Lp[0,1]、オーリッチ列空間、ローレンツ列空間、チレルソン空間を含む広範なバナッハ空間類に一般化した。
• E = チレルソン空間の場合、二進関数でインデックス付けされた再帰的列を用いて非可算なクラウン系を明示的に構成し、TM ∼= T が成り立ち、必要な条件を満たすことを証明した。
• 本稿は、新規なコhomological 結果を確立した：A がアメーナブルな部分代数 D を持つならば、(A, B) の AMNM 性質は D 上の相対的 AMNM 性質から導ける。これはジョンソンの元々の定理を一般化する。
• 非線形改善作用素 F を構成し、∥F(φ) − φ∥ ≤ K∥φ∥defD×A(φ) および defD×A(F(φ)) ≤ 3K²∥φ∥²defD×D(φ)defD×A(φ) を満たす。これにより、欠陥低減の定量的制御が可能になった。
• 洗練されたコhomological フレームワークと、注意深く構築された近似的ホモトピーを用いることで、従来の手法と比較して AMNM 評価における定数を改善した。特に ℓp 空間に対して顕著な改善が得られた。