[论文解读] Similarities and differences between real and complex Banach spaces: an overview and recent developments

Mohammad Sal Moslehian, Gustavo A. Muñoz-Fernández+2 more|arXiv (Cornell University)|Jul 8, 2021

Advanced Banach Space Theory被引用 4

一句话总结

本文对实与复Banach空间进行了全面的对比分析，突出了其在结构和算子理论性质上的根本差异。系统研究了复化过程，展示了复Banach空间中的关键结果在实设置下为何不成立，并识别出实版本成立的条件，特别关注谱理论、不变子空间、多项式不等式以及实算子代数中的Jordan结构。

ABSTRACT

There are numerous cases of discrepancies between results obtained in the setting of real Banach spaces and those obtained in the complex context. This article is a modern exposition of the subtle differences between key results and theories for complex and real Banach spaces and the corresponding linear operators between them. We deeply discuss some aspects of the complexification of real Banach spaces and give several examples showing how drastically different can be the behavior of real Banach spaces versus their complex counterparts.

研究动机与目标

• 阐明实与复Banach空间理论中结果的微妙但关键的差异。
• 研究将复结果推广到实设置时的局限性与失败，特别是在谱理论和算子代数方面。
• 考察复化在将结果从复Banach空间翻译到实Banach空间（反之亦然）中的作用。
• 识别实Banach空间在何种条件下表现得类似于其复对应物，特别是在多项式不等式和算子代数的背景下。
• 分析几何与代数结构（如酉算子、对称算子和投影算子）在实JB*-三重和实C*-代数中的行为。

提出的方法

• 使用复化函子将实结构与其复扩展相关联，系统比较实与复Banach空间。
• 分析实Banach空间复化上的各种范数，包括正规复化和严格凸复化。
• 研究从实空间到复空间的线性算子、多项式及多重线性映射的延拓，关注单射性与谱性质。
• 应用泛分析中的高级工具，包括空间数值范围、数值指标以及Russo–Dye定理。
• 研究实设置下的Jordan代数与C*-代数结构，包括实JB*-代数与实非交换JB*-代数。
• 利用反例与结构定理（例如Ferenczi的例子）证明实等距但复非同构的Banach空间之间的非同构性。

实验结果

研究问题

• RQ1 算子的谱性质在实与复Banach空间之间有何不同？
• RQ2 复Banach空间中的结果（如不变子空间的存在性或Mazur–Ulam定理的有效性）在多大程度上可推广到实设置？
• RQ3 多项式不等式（如Bohnenblust–Hille、极化常数）在实与复Banach空间中的表现有何不同？
• RQ4 实与复Banach代数之间在结构上存在哪些差异，特别是在实C*-代数与实JB*-三重的背景下？
• RQ5 在何种条件下，具有数值指标1的实Banach空间必为有限维？这与复情况相比如何？

主要发现

• 存在实Banach空间，它们作为实空间等距，但作为复空间非同构，表明实等距不蕴含复同构。
• 实Banach空间中数值指标1的问题，对自反空间而言意味着有限维性，而此结果在复情况下不成立，因为存在无限维反例尚未解决。
• 在实JB*-三重中，范数为1的元素是几何酉元当且仅当它是单位球的极点，并通过乘积 $ x \circ y = \{x,u,y\} $ 诱导出JB代数结构。
• 实JB*-三重中存在几何酉元，当且仅当该三重与一个单位元JB代数三重同构。
• 在实非交换JB*-代数中，每个Jordan ∗-同态自动为压缩映射，且每个Jordan ∗-单同态均为等距映射，此性质在复情况下并不普遍成立。
• Russo–Dye定理在实JB*-代数的实设置中成立，但其在实C*-代数中的推广需要对满射等距及其复仿射扩张进行仔细分析。