[论文解读] 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

一句话总结

本论文为算子代数 B(E) → B(X) 建立了 AMNM（近似乘法性蕴含接近乘法同态）性质，其中 X 是一个可分自反 Banach 空间，E 是一个具有不可数克隆系且紧算子为可约的 Banach 空间。关键结果将 Johnson 与 Howey 的 ℓp 结果推广至一大类空间，包括 1 < p < ∞ 时的 Lp[0,1]、Orlicz 与 Lorentz 序列空间以及 Tsirelson 空间，采用上同调技术并引入一种新型非线性优化算子以控制扰动。

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.}).

研究动机与目标

• 将 AMNM 性质——即近似乘法映射接近于实际同态——从已知的 ℓp 空间情形推广至显著更广大的 Banach 空间类。
• 解决有界线性映射在 Banach 空间上算子代数之间的 Ulam 稳定性问题，尤其当定义域代数为 B(E)，且 E 不是 ℓp 空间时。
• 在 E 不一定自反的结构条件下，建立 (B(E), B(X)) 对于 E ≠ X 时的 AMNM 性质。
• 发展一种新的基于上同调的分析框架以研究近似同态，引入非线性优化算子以改进扰动估计。

提出的方法

• 引入一种新的上同调框架，使用近似上链复形来建模有界线性映射中乘法性失败的机制。
• 定义一个非线性优化算子 F，将一个近似乘法映射 φ 映射为一个更接近同态的新映射 F(φ)，利用近似单位的网与在项目张量积上的有界线性泛函。
• 通过 ℕ 的几乎不相交子集族，为具有亚对称收缩基或特定结构（如 Tsirelson 空间）的 Banach 空间构造不可数克隆系。
• 证明若紧算子 K(E) 可约且 E 具有不可数克隆系，则对任意可分自反 X，(B(E), B(X)) 满足 AMNM 性质。
• 利用强化的二分法结果，将乘法缺陷 def(φ) 与到最近同态的距离 dist(φ) 关联起来，给出涉及常数 K 与 ∥φ∥ 的显式界。
• 通过映射的单位化延拓技术，实现单位化改进算子，简化缺陷传播的分析。

实验结果

研究问题

• RQ1 当 E 是经典非 ℓp Banach 空间（如 1 < p < ∞ 时的 Lp[0,1] 或 Tsirelson 空间）且 X 为可分自反时，B(E) → B(X) 是否满足 AMNM 性质？
• RQ2 在 E ≠ X 且 E 不自反的条件下，能否在 E 的适当结构条件下将 Johnson–Howey 对 ℓp 空间的结论推广？
• RQ3 何种结构条件可确保 Banach 空间 E 满足：对所有可分自反 X，(B(E), B(X)) 具有 AMNM 性质？
• RQ4 如何将上同调技术适配以构造一个非线性优化算子，从而控制近似乘法映射中的乘法缺陷？
• RQ5 不可数克隆系的存在在确保近似乘法映射接近同态中起何种作用？

主要发现

• 对任意可分自反 Banach 空间 X 及任意具有可约紧算子 K(E) 与不可数克隆系的 Banach 空间 E，对 (B(E), B(X)) 均满足 AMNM 性质。
• 该结果将 Johnson 与 Howey 对 ℓp 空间（1 < p < ∞）的 AMNM 结果推广至一大类 Banach 空间，包括 Lp[0,1]、Orlicz 序列空间、Lorentz 序列空间以及 Tsirelson 空间。
• 对于 Tsirelson 空间，通过基于二进制函数索引的递归序列显式构造了不可数克隆系，证明了 TM ∼= T 并满足所需条件。
• 本文建立了一个新的上同调结果：若 A 具有一个可约子代数 D，则 (A, B) 的 AMNM 性质可由 D 上的相对 AMNM 性质推出，推广了 Johnson 的原始定理。
• 构造了一个非线性优化算子 F，使得 ∥F(φ) − φ∥ ≤ K∥φ∥defD×A(φ)，且 defD×A(F(φ)) ≤ 3K²∥φ∥²defD×D(φ)defD×A(φ)，从而对缺陷减少提供了定量控制。
• 该方法通过采用精细化的上同调框架与精心构造的近似同伦，相较于以往方法，在 ℓp 空间情形中获得了更优的常数。