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

ひとこと要約

本稿は、実および複素バナッハ空間の包括的な比較分析を提供し、構造的および作用素論的性質における根本的な相違を強調している。複素化過程を体系的に検討し、複素バナッハ空間における主要な結果が実設定では成立しないことを示し、実版が成り立つ条件を特定している。特にスペクトル理論、不変部分空間、多項式不等式、および実作用素代数におけるジョルダン構造に焦点を当てる。

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.

研究の動機と目的

• 実と複素バナッハ空間理論における結果の微細なが、重要な相違を明確化すること。
• スペクトル理論や作用素代数において、複素結果を実設定に拡張する際の限界と失敗を調査すること。
• 複素化の役割を、複素から実バナッハ空間への結果の翻訳、およびその逆に考察すること。
• 特に多項式不等式および作用素代数の文脈において、実バナッハ空間が複素対応物と同様に振る舞う条件を特定すること。
• ユニタリ、対称性、射影などの幾何学的および代数的構造—例えば実JB*-三重系および実C*-代数におけるもの—の振る舞いを分析すること。

提案手法

• 実構造とその複素拡張との関係を結ぶために、複素化ファンクターを用いた実および複素バナッハ空間の体系的比較。
• 実バナッハ空間の複素化におけるさまざまなノルムの分析、特に正規および厳密凸な複素化。
• 線形作用素、多項式、および多重線形写像が実空間から複素空間への拡張における単射性およびスペクトル的性質への注目。
• 空間的数値範囲、数値指数、およびルッソ＝ダイ theorem などの関数解析の高度な道具の応用。
• 実JB*-代数および実非可換JB*-代数を含む、実設定におけるジョルダンおよびC*-代数的構造の研究。
• 反例および構造定理（例えばフェレンツィの例）を用いて、実等長だが複素非同型なバナッハ空間の非同型性を示すこと。

実験結果

リサーチクエスチョン

• RQ1 作用素のスペクトル的性質は、実バナッハ空間と複素バナッハ空間の間でどのように異なるか？
• RQ2 複素バナッハ空間における結果—例えば不変部分空間の存在やマズール＝ウラムの定理の妥当性—は、どの程度実設定に拡張可能か？
• RQ3 多項式不等式（例えばボーデンブリュスト＝ハイル、極化定数）は、実バナッハ空間と複素バナッハ空間の間でどのように異なる振る舞いを示すか？
• RQ4 特に実C*-代数および実JB*-三重系の文脈において、実と複素バナッハ代数の構造的相違は何か？
• RQ5 数値指数1の実バナッハ空間が必ず有限次元である条件は何か？また、これは複素の場合とどのように比較されるか？

主な発見

• 実空間として等長であるが、複素空間として非同型な実バナッハ空間が存在し、実等長性が複素同型性を意味しないことを示している。
• 実バナッハ空間における数値指数1問題は、反射的空間に対して有限次元性を示すが、複素の場合には無限次元例が未解決のまま残っており、この性質は成り立たない。
• 実JB*-三重系において、ノルムが1の元は、単位球の頂点であり、積 $ x \circ y = \{x,u,y\} $ を通じてJB代数構造を誘導するときかつそのときに限り、幾何学的にユニタリである。
• 実JB*-三重系に幾何学的にユニタリな元が存在することは、三重体がユニタリなJB代数と三重同型であることに同値である。
• 実非可換JB*-代数において、すべてのジョルダン ∗-準同型は自動的に収縮的であり、すべてのジョルダン ∗-単射は等長写像であるが、これは複素の場合に普遍的に成り立つわけではない。
• ルッソ＝ダイの定理は実JB*-代数の設定では成立するが、実C*-代数への拡張には、全射等長写像およびその複素アフィン拡張の詳細な分析が必要である。